Commit bd70c341 authored by Ralf Jung's avatar Ralf Jung

bump Coq 8.11.0 -> 8.11.1

parent 6c4535d2
Pipeline #27039 passed with stage
in 20 minutes and 22 seconds