Source Package: mcrl2 (201202.0-2)
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
-
- adep:
debhelper
(>= 5)
- Programmes assistants pour debian/rules
-
- adep:
cmake
- système make multiplate-forme
-
- 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
