[ubuntu/cosmic-proposed] cvc4 1.5-1buil1 (Accepted)

[Matthias Klose]

cvc4 (1.5-1buil1) cosmic; urgency=medium

  * No-change rebuild for libantlr3c soname change.

Date: Tue, 26 Jun 2018 10:24:23 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/cvc4/1.5-1buil1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 26 Jun 2018 10:24:23 +0200
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-4 libcvc4parser4
Architecture: source
Version: 1.5-1buil1
Distribution: cosmic
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description:
 cvc4       - automated theorem prover for SMT problems
 libcvc4-4  - automated theorem prover for SMT problems (runtime)
 libcvc4-dev - automated theorem prover for SMT problems (development files)
 libcvc4parser4 - automated theorem prover for SMT problems (parser runtime)
Changes:
 cvc4 (1.5-1buil1) cosmic; urgency=medium
 .
   * No-change rebuild for libantlr3c soname change.
Checksums-Sha1:
 edc30c1f46f43c3900f3dab2c48614a75fca883a 2266 cvc4_1.5-1buil1.dsc
 3ef49eb74dc3823912284cdbf830f4672e1d8de6 6092 cvc4_1.5-1buil1.debian.tar.xz
 f26d2362ec924824fd6444c8e03ec9b7a87e862e 6355 cvc4_1.5-1buil1_source.buildinfo
Checksums-Sha256:
 36532f0ed406cc6c43b2979ab4ee78e7bc67adf35ce5fe61aa5c2d3ea7871f44 2266 cvc4_1.5-1buil1.dsc
 6fc33c522aef1164e8db5595c2e30d2756502c14accafdf2b7f89b2266a922ab 6092 cvc4_1.5-1buil1.debian.tar.xz
 06c0137f4b3c68914e4118827e82ca3cd30d3fb7e792a05a703044390cd2eb53 6355 cvc4_1.5-1buil1_source.buildinfo
Files:
 d17fd41dff5dabd03a9ef1362523956f 2266 math optional cvc4_1.5-1buil1.dsc
 3691d1ed6aa37cc2df8b4c976ed22058 6092 math optional cvc4_1.5-1buil1.debian.tar.xz
 1bb9df7e548d7069f7d1fe66488921b8 6355 math optional cvc4_1.5-1buil1_source.buildinfo

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlsx+E0QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9TrjEADJLKpWx3S7S+zUAh2jo8Y2uuvF5+iICKJR
quu002LQUQhwTje/RZveW/VSol+O/Sl3QGK2/Zhml3hfcvc6bJVnoTZqa3BEhLDg
qvuc+0oXhrcV/+gTdHPglkflSixMxk0bBcwnCcUuetFHFn9M60O6xc3xSTMP6DGP
kShqt3GbT6GDB5tcH0QCKn3uUuU/ko5kfUb0mHw/7p/N7tfJP04+sPW3/KObgjaz
6fT46aZIIuc7D7vpgAdDdC14GD2elc5mEYhziJLbmZjkvzLmOigRJbstk5YpJyPd
2Grn4BvsZWgJOaDIsZcooXEIv6vT8rtEa4N+LD1882hvASapbYH52ykJQevZ/zAs
6DncvMUuZFwaJmNIhyvd+n7uDrJFhLhtZmPi5oMvZZLTxB8XEWVU4j1VKNqSzOc5
m2SEWTVnKLbim/Vw7XlmlRg0Ht33PoGU62N/Ljd6/TANzCPvvbQUg5o0UvDWNvlG
c/wq3QeFTAAia/dygD3yTh5lHW3+mPL0NExmuh+qJX+282ROe9cIIomRJGWePaXC
Og9WP+LuScMnBeiHxq2vj+/9rJ1ZlrBoB2A1/Bh2yUwuLBn3bF5f3FKmraJ8BVM0
YXaWkH2OkEKvnEWr8Z2jOaUcTlqDiRZ+nk2+FN3w5WKjoXgwUMvQMDrZ11lUU7mO
2awtfeMOzw==
=7dKw
-----END PGP SIGNATURE-----