Commit e89b6439 authored by Ralf Jung's avatar Ralf Jung

drop Coq 8.7, add 8.10

parent 62b4f945
Pipeline #21140 passed with stage
in 15 minutes and 4 seconds