Accepted cvc3 2.4.1-5.1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 13 Jan 2017 18:58:49 +0200
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source
Version: 2.4.1-5.1
Distribution: unstable
Urgency: medium
Maintainer: Morgan Deters <mdeters@morgandeters.com>
Changed-By: Adrian Bunk <bunk@debian.org>
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: 811823
Changes:
cvc3 (2.4.1-5.1) unstable; urgency=medium
.
* Non-maintainer upload.
* Use -std=gnu++98 to fix the build with gcc 6. (Closes: #811823)
Checksums-Sha1:
247510dd6c06f1a279806e48ef734269131c93aa 2046 cvc3_2.4.1-5.1.dsc
72868f65998e420f630ea880096e4a6ff2922e9b 10208 cvc3_2.4.1-5.1.debian.tar.xz
Checksums-Sha256:
c6cb0fd23694694c7dd9b294c609a8da1180c72633817c3e77e4df4d96e8c4a2 2046 cvc3_2.4.1-5.1.dsc
b88085b8cf081ec2da326c403e34b5f3a076e36caa3d7a971595e1350684b993 10208 cvc3_2.4.1-5.1.debian.tar.xz
Files:
db95ea8fe44d85713e3d64ac5f7b48c6 2046 math extra cvc3_2.4.1-5.1.dsc
db968c061f2adbb6bf1817e65b471c8f 10208 math extra cvc3_2.4.1-5.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAlh5ChsACgkQiNJCh6LY
mLFiRQ//cTysfIn2VW+LRAPaCwDmwPbKlgSJLlb+NnNwMB89TT0E6hGAorYcBIVQ
za/KhDdF9BJXYCFcLjngMC6RiU2uOKxeomtc4iXMBvVjAkTsAGQpMcnQ0ZzNDqJZ
ipNXEvgWwu5r2rZy4ewqobSum2k8QaZoeOUhZA8tKMKIn7Hz8EY+kXghvsy7Pmwx
q58673Aj09OFjjufJVxMhfIn5f64IJFkf7rumxhIWhCArIe/8wAk75m0K3GzOTk5
eRL1yL0/pkMe9Il2oISXtGp21WVmtZOEA9gdwuYVcoAjyBWrDEbvi2v0fMrTKKSk
FPl1HaNoOkInjCwhhURQ5mkh+19QVStVa0S3afOWm3qe2hSLAzD17g7KmoE993xp
YiAHlb0s+ctSWnsRyTmEqzKz8dmNqR5f8lHX+eBx0kVJlQXFuST3858sLlh9FxHj
7Kdfec12R8h83ZhI0s5HA21YxXjoGo4W3B5HvoA1evzH013tZc2aLP66wKFk04n6
YFi73yECYyBH2aKFBEHwOMd4lb5qnW6hq0mMdJ9B6r1SRjjBql937Cu3VJLjuFFx
aJ/cP4ymiybAr3L5KwygxDlV/UMzpVSk4h6tW/nMoGyS5lgQiHqf2ZCArz3ydM9s
Xj3CnsRggHLoRVgICuYYjUyglO5RUUpmN/lyYG8bkxabeBZd+QY=
=otAx
-----END PGP SIGNATURE-----