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

[Matthias Klose]

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

  * No-change rebuild for boost soname change.

Date: Tue, 17 Jul 2018 12:54:48 +0000
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-1buil1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 17 Jul 2018 12:54:48 +0000
Source: cvc4
Binary: cvc4 libcvc4-dev libcvc4-4 libcvc4parser4
Architecture: source
Version: 1.5-1buil1build1
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-1buil1build1) cosmic; urgency=medium
 .
   * No-change rebuild for boost soname change.
Checksums-Sha1:
 f6034526698b4fbfd20002ecc796abb36fc160a2 2290 cvc4_1.5-1buil1build1.dsc
 4db30c325cc078175eefe3836d0528d19ad60473 6120 cvc4_1.5-1buil1build1.debian.tar.xz
Checksums-Sha256:
 96f18854e2fa2f6bb68db824db566b7ec64acce05e71ae87c309512ba698c421 2290 cvc4_1.5-1buil1build1.dsc
 f0cc475d4d267403e35ceb575365461a6ec0a661315852084b6c6c7870c187da 6120 cvc4_1.5-1buil1build1.debian.tar.xz
Files:
 3d135546464e50c9284518babaca621d 2290 math optional cvc4_1.5-1buil1build1.dsc
 d98e4606a3af552affcc40b01fdddd0a 6120 math optional cvc4_1.5-1buil1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAltN7f4QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9c0JD/9a/cd94eSO8OB6I+6Ru5MJAf6MOEHP+GHO
BfUkm5b+uFx0gVBhn+z2+JKnY1hz1eTD7mEa9Bdo/opi5I1w5Rx+Scn1uvdZPotA
rVFACZ1PtDa7/d8CfzvrbCqOFvOcPKgxAYxmh2hW970ESroZJc2O+y4ixkz/iWkf
fdfu919qr2uNz8/y+a89kP0tF2NTrKWHi3NotO4sV+3Mr8P4QZ/6dnpkc0GXtCg2
QX9D4GyyOsvooz3HnzCAysZ3HpoNaLC/M+pTY32NOEVZhkXjvaKQ4jK3y6EUnkJh
0liIRYaaFLyorrvwm8iPIpviQ7vcrNX8aGa8E0DOvN4GrvYkYhoEV3K85+b+uEyO
3+UrGjfF5hozOvhUWU6JU2e3VdYF7ulStH0mGwtyRM8oRp/ensPtyXvTVoLM3iCN
9TiqC8ayPOt2eofa43ZxQYNuTfLuh+aehPLn8i3B8yrNDggZWWweZ+/x8dpAo0Mu
Zo6iUy6Cjv5g0F+gr2Jsy/eepJ6jiy5BGFZuA0C/GGSeKwhrgIciMP16mBfNs/Ru
xgzsaS1CO8JX47VzLMMmrwgbCw1XSKRgvaUvAYz4NZKPCSAJ2Az8k+GL/h+cR33M
mlZUb4PIFcgzMSDjc+yEUSYpYlK+IKSPI2mUpWWLPeYztrKoMMyHDi/XeMMM8oqk
UQ+C1YWdQA==
=FMsx
-----END PGP SIGNATURE-----