-
ssreflect (1.5-3build2) xenial; urgency=medium
* Rebuild for new OCaml ABIs.
-- Matthias Klose <email address hidden> Fri, 12 Feb 2016 12:05:33 +0000
-
ssreflect (1.5-3build1) xenial; urgency=medium
* No-change rebuild against ocaml 4.02.
-- Łukasz 'sil2100' Zemczak <email address hidden> Wed, 04 Nov 2015 21:47:11 -0600
-
ssreflect (1.5-3) unstable; urgency=medium
* Recompile with OCaml 4.02.3
-- Stéphane Glondu <email address hidden> Wed, 14 Oct 2015 11:42:57 +0200
-
ssreflect (1.5-2) unstable; urgency=medium
* Recompile with coq 8.4pl4
-- Stéphane Glondu <email address hidden> Wed, 30 Jul 2014 10:21:09 +0200