blob: 0ec50a1ddaf28bbd14b664861fa651c8b4660858 (
plain)
1
2
3
4
5
6
|
overlay metacoq https://github.com/gares/metacoq recordops-api 13958
overlay mtac2 https://github.com/gares/Mtac2 recordops-api 13958
overlay elpi https://github.com/gares/coq-elpi recordops-api 13958
overlay unicoq https://github.com/gares/unicoq recordops-api 13958
overlay equations https://github.com/gares/Coq-Equations recordops-api 13958
overlay hierarchy_builder https://github.com/gares/hierarchy-builder coq-master 13958
|
