done
** Changed in: coq-doc (Ubuntu)
Status: Confirmed => Fix Released
--
Please move coq-doc to multiverse (non-free/docs)
https://bugs.launchpad.net/bugs/186316
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.