This package includes"pico"

-rwxr-xr-x-     root     root     123416 Jul 24 09:08 /usr/bin/pico
-rw-r--r---     root     root       2691 Jul 24 09:08 /usr/man/man1/pico.1.gz

(c) S.u.S.E. - Last update: 18.08.98 09:06;