[Bug 913071] Re: Sync coq 8.3.pl3+dfsg-1 (universe) from Debian testing (main)

[Andreas Moog]

This bug was fixed in the package coq - 8.3.pl3+dfsg-1
Sponsored for Mehdi (mehdid)

---------------
coq (8.3.pl3+dfsg-1) unstable; urgency=low

  * New upstream release
    - remove all patches (applied upstream)

 -- Stéphane Glondu <glondu at debian.org>  Sun, 25 Dec 2011 13:46:09 +0100

** Changed in: coq (Ubuntu)
       Status: New => Fix Released

-- 
You received this bug notification because you are a member of Ubuntu
Sponsors Team, which is subscribed to the bug report.
https://bugs.launchpad.net/bugs/913071

Title:
  Sync coq 8.3.pl3+dfsg-1 (universe) from Debian testing (main)

Status in “coq” package in Ubuntu:
  Fix Released

Bug description:
  Please sync coq 8.3.pl3+dfsg-1 (universe) from Debian testing (main)
  Please note that a few packages need to be rebuilt if this package
  is synced from Debian testing. The complete list of packages is:
  - why
  - aac-tactics
  - ssreflect
  - coq-float

  Changelog entries since current precise version 8.3.pl2+dfsg-2build2:

  coq (8.3.pl3+dfsg-1) unstable; urgency=low

    * New upstream release
      - remove all patches (applied upstream)

   -- Stéphane Glondu <glondu at debian.org>  Sun, 25 Dec 2011 13:46:09
  +0100

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/coq/+bug/913071/+subscriptions