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