Processing commands for [email protected]: > found 1140970 gcl27/2.7.1-30 Bug #1140970 {Done: Camm Maguire <[email protected]>} [gcl27] acl2: FTBFS: ERROR: See make.log. Marked as found in versions gcl27/2.7.1-30. > 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
