coq has changed section from devel to math
Bug #53941 reported by
LaserJock
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| coq (Ubuntu) |
Fix Released
|
Wishlist
|
Unassigned | ||
Bug Description
coq has changed section from devel to math in Debian since version 8.0pl1-2
| Changed in coq: | |
| importance: | Untriaged → Wishlist |
| Changed in coq: | |
| status: | Unconfirmed → Fix Released |
To post a comment you must log in.
