Processing commands for [email protected]: > reassign 1140970 gcl27 Bug #1140970 [src:acl2] acl2: FTBFS: ERROR: See make.log. Bug reassigned from package 'src:acl2' to 'gcl27'. No longer marked as found in versions acl2/8.7+dfsg-2. Ignoring request to alter fixed versions of bug #1140970 to the same values previously set > thanks Stopping processing here.
Please contact me if you need assistance. -- 1140970: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1140970 Debian Bug Tracking System Contact [email protected] with problems
