Processing commands for [email protected]: > # post-release bug mangling for bugs tagged sid. if this bug only affects > sid, please remove the forky tag again > tags 1105653 + forky Bug #1105653 [src:ssreflect] ssreflect: FTBFS with make --shuffle=reverse: make[4]: *** [Makefile.coq:818: ssreflect/ssrfun.vo] Error 1 shuffle=reverse Added tag(s) forky. > thanks Stopping processing here.
Please contact me if you need assistance. -- 1105653: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1105653 Debian Bug Tracking System Contact [email protected] with problems
