menhir_20171222-1_amd64.deb


Advertisement

Description

menhir - Parser generator for OCaml

Property Value
Distribution Ubuntu 18.04 LTS (Bionic Beaver)
Repository Ubuntu Universe amd64
Package filename menhir_20171222-1_amd64.deb
Package name menhir
Package version 20171222
Package release 1
Package architecture amd64
Package type deb
Category universe/devel
Homepage http://gallium.inria.fr/~fpottier/menhir/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 595.70 KB
Installed size 2.63 MB
Menhir is a LR(1) parser generator for the OCaml programming language.
It is mostly compatible with the ocamlyacc parser generator provided with
the OCaml system, and has the following enhancements over ocamlyacc:
* it accepts LR(1) grammars,
* it offers parameterized nonterminal symbols as well as a library of
standard definitions,
* it explains conflicts in terms of the grammar,
* it allows grammar specifications to be split over multiple files and
parametrized by OCaml modules,
* it produces reentrant parsers.

Alternatives

Package Version Architecture Repository
menhir_20171222-1_i386.deb 20171222 i386 Ubuntu Universe
menhir - - -

Requires

Name Value
libc6 >= 2.17

Download

Type URL
Mirror archive.ubuntu.com
Binary Package menhir_20171222-1_amd64.deb
Source Package menhir

Install Howto

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

Files

Path
/usr/bin/menhir
/usr/share/doc/menhir/changelog.Debian.gz
/usr/share/doc/menhir/copyright
/usr/share/man/man1/menhir.1.gz
/usr/share/menhir/standard.mly

Changelog

2018-01-02 - Ralf Treinen <treinen@debian.org>
menhir (20171222-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.3 (no change)
2017-12-13 - Ralf Treinen <treinen@debian.org>
menhir (20171206-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.2 (no change)
* Drop debian/source/local-options
2017-11-23 - Ralf Treinen <treinen@debian.org>
menhir (20171013-1) unstable; urgency=medium
* New upstream version.
- drop patch Remove-some-invalid-characters which has been applied upstream
- drop patch Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte which has
been applied upstream
* Standards-Version 4.1.1 (no change)
* d/tests/control: add dependency ocamlbuild
2017-07-22 - Ralf Treinen <treinen@debian.org>
menhir (20170712-1) unstable; urgency=medium
* New upstream release, now including the sources of the manual.
* New binary package menhir-doc, containing the manual in pdf
(closes: #484497).
- add debian/menhir-doc.docs, debian/menhir-doc.doc-base.
- examples go now into the menhir-doc package.
- menhir suggests menhir-doc.
* Since we now have the sources of the manual:
- drop debian/purify-tarball which is no longer needed.
- drop upstream filtering from debian/gbp.conf
* debian/rules:
- let upstream's makefile install into debian/tmp, then install stuff
into package directories with dh_*.
- use dh_missing --fail-missing
* Added build-dependency on ocamlbuild.
* Dropped debian/menhir.manpages, debian/menhir.dirs
* debian/tests/control: add dependency on @
* Changed section to ocaml
* Minor improvements of package descriptions.
* Updated debian/copyright:
- update header (upstream name and contact)
- complete file list of library files
- the files not being part of the library are under GPLv2 now
- bump copyright years
2017-07-02 - Ralf Treinen <treinen@debian.org>
menhir (20170607.dfsg-3) unstable; urgency=medium
* as-installed tests: add dependency ocaml-findlib 
2017-06-20 - Ralf Treinen <treinen@debian.org>
menhir (20170607.dfsg-2) unstable; urgency=medium
* Standards-Version 4.0.0
- https form of the copyright-format URL
* libmenhir-ocaml-dev: install everything that upstream installs in
/usr/lib/ocaml
* DH compat level 10
2017-06-19 - Ralf Treinen <treinen@debian.org>
menhir (20170607.dfsg-1) unstable; urgency=medium
* New upstream:
- refresh patch 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte
* Delete obsolete debian/README.source
* debian/purify_tarball:
- simplify (drop useless CURDIR)
- generate tarball with version "+dfsg" instead of ".dfsg"
* Add myself as uploader
* Add as-installed package test
2016-08-16 - St├ęphane Glondu <glondu@debian.org>
menhir (20160808+dfsg-1) unstable; urgency=medium
* Team upload
* New upstream release
2016-08-06 - St├ęphane Glondu <glondu@debian.org>
menhir (20160526.dfsg-1) unstable; urgency=medium
* Team upload
* New upstream release
* Update Vcs-*
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.8
* Bump debhelper compat to 9
2016-01-17 - Mehdi Dogguy <mehdi@debian.org>
menhir (20151112.dfsg-1) unstable; urgency=medium
* New upstream release.
- Refresh patches
- Add 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch
to avoid FTBFS on bytecode architectures.
* Use Upstream's Makefile to install files

See Also

Package Description
menu-l10n_0.20120730_all.deb localized menu entries for Debian menu
menu-xdg_0.5_all.deb freedesktop.org menu compliant window manager scripts
menu_2.1.47ubuntu2_amd64.deb generates programs menu for all menu-aware applications
menulibre_2.2.0-1_all.deb advanced FreeDesktop.org compliant menu editor
mercurial-buildpackage_0.10.1+nmu1_amd64.deb Suite to maintain Debian packages in Mercurial repository
mercurial-common_4.5.3-1ubuntu2_all.deb easy-to-use, scalable distributed version control system (common files)
mercurial-crecord_0.20151121-1_all.deb Mercurial crecord extension
mercurial-extension-utils_1.3.4-1_all.deb Contains functions for writing Mercurial extensions
mercurial-git_0.8.11-1_all.deb Git plugin for Mercurial
mercurial-keyring_1.1.8-1_all.deb Mercurial Keyring Extension
mercurial-nested_0.8-1_all.deb Mercurial extension to work with nested repositories
mercurial-server_1.2-2.2_all.deb shared Mercurial repository service
mercurial_4.5.3-1ubuntu2_amd64.deb easy-to-use, scalable distributed version control system
mergelog_4.5.1-9ubuntu2_amd64.deb utility that merges httpd log files by date
mergerfs_2.21.0-1_amd64.deb another FUSE union filesystem
Advertisement
Advertisement