Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2#3326

Merged

palmskog merged 2 commits intocoq:masterfrom MSoegtropIMC:fix-coq-coqprime-generator.1.1.2

Feb 1, 2025

+1-1

Commits on Jan 31, 2025

Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 from 5.0 to 4.14.2 (tested to work)
MSoegtropIMC
committed

Commits on Feb 1, 2025

Relaxed OCaml version restriction in coq-coqprime-generator.1.1.2 to none

MSoegtropIMC
and
silene
authored