cbmc - 5.10-5 main

Versions in amber: 5.10-5
Maintainer: Michael Tautschnig <mt [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.2.1
Architectures: any 
 
Homepage Build Jobs

Owned Binaries

  • cbmc  amd64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
cbmc_5.10-5.dsc 2.2 kB 225bb25ee1350f776785b51e0308e23347e04c8fd0b9bc552d7fb0e8a8b6c6c3
cbmc_5.10.orig-java-models-library.tar.gz 173.3 kB e640dc23ad0e70d9e6750d1fe683cb4378797b4c96bd0d8a15cfeaab2ade5487
cbmc_5.10.orig.tar.gz 6.3 MB 00e4836992e6cc56c5bf1299cc6de1a2eed5d8be9485c2adb52e1e69fb575352
cbmc_5.10-5.debian.tar.xz 12.5 kB f52e722787b81a974cac6fc8da42d663c73e98e48c34246bb41c8ec987928286