On Sun, Aug 25, 2002 at 10:54:45AM +0200, J?r?me Marant wrote: > Package: ocaml-doc > Status: install ok installed > Priority: optional > Section: doc This is a local your problem, ocaml-doc is currently listed as non-free (section doc/non-free) in all debian boxes of mine and even in the packages search engine (see http://packages.debian.org/unstable/doc/ocaml-doc.html). Even "vrms" on my machines list it as a non-free package. Perhaps you have installed an old version? (IIRC sometimes ago ocaml-doc was created from the ocaml package and was in "doc" section ..., but I'm not sure). Cheers. -- Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, Italy zack@cs.unibo.it | ICQ# 33538863 | http://www.cs.unibo.it/~zacchiro "I know you believe you understood what you think I said, but I am not sure you realize that what you heard is not what I meant!" -- G.Romney