package info
(click to toggle)
Folder: 20231231+ds-1
.. (parent) | ||||
d | rwxr-xr-x | 124 | .pc | |
d | rwxr-xr-x | 101 | benchmarks | |
d | rwxr-xr-x | 10 | coq-menhirlib | |
d | rwxr-xr-x | 85 | cst | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 4,096 | doc | |
d | rwxr-xr-x | 4,096 | fix | |
d | rwxr-xr-x | 4,096 | lib | |
d | rwxr-xr-x | 4,096 | pprint | |
d | rwxr-xr-x | 4,096 | sdk | |
d | rwxr-xr-x | 8,192 | src | |
- | rw-r--r-- | 92 | .gitignore | |
- | rw-r--r-- | 45,483 | LICENSE | |
- | rw-r--r-- | 490 | Makefile.image | |
- | rwxr-xr-x | 1,686 | check-tarball.sh | |
- | rwxr-xr-x | 4,977 | compile-ocaml.sh | |
- | rw-r--r-- | 80 | dune | |
- | rw-r--r-- | 224 | dune-project | |
- | rwxr-xr-x | 919 | exec.sh |