coinst (1.9.3-6build2) stonking; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sat, 04 Jul 2026 09:45:37 +0200

coinst (1.9.3-6build1) resolute; urgency=medium

  * No-change mass rebuild for Ubuntu 26.04 (LP: #2132257)

 -- Graham Inggs <ginggs@ubuntu.com>  Wed, 14 Jan 2026 21:21:04 +0000

coinst (1.9.3-6) unstable; urgency=medium

  * Team upload
  * Fix compilation with OCaml 5.2.0 (Closes: #1073875)

 -- Stéphane Glondu <glondu@debian.org>  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 <glondu@debian.org>  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 /<org>/<repo>/tags
    page/<org>/<repo>/archive/<tag> -> /<org>/<repo>/archive/refs/tags/<tag>.
  * debian/watch: Use GitHub /tags rather than /releases page.

 -- Stéphane Glondu <glondu@debian.org>  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 <glondu@debian.org>  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 <glondu@debian.org>  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 <mehdi@debian.org>  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 <mehdi@debian.org>  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 <mehdi@debian.org>  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 <mehdi@debian.org>  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 <mehdi@debian.org>  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 <treinen@debian.org>  Sat, 21 Jan 2012 21:58:07 +0100

coinst (1.01-1) unstable; urgency=low

  * Initial release (closes: #655395)

 -- Ralf Treinen <treinen@debian.org>  Sun, 01 Jan 2012 16:54:35 +0100
