Processing commands for [email protected]: > reassign 1128663 gcl27 Bug #1128663 [src:acl2] acl2: FTBFS: SIMPLE-ERROR: SAVE-EXEC is unable to save to file "saved_acl2.c", because its directory does not exist. Bug reassigned from package 'src:acl2' to 'gcl27'. No longer marked as found in versions acl2/8.6+dfsg-3. Ignoring request to alter fixed versions of bug #1128663 to the same values previously set > affects 1128663 + acl2 Bug #1128663 [gcl27] acl2: FTBFS: SIMPLE-ERROR: SAVE-EXEC is unable to save to file "saved_acl2.c", because its directory does not exist. Added indication that 1128663 affects acl2 > thanks Stopping processing here.
Please contact me if you need assistance. -- 1128663: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128663 Debian Bug Tracking System Contact [email protected] with problems
