Accepted cvc3 2.4.1-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 12 Aug 2012 17:15:51 -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-4
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: 678183 684026 684351
Changes:
cvc3 (2.4.1-4) unstable; urgency=low
.
* Transfer package repo to Git.
* Fix syntax error in debian/copyright.
* Keep 50cvc3-el.el after remove. (Closes: #684351)
* Use ln -sf when linking cvc3-el emacsen files. (Closes: #684026)
* Remove build dep on gcj-native-helper. (Closes: #678183)
Checksums-Sha1:
3bd9b7da41d8e3e825cf3f67d5f0e92857da7f33 2096 cvc3_2.4.1-4.dsc
d7c10278af7749b514eae40ea8c20c8b771f069f 9058 cvc3_2.4.1-4.debian.tar.gz
a305ab556d8d374c61e66db6d4f614611a197956 71508 libcvc3-5-java_2.4.1-4_all.deb
b93e667b060657ad0e5802e93bc02c83de96ab9b 14560 cvc3-el_2.4.1-4_all.deb
77cff221bfa8da0a8b50a47bb7b9f28c2aebfe72 23460 cvc3_2.4.1-4_amd64.deb
9aed89b9de127b740b6108052372abcc5965df5c 2414278 libcvc3-5_2.4.1-4_amd64.deb
8f47d36594774b1ba846e4c10b279334d287e940 193246 libcvc3-dev_2.4.1-4_amd64.deb
9fa2da8ab8ccde7f4fbac3e0ce4cda21a1414964 81362 libcvc3-5-jni_2.4.1-4_amd64.deb
Checksums-Sha256:
591f6e82393f0ac14b9a5cccf25937a1a0c92987d6d90218d56eb3c6ab3e2a5e 2096 cvc3_2.4.1-4.dsc
0f26a61ad826198f41c019754e0b652e7a42499915e69335ff45046abdf1868b 9058 cvc3_2.4.1-4.debian.tar.gz
82411166ffdadf66f1810604c5651e0295252a479c8f5a44f6b28781519fa76e 71508 libcvc3-5-java_2.4.1-4_all.deb
8d941440967ed444621f43be9590691ac173352fcd141a495d2128ca7e7c5cd4 14560 cvc3-el_2.4.1-4_all.deb
49e490f7d5d61077f2fcad2f0c8a3160f126b09883465517c99b051c10f90c97 23460 cvc3_2.4.1-4_amd64.deb
9c45a0bffe9493837689239203f83974b8f5aeb8ef1b6f58c90dce0e60202618 2414278 libcvc3-5_2.4.1-4_amd64.deb
f4f521afed1e792c8af645e4ff2fd58302556900394c04b2b23851102d9753a6 193246 libcvc3-dev_2.4.1-4_amd64.deb
1e57b1a480a56fbcc52f952207e92bdd7f4a395b04b099c0d6d6cb749d367a19 81362 libcvc3-5-jni_2.4.1-4_amd64.deb
Files:
013153287aeca9076efac802ec23319f 2096 math extra cvc3_2.4.1-4.dsc
df7d80ba6c7d8c623f9ef6e845384697 9058 math extra cvc3_2.4.1-4.debian.tar.gz
5b6558bea959ebbc36eee19f2cbed0b5 71508 java extra libcvc3-5-java_2.4.1-4_all.deb
6a712d6084b6fd390235b2128ea9e5f3 14560 math extra cvc3-el_2.4.1-4_all.deb
ffac7ca4efd247f7ea3c87949ccf74b5 23460 math extra cvc3_2.4.1-4_amd64.deb
a3423f62adc7b76188d8f8ceaebc9cb4 2414278 libs extra libcvc3-5_2.4.1-4_amd64.deb
c639180ef05c0100eb164b872340450a 193246 libdevel extra libcvc3-dev_2.4.1-4_amd64.deb
32bef7bc8de5959e156411ae1ba3c73f 81362 java extra libcvc3-5-jni_2.4.1-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCAAGBQJQL91oAAoJEDEBgAUJBeQM1ioP/j6YqOjRQlTdz4KYaWjbK60o
sjc/UHcPym3Crj5m9eUkDz2qOzSpOT5rc0EWX1Eb1HK67uOao4MAEXbFS3g1O8qy
FwJc9TNDlumBw7b6PU5fr2sFhdnGPNkegDt+5BL2Z1416zENMlxgo9PMrBMtdKWi
PP6SluKKbgQbsiq1Ii0ACk9cy03KrfpCxbXqV2Vex5IeJJXuvZekpPqg5CCF6bU5
ViYaAjTfek7XtfQW+sU8aT7GRwU9yWnSvj5RIKJEL/DX4KbyqrD3SVDuRp74mWjV
WrFIg32+j1c5UnvIUAb+6oaHSJuc1X97OYPXRIyuU5oQMB3NlWSuE+jrZ28urqzK
zOAIDlFV4dbpnH7zxgwpNNC2RGQFVeGshJ1LAh6wzF+WKKKg5nglh6AduQ4yXcpA
FvfF2t1neYwMDHa4jCKQNRuiEp093HcdRmS4BYo0/95gygWTPP1vWYU4UZ3F6E3P
SsSWf3v24aS66Eqe1f5SQOKLBLU/OiKQfjOZLQOzDvHa6v9kIs86p//QWfHjVUqG
9ynhnwPdwq2sJWt8CRuNpQnZIr7Vlxt4SC4h9NY/tUdNbnn5GA8XPUOVKxa8YY5t
7f0sYdNv1RH7mIAVirOJ54chvJV/UCl60Gjn0CnFy+vWb9uRbcDOmNKtxuhTdGjA
EPJbLZmtD2HbbphRhx6N
=aNrN
-----END PGP SIGNATURE-----