ssreflect (1.2+dfsg-3build1) lucid; urgency=low

  * No-change rebuild for OCaml 3.11.2 transition (LP: #529408).

 -- Ilya Barygin <barygin@gmail.com>  Sat, 06 Mar 2010 10:09:56 +0300

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
