Commit 551c1ecc authored by Ralf Jung's avatar Ralf Jung

bump std++ and max Coq version

parent 1ca38c00
Pipeline #16728 passed with stage
in 8 minutes and 20 seconds