Package - libcoq-libhyps

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-libhyps/libcoq-libhyps_2.0.8-4+b8_amd64.deb (Size: 61.8KiB)

PropertyValue
Packagelibcoq-libhyps
Sourcecoq-libhyps (2.0.8-4)
Version2.0.8-4+b8
Installed-Size273
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-libhyps-x8av7
Dependslibcoq-stdlib-68yx1
DescriptionTactics on hypotheses in Coq
Description-md5db8bbfca8b98fd7442164805cb2552a7
Homepagehttps://github.com/Matafou/LibHyps
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-libhyps/libcoq-libhyps_2.0.8-4+b8_amd64.deb
Size63312
MD5sumb44b1b1f1844b1b8093b9b6b2cb290e2
SHA256be131cf72aedd1aed92013cbb2473d9fd9fd15d45b5cf6ec81202dd518f82550

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibDecomp.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibDecomp.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibDecomp.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHyps.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHyps.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHyps.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsNaming.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsNaming.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsNaming.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsTactics.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsTactics.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/LibHypsTactics.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/TacNewHyps.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/TacNewHyps.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/LibHyps/TacNewHyps.vo
  • /usr/share/doc/libcoq-libhyps/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-libhyps/changelog.Debian.gz
  • /usr/share/doc/libcoq-libhyps/changelog.gz
  • /usr/share/doc/libcoq-libhyps/copyright
  • /usr/share/doc/libcoq-libhyps/examples/demo.org
  • /usr/share/doc/libcoq-libhyps/examples/demo.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental1.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental1_fix.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental2.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental2_fix.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental3.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental3_fix.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental5.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental5_libhyp.v
  • /usr/share/doc/libcoq-libhyps/examples/incremental5_nolibhyps.v
  • /var/lib/coq/md5sums/libcoq-libhyps.checksum