mathcomp (1.5-4) unstable; urgency=medium

  * Team upload
  * Recompile with OCaml 4.02.3

 -- Stéphane Glondu <glondu@debian.org>  Sat, 17 Oct 2015 10:58:44 +0200

mathcomp (1.5-3) unstable; urgency=medium

  * Team upload
  * Recompile with coq 8.4pl4

 -- Stéphane Glondu <glondu@debian.org>  Mon, 04 Aug 2014 09:02:22 +0200

mathcomp (1.5-2) unstable; urgency=medium

  * Add dependency over libssreflect-coq (Closes: #742105) 

 -- Enrico Tassi <gareuselesinge@debian.org>  Wed, 19 Mar 2014 15:03:48 +0100

mathcomp (1.5-1) unstable; urgency=medium

  * Fix copyright file (I'm the packager, even if I've copied much from
    the ssreflect package Stephane made). 
  * Initial package (Closes: #741345)

 -- Enrico Tassi <gareuselesinge@debian.org>  Tue, 11 Mar 2014 14:30:20 +0100
