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