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 |