Code

Update opam version in README.md#9

Code

Merged

erikmd merged 2 commits intomasterrocq-community/docker-rocq:masterfrom gares-patch-1rocq-community/docker-rocq:gares-patch-1Copy head branch name to clipboardFeb 10, 2025

Commits

Commits on Feb 6, 2025

• Update opam version in README.md

  gares

  authored
  29f134b

  Copy full SHA for 29f134b

Commits on Feb 10, 2025

• Update README.md

  Show description for 9790787
  

  gares

  and

  erikmd

  authored
  9790787

  Copy full SHA for 9790787