Change log : menhir package : Ubuntu

20231231+ds-1

Published in oracular-release on 2024-04-29

Published in noble-release on 2024-02-24

Deleted in noble-proposed (Reason: Moved to noble)

menhir (20231231+ds-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <email address hidden>  Thu, 15 Feb 2024 14:22:52 +0100

Available diffs

diff from 20230608+ds-1build2 (in Ubuntu) to 20231231+ds-1 (75.3 KiB)

20230608+ds-1build2

Superseded in noble-release on 2024-02-24

Deleted in noble-proposed on 2024-02-25 (Reason: Moved to noble)

menhir (20230608+ds-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Wed, 15 Nov 2023 15:55:11 +0100

Available diffs

diff from 20230608+ds-1 (in Debian) to 20230608+ds-1build2 (454 bytes)
diff from 20230608+ds-1build1 to 20230608+ds-1build2 (320 bytes)

20230608+ds-1build1

Superseded in noble-proposed on 2023-11-15

menhir (20230608+ds-1build1) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 03 Nov 2023 00:13:31 +0100

Available diffs

diff from 20230608+ds-1 (in Debian) to 20230608+ds-1build1 (429 bytes)

20230608+ds-1

Superseded in noble-release on 2023-11-25

Published in mantic-release on 2023-08-30

Deleted in mantic-proposed (Reason: Moved to mantic)

menhir (20230608+ds-1) unstable; urgency=medium

  [ Stéphane Glondu ]
  * Team upload
  * New upstream release
  * Fix debian/watch
  * Fix cleaning (Closes: #1046147)

  [ Debian Janitor ]
  * Remove constraints unnecessary since buster (oldstable):
    + Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.02.3~).
    + menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
      Replaces.
    + menhir-doc: Drop conflict with removed package menhir (<< 20170712-1) in
      Breaks.
  * Use secure URI in Homepage field.

 -- Stéphane Glondu <email address hidden>  Sun, 27 Aug 2023 06:34:07 +0200

Available diffs

diff from 20220210+ds1-1 to 20230608+ds-1 (50.6 KiB)

20220210+ds1-1

Superseded in mantic-release on 2023-08-30

Deleted in mantic-proposed on 2023-08-31 (Reason: Moved to mantic)

menhir (20220210+ds1-1) unstable; urgency=medium

  * Team upload
  * Properly repack upstream sources, without coq-menhirlib
  * Use ocaml_dune DH buildsystem (Closes: #1042097)
  * Bump Standards-Version to 4.6.2

 -- Stéphane Glondu <email address hidden>  Wed, 26 Jul 2023 21:36:14 +0200

Available diffs

diff from 20220210+ds-2 to 20220210+ds1-1 (42.6 KiB)

20220210+ds-2

Superseded in mantic-release on 2023-07-31

Published in lunar-release on 2022-10-27

Obsolete in kinetic-release on 2023-11-13

Deleted in kinetic-proposed (Reason: Moved to kinetic)

menhir (20220210+ds-2) unstable; urgency=medium

  * Prepare for upload to unstable.

 -- Julien Puydt <email address hidden>  Fri, 13 May 2022 13:47:21 +0200

Available diffs

diff from 20210929-1build1 (in Ubuntu) to 20220210+ds-2 (314.3 KiB)

20210929-1build1

Superseded in kinetic-release on 2022-05-15

Published in jammy-release on 2022-03-02

Deleted in jammy-proposed (Reason: Moved to jammy)

menhir (20210929-1build1) jammy; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Mon, 24 Jan 2022 17:20:39 +0100

Available diffs

diff from 20210929-1 (in Debian) to 20210929-1build1 (311 bytes)

20210929-1

Superseded in jammy-release on 2022-03-02

Deleted in jammy-proposed on 2022-03-03 (Reason: Moved to jammy)

menhir (20210929-1) unstable; urgency=medium

  * New upstream release.
  * debian/copyright:
    - fix file patterns for the runtime library which has moved to lib/
    - remove some licences that are no longer used
  * Standards-version 4.6.0 (no change)

 -- Ralf Treinen <email address hidden>  Fri, 01 Oct 2021 23:02:46 +0200

Available diffs

diff from 20201216-1 to 20210929-1 (114.6 KiB)

20201216-1

Superseded in jammy-release on 2021-11-08

Obsolete in impish-release on 2022-07-23

Obsolete in hirsute-release on 2022-07-23

Deleted in hirsute-proposed (Reason: moved to Release)

menhir (20201216-1) unstable; urgency=medium

  * New upstream release

 -- Mehdi Dogguy <email address hidden>  Sun, 17 Jan 2021 21:01:58 +0100

Available diffs

diff from 20201201-1 to 20201216-1 (27.8 KiB)

20201201-1

Superseded in hirsute-release on 2021-02-13

Deleted in hirsute-proposed on 2021-02-14 (Reason: moved to Release)

menhir (20201201-1) unstable; urgency=medium

  * New upstream version.
  * Standards-version 4.5.1 (no change)

 -- Ralf Treinen <email address hidden>  Sun, 06 Dec 2020 10:29:09 +0100

Available diffs

diff from 20200624-1build1 (in Ubuntu) to 20201201-1 (65.7 KiB)

20200624-1build1

Superseded in hirsute-release on 2020-12-07

Deleted in hirsute-proposed on 2020-12-09 (Reason: moved to Release)

menhir (20200624-1build1) hirsute; urgency=medium

  * No-change rebuild for ocaml abi changes.

 -- Matthias Klose <email address hidden>  Tue, 03 Nov 2020 12:00:09 +0100

Available diffs

diff from 20200624-1 (in Debian) to 20200624-1build1 (312 bytes)

20200624-1

Superseded in hirsute-release on 2020-11-19

Obsolete in groovy-release on 2021-12-22

Deleted in groovy-proposed on 2021-12-23 (Reason: moved to Release)

menhir (20200624-1) unstable; urgency=medium

  * New upstream release.
  * d/rules: include ocamlvars.mk to obtain override of dh_dwz
  * Dehelper compatibility level 13:
    - drop override of dh_missing which is no longer needed
  * d/copyright: fix spelling of "src/StaticVersion.mli"
  * Bump version of build-dependency dune, as indicated by upstream's opam file
  * Set Rules-Requires-Root=no

 -- Ralf Treinen <email address hidden>  Sat, 22 Aug 2020 18:46:28 +0200

Available diffs

diff from 20200123-3 to 20200624-1 (168.4 KiB)

20200123-3

Superseded in groovy-release on 2020-09-02

Deleted in groovy-proposed on 2020-09-04 (Reason: moved to Release)

menhir (20200123-3) unstable; urgency=medium

  * patch menhirLib: fix the value returned by --suggest-menhirLib
    (closes: #955494)

 -- Ralf Treinen <email address hidden>  Thu, 02 Apr 2020 12:22:45 +0200

Available diffs

diff from 20200123-2 to 20200123-3 (607 bytes)

20200123-2

Superseded in groovy-release on 2020-04-30

Published in focal-release on 2020-03-12

Deleted in focal-proposed (Reason: moved to Release)

menhir (20200123-2) unstable; urgency=medium

  * Removal of coq-menhirlib from this source package:
    - add coq-menhirlib to the gbp import filter
    - clean debian/rules
    - remove coq-menhirlib from debian/control
    - drop build-dependency on coq
    - drop debian/libmenhir-coq.install
    - remove stanzas relating to coq-menhirlib from debian/copyright
    - drop as-installed test coq, and its support files
    - add an explanation in debian/README.source.
    
 -- Ralf Treinen <email address hidden>  Thu, 27 Feb 2020 22:13:34 +0100

Available diffs

diff from 20200123-1 to 20200123-2 (11.5 KiB)

20200123-1

Superseded in focal-release on 2020-03-12

Deleted in focal-proposed on 2020-03-14 (Reason: moved to Release)

menhir (20200123-1) unstable; urgency=medium

  * New upstream version
  * Drop patch demos-enable-bytecode as the collection of demos is no longer
    part of upstream
  * Build-dependencies:
    - tighten version of ocaml-nox
    - drop ocamlbuild and ocaml-findlib
    - add ocaml-dune
  - debian/rules:
    - switch to the new build system using dune
    - drop override for dh_auto_test which is no longer needed
    - drop override for dh_dwz which is no longer needed
  - Installation:
    - install menhir.1 through debian/menhir.manpages
    - drop installation of empty directory usr/menhir/share
    - upstream installs documentation in /usr/doc
    - no more examples to install
    - create file d/not-installed, listing redundant CHANGES.md, LICENCE.md,
      README.md files
  * as-installed tests: since upstream does not distribute the demos any
    longer we use our own copy of relevant testcases in debian/tests.
  * Standards-version 4.5.0 (no change)

 -- Ralf Treinen <email address hidden>  Sat, 08 Feb 2020 10:50:13 +0100

Available diffs

diff from 20190626-6ubuntu1 (in Ubuntu) to 20200123-1 (195.6 KiB)
diff from 20190924-1 to 20200123-1 (188.9 KiB)

20190924-1

Superseded in focal-proposed on 2020-02-08

menhir (20190924-1) unstable; urgency=medium

  * New upstream version
  * Set Multi-Arch:foreign for the menhir-doc package
  * Standards-Version: 4.4.1 (no change)

 -- Ralf Treinen <email address hidden>  Sat, 02 Nov 2019 11:51:19 +0100

20190626-6ubuntu1

Superseded in focal-release on 2020-02-28

Obsolete in eoan-release on 2020-12-29

Deleted in eoan-proposed on 2020-12-29 (Reason: moved to release)

menhir (20190626-6ubuntu1) eoan; urgency=medium

  * Merge from Debian unstable.  Remaining changes:
    - Fix build error due to exported V=1 function in launchpad
      buildd configuration (patch accepted upstream)

 -- Gianfranco Costamagna <email address hidden>  Tue, 27 Aug 2019 18:39:51 +0200

Available diffs

diff from 20190626-5ubuntu1 to 20190626-6ubuntu1 (1008 bytes)

20190626-5ubuntu1

Superseded in eoan-release on 2019-09-02

Deleted in eoan-proposed on 2019-09-04 (Reason: moved to release)

menhir (20190626-5ubuntu1) eoan; urgency=low

  * Merge from Debian unstable.  Remaining changes:
    - Fix build error due to exported V=1 function in launchpad
      buildd configuration (patch accepted upstream)

Available diffs

diff from 20190626-3ubuntu2 to 20190626-5ubuntu1 (2.9 KiB)

20190626-3ubuntu2

Superseded in eoan-release on 2019-08-25

Deleted in eoan-proposed on 2019-08-26 (Reason: moved to release)

menhir (20190626-3ubuntu2) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 29 Jul 2019 15:56:45 +0200

Available diffs

diff from 20171222-1 (in Debian) to 20190626-3ubuntu2 (456.9 KiB)
diff from 20190626-3ubuntu1 to 20190626-3ubuntu2 (347 bytes)

20190626-3ubuntu1

Superseded in eoan-proposed on 2019-07-29

menhir (20190626-3ubuntu1) eoan; urgency=medium

  * Fix build error due to exported V=1 function in launchpad
    buildd configuration

 -- Gianfranco Costamagna <email address hidden>  Fri, 26 Jul 2019 23:16:25 +0200

Available diffs

diff from 20190626-2ubuntu2 to 20190626-3ubuntu1 (864 bytes)

20190626-2ubuntu2

Superseded in eoan-proposed on 2019-07-26

menhir (20190626-2ubuntu2) eoan; urgency=medium

  * Fix build error due to exported V=1 function in launchpad
    buildd configuration

 -- Gianfranco Costamagna <email address hidden>  Fri, 26 Jul 2019 22:41:55 +0200

Available diffs

diff from 20190626-2ubuntu1 to 20190626-2ubuntu2 (796 bytes)

20190626-2ubuntu1

Superseded in eoan-proposed on 2019-07-26

menhir (20190626-2ubuntu1) eoan; urgency=medium

  * Fix build error due to exported V=1 function in launchpad
    buildd configuration

 -- Gianfranco Costamagna <email address hidden>  Fri, 26 Jul 2019 22:41:55 +0200

Available diffs

diff from 20190626-2 (in Debian) to 20190626-2ubuntu1 (1.2 KiB)

20190626-2

Superseded in eoan-proposed on 2019-07-26

menhir (20190626-2) unstable; urgency=medium

  * Upload to unstable.

 -- Ralf Treinen <email address hidden>  Wed, 24 Jul 2019 20:26:11 -0300

Available diffs

diff from 20181113-1 to 20190626-2 (177.8 KiB)

20181113-1

Superseded in eoan-proposed on 2019-07-25

Deleted in disco-proposed on 2019-07-28 (Reason: moved to eoan-proposed)

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)

 -- Ralf Treinen <email address hidden>  Wed, 14 Nov 2018 22:14:32 +0100

Available diffs

diff from 20180530-2 to 20181113-1 (238.9 KiB)

20180530-2

Superseded in disco-proposed on 2018-11-23

Deleted in cosmic-proposed on 2018-11-25 (Reason: Moved to disco-proposed)

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

 -- Ralf Treinen <email address hidden>  Thu, 19 Jul 2018 22:19:24 +0200

Available diffs

diff from 20180530-1 to 20180530-2 (644 bytes)

20180530-1

Superseded in cosmic-proposed on 2018-07-20

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

 -- Ralf Treinen <email address hidden>  Mon, 18 Jun 2018 20:39:09 +0200

20171222-1

Superseded in eoan-release on 2019-07-29

Obsolete in disco-release on 2020-07-14

Obsolete in cosmic-release on 2020-07-13

Published in bionic-release on 2018-04-07

Deleted in bionic-proposed (Reason: moved to release)

menhir (20171222-1) unstable; urgency=medium

  * New upstream version.
  * Standards-version 4.1.3 (no change)

 -- Ralf Treinen <email address hidden>  Tue, 02 Jan 2018 19:23:01 +0100

Available diffs

diff from 20170712-1build1 (in Ubuntu) to 20171222-1 (38.5 KiB)
diff from 20171206-1 to 20171222-1 (2.5 KiB)

20171206-1

Superseded in bionic-proposed on 2018-01-02

menhir (20171206-1) unstable; urgency=medium

  * New upstream version.
  * Standards-version 4.1.2 (no change)
  * Drop debian/source/local-options

 -- Ralf Treinen <email address hidden>  Wed, 13 Dec 2017 21:31:45 +0100

Available diffs

diff from 20171013-1 to 20171206-1 (33.6 KiB)

20171013-1

Superseded in bionic-proposed on 2017-12-14

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

 -- Ralf Treinen <email address hidden>  Thu, 23 Nov 2017 08:42:12 +0100

Available diffs

diff from 20170712-1build1 (in Ubuntu) to 20171013-1 (4.5 KiB)

20170712-1build1

Superseded in bionic-release on 2018-04-07

Deleted in bionic-proposed on 2018-04-08 (Reason: moved to release)

menhir (20170712-1build1) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Oct 2017 21:57:42 +0200

Available diffs

diff from 20170712-1 (in Debian) to 20170712-1build1 (350 bytes)

20170712-1

Superseded in bionic-release on 2017-11-05

Obsolete in artful-release on 2020-07-10

Deleted in artful-proposed on 2020-07-10 (Reason: moved to release)

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

 -- Ralf Treinen <email address hidden>  Sat, 22 Jul 2017 19:58:29 +0200

Available diffs

diff from 20170607.dfsg-2ubuntu1 (in Ubuntu) to 20170712-1 (75.4 KiB)

20170607.dfsg-2ubuntu1

Superseded in artful-release on 2017-09-01

Deleted in artful-proposed on 2017-09-02 (Reason: moved to release)

menhir (20170607.dfsg-2ubuntu1) artful; urgency=high

  * No change rebuild against ocaml 4.04.
  * Add ocamlbuild build-dep.

 -- Dimitri John Ledkov <email address hidden>  Tue, 27 Jun 2017 13:37:42 +0100

Available diffs

diff from 20170607.dfsg-2 (in Debian) to 20170607.dfsg-2ubuntu1 (653 bytes)

20170607.dfsg-2

Superseded in artful-release on 2017-07-18

Deleted in artful-proposed on 2017-07-19 (Reason: moved to release)

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

 -- Ralf Treinen <email address hidden>  Tue, 20 Jun 2017 08:24:06 +0200

Available diffs

diff from 20160808+dfsg-1 to 20170607.dfsg-2 (113.2 KiB)
diff from 20170607.dfsg-1 to 20170607.dfsg-2 (850 bytes)

20170607.dfsg-1

Superseded in artful-proposed on 2017-06-20

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

 -- Ralf Treinen <email address hidden>  Mon, 19 Jun 2017 22:11:44 +0200

20160808+dfsg-1

Superseded in artful-release on 2017-06-25

Obsolete in zesty-release on 2018-06-22

Obsolete in yakkety-release on 2018-01-23

Deleted in yakkety-proposed on 2018-06-22 (Reason: moved to release)

menhir (20160808+dfsg-1) unstable; urgency=medium

  * Team upload
  * New upstream release

 -- Stéphane Glondu <email address hidden>  Tue, 16 Aug 2016 10:06:20 +0200

Available diffs

diff from 20151112.dfsg-1 to 20160808+dfsg-1 (110.0 KiB)
diff from 20160526.dfsg-1 to 20160808+dfsg-1 (11.3 KiB)

20160526.dfsg-1

Superseded in yakkety-proposed on 2016-08-16

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

 -- Stéphane Glondu <email address hidden>  Sat, 06 Aug 2016 10:55:33 +0200

20151112.dfsg-1

Superseded in yakkety-release on 2016-09-02

Published in xenial-release on 2016-01-18

Deleted in xenial-proposed (Reason: moved to release)

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

 -- Mehdi Dogguy <email address hidden>  Sun, 17 Jan 2016 22:06:28 +0100

Available diffs

diff from 20140422.dfsg-1build1 (in Ubuntu) to 20151112.dfsg-1 (252.5 KiB)

20140422.dfsg-1build1

Superseded in xenial-release on 2016-01-18

Deleted in xenial-proposed on 2016-01-19 (Reason: moved to release)

menhir (20140422.dfsg-1build1) xenial; urgency=medium

  * No-change rebuild against ocaml 4.02.

 -- Łukasz 'sil2100' Zemczak <email address hidden>  Tue, 03 Nov 2015 09:28:41 -0600

Available diffs

diff from 20140422.dfsg-1 (in Debian) to 20140422.dfsg-1build1 (348 bytes)

20140422.dfsg-1

Superseded in xenial-release on 2015-11-13

Obsolete in wily-release on 2018-01-22

Obsolete in vivid-release on 2018-01-18

Obsolete in utopic-release on 2016-11-03

Deleted in utopic-proposed on 2018-01-22 (Reason: moved to release)

menhir (20140422.dfsg-1) unstable; urgency=medium


  * New upstream relese.

 -- Mehdi Dogguy <email address hidden>  Sun, 27 Apr 2014 14:49:45 +0200

Available diffs

diff from 20130911.dfsg-2 to 20140422.dfsg-1 (3.3 KiB)

20130911.dfsg-2

Superseded in utopic-release on 2014-04-27

Deleted in utopic-proposed on 2014-04-29 (Reason: moved to release)

menhir (20130911.dfsg-2) unstable; urgency=medium


  * Fix FTBFS on bytecode architectures.
    - Add 0002-Use-CURDIR-instead-of-.-during-bootstrap.patch
  * Do not install menhirLib.mlpack.

 -- Mehdi Dogguy <email address hidden>  Thu, 27 Mar 2014 20:53:44 +0100

Available diffs

diff from 20130116.dfsg-2 to 20130911.dfsg-2 (21.4 KiB)

20130116.dfsg-2

Superseded in utopic-release on 2014-04-26

Published in trusty-release on 2013-12-24

Deleted in trusty-proposed (Reason: moved to release)

menhir (20130116.dfsg-2) unstable; urgency=low


  * Team upload
  * Upload to unstable

 -- Stéphane Glondu <email address hidden>  Tue, 03 Dec 2013 00:42:01 +0100

Available diffs

diff from 20120123.dfsg-1.1 to 20130116.dfsg-2 (27.3 KiB)

20120123.dfsg-1.1

Superseded in trusty-release on 2013-12-24

Deleted in trusty-proposed on 2013-12-25 (Reason: moved to release)

menhir (20120123.dfsg-1.1) unstable; urgency=low


  * Non-maintainer upload.
  * Fix "FTBFS: Makefile:34: *** Please define PREFIX.  Stop.":
    "backport" from 20130116.dfsg-1 in experimental:
    add empty override_dh_auto_test to debian/rules.
    (Closes: #718098)

 -- gregor herrmann <email address hidden>  Wed, 13 Nov 2013 21:56:09 +0100

Available diffs

diff from 20120123.dfsg-1 to 20120123.dfsg-1.1 (520 bytes)

20120123.dfsg-1

Superseded in trusty-release on 2013-11-15

Obsolete in saucy-release on 2015-04-24

Obsolete in raring-release on 2015-04-24

Obsolete in quantal-release on 2015-04-24

menhir (20120123.dfsg-1) unstable; urgency=low


  * New upstream release
    - fixes http://caml.inria.fr/mantis/view.php?id=5462

 -- Mehdi Dogguy <email address hidden>  Mon, 23 Jan 2012 20:50:25 +0100

Available diffs

diff from 20110201.dfsg-1build2 (in Ubuntu) to 20120123.dfsg-1 (44.2 KiB)

20110201.dfsg-1build2

Superseded in quantal-release on 2012-05-01

Published in precise-release on 2011-11-18

menhir (20110201.dfsg-1build2) precise; urgency=low

  * Rebuild for OCaml 3.12.1.
 -- Colin Watson <email address hidden>   Fri, 18 Nov 2011 20:58:16 +0000

Available diffs

diff from 20110201.dfsg-1build1 to 20110201.dfsg-1build2 (315 bytes)

20110201.dfsg-1build1

Superseded in precise-release on 2011-11-18

Obsolete in oneiric-release on 2015-04-24

menhir (20110201.dfsg-1build1) oneiric; urgency=low

  * Rebuild to pick up armel ocaml fixes.
 -- Adam Conrad <email address hidden>   Fri, 19 Aug 2011 13:29:48 -0600

Available diffs

diff from 20110201.dfsg-1 to 20110201.dfsg-1build1 (315 bytes)

20110201.dfsg-1

Superseded in oneiric-release on 2011-08-19

menhir (20110201.dfsg-1) unstable; urgency=low

  [ Stéphane Glondu ]
  * Do not install examples twice (Closes: #603335)

  [ Mehdi Dogguy ]
  * New upstream release.
  * Set filter-pristine-tar to True in debian/gbp.conf.
 -- Ubuntu Archive Auto-Sync <email address hidden>   Sat,  30 Apr 2011 13:17:45 +0000

Available diffs

diff from 20090505.dfsg-2build1 to 20110201.dfsg-1 (4.3 KiB)

20090505.dfsg-2build1

Superseded in oneiric-release on 2011-04-30

Obsolete in natty-release on 2013-06-04

Obsolete in maverick-release on 2013-03-05

Obsolete in lucid-release on 2016-10-26

menhir (20090505.dfsg-2build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #522363).
 -- Ilya Barygin <email address hidden>   Wed, 17 Feb 2010 17:58:24 +0300

Available diffs

diff from 20090505.dfsg-2 to 20090505.dfsg-2build1 (336 bytes)

20090505.dfsg-2

Superseded in lucid-release on 2010-02-17

menhir (20090505.dfsg-2) unstable; urgency=low

  * Use new features of dh-ocaml (0.9).
  * Build-dep on ocaml >= 3.11.1-3~
  * Use new address and remove DMUA
  * Bump standards to 3.8.3
  * Convert patches to quilt format and use quilt instead of dpatch
 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  05 Nov 2009 10:40:08 +0000

Available diffs

diff from 20090505.dfsg-1 to 20090505.dfsg-2 (2.2 KiB)

20090505.dfsg-1

Superseded in lucid-release on 2009-11-05

Obsolete in karmic-release on 2013-03-04

menhir (20090505.dfsg-1) unstable; urgency=low

  * New Upstream Version
  * More verbose description for libmenhir-ocaml-dev, Closes: #518666.
  * Move libmenhir-ocaml-dev to the new ocaml section.
  * Drop src_Makefile.dpatch: integrated upstream.
  * Build-dep on ocaml >= 3.11.1

 -- David MENTR? <email address hidden>   Fri,  24 Jul 2009 15:04:41 +0100

Available diffs

diff from 20090204.dfsg-2 to 20090505.dfsg-1 (2.8 KiB)

20090204.dfsg-2

Superseded in karmic-release on 2009-07-24

menhir (20090204.dfsg-2) unstable; urgency=low

  * New binary package libmenhir-ocaml-dev, Closes: #516134.
  * Use dh-ocaml predefined variables.
  * Use predefined variable OCAML_BEST (dh-ocaml >= 0.4).
  * debian/svn-deblayout: remove no longer needed SVN setting

Available diffs

diff from 20071212.dfsg-1build1 to 20090204.dfsg-2 (343.2 KiB)

20071212.dfsg-1build1

Superseded in karmic-release on 2009-04-29

Obsolete in jaunty-release on 2013-02-28

Obsolete in intrepid-release on 2013-02-20

menhir (20071212.dfsg-1build1) intrepid; urgency=low

  * No change rebuild against Ocaml 3.10.2

 -- Cesare Tirabassi <email address hidden>   Tue, 27 May 2008 13:04:23 +0200

20071212.dfsg-1

Superseded in intrepid-release on 2008-05-27

menhir (20071212.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Updated standards version, no changes needed.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  02 May 2008 02:19:04 +0100

20071205.dfsg-1

Superseded in intrepid-release on 2008-05-03

Obsolete in hardy-release on 2015-04-24

menhir (20071205.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Tighten dependency on ocaml-nox.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  12 Dec 2007 09:52:52 +0000

20070520-2

Superseded in hardy-release on 2007-12-12

menhir (20070520-2) unstable; urgency=low

  * Rebuild with OCaml 3.10.

20070322.dfsg-4

Superseded in hardy-release on 2007-10-23

Obsolete in gutsy-release on 2011-09-16

menhir (20070322.dfsg-4) unstable; urgency=low

  * Correcly clean, closes: #424571.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  24 May 2007 12:54:56 +0100

20070322.dfsg-3

Superseded in gutsy-release on 2007-05-24

menhir (20070322.dfsg-3) unstable; urgency=low

  * Rebuild in bytecode when native compilation fails.

20060615.dfsg-2

Superseded in gutsy-release on 2007-04-27

Obsolete in feisty-release on 2009-08-20

menhir (20060615.dfsg-2) unstable; urgency=low

  * Correctly set PREFIX when building, closes: #378260.
  * Added bashim.dpatch to remove bashisms, closes: #377803.

Ubuntumenhir package

Change log for menhir package in Ubuntu

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Available diffs

Ubuntu
menhir package