Skip to content

Compile without coq shim on Rocq 9.0

9ce6d63
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Fix coqc in Makefile #1596

Compile without coq shim on Rocq 9.0
9ce6d63
Select commit
Loading
Failed to load commit list.