Forked from
Iris / stdpp
1753 commits behind the upstream repository.
-
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).
Tej Chajed authoredSee 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).
.gitignore 178 B
*.vo
*.vos
*.vok
*.vio
*.v.d
.coqdeps.d
.Makefile.coq.d
*.glob
*.cache
*.aux
\#*\#
.\#*
*~
*.bak
.coq-native/
Makefile.coq
Makefile.coq.conf
*.crashcoqide
html/
build-dep/
_opam