Package: bmt Priority: extra Section: universe/science Installed-Size: 190 Maintainer: Ubuntu Developers Architecture: all Version: 0.6-2 Recommends: wget Suggests: ocaml-cil, runlim, texlive-pictures Depends: perl:any, gcc, make, libtext-csv-perl Filename: pool/universe/b/bmt/bmt_0.6-2_all.deb Size: 29522 MD5sum: 44018a936f10dbf75192bd21a1eb8b76 SHA1: 55f5fe5256ac9cc83585b7d013dc9a2d9ece1f2f SHA256: b22384817b82d0f812ed2f4ecdacef4de1f64146fa88717b2358ebe6b2eb9ea1 SHA512: 2b688bcf8bc2f1ecbc0ec876b913427b205ca57519a39a10d73a565c5494a2085c0cf365f89941bda3b898ffea9ff30a249518f08f2900fe20fcebc7e0be507b Homepage: https://github.com/tautschnig/bmt Description: software analysis benchmarking toolkit Description-md5: 4edb60cbc116957dc6d816bab675e03a Original-Maintainer: Debian Science Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug