Change log for menhir package in Ubuntu

142 of 42 results
Published in focal-proposed on 2019-11-03
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
Published in focal-release on 2019-10-18
Published in eoan-release on 2019-09-02
Deleted in eoan-proposed (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
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)

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

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

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

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
Superseded in eoan-release on 2019-07-29
Published in disco-release on 2018-10-30
Published in cosmic-release on 2018-05-01
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
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

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
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
Superseded in bionic-release on 2017-11-05
Published in artful-release on 2017-09-01
Deleted in artful-proposed (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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

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
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
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
Superseded in hardy-release on 2007-12-12
menhir (20070520-2) unstable; urgency=low

  * Rebuild with OCaml 3.10.

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
Superseded in gutsy-release on 2007-05-24
menhir (20070322.dfsg-3) unstable; urgency=low

  * Rebuild in bytecode when native compilation fails.

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.

142 of 42 results