An error occurred while fetching folder content.
Forked from
Iris / stdpp
Source project has a limited visibility.
Tej Chajed
authored
See https://github.com/coq/coq/pull/10947 (.coqdeps.d now uses the name of the Coq Makefile) and https://github.com/coq/coq/pull/8642 (Coq now generates empty interface files *.vos when compiling).
| Name | Last commit | Last update |
|---|