[ubuntu/wily-proposed] cvc3 2.4.1-5ubuntu1 (Accepted)

[Steve Langasek]

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 <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cvc3/2.4.1-5ubuntu1
-------------- next part --------------
-----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 <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
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 <mdeters at morgandeters.com>

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