Coq 8.18.0 is out on opam, but unfortunately there is no compatible release of Coq-Std++ for 8.18 since the last release, 1.8.0, is incompatible with 8.18. Myself and probably quite a few other Std++ users are hoping for new release compatible with 8.18 so we can have a stable target in CI and so on. Any chance of a release happening anytime soon @Robbert Krebbers @Ralf Jung?

yeah we do definitely want to make a release. sadly vacation during the summer and lectures in the fall make it hard to find a time when we both have enough free time to make a release...

but if someone wants to help us make a release, please let us know. :) it's all documented at https://gitlab.mpi-sws.org/iris/iris/-/wikis/Creating-a-new-Iris-release. the repos are in releasable state, it's just about finishing the release notes and creating the packages.

@Julien Puydt given that a new release of Std++ might be a while, could we apply your "dirty patch" to make stdpp-1.8.0 work on 8.18 in opam? Do you have a link to the patch maybe? (For some reason, I get 500 error on Debian's Salsa VCS)

Indeed salsa.d.o is having issues today ; my very very dirty patch is:

```
--- coq-stdpp.orig/stdpp/base.v
+++ coq-stdpp/stdpp/base.v
@@ -696,9 +696,7 @@
(** The Coq standard library swapped the names of curry/uncurry, see
https://github.com/coq/coq/pull/12716/
FIXME: Remove this workaround once the lowest Coq version we support is 8.13. *)
-Notation curry := prod_uncurry.
Global Instance: Params (@curry) 3 := {}.
-Notation uncurry := prod_curry.
Global Instance: Params (@uncurry) 3 := {}.
Definition uncurry3 {A B C D} (f : A → B → C → D) (p : A * B * C) : D :=
```

Last updated: Jun 18 2024 at 22:01 UTC