Commit 6150ac6e authored by Ralf Jung's avatar Ralf Jung

test agains Coq 8.7.1

parent 31c8fea1
Pipeline #5986 canceled with stage