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
To post a comment you must log in.
Moved binary to multiverse, thanks!