Processing commands for control@bugs.debian.org: > tags 813596 + ftbfs Bug #813596 [src:coq-float] coq-float: FTBFS: make[2]: *** No rule to make target 'depend'. Stop. Added tag(s) ftbfs. > thanks Stopping processing here. Please contact me if you need assistance. -- 813596: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813596 Debian Bug Tracking System Contact owner@bugs.debian.org with problems