all options
wheezy  ] [  jessie  ] [  buster  ] [  sid  ]

Source Package: mcrl2 (201409.0-1)

Links for mcrl2

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
mcrl2
formal specification language toolset

Other Packages Related to mcrl2

  • build-depends
  • build-depends-indep

Download mcrl2

FileSize (in kB)MD5 checksum
mcrl2_201409.0-1.dsc 1.4 kB b56a003f0922a4ae4b9e6a24acf50853
mcrl2_201409.0.orig.tar.gz 17,048.2 kB a138131d377c9740a7d3ec4d058c0081
mcrl2_201409.0-1.debian.tar.xz 6.5 kB 7be56304b3728493b92ef41f017bb4d6
Debian Package Source Repository (VCS: Subversion)
https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
Debian Package Source Repository (Browsable)
https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/