Paketin bmt tiedostoluettelo jakelussa questing arkkitehtuurilla all

/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/copyright
/usr/share/lintian/overrides/bmt
/usr/share/man/man1/cpbm.1.gz