package info
(click to toggle)
Folder: 1.11.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 30 | .github |
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 34 | .vscode |
|
d | rwxr-xr-x | 116 | benchmarks |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 152 | deprecated |
|
d | rwxr-xr-x | 4,096 | lib |
|
d | rwxr-xr-x | 4,096 | lib_test |
|
d | rwxr-xr-x | 84 | nix |
 |
- | rw-r--r-- | 94 | .gitignore |
|
- | rw-r--r-- | 308 | .travis.yml |
|
- | rw-r--r-- | 4,993 | CHANGES.md |
|
- | rw-r--r-- | 27,466 | LICENSE.md |
|
- | rw-r--r-- | 493 | Makefile |
|
- | rw-r--r-- | 2,946 | README.md |
|
- | rw-r--r-- | 2,475 | TODO.txt |
|
- | rw-r--r-- | 170 | default.nix |
|
- | rw-r--r-- | 37 | dune |
|
- | rw-r--r-- | 44 | dune-project |
|
- | rw-r--r-- | 406 | dune-workspace.dev |
|
- | rw-r--r-- | 355 | re.descr |
|
- | rw-r--r-- | 1,013 | re.opam |
|
- | rw-r--r-- | 311 | shell.nix |