https://github.com/mit-plv/fiat-crypto
Tip revision: 6eadbf4e2d55e8140424f5b5004bb4d70aaa7f81 authored by Andres Erbsen on 07 January 2019, 07:38:13 UTC
Merge remote-tracking branch 'origin/fix_fancy4'
Merge remote-tracking branch 'origin/fix_fancy4'
Tip revision: 6eadbf4
.gitmodules
[submodule "etc/coq-scripts"]
path = etc/coq-scripts
url = https://github.com/JasonGross/coq-scripts.git
[submodule "bbv"]
path = bbv
url = ../../mit-plv/bbv.git
[submodule "coqprime"]
path = coqprime
url = https://github.com/thery/coqprime
ignore = dirty