Paketname | libgecode-dev |
Beschreibung | generic constraint development environment |
Archiv/Repository | Offizielles Debian Archiv wheezy (main) |
Version | 3.7.3-1 |
Sektion | libdevel |
Priorität | optional |
Installierte Größe | 3615 Byte |
Hängt ab von | libgecode32 (= 3.7.3-1), libgecodegist32 (= 3.7.3-1), libgecodeflatzinc32 (= 3.7.3-1), libqt4-dev, l |
Empfohlene Pakete | |
Paketbetreuer | Kari Pahula |
Quelle | gecode |
Paketgröße | 530806 Byte |
Prüfsumme MD5 | 25ddaf7ed379708f25853fe3d9a4a3ff |
Prüfsumme SHA1 | 6b819f526d5131e7f9eb5a4cbc26e9f885a3b457 |
Prüfsumme SHA256 | 8be48287b6e25608b649a74bdce087fabbc45e69c8be610100244d536e3020d7 |
Link zum Herunterladen | libgecode-dev_3.7.3-1_i386.deb |
Ausführliche Beschreibung | use::searching
|