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 |