Accepted cvc3 2.4.1-3 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Mon, 16 Apr 2012 22:23:39 -0400
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source all amd64
Version: 2.4.1-3
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-java - Java bindings for CVC3 (bytecode library)
libcvc3-5-jni - Java bindings for CVC3 (native library)
libcvc3-dev - Automatic theorem prover library for SMT problems (development fi
Closes: 662198 662200 665319 668685 668688
Changes:
cvc3 (2.4.1-3) unstable; urgency=low
.
* Create new package libcvc3-dev to replace libcvc3-5-dev and
libcvc3-2-dev (Closes: #662198)
* Add Replaces/Conflicts to libcvc3-5-jni for libcvc3-2-jni
(Closes: #662200)
* Leave .el files in site-lisp directory when installing cvc3-el
to enable source lookup (Closes: #665319)
* Remove cvc-mode autoload from site-start.d on cvc3-el removal
(Closes: #668688)
* Bring cvc3-el.emacsen-startup in line with Debian policy
(Closes: #668685)
Checksums-Sha1:
ed977560be32da7fb99fdc47e4c5f77cc550da45 2110 cvc3_2.4.1-3.dsc
216abd30fe9a1f1cf38cabb20f9e10620e1f0e8c 9092 cvc3_2.4.1-3.debian.tar.gz
6daadaa76f974fcfce9182d946699eb646bc8d53 71382 libcvc3-5-java_2.4.1-3_all.deb
e748d54a4f8beb480638e562d946138c3313a4e6 14454 cvc3-el_2.4.1-3_all.deb
96ba9aa79462663cf41007b8901046b1f2d202a8 23352 cvc3_2.4.1-3_amd64.deb
8c34005d9e6b24ff8c388b6dbc91e77b2a5bfea2 2414182 libcvc3-5_2.4.1-3_amd64.deb
ba9783c63e6064486be44ab621f9b7e5ab0150b1 193118 libcvc3-dev_2.4.1-3_amd64.deb
6ba29472d51078bed5379153759b2bc5e98663fb 81258 libcvc3-5-jni_2.4.1-3_amd64.deb
Checksums-Sha256:
8beb0a54449fb72721606d986770fe76ce35a8a7d943bf0535747cabc09dd624 2110 cvc3_2.4.1-3.dsc
2e81c79cf1526b65f4a6cf565601afbe97650e8cffb67c475db17c47d0ef1641 9092 cvc3_2.4.1-3.debian.tar.gz
3e1cbb8aa8ab033e5c91d76e794d66f1a6e83bd26bc3b30dc7852daba686d3a7 71382 libcvc3-5-java_2.4.1-3_all.deb
6cf8c1353fd6302ffd0170e1a4ea1fcf3b0311c4486aa37b768e8a0559308ba6 14454 cvc3-el_2.4.1-3_all.deb
ecef069750564711a0a2cb9321eac0e74bebae7d3933e21b653db160299532c1 23352 cvc3_2.4.1-3_amd64.deb
5b0334bf3a83d8302fade3bda0bbde8ffcefcae9860557c3a0eaae7b1463870f 2414182 libcvc3-5_2.4.1-3_amd64.deb
c3663640a76f1a10c3ac574ad4b818d743a9f8df30b42bf4d67dcb35fd86e5ab 193118 libcvc3-dev_2.4.1-3_amd64.deb
f9fe7c5de0081a47a0322e1367989eb2449b207cddea2c25fc8348b8c452f039 81258 libcvc3-5-jni_2.4.1-3_amd64.deb
Files:
d25ec160f2c0dbe8d92745c26da31139 2110 math extra cvc3_2.4.1-3.dsc
abb264f4f3f1fdadb68dbc668e775c95 9092 math extra cvc3_2.4.1-3.debian.tar.gz
3c97397d6aa0970a355b5b0f1d357428 71382 java extra libcvc3-5-java_2.4.1-3_all.deb
89d991aa08c06658ba1d11f662911e0a 14454 math extra cvc3-el_2.4.1-3_all.deb
a5d6a2bb02b62c6cb2ec72fcf7fd7bf5 23352 math extra cvc3_2.4.1-3_amd64.deb
9a6263356318a13d036dcf967c47445d 2414182 libs extra libcvc3-5_2.4.1-3_amd64.deb
cba325cfa74f86dfa466e83583a40fba 193118 libdevel extra libcvc3-dev_2.4.1-3_amd64.deb
53af728d275def6c53a8a62f372936af 81258 java extra libcvc3-5-jni_2.4.1-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJQHODLAAoJEDEBgAUJBeQMO1UQANQsZZUIk1qcokE5/d0I0vjR
JUkB60qp6eiNUs+rxZTsaNLBVS9yvws/5qzMP7phFgPiNy1V1+Wh9oigocEQUUV3
/lHW0LihfHfQ1Sc/DgayzyBYHY+EIYLsnxN8xxZ77ZZedygQWiO7M13m6hYbl9R1
1ThKkWQFFKf3ycPjzp/TPjc69hkEHBp+UxL86fjHoFCyezs3ERztRM4DzCa3DFqd
EoRnQ9d2CJgqgNcpmzVMWFCgq0ErBrK+bXDM5kL0cxf/VFagq7cL/4NcaY+jVMq/
6sLuOAgHWXKuGeMono7iOcpi4b+djeihy/mhQt1ctpAsmPcAvkSg2mnwq2qUiy+M
60cNv8Hm2Z3RTVS5oMyUST0fN62qayrXrDIEKNu1dIA4rLPzpEDhzKu/CQo3Ore6
aH92ibWYTLJ61y3m3NDuB/2zhYZ6jwAPyFF89heMVJKojrGMdmKYVPGTQxF4zNoB
TzRynvZJGe9Gg8eijnSdDpi3SJopIYbynUS8g8AagYo9iqQik3010XSgqRvJQLs3
22+wTVKIZDi/t6vyYfddIcaf8ol0tKqm+yZ1KE2XwtiG7mAgbqQezXmwAq2oo3MM
w3aZdAuHylVq4Q3mQ2VdeSjTCkhK3AKVj97id4RN4FVaiMArMVW23JbjGLnZR5mL
+0hv68TlgsVMcDNPMn4l
=4U4f
-----END PGP SIGNATURE-----