Revision bd89a4da38cc58cbbe56fd8696cd7c633d72d8cc authored by Jason Gross on 19 May 2020, 22:35:40 UTC, committed by Jason Gross on 19 May 2020, 22:35:40 UTC
From https://github.com/coq/coq/pull/12368
1 parent 6481438
File | Mode | Size |
---|---|---|
compatibility | ||
depgraphs | ||
formatting | ||
timing | ||
.gitattributes | -rw-r--r-- | 298 bytes |
.gitignore | -rw-r--r-- | 48 bytes |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile.clean_unmade | -rw-r--r-- | 992 bytes |
Makefile.coq.common | -rw-r--r-- | 7.3 KB |
Makefile.vo_closure | -rw-r--r-- | 1.7 KB |
README.md | -rw-r--r-- | 75 bytes |
pushd-root.sh | -rw-r--r-- | 1.9 KB |
strictify-coqdep.py | -rwxr-xr-x | 485 bytes |
Computing file changes ...