| Paketname | libcvc3-2-dev |
| Beschreibung | An automatic theorem prover library for SMT problems (development files) |
| Archiv/Repository | Offizielles Ubuntu Archiv oneiric (universe) |
| Version | 2.2-13.1 |
| Sektion | universe/libdevel |
| Priorität | extra |
| Installierte Größe | 980 Byte |
| Hängt ab von | libcvc3-2 (= 2.2-13.1) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | cvc3 |
| Paketgröße | 178650 Byte |
| Prüfsumme MD5 | ad184404f5df59a5c373c9daf3252b1c |
| Prüfsumme SHA1 | 7bc16ceb06c78d1e2cfa5d68c4184610e30303b7 |
| Prüfsumme SHA256 | 3bf505a83fd7a72c81606974d4fd9c2ad9293abbd3ea238c692105ffeae3e701 |
| Link zum Herunterladen | libcvc3-2-dev_2.2-13.1_i386.deb |
| Ausführliche Beschreibung | |