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 |