Liste der Dateien in Paket libcoq-hammer in questing für Architektur amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_lib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer-tactics/hammer_tactics.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-hammer/hammer_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Plugin/Hammer.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Plugin/Hammer.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Plugin/Hammer.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Plugin/hammer_plugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Hints.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Hints.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Hints.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Reconstr.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Reconstr.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Reconstr.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Reflect.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Reflect.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Reflect.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Tactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Tactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/Tactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/hammer_lib.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Hammer/Tactics/hammer_tactics.cmxs
/usr/libexec/coq-hammer/htimeout
/usr/libexec/coq-hammer/predict
/usr/share/doc/libcoq-hammer/changelog.Debian.gz
/usr/share/doc/libcoq-hammer/copyright
/usr/share/doc/libcoq-hammer/examples/euclidean_division.v
/usr/share/doc/libcoq-hammer/examples/hammer_tests.v
/usr/share/doc/libcoq-hammer/examples/sqrt2_irrational.v
/usr/share/doc/libcoq-hammer/examples/tutorial/README.md
/usr/share/doc/libcoq-hammer/examples/tutorial/hammer/demo.v
/usr/share/doc/libcoq-hammer/examples/tutorial/hammer/gcd.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/exp.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/imp.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/isort.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/isortb.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/itrev.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/msort.v
/usr/share/doc/libcoq-hammer/examples/tutorial/sauto/order.v
/usr/share/lintian/overrides/libcoq-hammer
/var/lib/coq/md5sums/libcoq-hammer.checksum