Code

Package coq-debr-lvl.1.0.2#27140

Code

Open

JordanIschard wants to merge 1 commit intoocaml:masterocaml/opam-repository:masterfrom JordanIschard:opam-publish-coq-debr-lvl.1.0.2JordanIschard/opam-repository:opam-publish-coq-debr-lvl.1.0.2Copy head branch name to clipboard

+43

Commits

Commits on Dec 18, 2024

• Package coq-debr-lvl.1.0.2

  JordanIschard

  committed
  3f4d7d6

  Copy full SHA for 3f4d7d6