packages
[ Pakiet źródłowy: mcrl2 ]
Pakiet: mcrl2 (201202.0-2) [universe]
Odnośniki dla mcrl2
Zasoby systemu Ubuntu:
Pobieranie pakietu źródłowego mcrl2:
Opiekun:
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.
Zasoby zewnętrzne:
- Strona internetowa [www.mcrl2.org]
Podobne pakiety:
formal specification language toolset
Inne pakiety związane z mcrl2
|
|
|
-
- 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.14) [amd64]
- Embedded GNU C Library: Shared libraries
również pakiet wirtualny udostępniany przez libc6-udeb
- dep: libc6 (>= 2.4) [i386]
-
- dep: libgcc1 (>= 1:4.1.1)
- GCC support library
-
- dep: libgl1-mesa-glx
- free implementation of the OpenGL API -- GLX runtime
- lub libgl1
- pakiet wirtualny udostępniany przez libgl1-mesa-glx
-
- dep: libgl2ps0
- Lib providing high quality vector output for OpenGL application
-
- dep: libglu1-mesa
- Mesa OpenGL utility library (GLU)
- lub libglu1
- pakiet wirtualny udostępniany przez 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)
Pobieranie mcrl2
| Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|
| amd64 | 12 664,4 KiB | 41 563,0 KiB | [lista plików] |
| i386 | 13 222,2 KiB | 41 744,0 KiB | [lista plików] |