Processing commands for [email protected]: > severity 919477 normal Bug #919477 {Done: Camm Maguire <[email protected]>} [src:acl2] acl2 ftbfs on armel, armhf, arm64 and ppc64el Severity set to 'normal' from 'serious' > tag 919477 - buster sid Bug #919477 {Done: Camm Maguire <[email protected]>} [src:acl2] acl2 ftbfs on armel, armhf, arm64 and ppc64el Removed tag(s) buster and sid. > thanks Stopping processing here.
Please contact me if you need assistance. -- 919477: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919477 Debian Bug Tracking System Contact [email protected] with problems
