Control: tag -1 pending Hello,
Bug #956674 in prooftree reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/prooftree/-/commit/dc36cd1bb3f96f2f00b1c150de13f8b5a9b464f4 ------------------------------------------------------------------------ Build-depend on coq to avoid it being uninstallable where coq is not built (Closes: #956674) ------------------------------------------------------------------------ (this message was generated automatically) -- Greetings https://bugs.debian.org/956674
