Commit 976d45f6 authored by Ralf Jung's avatar Ralf Jung
Browse files

fix ocaml version for recent Coq

parent 7aca6a02
Pipeline #20758 failed with stage
in 15 minutes and 34 seconds