menhir-doc_20190626-6_all.deb


Advertisement

Description

menhir-doc - Documentation of the Menhir parser generator for OCaml

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package filename menhir-doc_20190626-6_all.deb
Package name menhir-doc
Package version 20190626
Package release 6
Package architecture all
Package type deb
Category doc
Homepage http://gallium.inria.fr/~fpottier/menhir/
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 559.98 KB
Installed size 1.05 MB

Alternatives

Package Version Architecture Repository
menhir-doc_20190626-6_all.deb 20190626 all Debian Main
menhir-doc - - -

Replaces

Name Value
menhir << 20170712-1

Download

Type URL
Mirror ftp.br.debian.org
Binary Package menhir-doc_20190626-6_all.deb
Source Package menhir

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install menhir-doc deb package:
    # sudo apt-get install menhir-doc

Files

Path
/usr/share/doc-base/menhir
/usr/share/doc/menhir/manual.html
/usr/share/doc/menhir/manual.pdf.gz
/usr/share/doc/menhir/manual001.png
/usr/share/doc/menhir/manual002.png
/usr/share/doc/menhir/manual003.png
/usr/share/doc/menhir-doc/changelog.Debian.gz
/usr/share/doc/menhir-doc/changelog.gz
/usr/share/doc/menhir-doc/copyright
/usr/share/doc/menhir/examples/Makefile
/usr/share/doc/menhir/examples/calc/.merlin
/usr/share/doc/menhir/examples/calc/Makefile
/usr/share/doc/menhir/examples/calc/README
/usr/share/doc/menhir/examples/calc/calc.ml
/usr/share/doc/menhir/examples/calc/lexer.mll
/usr/share/doc/menhir/examples/calc/parser.mly
/usr/share/doc/menhir/examples/calc-alias/.merlin
/usr/share/doc/menhir/examples/calc-alias/Makefile
/usr/share/doc/menhir/examples/calc-alias/README
/usr/share/doc/menhir/examples/calc-alias/calc.ml
/usr/share/doc/menhir/examples/calc-alias/lexer.mll
/usr/share/doc/menhir/examples/calc-alias/parser.mly
/usr/share/doc/menhir/examples/calc-ast-dune/Makefile
/usr/share/doc/menhir/examples/calc-ast-dune/README.md
/usr/share/doc/menhir/examples/calc-ast-dune/calc.ml
/usr/share/doc/menhir/examples/calc-ast-dune/dune
/usr/share/doc/menhir/examples/calc-ast-dune/dune-project
/usr/share/doc/menhir/examples/calc-ast-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-ast-dune/parser.mly
/usr/share/doc/menhir/examples/calc-ast-dune/syntax.ml
/usr/share/doc/menhir/examples/calc-dune/Makefile
/usr/share/doc/menhir/examples/calc-dune/README.md
/usr/share/doc/menhir/examples/calc-dune/calc.ml
/usr/share/doc/menhir/examples/calc-dune/dune
/usr/share/doc/menhir/examples/calc-dune/dune-project
/usr/share/doc/menhir/examples/calc-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-dune/parser.mly
/usr/share/doc/menhir/examples/calc-incremental/.merlin
/usr/share/doc/menhir/examples/calc-incremental/Makefile
/usr/share/doc/menhir/examples/calc-incremental/README
/usr/share/doc/menhir/examples/calc-incremental/calc.ml
/usr/share/doc/menhir/examples/calc-incremental/lexer.mll
/usr/share/doc/menhir/examples/calc-incremental/parser.mly
/usr/share/doc/menhir/examples/calc-incremental-dune/Makefile
/usr/share/doc/menhir/examples/calc-incremental-dune/README.md
/usr/share/doc/menhir/examples/calc-incremental-dune/calc.ml
/usr/share/doc/menhir/examples/calc-incremental-dune/dune
/usr/share/doc/menhir/examples/calc-incremental-dune/dune-project
/usr/share/doc/menhir/examples/calc-incremental-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-incremental-dune/parser.mly
/usr/share/doc/menhir/examples/calc-inspection/.merlin
/usr/share/doc/menhir/examples/calc-inspection/CalcErrorReporting.ml
/usr/share/doc/menhir/examples/calc-inspection/CalcErrorReporting.mli
/usr/share/doc/menhir/examples/calc-inspection/CalcPrinters.ml
/usr/share/doc/menhir/examples/calc-inspection/CalcPrinters.mli
/usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.ml
/usr/share/doc/menhir/examples/calc-inspection/ErrorReporting.mli
/usr/share/doc/menhir/examples/calc-inspection/Makefile
/usr/share/doc/menhir/examples/calc-inspection/README
/usr/share/doc/menhir/examples/calc-inspection/calc.ml
/usr/share/doc/menhir/examples/calc-inspection/lexer.mll
/usr/share/doc/menhir/examples/calc-inspection/parser.mly
/usr/share/doc/menhir/examples/calc-inspection-dune/CalcErrorReporting.ml
/usr/share/doc/menhir/examples/calc-inspection-dune/CalcErrorReporting.mli
/usr/share/doc/menhir/examples/calc-inspection-dune/CalcPrinters.ml
/usr/share/doc/menhir/examples/calc-inspection-dune/CalcPrinters.mli
/usr/share/doc/menhir/examples/calc-inspection-dune/ErrorReporting.ml
/usr/share/doc/menhir/examples/calc-inspection-dune/ErrorReporting.mli
/usr/share/doc/menhir/examples/calc-inspection-dune/Makefile
/usr/share/doc/menhir/examples/calc-inspection-dune/README
/usr/share/doc/menhir/examples/calc-inspection-dune/calc.ml
/usr/share/doc/menhir/examples/calc-inspection-dune/dune
/usr/share/doc/menhir/examples/calc-inspection-dune/dune-project
/usr/share/doc/menhir/examples/calc-inspection-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-inspection-dune/parser.mly
/usr/share/doc/menhir/examples/calc-new-syntax-dune/Makefile
/usr/share/doc/menhir/examples/calc-new-syntax-dune/README.md
/usr/share/doc/menhir/examples/calc-new-syntax-dune/calc.ml
/usr/share/doc/menhir/examples/calc-new-syntax-dune/dune
/usr/share/doc/menhir/examples/calc-new-syntax-dune/dune-project
/usr/share/doc/menhir/examples/calc-new-syntax-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-new-syntax-dune/parser.mly
/usr/share/doc/menhir/examples/calc-param/.merlin
/usr/share/doc/menhir/examples/calc-param/Makefile
/usr/share/doc/menhir/examples/calc-param/README
/usr/share/doc/menhir/examples/calc-param/_tags
/usr/share/doc/menhir/examples/calc-param/calc.ml
/usr/share/doc/menhir/examples/calc-param/lexer.mll
/usr/share/doc/menhir/examples/calc-param/myocamlbuild.ml
/usr/share/doc/menhir/examples/calc-param/parser.mly
/usr/share/doc/menhir/examples/calc-param/parser.mlypack
/usr/share/doc/menhir/examples/calc-param/tokens.mly
/usr/share/doc/menhir/examples/calc-param/tokens.mlypack
/usr/share/doc/menhir/examples/calc-param-dune/Makefile
/usr/share/doc/menhir/examples/calc-param-dune/README
/usr/share/doc/menhir/examples/calc-param-dune/calc.ml
/usr/share/doc/menhir/examples/calc-param-dune/dune
/usr/share/doc/menhir/examples/calc-param-dune/dune-project
/usr/share/doc/menhir/examples/calc-param-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-param-dune/parser.mly
/usr/share/doc/menhir/examples/calc-param-dune/tokens.mly
/usr/share/doc/menhir/examples/calc-two/.merlin
/usr/share/doc/menhir/examples/calc-two/Makefile
/usr/share/doc/menhir/examples/calc-two/README
/usr/share/doc/menhir/examples/calc-two/_tags
/usr/share/doc/menhir/examples/calc-two/algebraic.mly
/usr/share/doc/menhir/examples/calc-two/algebraic.mlypack
/usr/share/doc/menhir/examples/calc-two/calc.ml
/usr/share/doc/menhir/examples/calc-two/common.mly
/usr/share/doc/menhir/examples/calc-two/lexer.mll
/usr/share/doc/menhir/examples/calc-two/myocamlbuild.ml
/usr/share/doc/menhir/examples/calc-two/reverse.mly
/usr/share/doc/menhir/examples/calc-two/reverse.mlypack
/usr/share/doc/menhir/examples/calc-two/tokens.mly
/usr/share/doc/menhir/examples/calc-two/tokens.mlypack
/usr/share/doc/menhir/examples/calc-two-dune/Makefile
/usr/share/doc/menhir/examples/calc-two-dune/README
/usr/share/doc/menhir/examples/calc-two-dune/algebraic.mly
/usr/share/doc/menhir/examples/calc-two-dune/algebraic.mlypack
/usr/share/doc/menhir/examples/calc-two-dune/calc.ml
/usr/share/doc/menhir/examples/calc-two-dune/common.mly
/usr/share/doc/menhir/examples/calc-two-dune/dune
/usr/share/doc/menhir/examples/calc-two-dune/dune-project
/usr/share/doc/menhir/examples/calc-two-dune/lexer.mll
/usr/share/doc/menhir/examples/calc-two-dune/reverse.mly
/usr/share/doc/menhir/examples/calc-two-dune/reverse.mlypack
/usr/share/doc/menhir/examples/calc-two-dune/tokens.mly
/usr/share/doc/menhir/examples/calc-two-dune/tokens.mlypack
/usr/share/doc/menhir/examples/generate-printers/.merlin
/usr/share/doc/menhir/examples/generate-printers/Makefile
/usr/share/doc/menhir/examples/generate-printers/README.md
/usr/share/doc/menhir/examples/generate-printers/_tags
/usr/share/doc/menhir/examples/generate-printers/generate.ml
/usr/share/doc/menhir/examples/generate-printers-dune/Makefile
/usr/share/doc/menhir/examples/generate-printers-dune/README.md
/usr/share/doc/menhir/examples/generate-printers-dune/dune
/usr/share/doc/menhir/examples/generate-printers-dune/dune-project
/usr/share/doc/menhir/examples/generate-printers-dune/generate.ml
/usr/share/doc/menhir/examples/obsolete/Makefile.auto
/usr/share/doc/menhir/examples/obsolete/Makefile.calc-two
/usr/share/doc/menhir/examples/obsolete/Makefile.shared
/usr/share/doc/menhir/examples/obsolete/ocamldep.wrapper

Changelog

2019-08-27 - St├ęphane Glondu <glondu@debian.org>
menhir (20190626-6) unstable; urgency=medium
* Team upload
* libmenhir-coq: add dependency to Coq ABI (Closes: #935873)
2019-08-21 - Ralf Treinen <treinen@debian.org>
menhir (20190626-5) unstable; urgency=medium
* Fix dependencies of the "library" test.
2019-08-21 - Ralf Treinen <treinen@debian.org>
menhir (20190626-4) unstable; urgency=medium
[ St├ęphane Glondu ]
* Remove Samuel from Uploaders
[ Ralf Treinen ]
* Package tests:
- add test for compilation with the menhir library
- use directly the files from upstreams demos/ directory
- make tests more verbose
2019-07-25 - Ralf Treinen <treinen@debian.org>
menhir (20190626-3) unstable; urgency=medium
* Standards-Version 4.4.0 (no change)
* Test coq: add dependency coq
* Drop version contraint on build-dependency dh-ocaml
2019-07-24 - Ralf Treinen <treinen@debian.org>
menhir (20190626-2) unstable; urgency=medium
* Upload to unstable.
2019-07-07 - Ralf Treinen <treinen@debian.org>
menhir (20190626-1) experimental; urgency=medium
* New upstream release
* Standards-Version 4.3.0 (no change)
* New binary package: libmenhir-coq
* New build-dependencies:
- debhelper-compat(=12); drop file debian/compat
- coq (needed for building libmenhir-coq)
* Package libmenhir-ocaml-dev: Suggests ocaml-findlib
* Override dh_dwz to use --no-dwz-multifile
* As-installed tests:
- Add test for libmenhir-coq (thanks a lot to Pierre Letouzey)
- Rename test "calc" to "standalone", tighten test dependencies
2018-11-14 - Ralf Treinen <treinen@debian.org>
menhir (20181113-1) unstable; urgency=medium
* new upstream version
* d/watch: point to inria gitlab
* d/menhir-doc.docs: also install png pictures of the manual
* d/rules: remove .gitignore files in examples
* Standards-Version 4.2.1 (no change)
2018-07-19 - Ralf Treinen <treinen@debian.org>
menhir (20180530-2) unstable; urgency=medium
* menhir-doc: Breaks/Replaces menhir (<< 20170712-1) since examples
had been moved from menhir to menhir-doc (closes: #903455)
* Standards-version 4.1.5 (no change).
2018-06-18 - Ralf Treinen <treinen@debian.org>
menhir (20180530-1) unstable; urgency=medium
* New upstream version.
* Install manual.html into menhir-doc package.
* Add entry for html manual in doc-base file
* Update Vcs-* fields to salsa.
* Standards-Version 4.1.4 (no change).
* Debhelper compat level 11.
- menhir-doc.doc-base: manual now installed in /usr/share/doc/menhr
2018-01-02 - Ralf Treinen <treinen@debian.org>
menhir (20171222-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.3 (no change)

See Also

Package Description
menhir_20190626-6_i386.deb Parser generator for OCaml
menu-l10n_0.20120730_all.deb localized menu entries for Debian menu
menu-xdg_0.6_all.deb freedesktop.org menu compliant window manager scripts
menu_2.1.47+b1_i386.deb generates programs menu for all menu-aware applications
menulibre_2.2.1-1_all.deb advanced FreeDesktop.org compliant menu editor
mercurial-buildpackage_0.10.1+nmu1+b1_i386.deb Suite to maintain Debian packages in Mercurial repository
mercurial-common_5.1.1-1_all.deb easy-to-use, scalable distributed version control system (common files)
mercurial-crecord_0.20151121-2_all.deb Mercurial crecord extension (transitional package)
mercurial-extension-utils_1.3.6-1_all.deb Contains functions for writing Mercurial extensions
mercurial-git_0.8.12-1.1_all.deb Git plugin for Mercurial
mercurial-keyring_1.2.0-1_all.deb Mercurial Keyring Extension
mercurial-server_1.2-2.2_all.deb shared Mercurial repository service
mercurial_5.1.1-1_i386.deb easy-to-use, scalable distributed version control system
mergelog_4.5.1-9+b2_i386.deb utility that merges httpd log files by date
mergerfs_2.28.1-1_i386.deb another FUSE union filesystem
Advertisement
Advertisement