Accepted cbmc 5.10-5.1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 07 Apr 2020 11:55:23 +0300
Source: cbmc
Architecture: source
Version: 5.10-5.1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
Closes: 952256
Changes:
cbmc (5.10-5.1) unstable; urgency=low
.
* Non-maintainer upload.
* Build fixes:
- Fix the build with libmaven-compiler-plugin-java 3.8.1.
- Backport upstream fix for building with new bison.
(Closes: #952256)
Checksums-Sha1:
dd9454d00e1fc6c085177d1e725e577a9f6131be 2168 cbmc_5.10-5.1.dsc
4ffc6bb1efa6b2b39468c763889945b22dc73e4c 13312 cbmc_5.10-5.1.debian.tar.xz
Checksums-Sha256:
e9ee3a6b066ddb8ce2fdc44c5311f4f4ab07e400efb56de58012ef711e50220d 2168 cbmc_5.10-5.1.dsc
e58cc9b150c01a4ea1114e912a7b5e5d82b094c14cbcdff1a9b2f9f670bebe00 13312 cbmc_5.10-5.1.debian.tar.xz
Files:
c64cef348e5ec084c20519c9867bc651 2168 science optional cbmc_5.10-5.1.dsc
a0d1601fa9b5dc8e5b27acbabbe0d9c5 13312 science optional cbmc_5.10-5.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAl6MTKoACgkQiNJCh6LY
mLHEyBAAx8pdXk22eTSwEEWjPYMdF2jmGr/aHL/fIrIWdA9lvm/wsg78D0GKIMg+
flDZfmVctz6Y80J6RIIKn8hhXCdW+DGBXZ+PrbrfV4zj+THyljiRLjue4y0aKZaf
RigwGAaMkP/ySWi32WLLTyUuHV/gUeMXUi9cx9K+0OqGnWPBgFKSXmOQNbg7eWiN
0o52s6OATY1Xg2O4t3u6BABQC0TZM7sgg5dyi7yv/ub6TWqpIOYUATXumAHzHqGh
1DfsTAhhlQrwhB4CqOvOQSFICv/QZcUZfDjw+4jm5nrr/xCXyTLegwrT+7e5Gz8l
IAnTx7drdjKGliY8HkgAEsJGgNHn7X3eUOUyN1AoUvzfZ1W6ukqqyCs7Gi6iCeB1
0gR71nxyn6X102PDvets2SubTGljQaQnHA3eNAymsBsxQXNDECIZt7mfW6bjFAbG
q6W9XWdsRAMeyF0KUEzOd6DBEjoiMBekfOmY/c9w4fPJquX4fOeqi6K0+B7GlsYv
zd+anidS3TY2lSsrG3IQ7oSfU4batxsL0b+9s04zURj9Fr3sCJyYC2tWfIZebCq8
F9qgIP0007yQ4WfvwbUNTCY0A9B25n44LnD8fOWSUPYbQqyWh5hyMX3zIVFspX/j
eMBkwsWynR+ZgGWtwFEIW+6CGDlRqe9d8FFxnk3URqFucjSSVaI=
=sC2b
-----END PGP SIGNATURE-----
Reply to: