[Bug 608885] Re: Sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)

Michael Bienia michael at bienia.de
Mon Aug 2 11:23:42 BST 2010

Previous message: [Bug 612388] [NEW] Please remove ohphone from the archive for Maverick
Next message: [Bug 610856] Re: Package libmpcdec3 is missing from maverick repos
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synced.

** Changed in: coq (Ubuntu)
       Status: Confirmed => Fix Released

-- 
Sync coq 8.2.pl2+dfsg-1 (universe) from Debian unstable (main)
https://bugs.launchpad.net/bugs/608885
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.

Previous message: [Bug 612388] [NEW] Please remove ohphone from the archive for Maverick
Next message: [Bug 610856] Re: Package libmpcdec3 is missing from maverick repos
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the ubuntu-archive mailing list