Commit 47284006 authored by Ralf Jung's avatar Ralf Jung

bump Coq version

parent ecc44ddd
Pipeline #34743 passed with stage
in 19 minutes