I've debianized module shell by Gerd Stolpmann. Package "ocaml-shell" and source package "shell" are currently in incoming.
Cheers! -- Stefano "Zack" Zacchiroli <[EMAIL PROTECTED]> ICQ# 33538863 Home Page: http://www.cs.unibo.it/~zacchiro Undergraduate student of Computer Science @ University of Bologna, Italy - Information wants to be Open -
msg00604/pgp00000.pgp
Description: PGP signature
