Accepted cvc4 1.8-2 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 17 Sep 2020 18:29:09 +0200
Source: cvc4
Architecture: source
Version: 1.8-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Changed-By: Fabian Wolff <fabi.wolff@arcor.de>
Changes:
cvc4 (1.8-2) unstable; urgency=medium
.
* Source-only reupload after the package has been through NEW.
* Add patch 06-disable-tests.patch to disable several failing test
cases that prevent the package from building on all release
architectures it has previously been built on (see #970511).
Checksums-Sha1:
88d933742457727e805bb35903ff7e277f75ed2c 2275 cvc4_1.8-2.dsc
72a3d5679f49fc36496352c6bcd1545be5319a60 16456 cvc4_1.8-2.debian.tar.xz
19734d114946a978203bc8e19905a825a73666b7 10298 cvc4_1.8-2_amd64.buildinfo
Checksums-Sha256:
e7128c8ca139f12246b0dffaf73c1c7a695ac032b2d23f90cc7c761e1010a443 2275 cvc4_1.8-2.dsc
330e282f0938dd468ec327791366019da29a77bbaf91db553de06ab32d8a8aaa 16456 cvc4_1.8-2.debian.tar.xz
e1337788bfcf3c35c6cb825b8f9625b393367be8a4a28894b59d5ee0a925f7e2 10298 cvc4_1.8-2_amd64.buildinfo
Files:
3c5a4dad970ea018394b827dae8974bf 2275 math optional cvc4_1.8-2.dsc
723fdc5b2e1998123905f4e27ae12d56 16456 math optional cvc4_1.8-2.debian.tar.xz
e13620ae5b01e9f2bd5f6972f8ad05e3 10298 math optional cvc4_1.8-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl9kCckUHHNlcmdpb2Rq
QGRlYmlhbi5vcmcACgkQ0Ot2KGX8XjbeAg//ZaltkU2mc+HazBb6jbZiy8g24tpK
yqahgxkUpCdFaaHYWbMI+ZYLvgSRasrl3ngbnFKFtQ+MRJdvltfyFt/fl6IIyXsC
HoSrl9vs2MFS5Fgr7D0PUX43gfpfG5XYTP0IjAGsC9kdO+sc9Co3KKbvR0uSLR5/
GAaH+nZU3TzoCHtqnGirSVUO+HyPQYNHSXLw8KC+augcoq5opiUji3Ob0hzgYxE3
5vmXeXzwRB1cFEzz2t2GbW1uXm8T1nxErI8kFv5ppiUNSoRohGsQ4FZzQcFNnlKx
XJnggkmIHk55BK6LV0FZqwsfKxhbW2e1obzfpLhyUJZWsMz+2ipnuTLuoNDciPeY
/1UwtK0uHQum1VxBS8h2C0r/BvYTOkjUC98LztMgZvZ1JdJxH3rtodCVjQFHc8F4
fiiYdXuByNZIfmCnBU9bzhKo8nhedUAPcZ2sCLHsmzuoNAIvVBdofv5h7ssTgdfa
zuJ51TlyWe/A742WoypZc+lFQ+2BgATrff3MgB248aRQAdQt4lpUMQMzvZwnLYnx
g69ej7490726CaQiz+7MnQxUJQMEqQ0Fi7e2shVLZWr/0t0OEPPZBjvLuvIvhZ4M
OIw2wcr8i8sO3W4nG4tDtWCUplDIhJN+74MO27R407a4XN39EcriJaHp3/VxGoEG
UdSd9VGUnbyhK9Q=
=NhrM
-----END PGP SIGNATURE-----