menhir (20231231+ds-1) unstable; urgency=medium * Team upload * New upstream release -- Stéphane Glondu Thu, 15 Feb 2024 14:22:52 +0100 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 Sun, 27 Aug 2023 06:34:07 +0200 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 Wed, 26 Jul 2023 21:36:14 +0200 menhir (20220210+ds-2) unstable; urgency=medium * Prepare for upload to unstable. -- Julien Puydt Fri, 13 May 2022 13:47:21 +0200 menhir (20220210+ds-1) experimental; urgency=medium * Team upload. * New upstream release. * Make sure the doc is built. -- Julien Puydt Fri, 18 Mar 2022 10:43:32 +0100 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 Fri, 01 Oct 2021 23:02:46 +0200 menhir (20201216-1) unstable; urgency=medium * New upstream release -- Mehdi Dogguy Sun, 17 Jan 2021 21:01:58 +0100 menhir (20201201-1) unstable; urgency=medium * New upstream version. * Standards-version 4.5.1 (no change) -- Ralf Treinen Sun, 06 Dec 2020 10:29:09 +0100 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 Sat, 22 Aug 2020 18:46:28 +0200 menhir (20200123-3) unstable; urgency=medium * patch menhirLib: fix the value returned by --suggest-menhirLib (closes: #955494) -- Ralf Treinen Thu, 02 Apr 2020 12:22:45 +0200 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 Thu, 27 Feb 2020 22:13:34 +0100 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 Sat, 08 Feb 2020 10:50:13 +0100 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 Sat, 02 Nov 2019 11:51:19 +0100 menhir (20190626-6) unstable; urgency=medium * Team upload * libmenhir-coq: add dependency to Coq ABI (Closes: #935873) -- Stéphane Glondu Tue, 27 Aug 2019 15:43:33 +0200 menhir (20190626-5) unstable; urgency=medium * Fix dependencies of the "library" test. -- Ralf Treinen Wed, 21 Aug 2019 20:44:35 +0200 menhir (20190626-4) unstable; urgency=medium [ Stéphane Glondu ] * Remove Samuel from Uploaders [ Ralf Treinen ] * Package tests: - add test for compilation with the menhir library - use directly the files from upstreams demos/ directory - make tests more verbose -- Ralf Treinen Wed, 21 Aug 2019 20:17:35 +0200 menhir (20190626-3) unstable; urgency=medium * Standards-Version 4.4.0 (no change) * Test coq: add dependency coq * Drop version contraint on build-dependency dh-ocaml -- Ralf Treinen Thu, 25 Jul 2019 15:57:50 -0300 menhir (20190626-2) unstable; urgency=medium * Upload to unstable. -- Ralf Treinen Wed, 24 Jul 2019 20:26:11 -0300 menhir (20190626-1) experimental; urgency=medium * New upstream release * Standards-Version 4.3.0 (no change) * New binary package: libmenhir-coq * New build-dependencies: - debhelper-compat(=12); drop file debian/compat - coq (needed for building libmenhir-coq) * Package libmenhir-ocaml-dev: Suggests ocaml-findlib * Override dh_dwz to use --no-dwz-multifile * As-installed tests: - Add test for libmenhir-coq (thanks a lot to Pierre Letouzey) - Rename test "calc" to "standalone", tighten test dependencies -- Ralf Treinen Sun, 07 Jul 2019 21:32:31 +0200 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 Wed, 14 Nov 2018 22:14:32 +0100 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 Thu, 19 Jul 2018 22:19:24 +0200 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 Mon, 18 Jun 2018 20:39:09 +0200 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