Package: bmt Architecture: all Version: 0.6-1 Priority: extra Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 204 Depends: perl, gcc, make, libtext-csv-perl Recommends: wget Suggests: ocaml-cil, runlim, pgf Filename: pool/universe/b/bmt/bmt_0.6-1_all.deb Size: 29044 MD5sum: 6a1c6352ab50dcceaad89de588f01e3d SHA1: cfff5dea113bb403884f87d9cfc56a7e196fb22f SHA256: 306de65374caeea666aedf30d85b29f7212529d6372d78593346a543ab91db0f Homepage: https://github.com/tautschnig/bmt Description: software analysis benchmarking toolkit Description-md5: ac8c4455d4ad626dcc50667072549bfe