Code

coq-ott.0.32 requires 8.6 or later#2750

Code

Merged

palmskog merged 1 commit intocoq:mastercoq/opam:masterfrom palmskog:ott-0.32-8.6palmskog/opam-coq-archive:ott-0.32-8.6Copy head branch name to clipboardOct 7, 2023

+1-1

Commits

Commits on Oct 7, 2023

• coq-ott.0.32 requires 8.6 or later

  palmskog

  committed
  2d8e08d

  Copy full SHA for 2d8e08d