Issues

• Stdlib × Rocq version matrix

  rocq-community/docker-rocq#39 · Filter by author JasonGross opened on Sep 13, 2026

• Rocq 9.0 + Dune 3.23.1 image

  rocq-community/docker-rocq#32 · Filter by author liyishuai opened on Jun 4, 2026
  1

• images with ocaml 5?

  rocq-community/docker-rocq#22 · Filter by author SkySkimmer opened on Jan 25, 2026
  2

• Images with multiple versions of Rocq?

  question
  rocq-community/docker-rocq#16 · Filter by author JasonGross opened on Jul 19, 2025
  3

• Consider adding support for arm64

  enhancement
  rocq-community/docker-rocq#15 · Filter by author tchajed opened on Jul 1, 2025
  2

• chore: Prepare next release cycle by adding a commented-out images.yml snippet

  enhancement
  rocq-community/docker-rocq#12 · Filter by author erikmd opened on Mar 23, 2025

• fix: Update the mathcomp propagate rules & Ensure mathcomp images use rocq/rocq-prover

  enhancement
  rocq-community/docker-rocq#8 · Filter by author erikmd opened on Feb 4, 2025