package info
(click to toggle)
Folder: 1.25.1-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | examples |
|
d | rwxr-xr-x | 8,192 | src |
 |
- | rw-r--r-- | 19 | .clang-format |
|
- | rw-r--r-- | 357 | .editorconfig |
|
- | rw-r--r-- | 29 | .gitattributes |
|
- | rw-r--r-- | 32 | .gitignore |
|
- | rw-r--r-- | 106 | .ocamlformat |
|
- | rw-r--r-- | 1,471 | CHANGES.md |
|
- | rw-r--r-- | 35,111 | LICENSE.md |
|
- | rw-r--r-- | 92 | Makefile |
|
- | rw-r--r-- | 867 | NOTES.md |
|
- | rw-r--r-- | 3,530 | README.md |
|
- | rw-r--r-- | 490 | TODO.md |
|
- | rw-r--r-- | 164 | dune |
|
- | rw-r--r-- | 864 | dune-project |
|
- | rw-r--r-- | 1,129 | gsl.opam |
|
- | rw-r--r-- | 6,294 | pre-v1.20.0-CHANGES.txt |