bmt_0.6-1_all.deb


Advertisement

Description

bmt - software analysis benchmarking toolkit

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name bmt
Package version 0.6
Package release 1
Package architecture all
Package type deb
Installed size 192 B
Download size 30.17 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
bmt_0.6-1_all.deb 0.6 all Debian Main
bmt - - -

Requires

Name Value
gcc -
libtext-csv-perl -
make -
perl -

Download

Type URL
Binary Package bmt_0.6-1_all.deb
Source Package bmt

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install bmt deb package:
    # sudo apt-get install bmt

Files

Path
/usr/bin/cpbm
/usr/share/bmt/VERSION
/usr/share/bmt/cil_wrapper.sh
/usr/share/bmt/list_claims.sh
/usr/share/bmt/make_csv.pl
/usr/share/bmt/make_graph.pl
/usr/share/bmt/make_jtl.pl
/usr/share/bmt/make_piechart.pl
/usr/share/bmt/make_table.pl
/usr/share/bmt/make_web.pl
/usr/share/bmt/parse-ai.pl
/usr/share/bmt/parse-astree.pl
/usr/share/bmt/parse-bfc.pl
/usr/share/bmt/parse-blast.pl
/usr/share/bmt/parse-blender.pl
/usr/share/bmt/parse-cbmc.pl
/usr/share/bmt/parse-checkfence.pl
/usr/share/bmt/parse-cpachecker.pl
/usr/share/bmt/parse-cseq.pl
/usr/share/bmt/parse-esbmc.pl
/usr/share/bmt/parse-llbmc.pl
/usr/share/bmt/parse-loopfrog.pl
/usr/share/bmt/parse-mmchecker.pl
/usr/share/bmt/parse-poirot.pl
/usr/share/bmt/parse-rr-aa.pl
/usr/share/bmt/parse-satabs.pl
/usr/share/bmt/parse-satabs2.pl
/usr/share/bmt/parse-scratch.pl
/usr/share/bmt/parse-threader.pl
/usr/share/bmt/parse-wolverine.pl
/usr/share/bmt/rules.cpbm.generic
/usr/share/bmt/rules.template
/usr/share/bmt/unpack.sh
/usr/share/bmt/update.sh
/usr/share/bmt/verify.sh
/usr/share/doc/bmt/README.gz
/usr/share/doc/bmt/changelog.Debian.gz
/usr/share/doc/bmt/changelog.gz
/usr/share/doc/bmt/copyright
/usr/share/lintian/overrides/bmt
/usr/share/man/man1/cpbm.1.gz

Changelog

2015-05-25 - Michael Tautschnig <mt@debian.org>
bmt (0.6-1) unstable; urgency=low
* Initial release (Closes: #786746)

See Also

Package Description
bnd_3.5.0-2_all.deb tool to create and diagnose OSGi bundles
bnfc_2.8.1-4_amd64.deb Compiler front-end generator based on Labelled BNF
boa-constructor_0.6.1-16_all.deb RAD tool for Python and wxWindows application
boats_201307-1.1+b1_amd64.deb race scenario drawing tool
bochs-doc_2.6.9+dfsg-1_all.deb Bochs upstream documentation
bochs-sdl_2.6.9+dfsg-1_amd64.deb SDL plugin for Bochs
bochs-term_2.6.9+dfsg-1_amd64.deb Terminal (ncurses-based) plugin for Bochs
bochs-wx_2.6.9+dfsg-1_amd64.deb WxWindows plugin for Bochs
bochs-x_2.6.9+dfsg-1_amd64.deb X11 plugin for Bochs
bochs_2.6.9+dfsg-1_amd64.deb IA-32 PC emulator
bochsbios_2.6.9+dfsg-1_all.deb BIOS for the Bochs emulator
bodr_10-1_all.deb Blue Obelisk Data Repository
bogl-bterm_0.1.18-13_amd64.deb Ben's Own Graphics Library - graphical terminal
bogofilter-bdb_1.2.4+dfsg1-13_amd64.deb fast Bayesian spam filter (Berkeley DB)
bogofilter-common_1.2.4+dfsg1-13_amd64.deb fast Bayesian spam filter (common files)
Advertisement
Advertisement