-----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-----