packagesSource Package: mcrl2 (201202.0-2) [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:
- Homepage [www.mcrl2.org]
The following binary packages are built from this source package:
- mcrl2
- formal specification language toolset
Other Packages Related to mcrl2
|
|
-
- adep: debhelper (>= 5)
- helper programs for debian/rules
-
- adep: cmake
- cross-platform, open-source make system
-
- adep: libboost-filesystem-dev (>= 1.37)
- filesystem operations (portable paths, iteration over directories, etc) in C++ (default version)
-
- adep: libboost-regex-dev (>= 1.37)
- regular expression library for C++ (default version)
-
- adep: libboost-signals-dev (>= 1.37)
- managed signals and slots library for C++ (default version)
-
- adep: libboost-system-dev (>= 1.37)
- Operating system (e.g. diagnostics support) library (default version)
-
- adep: libboost-serialization-dev (>= 1.37)
- serialization library for C++ (default version)
-
- adep: libwxgtk2.8-dev (>= 2.8.4)
- wxWidgets Cross-platform C++ GUI toolkit (GTK+ development)
-
- adep: libglu1-mesa-dev (>= 7.0.1)
- Mesa OpenGL utility library -- development files
-
- adep: libgl2ps-dev
- Lib providing high quality vector output for OpenGL application
Download mcrl2
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| mcrl2_201202.0-2.dsc | 1.4 kB | 552447b5db19f7d44690580694064993 |
| mcrl2_201202.0.orig.tar.gz | 8,603.0 kB | 0daef61cbe0621397d7b7971dc38788a |
| mcrl2_201202.0-2.debian.tar.gz | 6.8 kB | 282a6e0184de9d8824e5b3effc637e0a |
- 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/