Please remove mathcomp-analysis
Bug #2051458 reported by
Jeremy Bícha
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| mathcomp-analysis (Debian) |
Fix Released
|
Unknown
|
|||
| mathcomp-analysis (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned | ||
Bug Description
mathcomp-analysis fails to build in Noble.
https:/
Please remove it from Noble so that coq (and all the packages using it) can migrate out of noble-proposed
https:/
In Debian, mathcomp-analysis was removed from Testing to unblock the completion of the transition.
| tags: | added: update-excuse |
| Changed in mathcomp-analysis (Debian): | |
| status: | Unknown → New |
Revision history for this message
| Gianfranco Costamagna (costamagnagianfranco) wrote | #1 |
| Changed in mathcomp-analysis (Ubuntu): | |
| status: | New → Fix Released |
| Changed in mathcomp-analysis (Debian): | |
| status: | New → Fix Released |
To post a comment you must log in.
I fixed and uploaded the package in sid. I think we can avoid to remove it for now.