| Paketname | libcvc3-5 |
| Beschreibung | Automatic theorem prover library for SMT problems |
| Archiv/Repository | Offizielles Ubuntu Archiv quantal (universe) |
| Version | 2.4.1-2 |
| Sektion | universe/libs |
| Priorität | extra |
| Installierte Größe | 6107 Byte |
| Hängt ab von | libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libstdc++6 (>= 4.6) |
| Empfohlene Pakete | |
| Paketbetreuer | Ubuntu Developers |
| Quelle | cvc3 |
| Paketgröße | 2449542 Byte |
| Prüfsumme MD5 | cbc7bb0ef945da38bf831425de6964db |
| Prüfsumme SHA1 | 94aacf87a5b5619df46a1ae40bf280c48f5e3eb0 |
| Prüfsumme SHA256 | 78e747855c26e095dce5dca5f26ba7dc58dfe3fab6905a1e62e70073b4dba1f8 |
| Link zum Herunterladen | libcvc3-5_2.4.1-2_i386.deb |
| Ausführliche Beschreibung | |