Processing commands for [email protected]: > 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 [email protected] with problems
