Package - libcoq-hammer

Package:  libcoq-hammer
apt-get install libcoq-hammer
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-hammer/libcoq-hammer_1.3.2+8.20-1+b4_amd64.deb (Size: 497.1KiB)

PropertyValue
Packagelibcoq-hammer
Sourcecoq-hammer (1.3.2+8.20-1)
Version1.3.2+8.20-1+b4
Installed-Size3538
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-hammer-bdir1
Dependslibcoq-stdlib-68yx1, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
Descriptionautomated reasoning tool for Coq
Description-md593c2a76bc9c3ffff3b0a71897b07707a
Homepagehttps://github.com/lukaszcz/coqhammer
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-hammer/libcoq-hammer_1.3.2+8.20-1+b4_amd64.deb
Size508988
MD5sum3502f9ca699bf748215bd73255536281
SHA25653d03ec3aafd78a7179952377a50f076c0453839df249ddb85be5416688a27e1

Files in package

  • /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.amd64.gz
  • /usr/share/doc/libcoq-hammer/changelog.Debian.gz
  • /usr/share/doc/libcoq-hammer/changelog.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