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

d .. (parent)
d d rwxr-xr-x 67 IDEAS
d d rwxr-xr-x 4,096 debian
d 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