cbmc - 5.12-5 main

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

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

Owned Binaries

  • cbmc  amd64  arm64 

Build Dependencies

Files

Filename Size Checksum (SHA256)
cbmc_5.12-5.dsc 2.2 kB 7aec7026e5d85810f1222441f7902a649671e8efa983761cabf9bb1175c81120
cbmc_5.12.orig-java-models-library.tar.gz 303.9 kB 38e5181b05687c1c6baaa48bec3110ba3989df6daf303ace44ef15e38f7721f3
cbmc_5.12.orig.tar.gz 7.2 MB 1b9d003e1baffc714b36a38087e4ed42b47c04da5ebdb02bbce03262ea3acafd
cbmc_5.12-5.debian.tar.xz 15.8 kB 4f9a7a59047c83ad4abec8c2483e2a76a8d1a38e5fb8e5d7c2475514bbf920e9