Package - libcoq-deriving

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-deriving/libcoq-deriving_0.2.1-1+b7_amd64.deb (Size: 482.2KiB)

PropertyValue
Packagelibcoq-deriving
Sourcecoq-deriving (0.2.1-1)
Version0.2.1-1+b7
Installed-Size1838
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-deriving-zbsa4
Dependslibcoq-mathcomp-ssreflect-08jv4, libcoq-stdlib-68yx1
Descriptionderiving MathComp classes from inductive types
Description-md5f86da8bb7413c10ca613baec6bbded43
Homepagehttps://github.com/arthuraa/deriving/
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-deriving/libcoq-deriving_0.2.1-1+b7_amd64.deb
Size493732
MD5sum6dcf16c80e408feb3a88447f8fda3d46
SHA256e10b7543084528737af1e7a99edcf47318f0aecb84c1d043e76332e7d1779d13

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/base.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/base.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/base.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/compat.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/compat.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/compat.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/deriving.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/deriving.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/deriving.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/ind.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/ind.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/ind.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/infer.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/infer.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/infer.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/eqtype.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/eqtype.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/eqtype.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/fintype.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/fintype.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/fintype.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/order.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/order.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/order.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/tree_of_ind.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/tree_of_ind.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/instances/tree_of_ind.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/tactics.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/tactics.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/deriving/tactics.vo
  • /usr/share/doc/libcoq-deriving/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-deriving/changelog.Debian.gz
  • /usr/share/doc/libcoq-deriving/changelog.gz
  • /usr/share/doc/libcoq-deriving/copyright
  • /var/lib/coq/md5sums/libcoq-deriving.checksum