package info
(click to toggle)
Folder: 2.4.0-1
 |
.. (parent) | |||
|
d | rwxr-xr-x | 104 | .pc |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 70 | doc |
|
d | rwxr-xr-x | 16 | local |
|
d | rwxr-xr-x | 51 | opam |
|
d | rwxr-xr-x | 144 | src |
 |
- | rw-r--r-- | 732 | .gitignore |
|
- | rw-r--r-- | 29 | .ocp-indent |
|
- | rw-r--r-- | 28,937 | CHANGES |
|
- | rw-r--r-- | 27,423 | COPYING |
|
- | rw-r--r-- | 267 | LICENSE |
|
- | rw-r--r-- | 5,567 | Makefile |
|
- | rw-r--r-- | 1,089 | Makefile.dist |
|
- | rw-r--r-- | 1,333 | Makefile.options |
|
- | rw-r--r-- | 4,100 | README |
|
- | rw-r--r-- | 6 | VERSION |
|
- | rwxr-xr-x | 14,242 | configure |
|
- | rwxr-xr-x | 212 | format.sh |
|
- | rwxr-xr-x | 133 | predist |