Paquet source : minizinc-ide (2.6.3-1)
Liens pour minizinc-ide
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Responsable :
Ressources externes :
- Page d'accueil [www.minizinc.org]
Les paquets binaires suivants sont compilés à partir de ce paquet source :
- minizinc-ide
- MiniZinc constraint modelling language IDE
Autres paquets associés à minizinc-ide
|
|
-
- adep: debhelper (>= 11)
- programmes assistants pour debian/rules
-
- adep: qt5-qmake
- Qt 5 qmake Makefile generator tool
-
- adep: qtwebengine5-dev
- Web content engine library for Qt - development files
-
- adep: libqt5websockets5-dev
- Qt 5 Web Sockets module - development files
Download minizinc-ide
Fichier | Taille (en ko) | Somme MD5 |
---|---|---|
minizinc-ide_2.6.3-1.dsc | 1,7 ko | 07c1f95f0fc4fe8eada47bebe6a54815 |
minizinc-ide_2.6.3.orig.tar.gz | 807,9 ko | 86d536e1229a991cb61849f9b2499873 |
minizinc-ide_2.6.3-1.debian.tar.xz | 12,9 ko | 08c82a0b5dd96867174821dcf43d082a |