| Paketname | libcvc3-5-dev |
| Beschreibung | Automatic theorem prover library for SMT problems (development files) |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.4.1-2 |
| Sektion | universe/libdevel |
| Priorität | extra |
| Installierte Größe | 802 Byte |
| Hängt ab von | libcvc3-5 (= 2.4.1-2) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | cvc3 |
| Paketgröße | 180850 Byte |
| Prüfsumme MD5 | 9ec86cde174370dd45464d353b14275d |
| Prüfsumme SHA1 | 14e2e6292ea528ee8e1404e9efab6bbb9acd441c |
| Prüfsumme SHA256 | 7b76c560faed3b3bd82d87b337dfc39aaa341ec21f5bd97e7f4e7752cdb9e046 |
| Link zum Herunterladen | libcvc3-5-dev_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |