Notes for acl2 - reproducible builds result

Version annotated: 7.2dfsg-3
Identified issues:
Identifier: blacklisted_on_jenkins
Description Some packages have been blacklisted in our test infrastructure because
their build hangs, takes too long, spawns processes that are not killed, or
simply because they use too many resources for our current capacity. (This
is purely practical step - we would like to test these packages.)
Identifier: blacklisted_on_jenkins_armhf_only
Description Some packages have been blacklisted only on armhf in our test infrastructure
because their builds take too long on the tiny armhf boards we're using.
The mitigation against this is to add more architectures or to wait until
we test against the debian archive, when it will become sensible to raise
the 18h timeout for a single build.
Until his happens, please rely on the amd64, i386 and arm64 tests.
Comments: Spawns a handful of saved_acl2 which eats the memory.
Strangely it looks like the build ends fine in testing, but always fails in unstable
Update 2017-04-28: tried 7.2dfsg-3 on testing/amd64 and the first build was autokilled after 18h… (so blacklisted again)
 

Our notes about issues affecting packages are stored in notes.git and are targeted at packages in Debian in 'unstable/amd64' (unless they say otherwise).