package info
(click to toggle)
Folder: 8.20.0+0.20.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 66 | coq |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | notes |
|
d | rwxr-xr-x | 4,096 | serapi |
|
d | rwxr-xr-x | 8,192 | serlib_8_20 |
|
d | rwxr-xr-x | 154 | serlib_extra |
|
d | rwxr-xr-x | 4,096 | sertop |
|
d | rwxr-xr-x | 109 | tests |
 |
- | rw-r--r-- | 66 | .gitignore |
|
- | rw-r--r-- | 0 | .gitmodules |
|
- | rw-r--r-- | 26 | .ocamlformat |
|
- | rw-r--r-- | 89 | AUTHORS |
|
- | rw-r--r-- | 19,367 | CHANGES.md |
|
- | rw-r--r-- | 3,558 | CODE_OF_CONDUCT.md |
|
- | rw-r--r-- | 1,655 | CONTRIBUTING.md |
|
- | rw-r--r-- | 1,235 | LICENSE |
|
- | rw-r--r-- | 1,677 | Makefile |
|
- | rw-r--r-- | 16,266 | README.md |
|
- | rw-r--r-- | 12 | VERSION |
|
- | rw-r--r-- | 1,868 | coq-serapi.opam |
|
- | rw-r--r-- | 24 | dune |
|
- | rw-r--r-- | 67 | dune-project |