Package - libcoq-extructures

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-extructures/libcoq-extructures_0.5.0-1+b7_amd64.deb (Size: 720.4KiB)

PropertyValue
Packagelibcoq-extructures
Sourcecoq-extructures (0.5.0-1)
Version0.5.0-1+b7
Installed-Size2687
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-extructures-7i0n7
Dependslibcoq-deriving-zbsa4, libcoq-mathcomp-ssreflect-08jv4, libcoq-stdlib-68yx1
Descriptiondata structures with extensional reasoning for Coq
Description-md50c8bbd733f0477a3e66701a1b6d2b4c2
Homepagehttps://github.com/arthuraa/extructures/
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-extructures/libcoq-extructures_0.5.0-1+b7_amd64.deb
Size737648
MD5sum84e24ab4e73f00950dc4d1c08886abd7
SHA256acb6d386fcc87e0689ff190bcfaf98b5a778f2e986d353a2a806427df86411f6

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/ffun.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/ffun.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/ffun.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fmap.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fmap.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fmap.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fperm.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fperm.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fperm.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fset.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fset.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/fset.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/ord.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/ord.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/extructures/ord.vo
  • /usr/share/doc/libcoq-extructures/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-extructures/changelog.Debian.gz
  • /usr/share/doc/libcoq-extructures/changelog.gz
  • /usr/share/doc/libcoq-extructures/copyright
  • /var/lib/coq/md5sums/libcoq-extructures.checksum