Commit 11b7bc6a authored by Ralf Jung's avatar Ralf Jung
Browse files

drop support for Coq 8.10

parent c4ddf629
Pipeline #40646 passed with stage
in 17 minutes and 51 seconds