Skip to content

bump rupicola (requires Coq >= 8.18)#1818

Merged
andres-erbsen merged 1 commit intomit-plv:masterfrom samuelgruetter:coq-8.18Feb 6, 2024

Commits

Commits on Feb 5, 2024