cvc3 source package in Trusty
cvc3: No summary available for cvc3 in ubuntu saucy.
cvc3-el: No summary available for cvc3-el in ubuntu raring.
libcvc3-5: No summary available for libcvc3-5 in ubuntu saucy.
libcvc3-5-java: No summary available for libcvc3-5-java in ubuntu raring.
libcvc3-5-jni: No summary available for libcvc3-5-jni in ubuntu raring.
libcvc3-dev: No summary available for libcvc3-dev in ubuntu raring.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- cvc3 2.4.1-4ubuntu1 (universe)
cvc3 information
- Current version:
- 2.4.1-4ubuntu1
- Uploaded:
- Urgency:
- Low Urgency
Upstream connections
This project is for the packaging and releasing CVC3 SMT Solver binaries.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the CVC3 Packaging ⇒ trunk.
Releases in Ubuntu
Binary packages
- cvc3 (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el)
- cvc3-el (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el)
- libcvc3-5 (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el)
- libcvc3-5-java (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el)
- libcvc3-5-jni (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el)
- libcvc3-dev (amd64) (arm64) (armhf) (i386) (powerpc) (ppc64el)
Download files from current release (2.4.1-4ubuntu1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| cvc3_2.4.1.orig.tar.gz | 1.1 MiB | d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 |
| cvc3_2.4.1-4ubuntu1.debian.tar.gz | 9.1 KiB | 5f3e8146258b635b870d7dadb36c8b521a0a9af2a4a047efd88b2b3c712dc8f5 |
| cvc3_2.4.1-4ubuntu1.dsc | 1.8 KiB | 6479b32ea124d86c3651d97e03b885ac695038e75c761c975143613322f6536a |
Package relationships
Build dependencies |
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
