<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cbmc
Binary: cbmc
Architecture: any
Version: 5.10-4
Maintainer: Michael Tautschnig &lt;mt@debian.org&gt;
Homepage: http://www.cprover.org/cbmc/
Standards-Version: 4.2.1
Build-Depends: debhelper (&gt;= 10), minisat (&gt;= 1:2.2.1-2), zlib1g-dev, flex, bison, openjdk-8-jdk-headless, maven, maven-repo-helper, maven-debian-helper, libmaven-compiler-plugin-java
Package-List:
 cbmc deb science optional arch=any

</pre></body></html>
