Accepted cvc3 2.2-13 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 08 Apr 2010 13:46:21 -0400
Source: cvc3
Binary: cvc3 libcvc3-2 libcvc3-2-dev libcvc3-2-java libcvc3-2-jni cvc3-el
Architecture: source all amd64
Version: 2.2-13
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-13) unstable; urgency=low
.
* Prevent Java tests from running on kfreebsd-amd64
Checksums-Sha1:
da0e362b14e501bad497bbb2f3702be9a71282ff 1120 cvc3_2.2-13.dsc
3ec7b37eac049799a55f19ef01bddb02bcfe70a8 63511 cvc3_2.2-13.diff.gz
33037e9b221e1c99d98b8b1f9b12fde1138906ba 69806 libcvc3-2-java_2.2-13_all.deb
6c581c047b82c337ec65ea64309d05f5871b9500 13058 cvc3-el_2.2-13_all.deb
28b3ed0b28235cb4e9a2d06194793a8f2bffe721 23832 cvc3_2.2-13_amd64.deb
5d2f2a803821761bf1a5935a90081a3a028094c1 2441854 libcvc3-2_2.2-13_amd64.deb
e7f45eda3ff8ff01c9c330e835aa52e44297dbac 189292 libcvc3-2-dev_2.2-13_amd64.deb
9f8cb9b243d98f0f92f597da7ca5288981b8e3ea 76738 libcvc3-2-jni_2.2-13_amd64.deb
Checksums-Sha256:
0e2fae2a8ddf02340cecb19a2d41b96e0f73e1b1c576deb0a3603874bb527d3c 1120 cvc3_2.2-13.dsc
0ecaee5579fc1d9ccdb62513bd0d9cb9a2313b1b0163b224c72ce45c86716cc7 63511 cvc3_2.2-13.diff.gz
2f03e3468f0723034b9713a8ccdecc1a7cb0f6e00ff7756c21344559991a85fe 69806 libcvc3-2-java_2.2-13_all.deb
add63ed1dd5a44a58cb9d6ce3069ddbf3219faf3b46d4582ff1752059677d170 13058 cvc3-el_2.2-13_all.deb
d6d045f43fb740c692b199ba93e342665b697e0590f5436d3a68de753f8706f0 23832 cvc3_2.2-13_amd64.deb
a10ba79e8d95aa7c069a05b986457fa67c3fff973fb7238b4ca9a89a36b442db 2441854 libcvc3-2_2.2-13_amd64.deb
0f242147ee680cc406832c51f390a713deb44078c4abd94327faf86bd917aa5a 189292 libcvc3-2-dev_2.2-13_amd64.deb
41ca6283342c97592a413a8a56c41a23468352dec6863d3a785a182ff19768ae 76738 libcvc3-2-jni_2.2-13_amd64.deb
Files:
78a1e5d0b37142516998a47130680d60 1120 math extra cvc3_2.2-13.dsc
b13889162c2170902ecb2eb096781b34 63511 math extra cvc3_2.2-13.diff.gz
b9c73817b1c87d470fc6166dc60c4512 69806 java extra libcvc3-2-java_2.2-13_all.deb
27315ff97aa601d43f2af627f1142946 13058 math extra cvc3-el_2.2-13_all.deb
99477eff04aff8caf4fe815fcbda542b 23832 math extra cvc3_2.2-13_amd64.deb
25a6ac86302853d09e88daf95f04e01f 2441854 libs extra libcvc3-2_2.2-13_amd64.deb
f40682331512d8a7d6044046d5b65e43 189292 libdevel extra libcvc3-2-dev_2.2-13_amd64.deb
48888eb2a9ea221899956705df1ed7d1 76738 java extra libcvc3-2-jni_2.2-13_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAku+TfcACgkQvx6dH3bVKsRxUgCfQhjH0s7qRF0hEcp1rX6t8geB
XUMAnRFBjYmVl8NtelEb7mc7b2WlEhKB
=mTJo
-----END PGP SIGNATURE-----
Accepted:
cvc3-el_2.2-13_all.deb
to main/c/cvc3/cvc3-el_2.2-13_all.deb
cvc3_2.2-13.diff.gz
to main/c/cvc3/cvc3_2.2-13.diff.gz
cvc3_2.2-13.dsc
to main/c/cvc3/cvc3_2.2-13.dsc
cvc3_2.2-13_amd64.deb
to main/c/cvc3/cvc3_2.2-13_amd64.deb
libcvc3-2-dev_2.2-13_amd64.deb
to main/c/cvc3/libcvc3-2-dev_2.2-13_amd64.deb
libcvc3-2-java_2.2-13_all.deb
to main/c/cvc3/libcvc3-2-java_2.2-13_all.deb
libcvc3-2-jni_2.2-13_amd64.deb
to main/c/cvc3/libcvc3-2-jni_2.2-13_amd64.deb
libcvc3-2_2.2-13_amd64.deb
to main/c/cvc3/libcvc3-2_2.2-13_amd64.deb