package info
(click to toggle)
xstr 0.2.1-10
- links: PTS
- area: main
- in suites: sarge
- size: 116 kB
- ctags: 193
- sloc: ml: 1,070; makefile: 108
Folder: 0.2.1-10
 |
.. (parent) | |||
|
d | rwxr-xr-x | 114 | debian |
|
d | rwxr-xr-x | 74 | speed |
 |
- | rw-r--r-- | 1,065 | LICENSE |
|
- | rw-r--r-- | 90 | META |
|
- | rw-r--r-- | 2,272 | Makefile |
|
- | rw-r--r-- | 3,217 | README |
|
- | rw-r--r-- | 6 | RELEASE |
|
- | rw-r--r-- | 15,111 | xstr_match.ml |
|
- | rw-r--r-- | 8,033 | xstr_match.mli |
|
- | rw-r--r-- | 4,390 | xstr_search.ml |
|
- | rw-r--r-- | 4,592 | xstr_search.mli |
|
- | rw-r--r-- | 5,877 | xstr_split.ml |
|
- | rw-r--r-- | 2,277 | xstr_split.mli |