Processing commands for [email protected]: > tags 806008 + patch Bug #806008 [src:coq] coq: FTBFS when built with dpkg-buildpackage -A (No such file or directory) Added tag(s) patch. > thanks Stopping processing here.
Please contact me if you need assistance. -- 806008: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=806008 Debian Bug Tracking System Contact [email protected] with problems
