Source: acl2 Version: 8.6+dfsg-3 Severity: serious Tags: ftbfs Justification: fails to build from source (but built successfully in the past) X-Debbugs-Cc: [email protected], [email protected] User: [email protected] Usertags: loong64
Dear maintainer, the last build of acl2 on loong64 was killed as it was only producing "Tick" ouputs after roughly 3 days of building. See https://buildd.debian.org/status/fetch.php?pkg=acl2&arch=loong64&ver=8.6%2Bdfsg-3%2Bb1&stamp=1777437047&raw=0 for details. Cheers -- Sebastian Ramacher
