Package - coq-serapi

Package:  coq-serapi
apt-get install coq-serapi
Manuals in package:
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-serapi/coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb (Size: 29.6MiB)

PropertyValue
Packagecoq-serapi
Sourcecoq-serapi (8.20.0+0.20.0-1)
Version8.20.0+0.20.0-1+b4
Installed-Size130949
MaintainerDebian OCaml Maintainers
Architectureamd64
Dependslibc6 (>= 2.38), libgmp10 (>= 2:6.3.0+dfsg)
Descriptioninteraction with Coq (utils)
Description-md5b25a4df74299b4d6c658a474898f10ff
Homepagehttps://github.com/ejgallego/coq-serapi
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-serapi/coq-serapi_8.20.0+0.20.0-1+b4_amd64.deb
Size31048764
MD5sum20cedb73db2759ee2e91d0fcb073c8b9
SHA25639c9947287705bfec215b9354d581bdcbf7d459fac025c1bedcf0ad325169627

Files in package

  • /usr/bin/sercomp
  • /usr/bin/sername
  • /usr/bin/sertok
  • /usr/bin/sertop
  • /usr/share/doc/coq-serapi/changelog.Debian.amd64.gz
  • /usr/share/doc/coq-serapi/changelog.Debian.gz
  • /usr/share/doc/coq-serapi/changelog.gz
  • /usr/share/doc/coq-serapi/copyright
  • /usr/share/emacs/site-lisp/sertop.el
  • /usr/share/man/man1/sercomp.1.gz
  • /usr/share/man/man1/sername.1.gz
  • /usr/share/man/man1/sertok.1.gz
  • /usr/share/man/man1/sertop.1.gz