Ubuntu
coq package

Please sync Coq 8.1pl1

Bug #138222 reported by Luke Maurer
2
Affects Status Importance Assigned to Milestone
coq (Debian)
Fix Released
Undecided
Unassigned
coq (Ubuntu)
Fix Released
Wishlist
Unassigned

Bug Description

Binary package hint: coq

Current Debian unstable version is 8.1.pl1+dfsg-1 (just a version bump from 8.1+dfsg-6).

Tags: upgrade
Revision history for this message
William Grant (wgrant) wrote :

We are way past Gutsy UpstreamVersionFreeze. Unless you can find a compelling reason for an upgrade, this will have to wait for Hardy.

Changed in coq:
importance: Undecided → Wishlist
status: New → Confirmed
William Grant (wgrant)
Changed in coq:
status: New → Fix Released
Revision history for this message
Luke Maurer (luke-maurer) wrote :

Oh, uh ... yeah. Looks like this happened without my needing to whine about it :-) Sorry about the spam.

Changed in coq:
status: Confirmed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.