i tried running `guix install mes` which fails on my x86_64 debian machine. CI fails as well (https://ci.guix.gnu.org/build/286577/details).
log output shows a couple of segmentation faults and an undefined variable in phase 'check': test/test10/hello.sh + '[' amd64 = amd64 ']' + ./test/results/test1-binary + . ./sha256.sh ++ set -ex test/test1/hello.sh: line 37: 171 Segmentation fault ./test/results/test1-binary < test/test1/hex0.hex0 > test/test1/proof1 + '[' amd64 = x86 ']' + exit 0 make: *** [makefile:104: test1-binary] Error 139 [...] test/test7/hello.sh: line 31: 175 Segmentation fault ./test/results/test7-binary test/test7/hex1.hex1 > test/test7/proof [...] test/test3/hello.sh: line 23: GET_MACHINE_FLAGS: unbound variable