[ etiona ]
Quellcode-Paket: mcrl2 (201409.0-1ubuntu3)
Links für mcrl2
Trisquel-Ressourcen:
Betreuer:
Original Maintainers:
- Sjoerd Cranen
- Paul van Tilburg
Externe Ressourcen:
- Homepage [www.mcrl2.org]
Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
- mcrl2
- formal specification language toolset
Andere Pakete mit Bezug zu mcrl2
|
|
-
- adep: debhelper (>= 5)
- helper programs for debian/rules
-
- adep: cmake
- cross-platform, open-source make system
-
- adep: libboost-system-dev (>= 1.55)
- Operating system (e.g. diagnostics support) library (default version)
-
- 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, dev files
-
- adep: qt4-qmake
- Qt 4 qmake Makefile generator tool
-
- adep: libqtcore4
- Qt 4 core module
-
- adep: libqtgui4
- Qt 4 GUI module
-
- adep: libqt4-xml
- Qt 4 XML module
-
- adep: libqt4-opengl
- Qt 4 OpenGL module
-
- adep: libqt4-dev
- Qt 4 development files
-
- adep: libqt4-opengl-dev
- Qt 4 OpenGL library development files
Download mcrl2
Datei | Größe (in kB) | MD5-Prüfsumme |
---|---|---|
mcrl2_201409.0-1ubuntu3.dsc | 2,1 kB | 50dc31ad8e74f07184e7a46bee0c4c3f |
mcrl2_201409.0.orig.tar.gz | 17.048,2 kB | a138131d377c9740a7d3ec4d058c0081 |
mcrl2_201409.0-1ubuntu3.debian.tar.xz | 6,8 kB | bdf3c0565bda758ca1d598dfb86d4675 |
- Quellcode-Depot des Debian-Pakets (VCS: Subversion)
- https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
- Quellcode-Depot des Debian-Pakets (browsable)
- https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/