package info
(click to toggle)
Folder: 113.00.02-1
.. (parent) | ||||
d | rwxr-xr-x | 104 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 138 | src | |
- | rw-r--r-- | 66 | .gitignore | |
- | rw-r--r-- | 4,097 | CHANGES.md | |
- | rw-r--r-- | 497 | COPYRIGHT.txt | |
- | rw-r--r-- | 730 | INRIA-DISCLAIMER.txt | |
- | rw-r--r-- | 867 | INSTALL.txt | |
- | rw-r--r-- | 1,544 | LICENSE-Tywith.txt | |
- | rw-r--r-- | 11,358 | LICENSE.txt | |
- | rw-r--r-- | 1,354 | Makefile | |
- | rw-r--r-- | 1,026 | README.md | |
- | rw-r--r-- | 752 | THIRD-PARTY.txt | |
- | rw-r--r-- | 978 | _oasis | |
- | rw-r--r-- | 673 | _tags | |
- | rwxr-xr-x | 363 | configure | |
- | rw-r--r-- | 17,292 | myocamlbuild.ml | |
- | rw-r--r-- | 174,609 | setup.ml |