Commit 3b8fe2da authored by Ralf Jung's avatar Ralf Jung

fix Coq version

parent 2da665c5
Pipeline #34150 passed with stage
in 25 minutes and 31 seconds