Commit c93d8200 authored by Ralf Jung's avatar Ralf Jung

we no longer support Coq 8.6

parent 19d81295
Pipeline #8048 passed with stage
in 24 minutes and 20 seconds