[ buster ]
Paquet source : mcrl2 (201409.0-1)
Liens pour mcrl2
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Dépôt de source Debian (Subversion)
- Suivis des correctifs pour Debian
Responsables :
Ressources externes :
- Page d'accueil [www.mcrl2.org]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- mcrl2
- boîte à outils pour le langage de spécification formel
Autres paquets associés à mcrl2
|
|
-
- adep: debhelper (>= 5)
- programmes assistants pour debian/rules
-
- adep: cmake
- système make multiplate-forme
-
- adep: libboost-system-dev (>= 1.55)
- Operating system (e.g. diagnostics support) library (default version)
-
- adep: libglu1-mesa-dev (>= 7.0.1)
- bibliothèque utilitaire Mesa OpenGL –⋅fichiers de développement
-
- 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
- module de base de QT 4
-
- adep: libqtgui4
- module Qt 4 d'interface graphique
-
- adep: libqt4-xml
- Qt 4 XML module
-
- adep: libqt4-opengl
- Qt 4 OpenGL module
-
- adep: libqt4-dev
- fichiers de développement de QT⋅4
-
- adep: libqt4-opengl-dev
- Qt 4 OpenGL library development files
Download mcrl2
| Fichier | Taille (en ko) | Somme MD5 |
|---|---|---|
| mcrl2_201409.0-1.dsc | 1,4 ko | b56a003f0922a4ae4b9e6a24acf50853 |
| mcrl2_201409.0.orig.tar.gz | 17 048,2 ko | a138131d377c9740a7d3ec4d058c0081 |
| mcrl2_201409.0-1.debian.tar.xz | 6,5 ko | 7be56304b3728493b92ef41f017bb4d6 |
- Dépôt Debian des paquets source (VCS: Subversion)
- https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
- Dépôt Debian des paquets source (interface web)
- https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/