Bug#1107763: RM: prover9-manual -- RoQA; manual for packages removed in 2019, low popcon

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#1107763: RM: prover9-manual -- RoQA; manual for packages removed in 2019, low popcon
From: Alexandre Detiste <alexandre.detiste@gmail.com>
Date: Fri, 13 Jun 2025 23:31:17 +0200
Message-id: <[🔎] 174985027782.49292.3702341552414567784.reportbug@quieter>
Reply-to: Alexandre Detiste <alexandre.detiste@gmail.com>, 1107763@bugs.debian.org

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: prover9-manual@packages.debian.org
Control: affects -1 + src:prover9-manual
User: ftp.debian.org@packages.debian.org
Usertags: remove

Dear FTP-Masters,

This is the loose manual for Python2-only 'ladr' & 'p9m4' which were removed in 2019.

Greetings

https://tracker.debian.org/pkg/ladr

https://tracker.debian.org/pkg/p9m4

Reply to:

Prev by Date: RE: /
Next by Date: Bug#1107778: wvConvert Segmentation fault in wvGetGrpXst() for Invalid write at 0xfffffffffffffff8
Previous by thread: RE: /
Next by thread: Bug#1107778: wvConvert Segmentation fault in wvGetGrpXst() for Invalid write at 0xfffffffffffffff8
Index(es):
- Date
- Thread