File list of package herdtools7 in resolute of architecture amd64

/usr/bin/aslbundler
/usr/bin/aslref
/usr/bin/atomize7
/usr/bin/atoms7
/usr/bin/bento
/usr/bin/cat2html7
/usr/bin/classify7
/usr/bin/diy7
/usr/bin/diycross7
/usr/bin/diyone7
/usr/bin/gen_theme7
/usr/bin/herd7
/usr/bin/jingle7
/usr/bin/klitmus7
/usr/bin/knames7
/usr/bin/ksort7
/usr/bin/litmus7
/usr/bin/madd7
/usr/bin/mapply7
/usr/bin/mcat2includes7
/usr/bin/mcmp7
/usr/bin/mcompare7
/usr/bin/mcond7
/usr/bin/mcycles7
/usr/bin/mdiag7
/usr/bin/mdiff7
/usr/bin/mexpand7
/usr/bin/mfilter7
/usr/bin/mfind7
/usr/bin/mflags7
/usr/bin/mhash7
/usr/bin/miaou7
/usr/bin/mlisa2c7
/usr/bin/mlock7
/usr/bin/mlog2cond7
/usr/bin/mlog2name7
/usr/bin/mmixer7
/usr/bin/mnames7
/usr/bin/mobserved7
/usr/bin/moutcomes7
/usr/bin/mprog7
/usr/bin/mproj7
/usr/bin/mrcu7
/usr/bin/mselect7
/usr/bin/mshowhashes7
/usr/bin/msort7
/usr/bin/msum7
/usr/bin/mtopos7
/usr/bin/mtrue7
/usr/bin/nexts7
/usr/bin/norm7
/usr/bin/readRelax7
/usr/bin/recond7
/usr/bin/rehash7
/usr/bin/splitcond7
/usr/bin/splitdot7
/usr/share/doc/herdtools7/README.md
/usr/share/doc/herdtools7/changelog.Debian.gz
/usr/share/doc/herdtools7/copyright
/usr/share/doc/herdtools7/odoc-pages/README.mld.gz
/usr/share/doc/herdtools7/odoc-pages/index.mld