Code

Switch to opam 2.2#153

Code

Merged

xavierleroy merged 2 commits intoocaml:masterocaml/Zarith:masterfrom hhugo:opam22hhugo/Zarith:opam22Copy head branch name to clipboardJul 7, 2024

+7-29

Commits

Commits on Jun 24, 2024

• Switch to opam 2.2

  

  Hugo Heuzard

  committed
  bc15dab

  Copy full SHA for bc15dab

Commits on Jul 2, 2024

• Apply suggestions from code review

  Show description for 5208883
  

  hhugo

  and

  smorimoto

  authored
  5208883

  Copy full SHA for 5208883