[Bug 124818] Please sync coq (universe) from Debian unstable (main)

[William Grant]

Public bug reported:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

 affects ubuntu/coq
 status confirmed
 subscribe ubuntu-archive

Please sync coq (universe) from Debian unstable (main).
Changelog since current gutsy version 8.1+dfsg-5:

coq (8.1+dfsg-6) unstable; urgency=low

  * Add dependencies on ${misc:Depends}, closes: #431679.

 -- Samuel Mimram <smimram at debian.org>  Wed, 04 Jul 2007 10:49:01 +0200


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFGkXheAc+S8KckfcURAqOsAJ4gdZtumigOSXcTwQBZaIE7q5ANfACfTAe1
Cns7ZFq6/UQZ1vLH10IBT3Q=
=v9pk
-----END PGP SIGNATURE-----

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

-- 
Please sync coq (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/124818
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.