Package - libcoq-menhirlib

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-menhirlib/libcoq-menhirlib_20240715+ds-1+b6_amd64.deb (Size: 1.2MiB)

PropertyValue
Packagelibcoq-menhirlib
Sourcecoq-menhirlib (20240715+ds-1)
Version20240715+ds-1+b6
Installed-Size3467
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-menhirlib-xwk16
Dependslibcoq-stdlib-68yx1
Descriptionsupport library for Coq-verified Menhir parsers
Description-md58d891c64cbef7d99c8b89663d921d672
Homepagehttps://coquelicot.inria.fr/fpottier/menhir
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-menhirlib/libcoq-menhirlib_20240715+ds-1+b6_amd64.deb
Size1280548
MD5sumc34baa667d48e5473ecb06bc782a5d5a
SHA2566bbc29aadc6bab31052b0f877a3105c78d5399d5ef5cc56db217447ac13150b9

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Alphabet.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Alphabet.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Alphabet.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Automaton.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Automaton.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Automaton.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Grammar.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Grammar.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Grammar.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter_complete.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter_complete.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter_complete.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter_correct.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter_correct.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Interpreter_correct.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Main.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Main.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Main.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_classes.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_classes.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_classes.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_complete.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_complete.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_complete.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_safe.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_safe.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Validator_safe.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Version.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Version.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/MenhirLib/Version.vo
  • /usr/share/doc/libcoq-menhirlib/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-menhirlib/changelog.Debian.gz
  • /usr/share/doc/libcoq-menhirlib/changelog.gz
  • /usr/share/doc/libcoq-menhirlib/copyright
  • /var/lib/coq/md5sums/libcoq-menhirlib.checksum