-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.12-5
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.5.0.1
Build-Depends: debhelper-compat (= 13), minisat (>= 1:2.2.1-2), zlib1g-dev, flex, bison, default-jdk-headless, maven, maven-repo-helper, maven-debian-helper, gdb, libmaven-compiler-plugin-java (>= 3.8.1), libmaven-compiler-plugin-java (<< 3.8.2~)
Package-List:
 cbmc deb science optional arch=any
Checksums-Sha1:
 df12ecf4e71cc9e71322fb7ddeeb9c4e1588b8a0 303871 cbmc_5.12.orig-java-models-library.tar.gz
 00186310c8664380c6a3363699b24e25a1f55500 7226147 cbmc_5.12.orig.tar.gz
 cc6f5ece7b65a2e4a8ad929fcd99ef4ab04f24eb 15804 cbmc_5.12-5.debian.tar.xz
Checksums-Sha256:
 38e5181b05687c1c6baaa48bec3110ba3989df6daf303ace44ef15e38f7721f3 303871 cbmc_5.12.orig-java-models-library.tar.gz
 1b9d003e1baffc714b36a38087e4ed42b47c04da5ebdb02bbce03262ea3acafd 7226147 cbmc_5.12.orig.tar.gz
 4f9a7a59047c83ad4abec8c2483e2a76a8d1a38e5fb8e5d7c2475514bbf920e9 15804 cbmc_5.12-5.debian.tar.xz
Files:
 ac2c4bd95d602a589a3e0bace05c6f08 303871 cbmc_5.12.orig-java-models-library.tar.gz
 b3c3f77800d21b7875bc935d4c580ee8 7226147 cbmc_5.12.orig.tar.gz
 93b35e3fa4a4a0bc4c458e6d336bd599 15804 cbmc_5.12-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Comment: GPGTools - http://gpgtools.org

iQJCBAEBCAAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAl6wLygOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTH/hA/+NHvtfO4B4WPkP76Iis4xBUqpnBBdDsNuj0kZ
QNgQSJextAvMSR/N8sHnAYo0GBExhwD82t3JlhFvQFhOIpY0y3fcSm0x+5SKLOT1
EwxoPlETGKsDfiWbJNkueGPLQgCrGsHSPx+XvptZ0R0rpMc+EVPlc8jNecHRZAun
r5UjlHuuIrla8W9i90/w92Uc3QhwAo27JftPHnveL+zn6c89JorEwKlC9uB9khaA
0f9fOYACbmYHvAvYhZkNcgZQ2lRtRo0xYdfP4pK1RQDdQ8+F5Fnbh25KHZKZfVR3
2TDC93gWgnmpAjjTcUoXeyxGFBl6ZS6M5/sL53KdYXPMvkC+WpaPqI2W2qH3mIk1
Oc4gBe2cHykQ2BDaEcACPavECksVTr7pMAGpB05GCvZA4KmqmIFrdYTcYefIeAJC
nFQ5ASRH09r7wn2GoEIw11qHQiqV/i4C6QHbNw8MKB5EaLwkG+tAJLIUOkUlrd0G
3laUWXRaEPlUuvsJT+At1NbRWPFaCY0yVxvCq+GUEhyLbfAtXTmZ/rb9/sGuGlb7
H4e7P+X6jtWfFTJg0FGzyU6fX3lnAeKgv/E2UQssAVLDjvpUKtFrm8swU0H9dJ46
nM5ie+8UMAzlQoKWiOBTES5cKb2kA8ZtAzDI1DgzmVZ+3S8G284pk7oJQv6qbTFZ
NLnFI9g=
=RLou
-----END PGP SIGNATURE-----