Skip to content
GitLab
Explore
Sign in
David Swasey
coq-stdpp
Repository
coq-stdpp
Makefile.coq.local
Find file
Blame
History
Permalink
Update for Coq 8.7 coq_makefile
· 01d4aff9
Ralf Jung
authored
Sep 20, 2017
01d4aff9