Bug#382465: FTBFS on arm, sparc, ia64, hppa

[Faidon Liambotis <paravoid@debian.org>]

Package: tla
Version: 1.3.5+dfsg-2
Severity: serious
Justification: no longer builds from source

tla 1.3.5+dfsg-2 fails to build from source on arm, sparc, ia64 and
hppa[1].
The error presented on all but arm is:
/build/buildd/tla-1.3.5+dfsg/src/tla/tests/test-framework: line 26:
18604 Bus error               ${builddir}/../tla/tla "$@"

arm shows a "MISMATCHED ARCHIVE CHECKSUM", which I'm not sure is tla's
fault:
  expected:
 MD5: f33ff22e02ce6c757bbd5f524f6fce6e
 SHA1: 19edf794d8697ef1ce41ae58415a77e8c3570100
  got:
 MD5: f33ff22e02ce6c757bbd5f524f6fce6e
 SHA1: 0532b3b8a2b14178a45cf80d30f5d476d5e3daa0

This bug currently blocks the neon transition.

Regards,
Faidon

1: http://buildd.debian.org/build.php?arch=&pkg=tla