Please move coq-doc to multiverse (non-free/docs)
Bug #186316 reported by
Marco Rodrigues
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| coq-doc (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
Binary package hint: coq-doc
The current section of this package at debian is non-free/docs, so please move it to multiverse.
http://
Thanks
Revision history for this message
| Luca Falavigna (dktrkranz) wrote | #1 |
| Changed in coq-doc: | |
| importance: | Undecided → Wishlist |
| status: | New → Confirmed |
Revision history for this message
| Martin Pitt (pitti) wrote | #2 |
| Changed in coq-doc: | |
| status: | Confirmed → Fix Released |
To post a comment you must log in.
Binary packages for coq-doc have no rdepends on universe packages.
Demote request ACKed.