[Bug 186316] Re: Please move coq-doc to multiverse (non-free/docs)

[Luca Falavigna]

Binary packages for coq-doc have no rdepends on universe packages.
Demote request ACKed.

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

-- 
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.