Change log for coq-reglang package in Ubuntu

coq-reglang (1.2.1-3build5) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:35:03 +0200

Available diffs

• diff from 1.2.1-3build4 to 1.2.1-3build5 (313 bytes)

coq-reglang (1.2.1-3build4) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 03 Jun 2024 23:41:11 +0200

Available diffs

• diff from 1.2.1-3build3 to 1.2.1-3build4 (313 bytes)

coq-reglang (1.2.1-3build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Tue, 21 May 2024 12:33:16 +0200

Available diffs

• diff from 1.2.1-3build2 to 1.2.1-3build3 (314 bytes)

coq-reglang (1.2.1-3build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 13 May 2024 20:20:57 +0200

Available diffs

• diff from 1.2.1-3 (in Debian) to 1.2.1-3build2 (353 bytes)
• diff from 1.2.1-3build1 to 1.2.1-3build2 (311 bytes)

coq-reglang (1.2.1-3build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 02 May 2024 22:10:19 +0200

Available diffs

• diff from 1.2.1-3 (in Debian) to 1.2.1-3build1 (330 bytes)

coq-reglang (1.2.1-3) unstable; urgency=medium

  * Fix target distribution.

 -- Julien Puydt <email address hidden>  Fri, 26 Apr 2024 15:56:43 +0200

Available diffs

• diff from 1.2.1-1build5 (in Ubuntu) to 1.2.1-3 (763 bytes)

coq-reglang (1.2.1-1build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:15:06 +0200

Available diffs

• diff from 1.2.1-1build4 to 1.2.1-1build5 (332 bytes)

coq-reglang (1.2.1-1build4) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <email address hidden>  Sun, 31 Mar 2024 17:55:31 +0000

Available diffs

• diff from 1.2.1-1build3 to 1.2.1-1build4 (315 bytes)

coq-reglang (1.2.1-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:15:00 +0000

Available diffs

• diff from 1.2.1-1build2 to 1.2.1-1build3 (504 bytes)

coq-reglang (1.2.1-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 17 Feb 2024 01:24:30 +0100

Available diffs

• diff from 1.2.1-1build1 to 1.2.1-1build2 (324 bytes)

coq-reglang (1.2.1-1build1) noble; urgency=medium

  * Rebuild against latest coq libraries

 -- Jeremy Bícha <email address hidden>  Sat, 27 Jan 2024 19:48:34 -0500

Available diffs

• diff from 1.1.3-4build3 to 1.2.1-1build1 (35.9 KiB)
• diff from 1.2.1-1 (in Debian) to 1.2.1-1build1 (318 bytes)

coq-reglang (1.2.1-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 20 Jan 2024 20:59:30 +0100

Available diffs

• diff from 1.2.0-1 to 1.2.1-1 (2.5 KiB)

coq-reglang (1.2.0-1) unstable; urgency=medium

  * Fix d/rules clean target (Closes: #1044629).
  * New upstream release.

 -- Julien Puydt <email address hidden>  Fri, 22 Dec 2023 11:21:13 +0100

Available diffs

• diff from 1.1.3-4build4 (in Ubuntu) to 1.2.0-1 (35.5 KiB)

coq-reglang (1.1.3-4build4) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Sat, 23 Dec 2023 07:22:14 -0500

Available diffs

• diff from 1.1.3-4build3 to 1.1.3-4build4 (313 bytes)

coq-reglang (1.1.3-4build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Nov 2023 00:42:07 +0100

Available diffs

• diff from 1.1.3-4build1 to 1.1.3-4build3 (343 bytes)
• diff from 1.1.3-4build2 to 1.1.3-4build3 (313 bytes)

coq-reglang (1.1.3-4build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 04 Nov 2023 20:13:29 +0100

Available diffs

• diff from 1.1.3-4build1 to 1.1.3-4build2 (317 bytes)

coq-reglang (1.1.3-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 24 Jul 2023 19:06:24 +0200

Available diffs

• diff from 1.1.3-4 (in Debian) to 1.1.3-4build1 (335 bytes)

coq-reglang (1.1.3-4) unstable; urgency=medium

  * Fix compilation with recent dune.

 -- Julien Puydt <email address hidden>  Thu, 06 Jul 2023 11:46:38 +0200

Available diffs

• diff from 1.1.3-3 to 1.1.3-4 (695 bytes)

coq-reglang (1.1.3-3) unstable; urgency=medium

  * Bump standards-version to 4.6.2.

 -- Julien Puydt <email address hidden>  Wed, 14 Jun 2023 15:46:07 +0200

Available diffs

• diff from 1.1.3-2build2 (in Ubuntu) to 1.1.3-3 (543 bytes)
• diff from 1.1.3-2build3 (in Ubuntu) to 1.1.3-3 (565 bytes)

coq-reglang (1.1.3-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 13 Jun 2023 10:42:57 +0200

Available diffs

• diff from 1.1.3-2build2 to 1.1.3-2build3 (318 bytes)

coq-reglang (1.1.3-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 19:29:16 +0100

Available diffs

• diff from 1.1.3-2 (in Debian) to 1.1.3-2build2 (356 bytes)
• diff from 1.1.3-2build1 to 1.1.3-2build2 (309 bytes)

coq-reglang (1.1.3-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 10:55:19 +0100

Available diffs

• diff from 1.1.3-2 (in Debian) to 1.1.3-2build1 (340 bytes)

coq-reglang (1.1.3-2) unstable; urgency=medium

  * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.

 -- Julien Puydt <email address hidden>  Wed, 25 Jan 2023 13:10:06 +0100

Available diffs

• diff from 1.1.3-1build2 (in Ubuntu) to 1.1.3-2 (556 bytes)
• diff from 1.1.3-1build3 (in Ubuntu) to 1.1.3-2 (574 bytes)

coq-reglang (1.1.3-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 26 Jan 2023 09:48:46 +0100

Available diffs

• diff from 1.1.3-1build2 to 1.1.3-1build3 (313 bytes)

coq-reglang (1.1.3-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 03 Dec 2022 10:45:42 +0100

Available diffs

• diff from 1.1.3-1 (in Debian) to 1.1.3-1build2 (362 bytes)
• diff from 1.1.3-1build1 to 1.1.3-1build2 (310 bytes)

coq-reglang (1.1.3-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 09:24:02 +0100

Available diffs

• diff from 1.1.3-1 (in Debian) to 1.1.3-1build1 (338 bytes)

coq-reglang (1.1.3-1) unstable; urgency=medium

  * Initial release. (Closes: #1014993)

 -- Julien Puydt <email address hidden>  Fri, 15 Jul 2022 22:53:38 +0200