package info
(click to toggle)
Folder: 9.0.0-3
| .. (parent) | ||||
| d | rwxr-xr-x | 65 | .github | |
| d | rwxr-xr-x | 108 | .nix | |
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 117 | debian | |
| d | rwxr-xr-x | 123 | dev | |
| d | rwxr-xr-x | 132 | doc | |
| d | rwxr-xr-x | 4,096 | test-suite | |
| d | rwxr-xr-x | 4,096 | theories | |
| d | rwxr-xr-x | 69 | tools | |
| - | rw-r--r-- | 2,886 | .gitignore | |
| - | rw-r--r-- | 23,070 | .mailmap | |
| - | rw-r--r-- | 34,211 | CONTRIBUTING.md | |
| - | rw-r--r-- | 1,567 | INSTALL.md | |
| - | rw-r--r-- | 24,381 | LICENSE | |
| - | rw-r--r-- | 398 | Makefile | |
| - | rw-r--r-- | 3,111 | README.md | |
| - | rw-r--r-- | 571 | coq-stdlib.opam | |
| - | rw-r--r-- | 65 | coq-stdlib.opam.template | |
| - | rw-r--r-- | 435 | default.nix | |
| - | rw-r--r-- | 2,054 | dune-project | |
| - | rw-r--r-- | 1,294 | rocq-stdlib.opam | |
| - | rw-r--r-- | 117 | rocq-stdlib.opam.template |
