Ubuntu
coq-equations package

Change logs for coq-equations source package in Noble

  1. Noble (24.04)
  2. Change log 
  • coq-equations (1.3-8.18-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:16:57 +0200
  • coq-equations (1.3-8.18-1build2) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- Steve Langasek <email address hidden>  Sun, 31 Mar 2024 17:53:33 +0000
  • coq-equations (1.3-8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

 -- Steve Langasek <email address hidden>  Sun, 24 Mar 2024 00:13:07 +0000
  • coq-equations (1.3-8.18-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 16:56:02 +0100
  • coq-equations (1.3-8.17-2build6) noble; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Sat, 23 Dec 2023 07:20:04 -0500
  • coq-equations (1.3-8.17-2build5) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Nov 2023 07:49:44 +0100
  • coq-equations (1.3-8.17-2build4) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Thu, 23 Nov 2023 00:43:39 +0100
  • coq-equations (1.3-8.17-2build3) noble; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Mon, 06 Nov 2023 17:14:38 +0100
  • coq-equations (1.3-8.17-2build2) mantic; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 04 Sep 2023 15:20:41 +0200