Wed Aug 12 05:30:49 UTC 2020  I: starting to build cvc4/buster/arm64 on jenkins on '2020-08-12 05:30'
Wed Aug 12 05:30:49 UTC 2020  I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/arm64_29/6743/console.log
Wed Aug 12 05:30:49 UTC 2020  I: Downloading source for buster/cvc4=1.6-2
--2020-08-12 05:30:49--  http://deb.debian.org/debian/pool/main/c/cvc4/cvc4_1.6-2.dsc
Connecting to 78.137.99.97:3128... connected.
Proxy request sent, awaiting response... 200 OK
Length: 2652 (2.6K)
Saving to: ‘cvc4_1.6-2.dsc’

     0K ..                                                    100% 23.5M=0s

2020-08-12 05:30:49 (23.5 MB/s) - ‘cvc4_1.6-2.dsc’ saved [2652/2652]

Wed Aug 12 05:30:49 UTC 2020  I: cvc4_1.6-2.dsc
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-5, libcvc4parser5
Architecture: amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
Version: 1.6-2
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: http://cvc4.cs.stanford.edu/web/
Standards-Version: 4.2.0
Vcs-Browser: https://salsa.debian.org/science-team/cvc4
Vcs-Git: https://salsa.debian.org/science-team/cvc4.git/
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: debhelper (>= 11), libgmp-dev, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, chrpath, python3
Package-List:
 cvc4 deb math optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
 libcvc4-5 deb libs optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
 libcvc4-dev deb libdevel optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
 libcvc4parser5 deb libs optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
Checksums-Sha1:
 b180389c2df64c16b52eee70de57bf4893fd1b8c 7815893 cvc4_1.6.orig.tar.gz
 da1bfdda85c94e47b065f68c5b3984c21da13489 8232 cvc4_1.6-2.debian.tar.xz
Checksums-Sha256:
 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 7815893 cvc4_1.6.orig.tar.gz
 256cb4f2824a296cb5f01b72f9e762502a0e15dda19472a0038460a461c0b077 8232 cvc4_1.6-2.debian.tar.xz
Files:
 aac9f3725d2247bcf5dcb87bbbbdf5bb 7815893 cvc4_1.6.orig.tar.gz
 5879972c7bc864c809f0539aca156890 8232 cvc4_1.6-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAltx3MEACgkQ0Ot2KGX8
XjabXw/8DOeulHRqQixQ2s9uNtX2dwH4h+mYZx+D5eKrEFkKpggY9aL1/ORKApzb
akTrvL4x4d6RhG0rppkGWblByz6uPodxWhc3FKDfoobRXFmvBziaDVXF+j3UxDsQ
Cmn2NoNFwfn7jzEQ+Tv7OUDu/eaGfNjVzSpAECMrav1N4+yj8Q8NAAbzBQS/dRM9
Uly1bDr6fpb/sG8WGvRosaNEQhmkHTuHPs5l6HVmPA6EVpHRzcxpVuYrg0We5Q++
m5+zCHczhiTYFipHMxfHJhDUp1AYY/rgHtpMZ+SHm3VNy4F6IBy50ps/xULI1NG8
RZEsjlkls+M+4koF9e5mLov/qWpWvLujSu8S8BxarOcNWwdwEo6L4gVJtfgNv35c
VS27lhW2LoNnURhuEPo0lCEqNTWf1+C3YqnORZ7fzptedYCYaj/AQOMazqJ2x0Gp
odgo9zfxxSHMgX2dSOjrtCJk8zNlzbxHPc2rmeMqZLJFiubNlsQ/wZWSXDH6R9sD
IQUGIpNEMhVknpM2wwqUBQEVBjiRZRJVBqp4aZvdpsQQhV4jpbh/ChcBPwlM4DwX
c4P9tPMC0fFPh4Xvwy+xhC4/KDNQIa++LQgmZ6eGnLm4bleVLuXRoFOlknehNGN9
e7dWY4v4a161CjswlyIq6Pm1uuXz8YoV+hqXoqOz8TUrRDJ8yHg=
=tapx
-----END PGP SIGNATURE-----
Wed Aug 12 05:30:49 UTC 2020  I: Checking whether the package is not for us
Wed Aug 12 05:30:49 UTC 2020  I: Package cvc4 (1.6-2) shall only be build on "amd64 hurd-i386 i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k mips mips64el mipsel powerpcspe x32" and thus was skipped.