-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.10-5ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.2.1
Build-Depends: debhelper (>= 10), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, libmaven-compiler-plugin-java (>= 3.8.1), libmaven-compiler-plugin-java (<< 3.8.2~)
Package-List:
 cbmc deb science optional arch=any
Checksums-Sha1:
 19d3d143a2d0a103fcf7ad20c7690de46e5e1066 173342 cbmc_5.10.orig-java-models-library.tar.gz
 b9fed11ce8218575ad3f781aca71ec8f328a0304 6345384 cbmc_5.10.orig.tar.gz
 1a365fcc8d7f917ab5af5c392124cd5fad30af88 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
Checksums-Sha256:
 e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487 173342 cbmc_5.10.orig-java-models-library.tar.gz
 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352 6345384 cbmc_5.10.orig.tar.gz
 dd6414fee735fe5975f34755bdd4fd4f807a41b03553858edce8990d1488181e 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
Files:
 181d4c80d93f6c8a10da01fab64c89eb 173342 cbmc_5.10.orig-java-models-library.tar.gz
 5b91030b9d24f54a6cda8724f61578d7 6345384 cbmc_5.10.orig.tar.gz
 1f85c08fef8472d10ca7fcdd6ec9877e 13412 cbmc_5.10-5ubuntu1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAl6Ve4sACgkQr8/sjmac
4cITIRAAtOCXd3uZBHoUQP/qaZ7M+LjbzFcGfFqLDl5tR8ox5gssLiPzC0/ClXBB
Kg9k7/YWvz2j82RXeLTtuFt/P8hH6cbQ7+g9gxZWm3Y5gBuRxf5Ur7S5dNB3GFwJ
mOLw6SmqQYa87+wJo1mTLMMb/f8PlrCOimXaIFLPXAmnSua/x8FqnsQBi6MgRC9a
Y4aZkTp6nw35c4VEnzWQC1/UI/yyHol1Or6nwOOrT31fSDnA+5fj6p59L66B8Zt3
+XF3wRkHYYqKDwEHSN8pqNX+xLXE76JpOkQSkbz4wrS48sRPT9tow1ng7tNNAyT/
ugg4qHnd+olOYdfqvfkqmc8J7E/L1RTu6PjSpr5+4r3V2Ms7u0J/vHEuc8aLN9M6
+ZItCGWlUxJ5Jkj5LUtDeYA1ew19yywgUQavid7oit31W7NZnUYroAkdFT2DUaTj
uum/iH4OCdp4Dw43NXK+an1XzLJAwrG/Zh6zzxjJOIyu2Ome6ViPP2oCLCJk0czE
PyUCQ+JAWXQi6ab4Z2q25vG/ITRHzLD7JfEeo5jLwds3N7WRrLRbe6BEIoHjAopv
r2uvslyFeZBXRY+u2JgD/kVoZCdwbHmZe2sUzQiQQK50DXz1Co0iznHEfsmSK3aN
1SHt/MnntyHNqw5fpDKbokvMN+rgrqyndq0xLAiqitGc421/PdU=
=CQWm
-----END PGP SIGNATURE-----