package info
(click to toggle)
Folder: 2.1.0-1
.. (parent) | ||||
d | rwxr-xr-x | 84 | .nix | |
d | rwxr-xr-x | 84 | .pc | |
d | rwxr-xr-x | 34 | .vscode | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 31 | docs | |
d | rwxr-xr-x | 4,096 | etc | |
d | rwxr-xr-x | 4,096 | mathcomp | |
- | rw-r--r-- | 697 | .dockerignore | |
l | rwxrwxrwx | 18 | AUTHORS → INITIAL_AUTHORS.md | |
- | rw-r--r-- | 159,099 | CHANGELOG.md | |
- | rw-r--r-- | 487 | CHANGELOG_UNRELEASED.md | |
- | rw-r--r-- | 11,438 | CONTRIBUTING.md | |
- | rw-r--r-- | 21,907 | CeCILL-B | |
- | rw-r--r-- | 1,287 | Dockerfile | |
- | rw-r--r-- | 1,070 | Dockerfile.make | |
- | rw-r--r-- | 1,509 | INITIAL_AUTHORS.md | |
- | rw-r--r-- | 3,503 | INSTALL.md | |
- | rw-r--r-- | 3,079 | README-CI-Nix.md | |
- | rw-r--r-- | 2,750 | README.md | |
- | rw-r--r-- | 353 | _CoqProject | |
- | rw-r--r-- | 968 | coq-mathcomp-algebra.opam | |
- | rw-r--r-- | 860 | coq-mathcomp-character.opam | |
- | rw-r--r-- | 860 | coq-mathcomp-field.opam | |
- | rw-r--r-- | 875 | coq-mathcomp-fingroup.opam | |
- | rw-r--r-- | 846 | coq-mathcomp-solvable.opam | |
- | rw-r--r-- | 1,249 | coq-mathcomp-ssreflect.opam | |
- | rw-r--r-- | 474 | default.nix |