all options
bullseye  ] [  sid  ]
[ Source: menhir  ]

Package: libmenhir-coq (20200123-1 and others)

Links for libmenhir-coq


Debian Resources:

Download Source Package menhir:


External Resources:

Similar packages:

Support library for verified Coq parsers produced by Menhir

The Menhir parser generator, when invoked with the --coq option, produces parser code in the Coq language.

These parsers must be linked against this library, which provides both an interpreter (which allows running the generated parser) and a validator (which allows verifying, at parser construction time, that the generated parser is correct and complete with respect to the grammar).

Other Packages Related to libmenhir-coq

  • depends
  • recommends
  • suggests
  • enhances

Download libmenhir-coq

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 20190924-1 1,335.5 kB5,411.0 kB [list of files]
amd64 20200123-1 1,336.3 kB5,412.0 kB [list of files]
arm64 20200123-1 1,337.6 kB5,412.0 kB [list of files]
armel 20200123-1 1,335.0 kB5,404.0 kB [list of files]
armhf 20200123-1 1,337.3 kB5,402.0 kB [list of files]
hppa (unofficial port) 20200123-1 1,336.6 kB5,404.0 kB [list of files]
i386 20200123-1 1,336.1 kB5,402.0 kB [list of files]
mips64el 20200123-1 1,338.7 kB5,412.0 kB [list of files]
mipsel 20200123-1 1,334.8 kB5,404.0 kB [list of files]
ppc64 (unofficial port) 20200123-1 1,337.3 kB5,412.0 kB [list of files]
ppc64el 20200123-1 1,336.5 kB5,412.0 kB [list of files]
riscv64 (unofficial port) 20200123-1 1,337.6 kB5,412.0 kB [list of files]
s390x 20200123-1 1,336.2 kB5,412.0 kB [list of files]
sh4 (unofficial port) 20200123-1 1,337.5 kB5,404.0 kB [list of files]
sparc64 (unofficial port) 20200123-1 1,336.4 kB5,412.0 kB [list of files]
x32 (unofficial port) 20200123-1 1,335.4 kB5,404.0 kB [list of files]