menhir_20181113-1_amd64.deb


Advertisement

Description

menhir - Parser generator for OCaml

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename menhir_20181113-1_amd64.deb
Package name menhir
Package version 20181113
Package release 1
Package architecture amd64
Package type deb
Category devel devel::code-generator devel::lang:ocaml implemented-in::ocaml interface::commandline role::program scope::utility
Homepage http://gallium.inria.fr/~fpottier/menhir/
License -
Maintainer Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Download size 626.64 KB
Installed size 2.74 MB

Alternatives

Package Version Architecture Repository
menhir_20181113-1_i386.deb 20181113 i386 Debian Main
menhir - - -

Requires

Name Value
libc6 >= 2.17

Download

Type URL
Mirror ftp.br.debian.org
Binary Package menhir_20181113-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/changelog.gz
/usr/share/doc/menhir/copyright
/usr/share/man/man1/menhir.1.gz
/usr/share/menhir/standard.mly

Changelog

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)
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

See Also

Package Description
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_amd64.deb generates programs menu for all menu-aware applications
menulibre_2.2.0-2_all.deb advanced FreeDesktop.org compliant menu editor
mercurial-buildpackage_0.10.1+nmu1+b1_amd64.deb Suite to maintain Debian packages in Mercurial repository
mercurial-common_4.9-2_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.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_4.9-2_amd64.deb easy-to-use, scalable distributed version control system
mergelog_4.5.1-9+b2_amd64.deb utility that merges httpd log files by date
mergerfs_2.24.2-4_amd64.deb another FUSE union filesystem
meritous-data_1.5-1_all.deb action-adventure dungeon crawl game (datafiles)
Advertisement
Advertisement