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

[Michael Bienia]

Public bug reported:

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 <smimram at debian.org>  Fri, 04 Jan 2008 13:21:43 +0000

** Affects: coq (Ubuntu)
     Importance: Wishlist
         Status: Confirmed

** Changed in: coq (Ubuntu)
   Importance: Undecided => Wishlist
       Status: New => Confirmed

-- 
[Sync request] Sync coq (8.1.pl3+dfsg-1) from Debian unstable (main)
https://bugs.launchpad.net/bugs/180573
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.