Ubuntu
ssreflect package

Change logs for ssreflect source package in Oracular

  1. Oracular (24.10)
  2. Change log 
  • ssreflect (2.2.0-2build4) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 07 Sep 2024 08:48:34 +0200
  • ssreflect (2.2.0-2build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 12 Aug 2024 09:36:10 +0200
  • ssreflect (2.2.0-2build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Fri, 09 Aug 2024 14:11:10 +0200
  • ssreflect (2.2.0-2build1) oracular; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Sun, 04 Aug 2024 17:42:50 -0400
  • ssreflect (2.2.0-2) unstable; urgency=medium

  * Do not hardcode /usr/lib/ocaml

 -- Stéphane Glondu <email address hidden>  Sat, 03 Aug 2024 10:09:08 +0200
  • ssreflect (2.2.0-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jun 2024 16:32:53 +0200
  • ssreflect (2.2.0-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 05 Jun 2024 19:01:38 +0200
  • ssreflect (2.2.0-1build1) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Tue, 21 May 2024 12:37:10 +0200
  • ssreflect (2.2.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 25 Jan 2024 06:34:31 +0100
  • ssreflect (2.1.0-1build5) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 02 May 2024 22:19:38 +0200
  • ssreflect (2.1.0-1build4) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  Mon, 01 Apr 2024 15:52:55 +1100