mcrl2 - 201409.0-1 main

Versions in amber: 201409.0-1
Maintainer: Sjoerd Cranen <scranen [꩜] win.tue.nl>
Uploaders:
  • Paul van Tilburg <paulvt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 3.9.5
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

  • mcrl2  amd64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
mcrl2_201409.0-1.dsc 1.4 kB b910cc1851745cb281f542e9965a377fcc850d146046956d7b63516c166941a6
mcrl2_201409.0.orig.tar.gz 17.5 MB 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f
mcrl2_201409.0-1.debian.tar.xz 6.6 kB 0a15fbd78c7f1a97b352637f10e656f0d6ee03eeed9d7c505f506c4583ff49d4