package info
(click to toggle)
Folder: 5.0.1-8+deb9u1
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | .pc | |
d | rwxr-xr-x | 4,096 | algo | |
d | rwxr-xr-x | 4,096 | applications | |
d | rwxr-xr-x | 4,096 | common | |
d | rwxr-xr-x | 4,096 | deb | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 150 | doc | |
d | rwxr-xr-x | 4,096 | doseparse | |
d | rwxr-xr-x | 61 | m4 | |
d | rwxr-xr-x | 4,096 | npm | |
d | rwxr-xr-x | 142 | opam | |
d | rwxr-xr-x | 74 | opencsw | |
d | rwxr-xr-x | 4,096 | pef | |
d | rwxr-xr-x | 4,096 | rpm | |
d | rwxr-xr-x | 4,096 | scripts | |
d | rwxr-xr-x | 4,096 | versioning | |
- | rw-r--r-- | 164 | .gitignore | |
- | rw-r--r-- | 186 | .gitmodules | |
- | rw-r--r-- | 112 | .headache.conf | |
- | rw-r--r-- | 9,353 | CHANGES | |
- | rw-r--r-- | 9,166 | COPYING | |
- | rw-r--r-- | 673 | CREDITS | |
- | rw-r--r-- | 214 | Copyright | |
- | rw-r--r-- | 5,536 | INSTALL | |
- | rw-r--r-- | 1,875 | META.in | |
- | rw-r--r-- | 8,532 | Makefile | |
- | rw-r--r-- | 3,619 | Makefile.config.in | |
- | rw-r--r-- | 901 | README.architecture | |
- | rw-r--r-- | 987 | README.git | |
- | rw-r--r-- | 2,821 | TODO | |
- | rw-r--r-- | 4,526 | _tags.in | |
- | rwxr-xr-x | 188,544 | configure | |
- | rw-r--r-- | 7,884 | configure.ac | |
- | rw-r--r-- | 105 | dose3.odocl.in | |
- | rw-r--r-- | 628 | header.txt | |
- | rw-r--r-- | 3,129 | myocamlbuild.ml.pp | |
- | rwxr-xr-x | 157 | opam_configure.sh |