package info
(click to toggle)
Folder: 8.20.1+dfsg-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 132 | .github |
|
d | rwxr-xr-x | 4,096 | .pc |
|
d | rwxr-xr-x | 4,096 | boot |
|
d | rwxr-xr-x | 4,096 | checker |
|
d | rwxr-xr-x | 4,096 | clib |
|
d | rwxr-xr-x | 133 | 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 | 4,096 | 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 | 79 | perf |
|
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-- | 25,088 | .gitlab-ci.yml |
|
- | rw-r--r-- | 17 | .ocp-indent |
|
- | rw-r--r-- | 7,950 | CODE_OF_CONDUCT.md |
|
- | rw-r--r-- | 70,277 | CONTRIBUTING.md |
|
- | rw-r--r-- | 8,053 | CREDITS |
|
- | rw-r--r-- | 4,538 | INSTALL.md |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 9,993 | Makefile |
|
- | rw-r--r-- | 4,685 | Makefile.ci |
|
- | rw-r--r-- | 4,784 | README.md |
|
- | rwxr-xr-x | 400 | configure |
|
- | rw-r--r-- | 2,001 | coq-core.opam |
|
- | rw-r--r-- | 434 | coq-core.opam.template |
|
- | rw-r--r-- | 1,038 | coq-doc.opam |
|
- | rw-r--r-- | 1,663 | coq-stdlib.opam |
|
- | rw-r--r-- | 397 | coq-stdlib.opam.template |
|
- | rw-r--r-- | 1,682 | coq.opam |
|
- | rw-r--r-- | 446 | coq.opam.template |
|
- | rw-r--r-- | 1,206 | coqide-server.opam |
|
- | rw-r--r-- | 1,238 | coqide.opam |
|
- | rw-r--r-- | 4,800 | default.nix |
|
- | rw-r--r-- | 1,866 | dune |
|
- | rw-r--r-- | 5,363 | dune-project |
|
- | rw-r--r-- | 1,438 | flake.lock |
|
- | rw-r--r-- | 339 | flake.nix |
|
- | rw-r--r-- | 200 | index.mld |
|
- | rw-r--r-- | 142 | shell.nix |