-----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-----
