Bugs
encoding/decoding token header 2: OK
+++ OK, passed 1 test.
encoding/decoding tokens: OK (0.01s)
+++ OK, passed 100 tests.
encoding/decoding terms: OK (0.43s)
+++ OK, passed 100 tests.
RFC7049 test vector: decode: OK
RFC7049 test vector: roundtrip: OK
external test vector: OK
unit tests
tests: SignalException 7
Test suite tests: FAIL
Test suite logged to: dist-ghc/test/cborg-0.2.4.0-tests.log
0 of 1 test suites (0 of 1 test cases) passed.
make: *** [/usr/share/cdbs/1/class/hlibrary.mk:154: check-ghc-stamp] Error 1
Dependency installability problem for pageedit on armhf:
Installability of build dependencies not tested yet
Tail of log for acl2 on armhf:
/<<PKGBUILDDIR>>/translate.c:29690:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
29690 | if((Cnil)!=Cnil){
| ^~
/<<PKGBUILDDIR>>/translate.c:30013:11: warning: self-comparison always evaluates to false [-Wtautological-compare]
30013 | if((Cnil)!=Cnil){
| ^~
/<<PKGBUILDDIR>>/translate.c:30264:11: warning: self-comparison always evaluates to true [-Wtautological-compare]
30264 | if((Cnil)==Cnil){
| ^~
Illegal instruction (core dumped)
make[2]: *** [GNUmakefile:407: compile] Error 132
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [GNUmakefile:397: full] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:79: saved_acl2] Error 2