packages
[ Bron: mcrl2 ]
Pakket: mcrl2 (201202.0-2) [universe]
Verwijzigingen voor mcrl2
Ubuntu bronnen:
Het bronpakket mcrl2 downloaden:
Beheerder:
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.
Externe bronnen:
- Homepage [www.mcrl2.org]
Vergelijkbare pakketten:
formal specification language toolset
Andere aan mcrl2 gerelateerde pakketten
|
|
|
-
- dep: libboost-regex1.49.0 (>= 1.49.0-1)
- regular expression library for C++
-
- dep: libboost-signals1.49.0 (>= 1.49.0-1)
- managed signals and slots library for C++
-
- dep: libc6 (>= 2.4)
- Embedded GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc6-udeb
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libgl1-mesa-glx
- free implementation of the OpenGL API -- GLX runtime
- of libgl1
- virtueel pakket geboden door libgl1-mesa-glx
-
- dep: libgl2ps0
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL utility library (GLU)
- of libglu1
- virtueel pakket geboden door libglu1-mesa
-
- dep: libstdc++6 (>= 4.6)
- GNU Standard C++ Library v3
-
- dep: libwxbase2.8-0 (>= 2.8.12.1)
- wxBase library (runtime) - non-GUI support classes of wxWidgets toolkit
-
- dep: libwxgtk2.8-0 (>= 2.8.12.1)
- wxWidgets Cross-platform C++ GUI toolkit (GTK+ runtime)