Skip to content
Snippets Groups Projects

Fix compilation with Coq 8.10 and 8.11.

Passed
Robbert Krebbers created pipeline for commit e386a738
, finished
For master
branch
5 jobs 9 minutes 12 seconds, queued for 3 seconds