[Bug 2051458] [NEW] Please remove mathcomp-analysis

[Launchpad Bug Tracker]

You have been subscribed to a public bug by Jeremy Bícha (jbicha):

mathcomp-analysis fails to build in Noble.

https://launchpad.net/ubuntu/+source/mathcomp-analysis/0.6.4-3build8

Please remove it from Noble so that coq (and all the packages using it)
can migrate out of noble-proposed

https://ubuntu-archive-team.ubuntu.com/transitions/html/coq.html

In Debian, mathcomp-analysis was removed from Testing to unblock the
completion of the transition.

** Affects: mathcomp-analysis (Ubuntu)
     Importance: Undecided
         Status: New

** Affects: mathcomp-analysis (Debian)
     Importance: Unknown
         Status: Unknown


** Tags: noble
-- 
Please remove mathcomp-analysis
https://bugs.launchpad.net/bugs/2051458
You received this bug notification because you are a member of Ubuntu Package Archive Administrators, which is subscribed to the bug report.