Package: bmt Architecture: all Version: 0.6-1.1 Priority: extra Section: universe/science Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Michael Tautschnig Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 190 Depends: perl:any, gcc, make, libtext-csv-perl Recommends: wget Suggests: ocaml-cil, runlim, pgf Filename: pool/universe/b/bmt/bmt_0.6-1.1_all.deb Size: 29008 MD5sum: 4799a962aa2773d6af38816bf150a967 SHA1: 739273b3f5abdc9851c933ef658bc75320f084ee SHA256: c79fade8e6b18c0cd4bc4d5cd73dc6a28a0d8d5099b48c6f9ced21f52a1022d2 SHA512: 362b8b400d60716b2ca766a4eb1d081b1ada84c341ed0d46032c04113e9eeae4e2fce5d237936e2cef14be434c63e9c84a05bb1fc564e4aae97285bd64ba8a96 Homepage: https://github.com/tautschnig/bmt Description: software analysis benchmarking toolkit Description-md5: ac8c4455d4ad626dcc50667072549bfe