package info
(click to toggle)
Folder: 1.19.1-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 84 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | examples |
|
d | rwxr-xr-x | 8,192 | lib |
 |
- | rw-r--r-- | 29 | .gitattributes |
|
- | rw-r--r-- | 68 | .gitignore |
|
- | rw-r--r-- | 886 | API.odocl |
|
- | rw-r--r-- | 264 | AUTHORS.txt |
|
- | rw-r--r-- | 6,119 | CHANGES.txt |
|
- | rw-r--r-- | 35,147 | COPYING.txt |
|
- | rw-r--r-- | 876 | INSTALL.txt |
|
- | rw-r--r-- | 1,219 | Makefile |
|
- | rw-r--r-- | 946 | NOTES.md |
|
- | rw-r--r-- | 4,091 | README.md |
|
- | rw-r--r-- | 501 | TODO.md |
|
- | rw-r--r-- | 11,920 | _oasis |
|
- | rw-r--r-- | 26 | _opam |
|
- | rw-r--r-- | 8,786 | _tags |
|
- | rwxr-xr-x | 363 | configure |
|
- | rw-r--r-- | 2,616 | do_cdf.ml |
|
- | rw-r--r-- | 1,618 | do_const.ml |
|
- | rw-r--r-- | 6,241 | do_sf.ml |
|
- | rw-r--r-- | 21,315 | myocamlbuild.ml |
|
- | rw-r--r-- | 229,283 | setup.ml |