Skip to content
Snippets Groups Projects

Use `./configure` before `make dunestrap`

Open Jason Gross requested to merge jasongross/coq:jasongross-main-patch-22455 into main
  1. Dec 24, 2023
Loading