[ubuntu/disco-proposed] cvc4 1.6-2build1 (Accepted)

[Matthias Klose]

cvc4 (1.6-2build1) disco; urgency=medium

  * No-change rebuild for readline soname change.

Date: Mon, 14 Jan 2019 20:09:05 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
https://launchpad.net/ubuntu/+source/cvc4/1.6-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 14 Jan 2019 20:09:05 +0000
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-5 libcvc4parser5
Architecture: source
Version: 1.6-2build1
Distribution: disco
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 cvc4       - automated theorem prover for SMT problems
 libcvc4-5  - automated theorem prover for SMT problems (runtime)
 libcvc4-dev - automated theorem prover for SMT problems (development files)
 libcvc4parser5 - automated theorem prover for SMT problems (parser runtime)
Changes:
 cvc4 (1.6-2build1) disco; urgency=medium
 .
   * No-change rebuild for readline soname change.
Checksums-Sha1:
 95ff146ce550f1b334c98e69ab809137c951684a 2701 cvc4_1.6-2build1.dsc
 07e05384e4c83d5808748d5aac07b948e35de811 8312 cvc4_1.6-2build1.debian.tar.xz
Checksums-Sha256:
 506b30a1b201310a8a74b17fabb660e3847cd66c90ce956b90929e79f9c27b4d 2701 cvc4_1.6-2build1.dsc
 9fbd897b205a1755d7a9dccf8234b836cc217c8d34d6cdee5aab2adf1f942476 8312 cvc4_1.6-2build1.debian.tar.xz
Files:
 cbee1e44dda35976361048fbb21508fa 2701 math optional cvc4_1.6-2build1.dsc
 7b8a0cf6a1a47da499044f4190829778 8312 math optional cvc4_1.6-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw87ZgQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9U19D/9FFq494vLHO9Sa/Fb4DhzzFjb27qX2ojWV
v8eZaKmhsnjPgv9xQagwOIWKQUDux5CdKo9euk/fopX7fESqwF6DZS93kJzHtgAA
tAcILpPyxLhf0d0Y7c934BNiV8v2UDsg2nZVV6llxvMYgOoQsmnigwUwilyQISVy
4xqwrI6Anm8cNeWaey8VAAgoRPBQOANsOzfAVt4jnejfC6l8pxXHM4Kyg38y4yGR
8upOW8XQrFZtkrL1CPSVqy2kgiOmllC6n2wxx86WGRYyzHIpod9SRC9kAOwJJNGA
B2a09ZlXFjyXI8NzKoPYHQeoTQFZgXFXkKi4J6M4QdKRVTWNiftpKd2lOnvRlsu9
DFO6c2tVpkUxLoy8JqlZ+9YubiMOyo7i01n3LF/G9xOFZwV0im/32lcjyyTNPn/c
larRyFHySGqQ8RdRGfpH6T2dtx/jFff3DIP+WkM8NfZGN1UYrFviZN9foJMdkyl4
6xlw2ytRh7+lec//84osTBSeeyLvr/8CquzJvtr3XEwftTs9D4QHFs9zEuDMZqwJ
e6UC2sln8ASiiDnbTCA3aPj5FaOMfGM1NXtDQue1v3Vbyu1XO9cY2SJFl4dVDZzM
p4fOyjv6fWwfQMw5ry58rFRCBwexkRiqCN38mUtngJpvpYp4nFMAd5G3kCzpF6yQ
t6LA9U7jGA==
=96u9
-----END PGP SIGNATURE-----