package info
(click to toggle)
Folder: 111.13.00-1
| .. (parent) | ||||
| d | rwxr-xr-x | 104 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 107 | lib | |
| - | rw-r--r-- | 66 | .gitignore | |
| - | rw-r--r-- | 1,978 | CHANGES.txt | |
| - | rw-r--r-- | 499 | COPYRIGHT.txt | |
| - | rw-r--r-- | 730 | INRIA-DISCLAIMER.txt | |
| - | rw-r--r-- | 865 | 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,028 | README.md | |
| - | rw-r--r-- | 752 | THIRD-PARTY.txt | |
| - | rw-r--r-- | 982 | _oasis | |
| - | rw-r--r-- | 646 | _tags | |
| - | rwxr-xr-x | 363 | configure | |
| - | rw-r--r-- | 15,466 | myocamlbuild.ml | |
| - | rw-r--r-- | 171,268 | setup.ml |
