packagesSource Package: mcrl2 (201107.1-1) [universe]
Links for mcrl2
Ubuntu Resources:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainer (usually from Debian):
- 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 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_201107.1-1.dsc | 1.4 kB | 6f4c886904995d4b38b1ac725c70d1b8 |
| mcrl2_201107.1.orig.tar.gz | 5,007.5 kB | 92cea7a1f2232ff1982d8a19c78264a2 |
| mcrl2_201107.1-1.debian.tar.gz | 6.7 kB | c44c429f2b618e9bc12dce31850dd086 |
- 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/