Skip to content

Merge pull request #792 from hendriktews/del-cont #746

Merge pull request #792 from hendriktews/del-cont

Merge pull request #792 from hendriktews/del-cont #746

Annotations

3 warnings

compile-tests (coq-8.12.2-emacs-27.1)

succeeded Oct 4, 2024 in 4m 10s