Code

Package coq-hierarchy-builder.1.8.0#3254

Code

Merged

gares merged 1 commit intocoq:mastercoq/opam:masterfrom coqelpibot:opam-publish-coq-hierarchy-builder.1.8.0coqelpibot/opam:opam-publish-coq-hierarchy-builder.1.8.0Copy head branch name to clipboardDec 14, 2024

+32

Commits

Commits on Dec 14, 2024

• Package coq-hierarchy-builder.1.8.0

  coqelpibot

  committed
  7b3230c

  Copy full SHA for 7b3230c