coinst (1.9.3-6) unstable; urgency=medium * Team upload * Fix compilation with OCaml 5.2.0 (Closes: #1073875) -- Stéphane Glondu Tue, 06 Aug 2024 04:40:47 +0200 coinst (1.9.3-5) unstable; urgency=medium [ Stéphane Glondu ] * Team upload [ Bastian Germann ] * Drop coinst-viewer (Closes: #967294) -- Stéphane Glondu Sun, 27 Aug 2023 07:16:17 +0200 coinst (1.9.3-4) unstable; urgency=medium [ Stéphane Glondu ] * Team upload * Bump Standards-Version to 4.6.2 [ Debian Janitor ] * Use versioned copyright format URI. * Update watch file format version to 4. * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. * Update pattern for GitHub archive URLs from ///tags page///archive/ -> ///archive/refs/tags/. * debian/watch: Use GitHub /tags rather than /releases page. -- Stéphane Glondu Tue, 08 Aug 2023 09:31:46 +0200 coinst (1.9.3-3) unstable; urgency=medium * Team upload * Port jsviewer.js to modern js_of_ocaml -- Stéphane Glondu Wed, 19 Aug 2020 15:07:12 +0200 coinst (1.9.3-2) unstable; urgency=medium * Team upload * Fix FTBFS with OCaml 4.08.1 (Closes: #956556) * Update Vcs-* to point to salsa * Update debian/watch * Bump debhelper compat level to 13 * Bump Standards-Version to 4.5.0 * Add Rules-Requires-Root: no -- Stéphane Glondu Thu, 13 Aug 2020 15:46:28 +0200 coinst (1.9.3-1) unstable; urgency=medium * New upstream release * Remove patch, integrated upstream. -- Mehdi Dogguy Sat, 13 Feb 2016 14:42:20 +0100 coinst (1.9.2-1) unstable; urgency=medium * New upstream release: - Avoid ambiguous output when package has multiple versions (Closes: #759476) - Add a new line before "LARGER NON-INSTALLABLE SETS" (Closes: #759474) - Use http.debian.net and allow user to specify source mirror by passing --source flag (Closes: #736910) * Remove all patches, integrated upstream. * Fix space/tab issue in viewer/Makefile - add debian/patches/0001-Fix-a-space-tab-issue-in-Makefile.patch -- Mehdi Dogguy Fri, 12 Feb 2016 00:12:30 +0100 coinst (1.9.1-2) unstable; urgency=medium * Fix FTBFS with OCaml 4.02.3 - Add Ptset.of_list, Ptset.Big.of_list and Ptset.BigPos.of_list - Add camlp4 as a build dependency -- Mehdi Dogguy Sun, 18 Oct 2015 17:04:40 +0200 coinst (1.9.1-1) unstable; urgency=low * Update debian/gbp.conf to automatically filter out the "Talks" directory upon import using git-import-orig. * Import new upstream (minor) release - Remove no longer needed 0001-Fixed-to-compile-with-OCaml-4.01.patch - Update patch make_byte -- Mehdi Dogguy Fri, 17 Jan 2014 22:51:09 +0100 coinst (1.9.0-1) unstable; urgency=low [ Ralf Treinen ] * debian/rules: use $(OCAML_HAVE_OCAMLOPT) to distinguish native from non-native archs (thanks to Mehdi Dogguy for the hint!) [ Mehdi Dogguy ] * Update debian/gbp.conf to automatically filter "migration-reports" and "snapshots" directories upon import using git-import-orig. * Import new upstream release - Update debian/patches/make_clean - Update debian/patches/make_coinst - Update debian/patches/make_viewer_byte in order to build coinst_converter.byte as well on bytecode architectures. - Add debian/patches/make_byte - Add debian/patches/Fixed-to-compile-with-OCaml-4.01.patch (from upstream) * Install comigrate and coinst-upgrades utilities. * Install coinst_converter and jsviewer.js in the coinst-viewer package (Closes: #665447). * Add myself to Uploaders. * Bump Standards-Version to 3.9.4, no changes needed. * Add libcudf-ocaml-dev to Build-Depends. -- Mehdi Dogguy Thu, 16 Jan 2014 23:44:57 +0100 coinst (1.01-2) unstable; urgency=low * Rename patch clean_viewer to make-clean, also clean coinst.byte. * debian/rules: build bytecode on non-native architectures (closes: #656730) -- Ralf Treinen Sat, 21 Jan 2012 21:58:07 +0100 coinst (1.01-1) unstable; urgency=low * Initial release (closes: #655395) -- Ralf Treinen Sun, 01 Jan 2012 16:54:35 +0100