» Ubuntu » Packages » raring (13.04) » Source » math » mcrl2
precise  ] [  raring  ] [  saucy  ] [  trusty  ] [  utopic  ]

Source Package: mcrl2 (201210.1-1ubuntu1) [universe]

Links for mcrl2

Ubuntu Resources:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Jeroen Keiren
  • Paul van Tilburg

It should generally not be necessary for users to contact the original maintainer.

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_201210.1-1ubuntu1.dsc 2.1 kB 4dde5e3787480e0fb5aa051922822934
mcrl2_201210.1.orig.tar.gz 8,025.4 kB b4bffa70ba40a087fa04f0f9aa066f86
mcrl2_201210.1-1ubuntu1.debian.tar.gz 6.9 kB 826139a4d27b467cfcbd7db8ccf34efa
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/