[Bug 225451] Re: coq-doc binary is in universe, source in multiverse

[Martin Pitt]

Moved binary to multiverse, thanks!

** Changed in: coq-doc (Ubuntu)
       Status: New => Fix Released

-- 
coq-doc binary is in universe, source in multiverse
https://bugs.launchpad.net/bugs/225451
You received this bug notification because you are a member of Ubuntu
Package Archive Administrators, which is a direct subscriber.