Skip to content
GitLab
Explore
Sign in
FCS
ocpl-coq
Repository
ocpl-coq
Makefile
Find file
Blame
History
Permalink
Make OCPl repo, compile under Coq 8.9.1.
· 762f837a
David Swasey
authored
Jul 31, 2019
762f837a