[ubuntu/focal-proposed] cvc4 1.6-2build2 (Accepted)

[Dimitri John Ledkov]

cvc4 (1.6-2build2) focal; urgency=medium

  * No change rebuild against new boost1.71 ABI

Date: Mon, 03 Feb 2020 20:12:28 +0000
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cvc4/1.6-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Feb 2020 20:12:28 +0000
Source: cvc4
Architecture: source
Version: 1.6-2build2
Distribution: focal
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Changes:
 cvc4 (1.6-2build2) focal; urgency=medium
 .
   * No change rebuild against new boost1.71 ABI
Checksums-Sha1:
 1e69a928a47f8af6bb6f8f486658ce2342758a1a 2755 cvc4_1.6-2build2.dsc
 8459f61ecdd7ffa46daff01a479a9250aa9474f2 8392 cvc4_1.6-2build2.debian.tar.xz
 c8495d314c52127087d0c0c59b4327a31bfd32c6 8002 cvc4_1.6-2build2_source.buildinfo
Checksums-Sha256:
 7d74b8a6b6dbd43e7ed322a32e65a91fb990adf17fac4b107d3543f4d31128fb 2755 cvc4_1.6-2build2.dsc
 c365ed4dc43453c9d147672862cedc44192a7b7570f442c68217f449c405518f 8392 cvc4_1.6-2build2.debian.tar.xz
 6ddd4a57e51ad8f48e6c2e8a33223a8b70433541b08bf85cef63e732c3848322 8002 cvc4_1.6-2build2_source.buildinfo
Files:
 102a1872731c1316df4b074847be4888 2755 math optional cvc4_1.6-2build2.dsc
 a3d0a760116c27c6c67a9425beb466ea 8392 math optional cvc4_1.6-2build2.debian.tar.xz
 1c3321126c1308a73af6161449f2beec 8002 math optional cvc4_1.6-2build2_source.buildinfo
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl44fskACgkQm47ISdXv
cO0a1g/9H7Yb8Xcy+sSPpQULVvGUXksIgtDC+3PGHWJqzk3bdt+XWdZFjsKw9w6f
wtykzRmJp6t6L8Jy5gVgPHAxN1tijde6NbeyIrcS3k4C4K3EeJekvVffjIsZ0XG/
pYe3cglFMjTmzSWmbXIzEUsM3mmA8vOz5c0aneg5HG+MCkz0DCnRjYpXE9KqU9+I
d7jWGCaH8jF8DBjLkRvGANpfcbePCxcHGQbdv2mVNJgS9i+JRUMMbjDkXtwrQpRo
TrQDqOeyQLRjL/Z9iVA38rwaUbfhN08DlXAyd6EBFG9s0iHmk/rOZTLdGpKNfdy2
4U+xfh85XcCpIqatNi7AAb45ShxkYO6vtDUt1PH63/y/0HYxEgzCONOwcXhlGQjf
08+eTNKJNmDcfsJ4erTxybYIwvEWs2U2ggRkMsBjBadV4Eo8zbw409/usxcMj+Fu
DySi01v55eKr8NIzHUBopKd+oFHeS9pF629+idViw6BMMiV/D40QPLRMPWzFC/WJ
PnrlpAh2S6YYwNZzv4kGR3n4sFr2dL+zH34MffYG+UmtM5vV4t0myD4YGdl5L5t4
lsigewxYMML6sGTXvjPl6oHpIz6I5q4NA3huiQq5FiIf1nfiRxSkwg/YoMPvOoBT
bprUyzgde1GwPtzLkz/SOImvcKF8epKq4BGTu1r5DsQKgDRooG4=
=Aw64
-----END PGP SIGNATURE-----