package info
(click to toggle)
Folder: 8.16.1+dfsg-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 135 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 135 | boot |
|
d | rwxr-xr-x | 4,096 | checker |
|
d | rwxr-xr-x | 4,096 | clib |
|
d | rwxr-xr-x | 76 | config |
|
d | rwxr-xr-x | 4,096 | coqpp |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | dev |
|
d | rwxr-xr-x | 133 | doc |
|
d | rwxr-xr-x | 4,096 | engine |
|
d | rwxr-xr-x | 4,096 | gramlib |
|
d | rwxr-xr-x | 27 | 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 | sysinit |
|
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 | 26 | user-contrib |
|
d | rwxr-xr-x | 4,096 | vernac |
 |
- | rw-r--r-- | 22,174 | .gitlab-ci.yml |
|
- | rw-r--r-- | 12 | .ocamlinit |
|
- | rw-r--r-- | 17 | .ocp-indent |
|
- | rw-r--r-- | 6,728 | CODE_OF_CONDUCT.md |
|
- | rw-r--r-- | 65,245 | CONTRIBUTING.md |
|
- | rw-r--r-- | 8,053 | CREDITS |
|
- | rw-r--r-- | 5,261 | INSTALL.md |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 901 | Makefile |
|
- | rw-r--r-- | 13,990 | Makefile.build |
|
- | rw-r--r-- | 3,299 | Makefile.ci |
|
- | rw-r--r-- | 8,210 | Makefile.common |
|
- | rw-r--r-- | 3,084 | Makefile.dev |
|
- | rw-r--r-- | 10,285 | Makefile.doc |
|
- | rw-r--r-- | 2,692 | Makefile.docgram |
|
- | rw-r--r-- | 7,135 | Makefile.dune |
|
- | rw-r--r-- | 2,382 | Makefile.ide |
|
- | rw-r--r-- | 4,530 | Makefile.install |
|
- | rw-r--r-- | 8,538 | Makefile.make |
|
- | rw-r--r-- | 2,597 | Makefile.vofiles |
|
- | rw-r--r-- | 5,674 | README.md |
|
- | rwxr-xr-x | 400 | configure |
|
- | rw-r--r-- | 1,898 | coq-core.opam |
|
- | rw-r--r-- | 1,104 | coq-doc.opam |
|
- | rw-r--r-- | 1,465 | coq-stdlib.opam |
|
- | rw-r--r-- | 1,277 | coq.opam |
|
- | rw-r--r-- | 1,274 | coq.opam.docker |
|
- | rw-r--r-- | 1,262 | coqide-server.opam |
|
- | rw-r--r-- | 1,122 | coqide.opam |
|
- | rw-r--r-- | 4,157 | default.nix |
|
- | rw-r--r-- | 1,373 | dune |
|
- | rw-r--r-- | 4,824 | dune-project |
|
- | rw-r--r-- | 200 | index.mld |
|
- | rwxr-xr-x | 295 | install.sh |
|
- | rw-r--r-- | 142 | shell.nix |