package info
(click to toggle)
Folder: 109.35.02-1
| .. (parent) | ||||
| d | rwxr-xr-x | 84 | .pc | |
| d | rwxr-xr-x | 4,096 | debian | |
| d | rwxr-xr-x | 109 | lib | |
| d | rwxr-xr-x | 48 | lib_test | |
| - | rw-r--r-- | 66 | .gitignore | |
| - | rw-r--r-- | 730 | INRIA-DISCLAIMER.txt | |
| - | rw-r--r-- | 864 | INSTALL.txt | |
| - | rw-r--r-- | 11,358 | LICENSE.txt | |
| - | rw-r--r-- | 1,354 | Makefile | |
| - | rw-r--r-- | 752 | THIRD-PARTY.txt | |
| - | rw-r--r-- | 1,169 | _oasis | |
| - | rw-r--r-- | 719 | _tags | |
| - | rwxr-xr-x | 363 | configure | |
| - | rw-r--r-- | 15,497 | myocamlbuild.ml | |
| - | rw-r--r-- | 172,535 | setup.ml |
