Commit a4b52db4 authored by Ralf Jung's avatar Ralf Jung

bump Coq version

parent ac2b6489
Pipeline #34741 passed with stage
in 19 minutes and 21 seconds