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

[Mehdi]

I've also requested a sync for Why (bug 913068). Coq has to be synced
before Why.

-- 
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:
  New

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