package info
(click to toggle)
Folder: 9.1.0+dfsg-3
 |
.. (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 | 28 | 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 | 44 | 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-- | 32,810 | .gitlab-ci.yml |
|
- | rw-r--r-- | 17 | .ocp-indent |
|
- | rw-r--r-- | 9,610 | CODE_OF_CONDUCT.md |
|
- | rw-r--r-- | 70,122 | CONTRIBUTING.md |
|
- | rw-r--r-- | 8,053 | CREDITS |
|
- | rw-r--r-- | 4,590 | INSTALL.md |
|
- | rw-r--r-- | 24,381 | LICENSE |
|
- | rw-r--r-- | 10,676 | Makefile |
|
- | rw-r--r-- | 5,998 | Makefile.ci |
|
- | rw-r--r-- | 4,633 | README.md |
|
- | rwxr-xr-x | 519 | configure |
|
- | rw-r--r-- | 1,743 | coq-core.opam |
|
- | rw-r--r-- | 248 | coq-core.opam.template |
|
- | rw-r--r-- | 1,308 | coqide-server.opam |
|
- | rw-r--r-- | 5,027 | default.nix |
|
- | rw-r--r-- | 2,508 | dune |
|
- | rw-r--r-- | 6,664 | dune-project |
|
- | rw-r--r-- | 1,385 | flake.lock |
|
- | rw-r--r-- | 339 | flake.nix |
|
- | rw-r--r-- | 193 | index.mld |
|
- | rw-r--r-- | 1,750 | rocq-core.opam |
|
- | rw-r--r-- | 386 | rocq-core.opam.template |
|
- | rw-r--r-- | 1,474 | rocq-devtools.opam |
|
- | rw-r--r-- | 2,232 | rocq-runtime.opam |
|
- | rw-r--r-- | 502 | rocq-runtime.opam.template |
|
- | rw-r--r-- | 1,483 | rocq-test-suite.opam |
|
- | rw-r--r-- | 200 | rocq-test-suite.opam.template |
|
- | rw-r--r-- | 1,314 | rocqide.opam |
|
- | rw-r--r-- | 142 | shell.nix |