Bug#956674: marked as pending in prooftree

2020-05-13 Thread Gianfranco Costamagna 
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

Processed: Bug#956674 marked as pending in prooftree

2020-05-13 Thread Debian Bug Tracking System 
Processing control commands:

> tag -1 pending
Bug #956674 [src:prooftree] prooftree must build depend on coq
Added tag(s) pending.

-- 
956674: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=956674
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems