Package - libcoq-ott

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ott/libcoq-ott_0.34+ds-1+b4_amd64.deb (Size: 157.3KiB)

PropertyValue
Packagelibcoq-ott
Sourceott (0.34+ds-1)
Version0.34+ds-1+b4
Installed-Size547
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-ott-9tlg8
Dependslibcoq-stdlib-68yx1
DescriptionOtt tool (Coq plugin)
Description-md51386de275ec3b4597f33aab7bc4a2ca7
Homepagehttps://github.com/ott-lang/ott
Sectionocaml
Priorityoptional
Filenamepool/main/o/ott/libcoq-ott_0.34+ds-1+b4_amd64.deb
Size161036
MD5sum855ecf0b1248b101969d56e78081b655
SHA256547e23f9fbc6e24ae6ef47a17b5523ed833a84e0deef5f5ac6a5c5f516c19112

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_base.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_base.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_base.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_core.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_core.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_core.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_distinct.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_distinct.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_distinct.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_eq_dec.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_eq_dec.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_eq_dec.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_flat_map.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_flat_map.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_flat_map.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_mem.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_mem.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_mem.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_nth.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_nth.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_nth.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_predicate.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_predicate.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_predicate.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_repeat.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_repeat.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_repeat.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_support.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_support.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_support.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_takedrop.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_takedrop.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Ott/ott_list_takedrop.vo
  • /usr/share/doc/libcoq-ott/README.source
  • /usr/share/doc/libcoq-ott/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-ott/changelog.Debian.gz
  • /usr/share/doc/libcoq-ott/copyright
  • /var/lib/coq/md5sums/libcoq-ott.checksum