# Rocq 9.3+rc1 is out

**URL:** <https://discourse.rocq-prover.org/t/rocq-9-3-rc1-is-out/3074>\
**Category:** Announcements\
**Created:** [July 24, 2026, 7:27am UTC](https://discourse.rocq-prover.org/t/rocq-9-3-rc1-is-out/3074 "2026-07-24T07:27:00Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![gares](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/gares/32/422_2.png) [@gares](https://discourse.rocq-prover.org/u/gares)\
**Post date:** [July 24, 2026, 7:27am UTC](https://discourse.rocq-prover.org/t/rocq-9-3-rc1-is-out/3074/1 "2026-07-24T07:27:00Z")

</div>

Dear all,

The Rocq 9.3+rc1 tag has been pushed, opam packages are available in  
the core-dev repo and nix packages are merged in the unstable suite.  
A compatible Stdlib release and Docker images are on their way.

It is now time to test the release candidate and plan a release of your  
packages if need be. The release of 9.3.0 is expected to happen in  
about one month.

Many thanks to everybody involved in this release cycle.

---

<div class="post-metadata">

**Author:** ![Y.Ito](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/y.ito/32/1305_2.png) [@Y.Ito](https://discourse.rocq-prover.org/u/Y.Ito)\
**Post date:** [July 25, 2026, 2:01am UTC](https://discourse.rocq-prover.org/t/rocq-9-3-rc1-is-out/3074/2 "2026-07-25T02:01:05Z")

</div>

Thank your for letting me know. I got an error during the build of the stable version of mathcomp-boot. Maybe dune is incompatible with Rocq 9.3+rc1?

```auto
$ opam install rocq-mathcomp-boot -j3

[ERROR] The compilation of rocq-elpi.3.5.0 failed at "etc/with-rocq-wrap.sh dune build -p rocq-elpi -j 3 @install".

#=== ERROR while compiling rocq-elpi.3.5.0 ====================================#
# context 2.5.2 | macos/arm64 | ocaml-base-compiler.4.14.2 | https://rocq-prover.org/opam/released#2026-07-24 13:41
# path ~/.opam/rocq-9.3-rc1/.opam-switch/build/rocq-elpi.3.5.0
# command ~/.opam/opam-init/hooks/sandbox.sh build etc/with-rocq-wrap.sh dune build -p rocq-elpi -j 3 @install
# exit-code 1
# env-file ~/.opam/log/rocq-elpi-44121-150615.env
# output-file ~/.opam/log/rocq-elpi-44121-150615.out
### output ###
# ++ command -v rocq
# + rocq=/Users/yosukeito/.opam/rocq-9.3-rc1/bin/rocq
# +++ dirname etc/with-rocq-wrap.sh
# ++ dune exec --root etc/.. -- etc/tools/hash.exe
# File "dune-project", line 2, characters 0-15:
# 2 | (using coq 0.8)
# ^^^^^^^^^^^^^^^
# Error: Extension coq was deleted in the 3.24 version of the dune language
# Hint: The Coq Build Language has been replaced by the Rocq Build Language.
# Use (using rocq <version>) instead.
# + rocqhash=

```

I apologize if it is not the right place to report.

---

<div class="post-metadata">

**Author:** ![gares](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/gares/32/422_2.png) [@gares](https://discourse.rocq-prover.org/u/gares)\
**Post date:** [July 28, 2026, 8:12am UTC](https://discourse.rocq-prover.org/t/rocq-9-3-rc1-is-out/3074/3 "2026-07-28T08:12:17Z")

</div>

Thanks, I’ll update the opam package with an upper bound on dune. 3.21 .. 3.23 included should work.