Bug#1143510: RM: paramcoq -- RoM; Abandoned upstream

Julien Puydt <[email protected]> Mon, 03 Aug 2026 11:36:33 +0200

Newsgroups	gmane.linux.debian.devel.ocaml
Message-ID	<178574979359.63611.17200068485902698955.reportbug__28183.8159122103$1785749967$gmane$org@efrim>

Package: ftp.debian.org
Severity: normal
X-Debbugs-Cc: [email protected], Debian OCaml Maintainers <[email protected]>, [email protected]
Control: affects -1 + src:paramcoq
User: [email protected]
Usertags: remove

This package's functionalities have been moved in other upstream projects, and
this one is now abandoned.

I'm the member of the Debian OCaml Maintainers team most active on the Coq/Rocq
packages.

I checked that the removal will not break anything else.

Thanks,

J.Puydt