Stream: math-comp analysis

Topic: release 1.0.0


view this post on Zulip Reynald Affeldt (Jan 24 2024 at 15:19):

We are planning to release MathComp-Analysis 1.0.0 by the end of the week.
Here is the milestone: https://github.com/math-comp/analysis/milestone/29.

view this post on Zulip Reynald Affeldt (Jan 24 2024 at 15:20):

(This will be the first version compatible with MathComp 2.)

view this post on Zulip Reynald Affeldt (Jan 26 2024 at 13:04):

We are preparing the 1.0.0 version of mathcomp-analysis, please do not merge into master until further notice.

view this post on Zulip Reynald Affeldt (Jan 26 2024 at 15:09):

We have released the 1.0.0 version of mathcomp-analysis, it is now ok to merge into master. Changelog: https://github.com/math-comp/analysis/blob/master/CHANGELOG.md

view this post on Zulip Reynald Affeldt (Jan 27 2024 at 08:53):

The 1.0.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released

view this post on Zulip Alessandro Bruni (Jan 27 2024 at 10:10):

Reynald Affeldt said:

The 1.0.0 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released

Something must have happened, opam does not update and the link gives me 404

view this post on Zulip Karl Palmskog (Jan 27 2024 at 11:42):

the link is not meant to be used in a browser, but like this in a new opam switch:

opam repo add coq-released https://coq.inria.fr/opam/released

If you already have this repo added in your opam switch, opam update should work (at least it does/did for me just now)

view this post on Zulip Alessandro Bruni (Jan 27 2024 at 13:27):

It works now, I had to do an opam upgrade coq-mathcomp-analysis.1.0.0, simply doing opam upgrade still does not work (offers 0.7.0, possibly due to dependencies) and opam pin list outputs blank. I already tried the first command when I wrote my message and it gave me an error "package not found". Maybe it was just some caching issue?


Last updated: Jun 22 2024 at 16:02 UTC