Zoznam súborov balíka libaac-tactics-ocaml-dev v quantal architektúry amd64

/usr/lib/coq/user-contrib/AAC_tactics/AAC_coq.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_coq.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_coq.mli
/usr/lib/coq/user-contrib/AAC_tactics/AAC_helper.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_helper.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_helper.mli
/usr/lib/coq/user-contrib/AAC_tactics/AAC_matcher.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_matcher.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_matcher.mli
/usr/lib/coq/user-contrib/AAC_tactics/AAC_print.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_print.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_print.mli
/usr/lib/coq/user-contrib/AAC_tactics/AAC_rewrite.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_rewrite.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_rewrite.mli
/usr/lib/coq/user-contrib/AAC_tactics/AAC_search_monad.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_search_monad.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_search_monad.mli
/usr/lib/coq/user-contrib/AAC_tactics/AAC_theory.cmi
/usr/lib/coq/user-contrib/AAC_tactics/AAC_theory.cmx
/usr/lib/coq/user-contrib/AAC_tactics/AAC_theory.mli
/usr/lib/coq/user-contrib/AAC_tactics/aac_tactics.a
/usr/lib/coq/user-contrib/AAC_tactics/aac_tactics.cmxa
/usr/share/doc/libaac-tactics-ocaml-dev/changelog.Debian.gz
/usr/share/doc/libaac-tactics-ocaml-dev/copyright
/var/lib/ocaml/lintian/libaac-tactics-ocaml-dev.info
/var/lib/ocaml/md5sums/libaac-tactics-ocaml-dev.md5sums