coq-doc binary is in universe, source in multiverse
Bug #225451 reported by
James Troup
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| coq-doc (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
Binary package hint: coq-doc
The coq-doc binary package is in universe but the source is in multiverse
Revision history for this message
| Martin Pitt (pitti) wrote | #1 |
| Changed in coq-doc: | |
| status: | New → Fix Released |
To post a comment you must log in.
Moved binary to multiverse, thanks!