File list of package libaac-tactics-coq in aramo of architecture all

/usr/lib/ocaml/coq/user-contrib/AAC_tactics/AAC.glob
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/AAC.v
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/AAC.vo
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Caveats.glob
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Caveats.v
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Caveats.vo
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Constants.glob
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Constants.v
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Constants.vo
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Instances.glob
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Instances.v
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Instances.vo
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.glob
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.v
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Tutorial.vo
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Utils.glob
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Utils.v
/usr/lib/ocaml/coq/user-contrib/AAC_tactics/Utils.vo
/usr/share/doc/libaac-tactics-coq/README.md.gz
/usr/share/doc/libaac-tactics-coq/changelog.Debian.gz
/usr/share/doc/libaac-tactics-coq/copyright
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.AAC.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Caveats.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Constants.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Instances.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Tutorial.html
/usr/share/doc/libaac-tactics-coq/theories/AAC_tactics.Utils.html
/usr/share/doc/libaac-tactics-coq/theories/coqdoc.css
/usr/share/doc/libaac-tactics-coq/theories/index.html
/usr/share/doc/libaac-tactics-coq/theories/toc.html
/usr/share/doc-base/libaac-tactics-coq.aac-tactics-theories