package info
(click to toggle)
shell 0.2.1-3
- links: PTS
- area: main
- in suites: woody
- size: 540 kB
- ctags: 376
- sloc: ml: 1,828; makefile: 160; xml: 133; ansic: 78; sh: 9
Folder: 0.2.1-3
 |
.. (parent) | |||
|
d | rwxr-xr-x | 67 | IDEAS |
|
d | rwxr-xr-x | 4,096 | debian |
|
d | rwxr-xr-x | 4,096 | doc |
 |
l | rwxrwxrwx | 11 | INSTALL → doc/INSTALL |
|
- | rw-r--r-- | 1,067 | LICENSE |
|
- | rw-r--r-- | 148 | META |
|
- | rw-r--r-- | 4,379 | Makefile |
|
l | rwxrwxrwx | 10 | README → doc/README |
|
- | rw-r--r-- | 4 | RELEASE |
|
- | rwxr-xr-x | 578 | collect_files |
|
- | rw-r--r-- | 1,032 | ld.conf |
|
- | rw-r--r-- | 3,238 | libshell.a |
|
- | rw-r--r-- | 132 | packlist-shell |
|
- | rw-r--r-- | 89,186 | shell.a |
|
- | rw-r--r-- | 36,490 | shell.cma |
|
- | rw-r--r-- | 3,262 | shell.cmi |
|
- | rw-r--r-- | 5,586 | shell.cmo |
|
- | rw-r--r-- | 1,498 | shell.cmx |
|
- | rw-r--r-- | 1,360 | shell.cmxa |
|
- | rw-r--r-- | 6,902 | shell.ml |
|
- | rw-r--r-- | 24,029 | shell.mli |
|
- | rw-r--r-- | 13,124 | shell.o |
|
- | rw-r--r-- | 9,722 | shell_sys.cmi |
|
- | rw-r--r-- | 30,399 | shell_sys.cmo |
|
- | rw-r--r-- | 11,771 | shell_sys.cmx |
|
- | rw-r--r-- | 44,290 | shell_sys.ml |
|
- | rw-r--r-- | 25,015 | shell_sys.mli |
|
- | rw-r--r-- | 66,128 | shell_sys.o |
|
- | rwxr-xr-x | 187 | testjob |
|
- | rw-r--r-- | 1,535 | unix_exts.cmi |
|
- | rw-r--r-- | 556 | unix_exts.cmo |
|
- | rw-r--r-- | 339 | unix_exts.cmx |
|
- | rw-r--r-- | 1,338 | unix_exts.ml |
|
- | rw-r--r-- | 1,571 | unix_exts.mli |
|
- | rw-r--r-- | 1,528 | unix_exts.o |
|
- | rw-r--r-- | 2,888 | unix_exts_c.c |
|
- | rw-r--r-- | 2,884 | unix_exts_c.o |