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 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