package info
(click to toggle)
Folder: 2.0.0-1
.. (parent) | ||||
d | rwxr-xr-x | 30 | .github | |
d | rwxr-xr-x | 61 | .nix | |
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 4,096 | theories | |
- | rw-r--r-- | 96 | .gitignore | |
- | rw-r--r-- | 52 | AUTHORS | |
- | rw-r--r-- | 21,907 | CeCILL-B | |
- | rw-r--r-- | 943 | Makefile | |
- | rw-r--r-- | 5,538 | README.md | |
- | rw-r--r-- | 525 | _CoqProject | |
- | rw-r--r-- | 52 | config.nix | |
- | rw-r--r-- | 1,185 | coq-mathcomp-real-closed.opam | |
- | rw-r--r-- | 433 | default.nix | |
- | rw-r--r-- | 146 | dune | |
- | rw-r--r-- | 51 | dune-project | |
- | rw-r--r-- | 2,065 | index.md | |
- | rw-r--r-- | 6,174 | meta.yml | |
- | rw-r--r-- | 23 | package.nix |