package info
(click to toggle)
Folder: 2.3.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 84 | .nix |
|
d | rwxr-xr-x | 104 | .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-- | 196,091 | CHANGELOG.md |
|
- | rw-r--r-- | 486 | CHANGELOG_UNRELEASED.md |
|
- | rw-r--r-- | 14,556 | CONTRIBUTING.md |
|
- | rw-r--r-- | 21,907 | CeCILL-B |
|
- | rw-r--r-- | 1,298 | Dockerfile |
|
- | rw-r--r-- | 1,070 | Dockerfile.make |
|
- | rw-r--r-- | 1,509 | INITIAL_AUTHORS.md |
|
- | rw-r--r-- | 3,504 | INSTALL.md |
|
- | rw-r--r-- | 3,256 | README-CI-Nix.md |
|
- | rw-r--r-- | 3,396 | README.md |
|
- | rw-r--r-- | 496 | _CoqProject |
|
- | rw-r--r-- | 1,820 | coq-mathcomp-algebra.opam |
|
- | rw-r--r-- | 842 | coq-mathcomp-character.opam |
|
- | rw-r--r-- | 842 | coq-mathcomp-field.opam |
|
- | rw-r--r-- | 855 | coq-mathcomp-fingroup.opam |
|
- | rw-r--r-- | 794 | coq-mathcomp-solvable.opam |
|
- | rw-r--r-- | 1,614 | coq-mathcomp-ssreflect.opam |
|
- | rw-r--r-- | 474 | default.nix |