package info
(click to toggle)
Folder: 2.2.2-2
 |
.. (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 |
 |
- | rw-r--r-- | 86 | .gitignore |
|
- | rw-r--r-- | 21,904 | CECILL-B |
|
- | rw-r--r-- | 905 | CHANGELOG.md |
|
- | rw-r--r-- | 167 | CHANGELOG_UNRELEASED.md |
|
- | rw-r--r-- | 59 | Makefile |
|
- | rw-r--r-- | 2,716 | Makefile.common |
|
- | rw-r--r-- | 315 | Makefile.coq.local |
|
- | rw-r--r-- | 2,404 | README.md |
|
- | rw-r--r-- | 323 | _CoqProject |
|
- | rw-r--r-- | 520 | coq-mathcomp-finmap.opam |
|
- | rw-r--r-- | 433 | default.nix |
|
- | rw-r--r-- | 137 | dune |
|
- | rw-r--r-- | 46 | dune-project |
|
- | rw-r--r-- | 157,438 | finmap.v |
|
- | rw-r--r-- | 1,690 | index.md |
|
- | rw-r--r-- | 2,331 | meta.yml |
|
- | rw-r--r-- | 33,493 | multiset.v |
|
- | rwxr-xr-x | 1,761 | opam-release.sh |
|
- | rw-r--r-- | 1,265 | rocq-mathcomp-finmap.opam |