Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf ↓ | 8.6+dfsg-2 | Build-Attempted | 12d 20h 13m | test2023 | out-of-date | math | old | all (1) | giveback |
Tail of log for acl2 on armhf:
rm -f books/build/acl2-exports.certdep rm -f books/build/acl2-version.certdep rm -f books/build/ground-zero-theory.certdep rm -f books/build/first-order-like-terms-and-out-arities.certdep rm -f books/centaur/getopt/demo2 rm -f books/centaur/getopt/demo2-test.ok rm -f books/demos/event-data/test1@event-data.lsp rm -f books/demos/event-data/test1a@event-data.lsp rm -f books/demos/event-data/test2@event-data.lsp rm -f books/system/doc/rendered-doc.lsp gcl27 worklispext dh_clean -XTAGS debian/rules binary-arch echo '(load "debian/gcl27p.l")(si::save-system "gcl27")' | GCL_ANSI=t gcl27 The assertion !madvise(m,p2,MADV_HUGEPAGE) on line 67 of o/msbrk.c in function msbrk failed: Invalid argumentAborted make: *** [debian/rules:94: saved_acl2] Error 134