Commit a2efc56b authored by Robbert's avatar Robbert

Merge branch 'ralf/drop-old-coq' into 'master'

drop Coq 8.7 and add 8.10

Closes #242

See merge request !320
parents ee807b2f 5ac5746f
Pipeline #20779 passed with stage
in 15 minutes and 37 seconds