Accepted cvc3 2.2-7 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 06 Jan 2010 18:09:30 -0500
Source: cvc3
Binary: cvc3 libcvc3-2 libcvc3-2-dev libcvc3-2-java libcvc3-2-jni cvc3-el
Architecture: source all amd64
Version: 2.2-7
Distribution: unstable
Urgency: low
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Changed-By: Christopher L. Conway <cconway@cs.nyu.edu>
Description:
cvc3 - An automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-2 - An automatic theorem prover library for SMT problems
libcvc3-2-dev - An automatic theorem prover library for SMT problems (development
libcvc3-2-java - Java bindings for CVC3 (bytecode library)
libcvc3-2-jni - Java bindings for CVC3 (native library)
Changes:
cvc3 (2.2-7) unstable; urgency=low
.
* Adding cvc-mode to auto-mode-alist in cvc3-el
Checksums-Sha1:
9ea1035a1a79785a64439e81ec48d094b67d712a 1103 cvc3_2.2-7.dsc
322536b152f4f26c6273bf0fbf4080ab7b41bc4f 7259 cvc3_2.2-7.diff.gz
06b292fb86b7d6f1d96a89c96b05d4a6135c36a2 69518 libcvc3-2-java_2.2-7_all.deb
886b9b06d4e27c9e43c258ecc1f0040399e59f9d 12636 cvc3-el_2.2-7_all.deb
9b893b109ead2380f38f94de32b0a748966ca833 23250 cvc3_2.2-7_amd64.deb
28a485c002d746696a7475b190b9d3349dc88d2f 2424002 libcvc3-2_2.2-7_amd64.deb
7b8dd64c9640f31bbedaf932b17d6b2394a0e844 188686 libcvc3-2-dev_2.2-7_amd64.deb
0febdc027a5874454971594eaf2a764aac5d86f4 75520 libcvc3-2-jni_2.2-7_amd64.deb
Checksums-Sha256:
1a0880cac2ab9a24fe9e559cb26efcc68c26d5d6138a0da97650f0ef984d84c6 1103 cvc3_2.2-7.dsc
ccf6571ad5e7b510af22e7db93cac8a2a1b53efb6a97e0dcbfebcae7d1a7342d 7259 cvc3_2.2-7.diff.gz
b93ee13f072e85daa9a2b59a7e54a383becc424e0ad8ac32e0ac731404d80693 69518 libcvc3-2-java_2.2-7_all.deb
3b2f2cf62305978a5bfc9c851516c6353100c385e695fd628823d98dea1a0fca 12636 cvc3-el_2.2-7_all.deb
015d7d30fcecaeb1483d994d9fe724e77210c9681acf351a8cb3c1660a996c33 23250 cvc3_2.2-7_amd64.deb
94364104a27d0ebdfc38afdd2cb34748312c8a2214a26c0e49324d395ec87382 2424002 libcvc3-2_2.2-7_amd64.deb
e59c2e2845c62b9b7eb741db8ce343bf241f900ec212fb51d2e1fbfe1a5e1bf5 188686 libcvc3-2-dev_2.2-7_amd64.deb
28e62c8b538f3dec2c4f1bfbf3e6d4876d0d7cb416b3709cf7ee591bc74686c3 75520 libcvc3-2-jni_2.2-7_amd64.deb
Files:
12d0f67aa6a989f7d70ffe68c3068ee3 1103 math extra cvc3_2.2-7.dsc
2f85b7f00c0b7a158e658704180d6ad8 7259 math extra cvc3_2.2-7.diff.gz
642d33cbdf3a4f854558dcee48018778 69518 java extra libcvc3-2-java_2.2-7_all.deb
ff1f0ad297f30ffa05277d9e074f7514 12636 math extra cvc3-el_2.2-7_all.deb
77d255acf10f3a3002993634bf221bea 23250 math extra cvc3_2.2-7_amd64.deb
e5e0be6f4962f8c69966110f32fb823a 2424002 libs extra libcvc3-2_2.2-7_amd64.deb
1c95879ecd43e5490ac82b66688884a5 188686 libdevel extra libcvc3-2-dev_2.2-7_amd64.deb
0f147cd574a8f7ac79453ca8840088e4 75520 java extra libcvc3-2-jni_2.2-7_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAktHC10ACgkQvx6dH3bVKsQFHACgwM/iE/NPJnFic8Eugg4gnak2
RoUAn1o3/UJm2f5wdohJWvEwJVO9xkTH
=nmXU
-----END PGP SIGNATURE-----
Accepted:
cvc3-el_2.2-7_all.deb
to main/c/cvc3/cvc3-el_2.2-7_all.deb
cvc3_2.2-7.diff.gz
to main/c/cvc3/cvc3_2.2-7.diff.gz
cvc3_2.2-7.dsc
to main/c/cvc3/cvc3_2.2-7.dsc
cvc3_2.2-7_amd64.deb
to main/c/cvc3/cvc3_2.2-7_amd64.deb
libcvc3-2-dev_2.2-7_amd64.deb
to main/c/cvc3/libcvc3-2-dev_2.2-7_amd64.deb
libcvc3-2-java_2.2-7_all.deb
to main/c/cvc3/libcvc3-2-java_2.2-7_all.deb
libcvc3-2-jni_2.2-7_amd64.deb
to main/c/cvc3/libcvc3-2-jni_2.2-7_amd64.deb
libcvc3-2_2.2-7_amd64.deb
to main/c/cvc3/libcvc3-2_2.2-7_amd64.deb