menhir (20171222-1) unstable; urgency=medium * New upstream version. * Standards-version 4.1.3 (no change) -- Ralf Treinen Tue, 02 Jan 2018 19:23:01 +0100 menhir (20171206-1) unstable; urgency=medium * New upstream version. * Standards-version 4.1.2 (no change) * Drop debian/source/local-options -- Ralf Treinen Wed, 13 Dec 2017 21:31:45 +0100 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 Thu, 23 Nov 2017 08:42:12 +0100 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 Sat, 22 Jul 2017 19:58:29 +0200 menhir (20170607.dfsg-3) unstable; urgency=medium * as-installed tests: add dependency ocaml-findlib -- Ralf Treinen Sun, 02 Jul 2017 13:32:18 +0200 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 Tue, 20 Jun 2017 08:24:06 +0200 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 Mon, 19 Jun 2017 22:11:44 +0200 menhir (20160808+dfsg-1) unstable; urgency=medium * Team upload * New upstream release -- Stéphane Glondu Tue, 16 Aug 2016 10:06:20 +0200 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 Sat, 06 Aug 2016 10:55:33 +0200 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 Sun, 17 Jan 2016 22:06:28 +0100 menhir (20141215.dfsg-1~exp1) experimental; urgency=medium * New upstream release - Requires OCaml >= 4.02~. -- Mehdi Dogguy Mon, 20 Jul 2015 00:00:56 +0000 menhir (20140422.dfsg-1) unstable; urgency=medium * New upstream relese. -- Mehdi Dogguy Sun, 27 Apr 2014 14:49:45 +0200 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 Thu, 27 Mar 2014 20:53:44 +0100 menhir (20130911.dfsg-1) unstable; urgency=low * New upstream release. * Add ocaml-findlib to Build-Depends. * Use native/byte targets instead of $(OCAML_BEST) * Adapt install steps to new build system. -- Mehdi Dogguy Mon, 24 Mar 2014 22:38:20 +0100 menhir (20130116.dfsg-2) unstable; urgency=low * Team upload * Upload to unstable -- Stéphane Glondu Tue, 03 Dec 2013 00:42:01 +0100 menhir (20130116.dfsg-1) experimental; urgency=low * Team upload * New upstream release * Switch source package format to 3.0 (quilt) * Update Vcs-* * Compile with OCaml >= 4 -- Stéphane Glondu Wed, 24 Jul 2013 15:47:49 +0200 menhir (20120123.dfsg-1) unstable; urgency=low * New upstream release - fixes http://caml.inria.fr/mantis/view.php?id=5462 -- Mehdi Dogguy Mon, 23 Jan 2012 20:50:25 +0100 menhir (20111019.dfsg-1) unstable; urgency=low * New upstream release (Closes: #583291). * Bump Standards-Version to 3.9.2, no changes needed. -- Mehdi Dogguy Mon, 02 Jan 2012 18:05:48 +0100 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. -- Mehdi Dogguy Sat, 16 Apr 2011 00:12:54 +0200 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 -- Mehdi Dogguy Wed, 23 Sep 2009 18:48:23 +0200 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 -- Mehdi Dogguy Wed, 24 Jun 2009 23:04:37 +0200 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 -- Mehdi Dogguy Sun, 22 Feb 2009 23:41:17 +0100 menhir (20090204.dfsg-1) experimental; urgency=low * New Upstream Version * Add dependency ${misc:Depends}, thanks zack. * Update src_Makefile.dpatch * Add DMUA flag with Sam's blessing. * PREFIX is set back to /usr in debian/rules -- Mehdi Dogguy Thu, 19 Feb 2009 13:18:19 +0100 menhir (20080912.dfsg-2) experimental; urgency=low * Bump ocaml version to 3.11 * Add build-dependency on dh-ocaml * Shorten debian/rules -- Mehdi Dogguy Wed, 18 Feb 2009 16:23:09 +0100 menhir (20080912.dfsg-1) experimental; urgency=low [ Mehdi Dogguy ] * New upstream release, (Closes: #500699). * Add myself to uploaders and set d-o-m as maintainer. * Bump standards version to 3.8.0, no changes needed. * Change Vcs-* flags to point to git repository. * Update debian/rules: All source files are now in src/ * Bump debhelper compat to 7 and shorten debian/rules * Add src_Makefile.dpatch to not try to build cmx files on non-native architectures. * Add Homepage field to debian/control. * Install menhirLib * Remove ocamlfind from build-dependency: not used. [ Samuel Mimram ] * Mangle .dfsg in version in watch file. -- Mehdi Dogguy Fri, 23 Jan 2009 12:43:54 +0100 menhir (20071212.dfsg-1) unstable; urgency=low * New upstream release. * Updated standards version, no changes needed. -- Samuel Mimram Sat, 22 Dec 2007 00:46:17 +0100 menhir (20071205.dfsg-1) unstable; urgency=low * New upstream release. * Tighten dependency on ocaml-nox. -- Samuel Mimram Tue, 11 Dec 2007 00:45:36 +0000 menhir (20070520-2) unstable; urgency=low * Rebuild with OCaml 3.10. -- Samuel Mimram Sat, 08 Sep 2007 01:30:14 +0200 menhir (20070520-1) unstable; urgency=low * New upstream release. -- Samuel Mimram Mon, 23 Jul 2007 14:25:32 +0200 menhir (20070322.dfsg-4) unstable; urgency=low * Correcly clean, closes: #424571. -- Samuel Mimram Tue, 22 May 2007 22:36:35 +0200 menhir (20070322.dfsg-3) unstable; urgency=low * Rebuild in bytecode when native compilation fails. -- Samuel Mimram Wed, 18 Apr 2007 12:51:43 +0200 menhir (20070322.dfsg-2) unstable; urgency=low * Uploading to unstable. -- Samuel Mimram Mon, 09 Apr 2007 17:53:02 +0200 menhir (20070322.dfsg-1) experimental; urgency=low * New upstream release. * Menhir is now correctly bootstrapped, closes: #397467. -- Samuel Mimram Fri, 23 Mar 2007 00:14:31 +0100 menhir (20070215.dfsg-1) experimental; urgency=low * New upstream release. * Removed bashism.dpatch, integrated upstream. * Removed manpage, since it is now provided upstream. * Updated standards version to 3.7.2, no changes needed. -- Samuel Mimram Wed, 28 Feb 2007 19:49:34 +0100 menhir (20060615.dfsg-2) unstable; urgency=low * Correctly set PREFIX when building, closes: #378260. * Added bashim.dpatch to remove bashisms, closes: #377803. -- Samuel Mimram Tue, 11 Jul 2006 12:26:18 +0000 menhir (20060615.dfsg-1) unstable; urgency=low * Repackaged upstream's tarball to remove manual.pdf for which we don't have the sources (yet). -- Samuel Mimram Sat, 8 Jul 2006 09:24:11 +0000 menhir (20060615-1) unstable; urgency=low * New upstream release. * Removed makefile.dpatch, found a better way to use the makefile. * Added manpage.dpatch to remove invalid characters from the manpage. * Updated standards version to 3.7.2, no changes needed. -- Samuel Mimram Sat, 24 Jun 2006 19:06:02 +0000 menhir (20060412-1) unstable; urgency=low * Initial release, closes: #363539. -- Samuel Mimram Wed, 19 Apr 2006 19:11:20 +0200