ssreflect (1.6.1-2) unstable; urgency=medium
* Fix build-arch target
-- Enrico Tassi <gareuselesinge@debian.org> Fri, 30 Dec 2016 11:39:11 +0100
ssreflect (1.6.1-1) unstable; urgency=medium
* New upstream release
-- Enrico Tassi <gareuselesinge@debian.org> Tue, 27 Dec 2016 16:10:53 +0000
ssreflect (1.6-1) unstable; urgency=medium
* Adding myself as co-maintainer.
* Update upstream version to 1.6
-- Enrico Tassi <gareuselesinge@debian.org> Tue, 30 Aug 2016 16:02:06 +0200
ssreflect (1.5-3) unstable; urgency=medium
* Recompile with OCaml 4.02.3
-- Stéphane Glondu <glondu@debian.org> Wed, 14 Oct 2015 11:42:57 +0200
ssreflect (1.5-2) unstable; urgency=medium
* Recompile with coq 8.4pl4
-- Stéphane Glondu <glondu@debian.org> Wed, 30 Jul 2014 10:21:09 +0200
ssreflect (1.5-1) unstable; urgency=medium
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Thu, 13 Mar 2014 13:25:52 +0100
ssreflect (1.5~rc1-3) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update debian/watch
-- Stéphane Glondu <glondu@debian.org> Mon, 20 Jan 2014 08:53:40 +0100
ssreflect (1.5~rc1-2) unstable; urgency=low
* Upload to unstable
* Update Homepage
-- Stéphane Glondu <glondu@debian.org> Fri, 06 Dec 2013 08:28:06 +0100
ssreflect (1.5~rc1-1) experimental; urgency=low
* New upstream release
* Update Vcs-*
* Compile with OCaml >= 4
-- Stéphane Glondu <glondu@debian.org> Sat, 10 Aug 2013 22:11:00 +0200
ssreflect (1.4-2) unstable; urgency=low
* Bump debhelper compat level to 8
* Bump Standards-Version to 3.9.4
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Thu, 09 May 2013 13:36:48 +0200
ssreflect (1.4-1) experimental; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Tue, 18 Sep 2012 16:45:50 +0200
ssreflect (1.3pl4-1) unstable; urgency=low
* New upstream release
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.3
-- Stéphane Glondu <glondu@debian.org> Sat, 09 Jun 2012 09:35:40 +0200
ssreflect (1.3pl2-4) unstable; urgency=medium
* Fix compilation with camlp5 6.05 and coq 8.3pl4
-- Stéphane Glondu <glondu@debian.org> Sun, 01 Apr 2012 16:43:46 +0200
ssreflect (1.3pl2-3) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
-- Stéphane Glondu <glondu@debian.org> Tue, 06 Mar 2012 08:29:13 +0100
ssreflect (1.3pl2-2) unstable; urgency=low
* Rebuild with Coq 8.3pl3
- cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3
-- Stéphane Glondu <glondu@debian.org> Sun, 25 Dec 2011 17:28:19 +0100
ssreflect (1.3pl2-1) unstable; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Tue, 22 Nov 2011 07:16:04 +0100
ssreflect (1.3pl1-5) unstable; urgency=low
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
-- Stéphane Glondu <glondu@debian.org> Thu, 03 Nov 2011 06:30:00 +0100
ssreflect (1.3pl1-4) unstable; urgency=low
* Build theories only when explicitly asked (fixes FTBFS on armel as
a side-effect)
-- Stéphane Glondu <glondu@debian.org> Sun, 24 Apr 2011 14:44:33 +0200
ssreflect (1.3pl1-3) unstable; urgency=low
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Thu, 21 Apr 2011 13:59:00 +0200
ssreflect (1.3pl1-1) experimental; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Thu, 31 Mar 2011 10:52:00 +0200
ssreflect (1.3-1) experimental; urgency=low
* New upstream release, compatible with Coq 8.3:
- remove 0001-Build-as-a-plugin.patch
- add 0001-Fix-tests-Make.patch
- this version is under CeCILL-B only; update debian/copyright
accordingly
* Bump Standards-Version to 3.9.1 (no changes)
* Update debian/watch
-- Stéphane Glondu <glondu@debian.org> Tue, 15 Mar 2011 08:47:47 +0100
ssreflect (1.2+dfsg-7) unstable; urgency=low
* Rebuild against camlp5 6.02.1
* Bump versioned build-dependency to libcoq-ocaml-dev to ease camlp5
transition
-- Stéphane Glondu <glondu@debian.org> Tue, 22 Feb 2011 11:22:15 +0100
ssreflect (1.2+dfsg-6) unstable; urgency=low
* Rebuild against OCaml 3.11.2
-- Stéphane Glondu <glondu@debian.org> Thu, 15 Jul 2010 13:41:07 +0200
ssreflect (1.2+dfsg-5) unstable; urgency=low
* Rebuild with Coq 8.2pl2
* debian/control:
- replace Conflicts by Breaks
- bump Standards-Version to 3.9.0
-- Stéphane Glondu <glondu@debian.org> Wed, 14 Jul 2010 15:19:10 +0200
ssreflect (1.2+dfsg-4) unstable; urgency=low
* Rebuild with OCaml 3.11.2
* Bump Standards-Version to 3.8.4 (no changes)
* Update watch file
-- Stéphane Glondu <glondu@debian.org> Thu, 11 Feb 2010 10:30:30 +0100
ssreflect (1.2+dfsg-3) unstable; urgency=low
* debian/control:
- add libssreflect-ocaml-dev binary package
- put *ocaml* packages in ocaml section
- libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)
-- Stéphane Glondu <glondu@debian.org> Sat, 19 Dec 2009 17:30:57 +0100
ssreflect (1.2+dfsg-2) unstable; urgency=low
* Use -R when invoking coq_makefile to avoid warnings and need of
explicit exclusion of ssreflect path; set it to user-contrib/Ssreflect
-- Stéphane Glondu <glondu@debian.org> Wed, 02 Sep 2009 19:18:26 +0200
ssreflect (1.2+dfsg-1) unstable; urgency=low
* Initial release (Closes: #508468)
-- Stéphane Glondu <glondu@debian.org> Wed, 26 Aug 2009 23:41:27 +0200