Accepted cvc3 2.4.1-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 03 Mar 2012 18:00:13 -0500
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-5-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source all i386
Version: 2.4.1-2
Distribution: unstable
Urgency: low
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Changed-By: Christopher L. Conway <cconway@cs.nyu.edu>
Description:
cvc3 - Automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-5 - Automatic theorem prover library for SMT problems
libcvc3-5-dev - Automatic theorem prover library for SMT problems (development fi
libcvc3-5-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
Closes: 576335 660244
Changes:
cvc3 (2.4.1-2) unstable; urgency=low
.
* Upgrading to standards version 3.9.3
* Fixing lintian errors
* Fixing upstream tarball
.
cvc3 (2.4.1-1) unstable; urgency=low
.
* New upstream release (Closes: #660244)
* Updating to standards version 3.9.2
* Switching to dpkg-source 3.0 (quilt) format
* Changing default-jdk-builddep build dependency to default-jdk
* Re-enabling libcvc3-jni on kfreebsd-amd64 (Closes: #576335)
Checksums-Sha1:
8b39125b903df3f4c55f3ef956d97bc1e7fe0208 1477 cvc3_2.4.1-2.dsc
bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
6900a244ae4bbb86d34d55dea88f653265ae3376 16324 cvc3_2.4.1-2.debian.tar.gz
3199afec2e7b7aba4a0995927a6f15fa064e310b 71202 libcvc3-5-java_2.4.1-2_all.deb
67ff68a683d724ffb9f64f346c549e51dcca4132 14276 cvc3-el_2.4.1-2_all.deb
0029160f15aedc1cde3f098ae13cf1b58d41f7ed 24164 cvc3_2.4.1-2_i386.deb
4a4f32bc1290e861ee4a7dbca29eef432b270d6f 2505290 libcvc3-5_2.4.1-2_i386.deb
5e4addf7d5466c5ee45bb9cde2e72a43defc7817 194354 libcvc3-5-dev_2.4.1-2_i386.deb
f07300881fa1dd7e2c4b6cc342ec42ff1d70c2b0 81592 libcvc3-5-jni_2.4.1-2_i386.deb
Checksums-Sha256:
b22c392e68cd4d415413173607a6817880626f9e26da83b09008d627d3ebe2ba 1477 cvc3_2.4.1-2.dsc
d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
49a4d7467b30d854c8de6fb4223668098446e41dfd7283091a981e53f0ab1b8e 16324 cvc3_2.4.1-2.debian.tar.gz
06babde510860acdd661cfb10cbb156f3ff400b75dc47c65ce9f1a828646af82 71202 libcvc3-5-java_2.4.1-2_all.deb
d77a343dfcb1b4b9e429e6cc7f843f77bee828761decaa93292ea9f33a55b73e 14276 cvc3-el_2.4.1-2_all.deb
68df62a96911cce3bcf074d2bb20f4a36f9ed91e12b9f8aadf6159df61a0c1c2 24164 cvc3_2.4.1-2_i386.deb
8b9cbf8278557f9d0ce3566b045c3f3c7fb12a8189bcbc329ea348cea4e8767f 2505290 libcvc3-5_2.4.1-2_i386.deb
5bf56d5b1e842d8fb440d084ef3b7e9102ef0d68dfe6a7f5001226da37f41a7f 194354 libcvc3-5-dev_2.4.1-2_i386.deb
ad9f76a23d76fc6b560cbc570bfbb1b9d3882404ccce2b131ab486857c3f45f8 81592 libcvc3-5-jni_2.4.1-2_i386.deb
Files:
e50fbb449b04b93b8369a55c3504edff 1477 math extra cvc3_2.4.1-2.dsc
29168e0511761f39f4d09277e009d6ab 1175794 math extra cvc3_2.4.1.orig.tar.gz
45d868f50f4ea5597c165aff0b40ddab 16324 math extra cvc3_2.4.1-2.debian.tar.gz
1c900d1f4e05a6bb700121f5ec3889ca 71202 java extra libcvc3-5-java_2.4.1-2_all.deb
97641a1808a02bbe611a9590451f1d84 14276 math extra cvc3-el_2.4.1-2_all.deb
8ef48d82fb007779740f76b8304c450c 24164 math extra cvc3_2.4.1-2_i386.deb
29e7930558bfc15b916e76563a74fb19 2505290 libs extra libcvc3-5_2.4.1-2_i386.deb
dd88ee3b83c059c5b9134607720f41bf 194354 libdevel extra libcvc3-5-dev_2.4.1-2_i386.deb
5ed18f650a11fd8a11260422065f4acc 81592 java extra libcvc3-5-jni_2.4.1-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk9SvyoACgkQvx6dH3bVKsSrLwCfUpuuCMQSDI/K4U72gNcjUeHz
HvEAoNTh1MXLpCuykbeDX0H1RRnPGjCM
=Uqla
-----END PGP SIGNATURE-----
Accepted:
cvc3-el_2.4.1-2_all.deb
to main/c/cvc3/cvc3-el_2.4.1-2_all.deb
cvc3_2.4.1-2.debian.tar.gz
to main/c/cvc3/cvc3_2.4.1-2.debian.tar.gz
cvc3_2.4.1-2.dsc
to main/c/cvc3/cvc3_2.4.1-2.dsc
cvc3_2.4.1-2_i386.deb
to main/c/cvc3/cvc3_2.4.1-2_i386.deb
cvc3_2.4.1.orig.tar.gz
to main/c/cvc3/cvc3_2.4.1.orig.tar.gz
libcvc3-5-dev_2.4.1-2_i386.deb
to main/c/cvc3/libcvc3-5-dev_2.4.1-2_i386.deb
libcvc3-5-java_2.4.1-2_all.deb
to main/c/cvc3/libcvc3-5-java_2.4.1-2_all.deb
libcvc3-5-jni_2.4.1-2_i386.deb
to main/c/cvc3/libcvc3-5-jni_2.4.1-2_i386.deb
libcvc3-5_2.4.1-2_i386.deb
to main/c/cvc3/libcvc3-5_2.4.1-2_i386.deb