Package - libcoq-record-update

Package:  libcoq-record-update
apt-get install libcoq-record-update
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-record-update/libcoq-record-update_0.3.4-4+b4_amd64.deb (Size: 14.3KiB)

PropertyValue
Packagelibcoq-record-update
Sourcecoq-record-update (0.3.4-4)
Version0.3.4-4+b4
Installed-Size58
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-record-update-q85t6
Dependslibcoq-stdlib-68yx1
Descriptionautomatic record fields updaters for Coq
Description-md588f89d9a5fbe40b2f7634d8368a32e1e
Homepagehttps://github.com/tchajed/coq-record-update
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-record-update/libcoq-record-update_0.3.4-4+b4_amd64.deb
Size14604
MD5sum52b0041ab1d4cecf38dcc019d3018ad7
SHA256d1ffe9d1b515411eafd88b42593b0f8f483655556ecdf379c1e08df320cccb56

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/Lens.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/Lens.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/Lens.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/RecordSet.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/RecordSet.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/RecordSet.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/RecordUpdate.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/RecordUpdate.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/RecordUpdate/RecordUpdate.vo
  • /usr/share/doc/libcoq-record-update/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-record-update/changelog.Debian.gz
  • /usr/share/doc/libcoq-record-update/copyright
  • /var/lib/coq/md5sums/libcoq-record-update.checksum