Commit 3652e6e8 authored by Ralf Jung's avatar Ralf Jung
Browse files

bump Coq version we test to 8.13.2

parent 0a55fc55
Pipeline #45412 passed with stage
in 9 minutes and 36 seconds