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