Commit 65d6ada3 authored by Ralf Jung's avatar Ralf Jung

update opam file to reflect that we requrie Coq 8.6 now

parent 6ad6cc72
Pipeline #4392 passed with stage
in 3 minutes and 26 seconds