Package: ftp.debian.org Severity: normal hol-light depends on camlp5 and camlp5 is ocaml/extra.
Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org