package info
(click to toggle)
Folder: 8.9.0-1
.. (parent) | ||||
d | rwxr-xr-x | 73 | .github | |
d | rwxr-xr-x | 4,096 | .pc | |
d | rwxr-xr-x | 4,096 | checker | |
d | rwxr-xr-x | 4,096 | clib | |
d | rwxr-xr-x | 35 | config | |
d | rwxr-xr-x | 108 | coqpp | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 4,096 | dev | |
d | rwxr-xr-x | 119 | doc | |
d | rwxr-xr-x | 4,096 | engine | |
d | rwxr-xr-x | 127 | grammar | |
d | rwxr-xr-x | 4,096 | ide | |
d | rwxr-xr-x | 4,096 | interp | |
d | rwxr-xr-x | 4,096 | kernel | |
d | rwxr-xr-x | 4,096 | lib | |
d | rwxr-xr-x | 4,096 | library | |
d | rwxr-xr-x | 4,096 | man | |
d | rwxr-xr-x | 4,096 | parsing | |
d | rwxr-xr-x | 4,096 | plugins | |
d | rwxr-xr-x | 4,096 | pretyping | |
d | rwxr-xr-x | 4,096 | printing | |
d | rwxr-xr-x | 4,096 | proofs | |
d | rwxr-xr-x | 4,096 | stm | |
d | rwxr-xr-x | 4,096 | tactics | |
d | rwxr-xr-x | 4,096 | test-suite | |
d | rwxr-xr-x | 4,096 | theories | |
d | rwxr-xr-x | 4,096 | tools | |
d | rwxr-xr-x | 4,096 | topbin | |
d | rwxr-xr-x | 4,096 | toplevel | |
d | rwxr-xr-x | 4,096 | vernac | |
- | rw-r--r-- | 9,849 | .gitlab-ci.yml | |
- | rw-r--r-- | 559 | .merlin.in | |
- | rw-r--r-- | 191,164 | CHANGES.md | |
- | rw-r--r-- | 9,870 | CONTRIBUTING.md | |
- | rw-r--r-- | 8,087 | CREDITS | |
- | rw-r--r-- | 12,475 | INSTALL | |
- | rw-r--r-- | 24,381 | LICENSE | |
- | rw-r--r-- | 10,146 | META.coq.in | |
- | rw-r--r-- | 12,764 | Makefile | |
- | rw-r--r-- | 30,611 | Makefile.build | |
- | rw-r--r-- | 4,178 | Makefile.checker | |
- | rw-r--r-- | 1,714 | Makefile.ci | |
- | rw-r--r-- | 6,172 | Makefile.common | |
- | rw-r--r-- | 6,736 | Makefile.dev | |
- | rw-r--r-- | 9,954 | Makefile.doc | |
- | rw-r--r-- | 10,369 | Makefile.ide | |
- | rw-r--r-- | 5,688 | Makefile.install | |
- | rw-r--r-- | 1,576 | Makefile.vofiles | |
- | rw-r--r-- | 3,137 | README.md | |
- | rw-r--r-- | 297 | appveyor.yml | |
- | rwxr-xr-x | 944 | configure | |
- | rw-r--r-- | 49,609 | configure.ml | |
- | rw-r--r-- | 3,256 | default.nix | |
- | rwxr-xr-x | 248 | install.sh | |
- | rw-r--r-- | 251 | shell.nix |