Package: ftp.debian.org Severity: normal X-Debbugs-Cc: jpu...@debian.org, debian-ocaml-ma...@lists.debian.org
This package has been abandoned upstream for years (last release tagged 2 Dec 2019). It's in FTBFS since years (bug #970453, filed Wed, 16 Sep 2020 17:19:03 +0200). I proposed its removal a few months ago (Sat, 19 Feb 2022 11:32:59 +0100), stating I would wait a few weeks, and forgot about it. I checked with dak that it's really alone in the world. Please put the poor thing out of misery, J.Puydt
