Bug#1011347: RM: coq-float -- ROM; abandoned upstream since years

[Julien Puydt <jpuydt@debian.org>]

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: jpuydt@debian.org, debian-ocaml-maint@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