package info
(click to toggle)
Folder: 0.7.0-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 | 84 | examples | |
d | rwxr-xr-x | 90 | nix | |
d | rwxr-xr-x | 150 | src | |
d | rwxr-xr-x | 4,096 | tests | |
- | rwxr-xr-x | 366 | .devcontainer.json | |
- | rw-r--r-- | 95 | .git-blame-ignore-revs | |
- | rw-r--r-- | 42 | .gitignore | |
- | rw-r--r-- | 69 | .gitmodules | |
- | rw-r--r-- | 712 | .ocamlformat | |
- | rw-r--r-- | 236 | .travis.yml | |
- | rw-r--r-- | 8,831 | CHANGES.md | |
- | rw-r--r-- | 27,421 | COPYING | |
- | rw-r--r-- | 830 | Makefile | |
- | rw-r--r-- | 3,456 | README.md | |
- | rw-r--r-- | 642 | dune-project | |
- | rw-r--r-- | 274 | dune-workspace.dev | |
- | rw-r--r-- | 2,067 | flake.lock | |
- | rw-r--r-- | 745 | flake.nix | |
- | rw-r--r-- | 844 | ssl.opam |