Commit 5d40b106 authored by Ralf Jung's avatar Ralf Jung
Browse files

test against Coq 8.8.0

parent ccb21344
Pipeline #8033 passed with stage
in 25 minutes and 54 seconds