As can be seen here the coq-mathcomp-analysis 0.3.10 package is broken since the dependency on coq-mathcomp-bigenough
is no longer guaranteed to be installed. Previously, bigenough was installed as a dependency of finmap. But finmap 1.5.1 recently had its bigenough dependency removed.
cc: @Reynald Affeldt @Guillaume Claret
(thank you for the ping)
sorry, I didn't want to cause a race for the PR.
anyway, mine seems wrong... :-/
it seems to be some elpi issue, not with the change itself
Karl Palmskog has marked this topic as resolved.
Karl Palmskog has marked this topic as unresolved.
it looks like, unfortunately, more packages before 0.3.10 are affected by this, for example, 0.3.9 is marked as compatible with finmap 1.5.1.
now I think we can say this is resolved.
Karl Palmskog has marked this topic as resolved.
Last updated: Mar 29 2024 at 05:40 UTC