package info
(click to toggle)
Folder: 7.0.0-1
| .. (parent) | ||||
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 4,096 | doc | |
| d | rwxr-xr-x | 4,096 | scripts | |
| d | rwxr-xr-x | 4,096 | src | |
| d | rwxr-xr-x | 131 | tests | |
| d | rwxr-xr-x | 25 | vendors | |
| - | rw-r--r-- | 412 | .gitignore | |
| - | rw-r--r-- | 3,663 | .gitlab-ci.yml | |
| - | rw-r--r-- | 193 | .gitmodules | |
| - | rw-r--r-- | 112 | .headache.conf | |
| - | rw-r--r-- | 293 | .ocamlformat | |
| - | rw-r--r-- | 11,002 | CHANGES | |
| - | rw-r--r-- | 9,166 | COPYING | |
| - | rw-r--r-- | 673 | CREDITS | |
| - | rw-r--r-- | 214 | Copyright | |
| - | rw-r--r-- | 5,624 | INSTALL | |
| - | rw-r--r-- | 2,927 | Makefile | |
| - | rw-r--r-- | 901 | README.architecture | |
| - | rw-r--r-- | 987 | README.git | |
| - | rw-r--r-- | 2,821 | TODO | |
| - | rwxr-xr-x | 29 | configure | |
| - | rw-r--r-- | 1,004 | dose3-extra.opam | |
| - | rw-r--r-- | 2,386 | dose3.opam | |
| - | rw-r--r-- | 2,357 | dune-project | |
| - | rw-r--r-- | 628 | header.txt |