Run of fresh-snapshots for flint-arb

Try this locally (using silver-platter):

debian-svp new-upstream --snapshot flint-arb 
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
Processing triggers for ca-certificates (20210119) ...

Updating certificates in /etc/ssl/certs...

0 added, 0 removed; done.

Running hooks in /etc/ca-certificates/update.d...

done.

Creating directory /var/lib/jenkins in schroot session.
Using dependency resolver: [apt, cpan, pypi, npm, go, hackage, cran, cran, octave-forge]
FLINT_LIB_DIR set to /usr/local/lib
FLINT_INC_DIR set to /usr/local/include
Configuring...x86_64-Linux
Testing __builtin_popcountl...yes
Testing native popcount...yes
Testing __thread...yes
ARB was successfully configured.
make: Nothing to be done for 'dist'.
No tarball created :(

Full worker log Full dist log