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.

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

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

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

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

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

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)

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