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
