bmt 0.6-1 in debian - stretch / main

About

This package is 30.2 KB. It is available at http://ftp.debian.org/debian/pool/main/b/bmt/bmt_0.6-1_all.deb .

View its full control file here: debian/control.

Description

software analysis benchmarking toolkit

Relations

This package depends on: perl, gcc, make, libtext-csv-perl.

This package recommends: wget.

This package suggests: ocaml-cil, runlim, pgf.

This package does not conflict with any other package.

Package Contents

This package is indexed.

bmt 0.6-1 is in debian - stretch / main. This package's architecture is: architectureless.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/bin/ root:root 0o755
/usr/bin/cpbm text/x-shellscript root:root 0o755 3.8 KB
/usr/share/ root:root 0o755
/usr/share/bmt/ root:root 0o755
/usr/share/bmt/cil_wrapper.sh text/x-shellscript root:root 0o755 5.5 KB
/usr/share/bmt/list_claims.sh text/x-shellscript root:root 0o755 6.0 KB
/usr/share/bmt/make_csv.pl text/x-perl root:root 0o755 9.7 KB
/usr/share/bmt/make_graph.pl text/x-perl root:root 0o755 14.0 KB
/usr/share/bmt/make_jtl.pl text/x-perl root:root 0o755 3.3 KB
/usr/share/bmt/make_piechart.pl text/x-perl root:root 0o755 11.1 KB
/usr/share/bmt/make_table.pl text/x-perl root:root 0o755 4.3 KB
/usr/share/bmt/make_web.pl text/x-perl root:root 0o755 6.5 KB
/usr/share/bmt/parse-ai.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-astree.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-bfc.pl text/x-perl root:root 0o644 8.3 KB
/usr/share/bmt/parse-blast.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-blender.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-cbmc.pl text/x-perl root:root 0o644 3.2 KB
/usr/share/bmt/parse-checkfence.pl text/x-perl root:root 0o644 2.3 KB
/usr/share/bmt/parse-cpachecker.pl text/x-perl root:root 0o644 2.8 KB
/usr/share/bmt/parse-cseq.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-esbmc.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-llbmc.pl text/x-perl root:root 0o644 2.5 KB
/usr/share/bmt/parse-loopfrog.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-mmchecker.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-poirot.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-rr-aa.pl text/x-perl root:root 0o644 4.0 KB
/usr/share/bmt/parse-satabs2.pl text/x-perl root:root 0o644 2.5 KB
/usr/share/bmt/parse-satabs.pl text/x-perl root:root 0o644 5.5 KB
/usr/share/bmt/parse-scratch.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-threader.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/parse-wolverine.pl text/x-perl root:root 0o644 2.4 KB
/usr/share/bmt/rules.cpbm.generic text/plain root:root 0o644 2.6 KB
/usr/share/bmt/rules.template text/plain root:root 0o644 1.5 KB
/usr/share/bmt/unpack.sh text/x-shellscript root:root 0o755 4.8 KB
/usr/share/bmt/update.sh text/x-shellscript root:root 0o755 6.3 KB
/usr/share/bmt/verify.sh text/x-shellscript root:root 0o755 8.5 KB
/usr/share/bmt/VERSION text/plain root:root 0o644 4 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/bmt/ root:root 0o755
/usr/share/doc/bmt/changelog.Debian.gz application/gzip root:root 0o644 152 bytes
/usr/share/doc/bmt/changelog.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/bmt/copyright text/plain root:root 0o644 2.8 KB
/usr/share/doc/bmt/README.gz application/gzip root:root 0o644 3.5 KB
/usr/share/lintian/ root:root 0o755
/usr/share/lintian/overrides/ root:root 0o755
/usr/share/lintian/overrides/bmt text/plain root:root 0o644 189 bytes
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/cpbm.1.gz application/gzip root:root 0o644 1.1 KB

APT Browse - Built by Thomas Orozco.