cvc3 (2.4.1-5ubuntu1) wily; urgency=medium * Rename library packages for g++5 ABI transition.
Date: Mon, 03 Aug 2015 22:33:48 +0000 Changed-By: Steve Langasek <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/cvc3/2.4.1-5ubuntu1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 03 Aug 2015 22:33:48 +0000 Source: cvc3 Binary: cvc3 libcvc3-5v5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el Architecture: source Version: 2.4.1-5ubuntu1 Distribution: wily Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Steve Langasek <[email protected]> Description: cvc3 - Automatic theorem prover for SMT problems cvc3-el - Emacs mode for CVC3 libcvc3-5-java - Java bindings for CVC3 (bytecode library) libcvc3-5-jni - Java bindings for CVC3 (native library) libcvc3-5v5 - Automatic theorem prover library for SMT problems libcvc3-dev - Automatic theorem prover library for SMT problems (development fi Changes: cvc3 (2.4.1-5ubuntu1) wily; urgency=medium . * Rename library packages for g++5 ABI transition. Checksums-Sha1: 0147b266a299c76e789e8627dbd8b0c2fad50bfc 2135 cvc3_2.4.1-5ubuntu1.dsc 6a3c8a92bcb14a12b7beca05014be1ad3d4a3e56 10320 cvc3_2.4.1-5ubuntu1.debian.tar.xz Checksums-Sha256: 9b62984fd2dca55de763e81f5776049b2c40fcd983a71a717d939f2c1af43746 2135 cvc3_2.4.1-5ubuntu1.dsc 9d59d5a63da95d076fdf947f23937cdd2dc909a8c16b1156c5b9266d44ad39b0 10320 cvc3_2.4.1-5ubuntu1.debian.tar.xz Files: f8278db6d97ac09c86653748b39291ba 2135 math extra cvc3_2.4.1-5ubuntu1.dsc 3c4f60232c8aeefff0ad0a92ee52bcd3 10320 math extra cvc3_2.4.1-5ubuntu1.debian.tar.xz Original-Maintainer: Morgan Deters <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVv+xbAAoJEFaNMPMhshM9vuoP/iU5zvPRKrrSat+k0vRPsLYc AD67QKlWDZ0tZYQv+l8Sj/IYPgpLCZxwjVrTxaw/fl3hBRJRmFTyO3GCIo7EPvyC n30r61YuNDs4aZoSc3s5r7kHOpXSrRELGIGSn56DfFphiTAv4T35Xnj8GMAIpvId Wk/J7JjJFCdaoynJJz1LX61JCRwTohxOzO8OxHdQ5Q4ldxU2AevWqFKLVLcOGJ8L DhdLp29TfFuT3mcLRfkv8KeddDCmtOX9KU09+OATg8RhMUATIQZEP1rsss32JVZG aHg+uvDc9XNZMPzdlzZXTIr9XqwAA5jujfYpAvZQFjclk15IpsuUUbdk+SYVelVZ KMr6TzdWyvTkYCMtnBBw6zONKiNjTqRpsOcS7wlcFYF5MT4fRq73RnDh6j8DKSHG sljAozWdK7muFK2yxovS5kpxHH4DGkVGZfTCTbPHyn6TLGMWv1exjOq3vg6690SQ +FSw3JoE9rDI0eNB2KDK9VsLntuudAZ3U+VZ8XaxN3zW85q6lpAKCRoz/gFLCD/t V66KIfbvSEe90/yOUvTIjZ+EhZU8j55/VME3At2vFidmoFg8eEHhyNUO40jsPshS Ty7tctm0OS2s1gnGqR8K0ahQUoepBBqBTAF8CZk4KqNYHP2TU3v3IEtUg+Youuxt UzzI8fk39o7WihP6EVL+ =yqqr -----END PGP SIGNATURE-----
-- Wily-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/wily-changes
