Ubuntu
coq package

[Sync request] Sync coq (8.1.pl3+dfsg-1) from Debian unstable (main)

Bug #180573 reported by Michael Bienia
4
Affects Status Importance Assigned to Milestone
coq (Ubuntu)
Fix Released
Wishlist
Unassigned

Bug Description

Binary package hint: coq

Please sync coq (8.1.pl3+dfsg-1) from Debian unstable (main).

Changelog since coq 8.1.pl2+dfsg-3:

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

  [ Stefano Zacchiroli ]
  * fix vcs-svn field to point just above the debian/ dir

  [ Samuel Mimram ]
  * New upstream release.
  * Makefile should now be compatible with dash, closes: #459050.
  * Updated watch file.

 -- Samuel Mimram <email address hidden> Fri, 04 Jan 2008 13:21:43 +0000

Michael Bienia (geser)
Changed in coq:
importance: Undecided → Wishlist
status: New → Confirmed
Revision history for this message
Steve Langasek (vorlon) wrote :

Getting binaries for hardy...
[Updating] coq (8.1.pl2+dfsg-3 [Ubuntu] < 8.1.pl3+dfsg-1 [Debian])
 * Trying to add coq...
  - <coq_8.1.pl3+dfsg-1.dsc: downloading from http://ftp.uk.debian.org/debian/>
  - <coq_8.1.pl3+dfsg.orig.tar.gz: downloading from http://ftp.uk.debian.org/debian/>
  - <coq_8.1.pl3+dfsg-1.diff.gz: downloading from http://ftp.uk.debian.org/debian/>
I: coq [universe] -> coq_8.1+dfsg-6 [universe].
I: coq [universe] -> coq-libs_8.1+dfsg-6 [universe].
I: coq [universe] -> coqide_8.1+dfsg-6 [universe].

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.