cvc3 2.2-13 source package in Ubuntu
Changelog
cvc3 (2.2-13) unstable; urgency=low * Prevent Java tests from running on kfreebsd-amd64 cvc3 (2.2-12) unstable; urgency=low * Adding patch for MiniSat unsigned char bug (Closes: #575002) * Removing kfreebsd-amd64 from Architectures for libcvc3-2-jni (Workaround for #576335) cvc3 (2.2-11) unstable; urgency=low * Patch: detect path to ldconfig for install cvc3 (2.2-10) unstable; urgency=low * Upgrading to Debian Policy 3.8.4 * Fixing problem with library path in 'make check' cvc3 (2.2-9) unstable; urgency=low * Fixing bug in build environment for 'make check' cvc3 (2.2-8) unstable; urgency=low * Adding regress0 as check target * Adding patch to create pkgconfig file -- Ubuntu Archive Auto-Sync <email address hidden> Sun, 09 May 2010 13:46:18 +0100
Upload details
- Uploaded by:
- Ubuntu Archive Auto-Sync
- Uploaded to:
- Maverick
- Original maintainer:
- Chris Conway
- Architectures:
- any
- Section:
- math
- Urgency:
- Low Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
cvc3_2.2.orig.tar.gz | 1.0 MiB | 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 |
cvc3_2.2-13.diff.gz | 62.0 KiB | 0ecaee5579fc1d9ccdb62513bd0d9cb9a2313b1b0163b224c72ce45c86716cc7 |
cvc3_2.2-13.dsc | 1.1 KiB | 0e2fae2a8ddf02340cecb19a2d41b96e0f73e1b1c576deb0a3603874bb527d3c |
Available diffs
- diff from 2.2-7 to 2.2-13 (56.5 KiB)
Binary packages built by this source
- cvc3: No summary available for cvc3 in ubuntu maverick.
No description available for cvc3 in ubuntu maverick.
- cvc3-el: No summary available for cvc3-el in ubuntu maverick.
No description available for cvc3-el in ubuntu maverick.
- libcvc3-2: No summary available for libcvc3-2 in ubuntu maverick.
No description available for libcvc3-2 in ubuntu maverick.
- libcvc3-2-dev: No summary available for libcvc3-2-dev in ubuntu maverick.
No description available for libcvc3-2-dev in ubuntu maverick.
- libcvc3-2-java: No summary available for libcvc3-2-java in ubuntu natty.
No description available for libcvc3-2-java in ubuntu natty.
- libcvc3-2-jni: No summary available for libcvc3-2-jni in ubuntu maverick.
No description available for libcvc3-2-jni in ubuntu maverick.