https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 1a0028161ebf312ae3076faaaabb4ba0bef7d8aa authored by Sebastien Mondet on 22 March 2019, 13:49:12 UTC
Make `./configure` more reliable
Tip revision: 1a00281
File Mode Size
extraction
Makefile.local -rw-r--r-- 131 bytes
comparable.v -rw-r--r-- 8.4 KB
configure -rwxr-xr-x 91 bytes
error.v -rw-r--r-- 2.8 KB
int64.v -rw-r--r-- 1.0 KB
macros.v -rw-r--r-- 5.1 KB
map.v -rw-r--r-- 11.8 KB
semantics.v -rw-r--r-- 36.2 KB
set.v -rw-r--r-- 6.2 KB
syntax.v -rw-r--r-- 21.7 KB
tez.v -rw-r--r-- 1.2 KB

back to top