Thu Oct 17 10:29:03 UTC 2024 I: starting to build haskell-smtlib/unstable/armhf on jenkins on '2024-10-17 10:28' Thu Oct 17 10:29:03 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_13/6117/console.log Thu Oct 17 10:29:03 UTC 2024 I: Downloading source for unstable/haskell-smtlib=1.1-4 --2024-10-17 10:29:03-- http://deb.debian.org/debian/pool/main/h/haskell-smtlib/haskell-smtlib_1.1-4.dsc Connecting to 46.16.76.132:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2225 (2.2K) [text/prs.lines.tag] Saving to: ‘haskell-smtlib_1.1-4.dsc’ 0K .. 100% 300M=0s 2024-10-17 10:29:03 (300 MB/s) - ‘haskell-smtlib_1.1-4.dsc’ saved [2225/2225] Thu Oct 17 10:29:03 UTC 2024 I: haskell-smtlib_1.1-4.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-smtlib Binary: libghc-smtlib-dev, libghc-smtlib-prof, libghc-smtlib-doc Architecture: any all Version: 1.1-4 Maintainer: Debian Haskell Group Uploaders: Ilias Tsitsimpis Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-smtlib Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib] Build-Depends: cdbs, debhelper (>= 10), ghc (>= 9.6), ghc-prof, haskell-devscripts (>= 0.13) Build-Depends-Indep: ghc-doc Package-List: libghc-smtlib-dev deb haskell optional arch=any libghc-smtlib-doc deb doc optional arch=all libghc-smtlib-prof deb haskell optional arch=any Checksums-Sha1: 67bb83d1a492ead3c3baebdc2899c3ef2bce2e85 9667 haskell-smtlib_1.1.orig.tar.gz e53b417b2d952153c278d55e75293492c61bfa70 2624 haskell-smtlib_1.1-4.debian.tar.xz Checksums-Sha256: 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f 9667 haskell-smtlib_1.1.orig.tar.gz 99e2291a521d5a283ad374ab4b9cd99726a64bf1d58cbe3a46e06c369cd848a4 2624 haskell-smtlib_1.1-4.debian.tar.xz Files: 6c882a2866a94c7f0153b081d3d6bf13 9667 haskell-smtlib_1.1.orig.tar.gz 2285a82a3a3d8128556fde4a9f0f8337 2624 haskell-smtlib_1.1-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmbl8joUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDxgrA//YTMvTSPJ/fHYceVhEQYXTQ0JKf2+ exYUdx1RUlOY/yQX8aXpLn8nvSg7mT96nAfwRN7+7aRis5TRfL/IQ82C1eWkuAO4 UxhylK56FR1JEZLpjhxiF4XulDEsAIv0Y6ClArauRGov/0QNRvbe7P9aBcZFE1Gg W+zt5f1QVxlLdfvEw7jxENccFopJpj6pgB7sHip/KqPu9HMyh1atLeu5HgPKG/68 U1rFmLM4IIBg9/WBcPS3LQeNiSX+XLqke5qWnibvynJC9rjjjFdVi7FwjfSQhxZb UziBH1YVx8dSzpnPkflZGzrHXqQAtbxfQMxzVciRweK169l83K30QI8MA2AcUJKx NBquTv51sNrU1+PiA4iEBJQ03heDeaft1Eo4NABb0iQKesaB8F0zd7shqyYTd8M2 Tyq4MlzoeHStYxC/BD9zMjULkNglyoh/igAfxMSLnDiKypqr9+VqdOZDcIdmzluc p77utjyK74h3RuLHeOJ0OdR+IzTPWknF2SSitvBlGDpYT811mXE63TLPjGMAVer7 pTnCfdwWUUyQb0YLaoMJuW5gjyiybq4P2Dvk0EKoy3CLLTh0qZqLC4jalCyVVEf4 L8+yJ9ZXNWxZ9EIWPyrXhukfjcyjbGHFfBHKEKStyAUMdvah3CqHd52N3ibhmtCy TtttLfzqdCPtM9Y= =aO9h -----END PGP SIGNATURE----- Thu Oct 17 10:29:03 UTC 2024 I: Checking whether the package is not for us Thu Oct 17 10:29:03 UTC 2024 I: Starting 1st build on remote node ff64a-armhf-rb.debian.net. Thu Oct 17 10:29:03 UTC 2024 I: Preparing to do remote build '1' on ff64a-armhf-rb.debian.net. Thu Oct 17 11:20:28 UTC 2024 I: Deleting $TMPDIR on ff64a-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Wed Oct 16 22:29:12 -12 2024 I: pbuilder-time-stamp: 1729160952 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [haskell-smtlib_1.1-4.dsc] I: copying [./haskell-smtlib_1.1.orig.tar.gz] I: copying [./haskell-smtlib_1.1-4.debian.tar.xz] I: Extracting source gpgv: Signature made Sat Sep 14 20:29:46 2024 gpgv: using RSA key 27D73CA5F5B5D7E01A5136F5D7A86780CC64403C gpgv: issuer "iliastsi@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./haskell-smtlib_1.1-4.dsc: no acceptable signature found dpkg-source: info: extracting haskell-smtlib in haskell-smtlib-1.1 dpkg-source: info: unpacking haskell-smtlib_1.1.orig.tar.gz dpkg-source: info: unpacking haskell-smtlib_1.1-4.debian.tar.xz I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/29955/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build/reproducible-path' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=5 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='d71384f1b1bc4729af6d18b541bff916' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='29955' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/pbuilderrc_QlNQ --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/b1 --logfile b1/build.log haskell-smtlib_1.1-4.dsc' SUDO_GID='114' SUDO_UID='109' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:3142/' I: uname -a Linux ff64a 6.1.0-26-arm64 #1 SMP Debian 6.1.112-1 (2024-09-30) aarch64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 4 21:30 /bin -> usr/bin I: user script /srv/workspace/pbuilder/29955/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: cdbs, debhelper (>= 10), ghc (>= 9.6), ghc-prof, haskell-devscripts (>= 0.13), ghc-doc dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19665 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on cdbs; however: Package cdbs is not installed. pbuilder-satisfydepends-dummy depends on debhelper (>= 10); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on ghc (>= 9.6); however: Package ghc is not installed. pbuilder-satisfydepends-dummy depends on ghc-prof; however: Package ghc-prof is not installed. pbuilder-satisfydepends-dummy depends on haskell-devscripts (>= 0.13); however: Package haskell-devscripts is not installed. pbuilder-satisfydepends-dummy depends on ghc-doc; however: Package ghc-doc is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cdbs{a} dctrl-tools{a} debhelper{a} dh-autoreconf{a} dh-buildinfo{a} dh-strip-nondeterminism{a} dwz{a} file{a} fonts-mathjax{a} gettext{a} gettext-base{a} ghc{a} ghc-doc{a} ghc-prof{a} groff-base{a} haskell-devscripts{a} haskell-devscripts-minimal{a} hscolour{a} html-xml-utils{a} intltool-debian{a} libarchive-zip-perl{a} libb-hooks-op-check-perl{a} libbrotli1{a} libbsd-dev{a} libcom-err2{a} libconst-fast-perl{a} libcurl3t64-gnutls{a} libcurl4t64{a} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{a} libedit2{a} libelf1t64{a} libexpat1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libgmp-dev{a} libgmpxx4ldbl{a} libgssapi-krb5-2{a} libicu72{a} libipc-run3-perl{a} libjs-mathjax{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libldap-2.5-0{a} liblist-someutils-perl{a} libllvm18{a} libmagic-mgc{a} libmagic1t64{a} libmd-dev{a} libmodule-implementation-perl{a} libmodule-runtime-perl{a} libncurses-dev{a} libncurses6{a} libnghttp2-14{a} libnghttp3-9{a} libngtcp2-16{a} libngtcp2-crypto-gnutls8{a} libnsl2{a} libnuma-dev{a} libnuma1{a} libparams-classify-perl{a} libparams-util-perl{a} libpath-tiny-perl{a} libpfm4{a} libpipeline1{a} libpsl5t64{a} libpython3-stdlib{a} libpython3.12-minimal{a} libpython3.12-stdlib{a} libreadline8t64{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1t64{a} libsub-exporter-perl{a} libsub-exporter-progressive-perl{a} libsub-install-perl{a} libtimedate-perl{a} libtirpc-common{a} libtirpc3t64{a} libtool{a} libtry-tiny-perl{a} libuchardet0{a} libunicode-utf8-perl{a} libxml2{a} libz3-4{a} llvm-18{a} llvm-18-linker-tools{a} llvm-18-runtime{a} m4{a} man-db{a} media-types{a} netbase{a} po-debconf{a} python3{a} python3-minimal{a} python3-scour{a} python3.12{a} python3.12-minimal{a} readline-common{a} scour{a} sensible-utils{a} tzdata{a} The following packages are RECOMMENDED but will NOT be installed: binfmt-support ca-certificates curl krb5-locales libarchive-cpio-perl libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules llvm-18-dev lynx publicsuffix systemd wget 0 packages upgraded, 113 newly installed, 0 to remove and 0 not upgraded. Need to get 300 MB of archives. After unpacking 2545 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main armhf libedit2 armhf 3.1-20240808-1 [77.9 kB] Get: 2 http://deb.debian.org/debian unstable/main armhf libicu72 armhf 72.1-5 [9075 kB] Get: 3 http://deb.debian.org/debian unstable/main armhf libxml2 armhf 2.12.7+dfsg+really2.9.14-0.1 [604 kB] Get: 4 http://deb.debian.org/debian unstable/main armhf libz3-4 armhf 4.8.12-3.1+b2 [6324 kB] Get: 5 http://deb.debian.org/debian unstable/main armhf libllvm18 armhf 1:18.1.8-12 [22.8 MB] Get: 6 http://deb.debian.org/debian unstable/main armhf llvm-18-runtime armhf 1:18.1.8-12 [486 kB] Get: 7 http://deb.debian.org/debian unstable/main armhf llvm-18-linker-tools armhf 1:18.1.8-12 [1036 kB] Get: 8 http://deb.debian.org/debian unstable/main armhf libbrotli1 armhf 1.1.0-2+b4 [293 kB] Get: 9 http://deb.debian.org/debian unstable/main armhf libkrb5support0 armhf 1.21.3-3 [30.0 kB] Get: 10 http://deb.debian.org/debian unstable/main armhf libcom-err2 armhf 1.47.1-1 [22.1 kB] Get: 11 http://deb.debian.org/debian unstable/main armhf libk5crypto3 armhf 1.21.3-3 [75.8 kB] Get: 12 http://deb.debian.org/debian unstable/main armhf libkeyutils1 armhf 1.6.3-3 [7908 B] Get: 13 http://deb.debian.org/debian unstable/main armhf libkrb5-3 armhf 1.21.3-3 [283 kB] Get: 14 http://deb.debian.org/debian unstable/main armhf libgssapi-krb5-2 armhf 1.21.3-3 [114 kB] Get: 15 http://deb.debian.org/debian unstable/main armhf libsasl2-modules-db armhf 2.1.28+dfsg1-8 [18.2 kB] Get: 16 http://deb.debian.org/debian unstable/main armhf libsasl2-2 armhf 2.1.28+dfsg1-8 [50.2 kB] Get: 17 http://deb.debian.org/debian unstable/main armhf libldap-2.5-0 armhf 2.5.18+dfsg-3+b1 [163 kB] Get: 18 http://deb.debian.org/debian unstable/main armhf libnghttp2-14 armhf 1.63.0-1 [62.9 kB] Get: 19 http://deb.debian.org/debian unstable/main armhf libpsl5t64 armhf 0.21.2-1.1 [55.6 kB] Get: 20 http://deb.debian.org/debian unstable/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b4 [53.2 kB] Get: 21 http://deb.debian.org/debian unstable/main armhf libssh2-1t64 armhf 1.11.0-7 [199 kB] Get: 22 http://deb.debian.org/debian unstable/main armhf libcurl4t64 armhf 8.10.1-2 [303 kB] Get: 23 http://deb.debian.org/debian unstable/main armhf libpfm4 armhf 4.13.0+git32-g0d4ed0e-1 [46.1 kB] Get: 24 http://deb.debian.org/debian unstable/main armhf llvm-18 armhf 1:18.1.8-12 [21.0 MB] Get: 25 http://deb.debian.org/debian unstable/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-2+b1 [328 kB] Get: 26 http://deb.debian.org/debian unstable/main armhf libgmp-dev armhf 2:6.3.0+dfsg-2+b1 [591 kB] Get: 27 http://deb.debian.org/debian unstable/main armhf libffi-dev armhf 3.4.6-1 [55.9 kB] Get: 28 http://deb.debian.org/debian unstable/main armhf libmd-dev armhf 1.1.0-2 [51.6 kB] Get: 29 http://deb.debian.org/debian unstable/main armhf libbsd-dev armhf 0.12.2-2 [252 kB] Get: 30 http://deb.debian.org/debian unstable/main armhf libncurses6 armhf 6.5-2 [81.8 kB] Get: 31 http://deb.debian.org/debian unstable/main armhf libncurses-dev armhf 6.5-2 [309 kB] Get: 32 http://deb.debian.org/debian unstable/main armhf libnuma1 armhf 2.0.18-1 [18.5 kB] Get: 33 http://deb.debian.org/debian unstable/main armhf libnuma-dev armhf 2.0.18-1 [34.2 kB] Get: 34 http://deb.debian.org/debian unstable/main armhf ghc armhf 9.6.6-2 [102 MB] Get: 35 http://deb.debian.org/debian unstable/main armhf fonts-mathjax all 2.7.9+dfsg-1 [2210 kB] Get: 36 http://deb.debian.org/debian unstable/main armhf libjs-mathjax all 2.7.9+dfsg-1 [5667 kB] Get: 37 http://deb.debian.org/debian unstable/main armhf ghc-doc all 9.6.6-2 [33.7 MB] Get: 38 http://deb.debian.org/debian unstable/main armhf libpython3.12-minimal armhf 3.12.7-1 [800 kB] Get: 39 http://deb.debian.org/debian unstable/main armhf libexpat1 armhf 2.6.3-1 [83.2 kB] Get: 40 http://deb.debian.org/debian unstable/main armhf python3.12-minimal armhf 3.12.7-1 [1809 kB] Get: 41 http://deb.debian.org/debian unstable/main armhf python3-minimal armhf 3.12.6-1 [26.7 kB] Get: 42 http://deb.debian.org/debian unstable/main armhf media-types all 10.1.0 [26.9 kB] Get: 43 http://deb.debian.org/debian unstable/main armhf netbase all 6.4 [12.8 kB] Get: 44 http://deb.debian.org/debian unstable/main armhf tzdata all 2024b-3 [255 kB] Get: 45 http://deb.debian.org/debian unstable/main armhf libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get: 46 http://deb.debian.org/debian unstable/main armhf libtirpc3t64 armhf 1.3.4+ds-1.3 [71.1 kB] Get: 47 http://deb.debian.org/debian unstable/main armhf libnsl2 armhf 1.3.0-3+b2 [34.9 kB] Get: 48 http://deb.debian.org/debian unstable/main armhf readline-common all 8.2-5 [69.3 kB] Get: 49 http://deb.debian.org/debian unstable/main armhf libreadline8t64 armhf 8.2-5 [146 kB] Get: 50 http://deb.debian.org/debian unstable/main armhf libpython3.12-stdlib armhf 3.12.7-1 [1820 kB] Get: 51 http://deb.debian.org/debian unstable/main armhf python3.12 armhf 3.12.7-1 [671 kB] Get: 52 http://deb.debian.org/debian unstable/main armhf libpython3-stdlib armhf 3.12.6-1 [9692 B] Get: 53 http://deb.debian.org/debian unstable/main armhf python3 armhf 3.12.6-1 [27.8 kB] Get: 54 http://deb.debian.org/debian unstable/main armhf sensible-utils all 0.0.24 [24.8 kB] Get: 55 http://deb.debian.org/debian unstable/main armhf libmagic-mgc armhf 1:5.45-3 [314 kB] Get: 56 http://deb.debian.org/debian unstable/main armhf libmagic1t64 armhf 1:5.45-3 [98.1 kB] Get: 57 http://deb.debian.org/debian unstable/main armhf file armhf 1:5.45-3 [42.0 kB] Get: 58 http://deb.debian.org/debian unstable/main armhf gettext-base armhf 0.22.5-2 [195 kB] Get: 59 http://deb.debian.org/debian unstable/main armhf libuchardet0 armhf 0.0.8-1+b1 [65.7 kB] Get: 60 http://deb.debian.org/debian unstable/main armhf groff-base armhf 1.23.0-5 [1091 kB] Get: 61 http://deb.debian.org/debian unstable/main armhf bsdextrautils armhf 2.40.2-9 [88.8 kB] Get: 62 http://deb.debian.org/debian unstable/main armhf libpipeline1 armhf 1.5.8-1 [35.0 kB] Get: 63 http://deb.debian.org/debian unstable/main armhf man-db armhf 2.13.0-1 [1382 kB] Get: 64 http://deb.debian.org/debian unstable/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 65 http://deb.debian.org/debian unstable/main armhf autoconf all 2.72-3 [493 kB] Get: 66 http://deb.debian.org/debian unstable/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 67 http://deb.debian.org/debian unstable/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 68 http://deb.debian.org/debian unstable/main armhf autopoint all 0.22.5-2 [723 kB] Get: 69 http://deb.debian.org/debian unstable/main armhf python3-scour all 0.38.2-5 [55.7 kB] Get: 70 http://deb.debian.org/debian unstable/main armhf scour all 0.38.2-5 [16.3 kB] Get: 71 http://deb.debian.org/debian unstable/main armhf cdbs all 0.4.166 [47.3 kB] Get: 72 http://deb.debian.org/debian unstable/main armhf dctrl-tools armhf 2.24-3 [96.0 kB] Get: 73 http://deb.debian.org/debian unstable/main armhf libdebhelper-perl all 13.20 [89.7 kB] Get: 74 http://deb.debian.org/debian unstable/main armhf libtool all 2.4.7-7 [517 kB] Get: 75 http://deb.debian.org/debian unstable/main armhf dh-autoreconf all 20 [17.1 kB] Get: 76 http://deb.debian.org/debian unstable/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 77 http://deb.debian.org/debian unstable/main armhf libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 78 http://deb.debian.org/debian unstable/main armhf dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 79 http://deb.debian.org/debian unstable/main armhf libelf1t64 armhf 0.191-2 [183 kB] Get: 80 http://deb.debian.org/debian unstable/main armhf dwz armhf 0.15-1+b2 [106 kB] Get: 81 http://deb.debian.org/debian unstable/main armhf gettext armhf 0.22.5-2 [1485 kB] Get: 82 http://deb.debian.org/debian unstable/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 83 http://deb.debian.org/debian unstable/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 84 http://deb.debian.org/debian unstable/main armhf debhelper all 13.20 [915 kB] Get: 85 http://deb.debian.org/debian unstable/main armhf dh-buildinfo all 0.11+nmu3 [17.1 kB] Get: 86 http://deb.debian.org/debian unstable/main armhf ghc-prof armhf 9.6.6-2 [72.8 MB] Get: 87 http://deb.debian.org/debian unstable/main armhf libnghttp3-9 armhf 1.4.0-1 [55.1 kB] Get: 88 http://deb.debian.org/debian unstable/main armhf libngtcp2-16 armhf 1.6.0-1 [118 kB] Get: 89 http://deb.debian.org/debian unstable/main armhf libngtcp2-crypto-gnutls8 armhf 1.6.0-1 [17.1 kB] Get: 90 http://deb.debian.org/debian unstable/main armhf libcurl3t64-gnutls armhf 8.10.1-2 [308 kB] Get: 91 http://deb.debian.org/debian unstable/main armhf html-xml-utils armhf 7.7-1.1+b1 [233 kB] Get: 92 http://deb.debian.org/debian unstable/main armhf libparams-util-perl armhf 1.102-3+b1 [23.2 kB] Get: 93 http://deb.debian.org/debian unstable/main armhf libsub-install-perl all 0.929-1 [10.5 kB] Get: 94 http://deb.debian.org/debian unstable/main armhf libdata-optlist-perl all 0.114-1 [10.6 kB] Get: 95 http://deb.debian.org/debian unstable/main armhf libsub-exporter-perl all 0.990-1 [50.6 kB] Get: 96 http://deb.debian.org/debian unstable/main armhf libsub-exporter-progressive-perl all 0.001013-3 [7496 B] Get: 97 http://deb.debian.org/debian unstable/main armhf libconst-fast-perl all 0.014-2 [8792 B] Get: 98 http://deb.debian.org/debian unstable/main armhf libdevel-confess-perl all 0.009004-4 [19.3 kB] Get: 99 http://deb.debian.org/debian unstable/main armhf libipc-run3-perl all 0.049-1 [31.5 kB] Get: 100 http://deb.debian.org/debian unstable/main armhf libb-hooks-op-check-perl armhf 0.22-3+b2 [10.3 kB] Get: 101 http://deb.debian.org/debian unstable/main armhf libdynaloader-functions-perl all 0.004-1 [12.1 kB] Get: 102 http://deb.debian.org/debian unstable/main armhf libdevel-callchecker-perl armhf 0.009-1+b1 [16.0 kB] Get: 103 http://deb.debian.org/debian unstable/main armhf libparams-classify-perl armhf 0.015-2+b4 [21.2 kB] Get: 104 http://deb.debian.org/debian unstable/main armhf libmodule-runtime-perl all 0.016-2 [19.6 kB] Get: 105 http://deb.debian.org/debian unstable/main armhf libtry-tiny-perl all 0.32-1 [22.9 kB] Get: 106 http://deb.debian.org/debian unstable/main armhf libmodule-implementation-perl all 0.09-2 [12.6 kB] Get: 107 http://deb.debian.org/debian unstable/main armhf liblist-someutils-perl all 0.59-1 [37.1 kB] Get: 108 http://deb.debian.org/debian unstable/main armhf libpath-tiny-perl all 0.146-1 [56.2 kB] Get: 109 http://deb.debian.org/debian unstable/main armhf libtimedate-perl all 2.3300-2 [39.3 kB] Get: 110 http://deb.debian.org/debian unstable/main armhf libunicode-utf8-perl armhf 0.62-2+b3 [19.3 kB] Get: 111 http://deb.debian.org/debian unstable/main armhf haskell-devscripts-minimal all 0.16.33 [53.0 kB] Get: 112 http://deb.debian.org/debian unstable/main armhf hscolour armhf 1.25-1 [1953 kB] Get: 113 http://deb.debian.org/debian unstable/main armhf haskell-devscripts all 0.16.33 [6156 B] Fetched 300 MB in 9s (32.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libedit2:armhf. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19665 files and directories currently installed.) Preparing to unpack .../00-libedit2_3.1-20240808-1_armhf.deb ... Unpacking libedit2:armhf (3.1-20240808-1) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../01-libicu72_72.1-5_armhf.deb ... Unpacking libicu72:armhf (72.1-5) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../02-libxml2_2.12.7+dfsg+really2.9.14-0.1_armhf.deb ... Unpacking libxml2:armhf (2.12.7+dfsg+really2.9.14-0.1) ... Selecting previously unselected package libz3-4:armhf. Preparing to unpack .../03-libz3-4_4.8.12-3.1+b2_armhf.deb ... Unpacking libz3-4:armhf (4.8.12-3.1+b2) ... Selecting previously unselected package libllvm18:armhf. Preparing to unpack .../04-libllvm18_1%3a18.1.8-12_armhf.deb ... Unpacking libllvm18:armhf (1:18.1.8-12) ... Selecting previously unselected package llvm-18-runtime. Preparing to unpack .../05-llvm-18-runtime_1%3a18.1.8-12_armhf.deb ... Unpacking llvm-18-runtime (1:18.1.8-12) ... Selecting previously unselected package llvm-18-linker-tools. Preparing to unpack .../06-llvm-18-linker-tools_1%3a18.1.8-12_armhf.deb ... Unpacking llvm-18-linker-tools (1:18.1.8-12) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../07-libbrotli1_1.1.0-2+b4_armhf.deb ... Unpacking libbrotli1:armhf (1.1.0-2+b4) ... Selecting previously unselected package libkrb5support0:armhf. Preparing to unpack .../08-libkrb5support0_1.21.3-3_armhf.deb ... Unpacking libkrb5support0:armhf (1.21.3-3) ... Selecting previously unselected package libcom-err2:armhf. Preparing to unpack .../09-libcom-err2_1.47.1-1_armhf.deb ... Unpacking libcom-err2:armhf (1.47.1-1) ... Selecting previously unselected package libk5crypto3:armhf. Preparing to unpack .../10-libk5crypto3_1.21.3-3_armhf.deb ... Unpacking libk5crypto3:armhf (1.21.3-3) ... Selecting previously unselected package libkeyutils1:armhf. Preparing to unpack .../11-libkeyutils1_1.6.3-3_armhf.deb ... Unpacking libkeyutils1:armhf (1.6.3-3) ... Selecting previously unselected package libkrb5-3:armhf. Preparing to unpack .../12-libkrb5-3_1.21.3-3_armhf.deb ... Unpacking libkrb5-3:armhf (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:armhf. Preparing to unpack .../13-libgssapi-krb5-2_1.21.3-3_armhf.deb ... Unpacking libgssapi-krb5-2:armhf (1.21.3-3) ... Selecting previously unselected package libsasl2-modules-db:armhf. Preparing to unpack .../14-libsasl2-modules-db_2.1.28+dfsg1-8_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.28+dfsg1-8) ... Selecting previously unselected package libsasl2-2:armhf. Preparing to unpack .../15-libsasl2-2_2.1.28+dfsg1-8_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.28+dfsg1-8) ... Selecting previously unselected package libldap-2.5-0:armhf. Preparing to unpack .../16-libldap-2.5-0_2.5.18+dfsg-3+b1_armhf.deb ... Unpacking libldap-2.5-0:armhf (2.5.18+dfsg-3+b1) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../17-libnghttp2-14_1.63.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.63.0-1) ... Selecting previously unselected package libpsl5t64:armhf. Preparing to unpack .../18-libpsl5t64_0.21.2-1.1_armhf.deb ... Unpacking libpsl5t64:armhf (0.21.2-1.1) ... Selecting previously unselected package librtmp1:armhf. Preparing to unpack .../19-librtmp1_2.4+20151223.gitfa8646d.1-2+b4_armhf.deb ... Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b4) ... Selecting previously unselected package libssh2-1t64:armhf. Preparing to unpack .../20-libssh2-1t64_1.11.0-7_armhf.deb ... Unpacking libssh2-1t64:armhf (1.11.0-7) ... Selecting previously unselected package libcurl4t64:armhf. Preparing to unpack .../21-libcurl4t64_8.10.1-2_armhf.deb ... Unpacking libcurl4t64:armhf (8.10.1-2) ... Selecting previously unselected package libpfm4:armhf. Preparing to unpack .../22-libpfm4_4.13.0+git32-g0d4ed0e-1_armhf.deb ... Unpacking libpfm4:armhf (4.13.0+git32-g0d4ed0e-1) ... Selecting previously unselected package llvm-18. Preparing to unpack .../23-llvm-18_1%3a18.1.8-12_armhf.deb ... Unpacking llvm-18 (1:18.1.8-12) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../24-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b1_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../25-libgmp-dev_2%3a6.3.0+dfsg-2+b1_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libffi-dev:armhf. Preparing to unpack .../26-libffi-dev_3.4.6-1_armhf.deb ... Unpacking libffi-dev:armhf (3.4.6-1) ... Selecting previously unselected package libmd-dev:armhf. Preparing to unpack .../27-libmd-dev_1.1.0-2_armhf.deb ... Unpacking libmd-dev:armhf (1.1.0-2) ... Selecting previously unselected package libbsd-dev:armhf. Preparing to unpack .../28-libbsd-dev_0.12.2-2_armhf.deb ... Unpacking libbsd-dev:armhf (0.12.2-2) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../29-libncurses6_6.5-2_armhf.deb ... Unpacking libncurses6:armhf (6.5-2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../30-libncurses-dev_6.5-2_armhf.deb ... Unpacking libncurses-dev:armhf (6.5-2) ... Selecting previously unselected package libnuma1:armhf. Preparing to unpack .../31-libnuma1_2.0.18-1_armhf.deb ... Unpacking libnuma1:armhf (2.0.18-1) ... Selecting previously unselected package libnuma-dev:armhf. Preparing to unpack .../32-libnuma-dev_2.0.18-1_armhf.deb ... Unpacking libnuma-dev:armhf (2.0.18-1) ... Selecting previously unselected package ghc. Preparing to unpack .../33-ghc_9.6.6-2_armhf.deb ... Unpacking ghc (9.6.6-2) ... Selecting previously unselected package fonts-mathjax. Preparing to unpack .../34-fonts-mathjax_2.7.9+dfsg-1_all.deb ... Unpacking fonts-mathjax (2.7.9+dfsg-1) ... Selecting previously unselected package libjs-mathjax. Preparing to unpack .../35-libjs-mathjax_2.7.9+dfsg-1_all.deb ... Unpacking libjs-mathjax (2.7.9+dfsg-1) ... Selecting previously unselected package ghc-doc. Preparing to unpack .../36-ghc-doc_9.6.6-2_all.deb ... Unpacking ghc-doc (9.6.6-2) ... Selecting previously unselected package libpython3.12-minimal:armhf. Preparing to unpack .../37-libpython3.12-minimal_3.12.7-1_armhf.deb ... Unpacking libpython3.12-minimal:armhf (3.12.7-1) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../38-libexpat1_2.6.3-1_armhf.deb ... Unpacking libexpat1:armhf (2.6.3-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../39-python3.12-minimal_3.12.7-1_armhf.deb ... Unpacking python3.12-minimal (3.12.7-1) ... Setting up libpython3.12-minimal:armhf (3.12.7-1) ... Setting up libexpat1:armhf (2.6.3-1) ... Setting up python3.12-minimal (3.12.7-1) ... Selecting previously unselected package python3-minimal. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 34668 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_armhf.deb ... Unpacking python3-minimal (3.12.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../01-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../02-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package tzdata. Preparing to unpack .../03-tzdata_2024b-3_all.deb ... Unpacking tzdata (2024b-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../04-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:armhf. Preparing to unpack .../05-libtirpc3t64_1.3.4+ds-1.3_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libtirpc.so.3 to /lib/arm-linux-gnueabihf/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libtirpc.so.3.0.0 to /lib/arm-linux-gnueabihf/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:armhf (1.3.4+ds-1.3) ... Selecting previously unselected package libnsl2:armhf. Preparing to unpack .../06-libnsl2_1.3.0-3+b2_armhf.deb ... Unpacking libnsl2:armhf (1.3.0-3+b2) ... Selecting previously unselected package readline-common. Preparing to unpack .../07-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:armhf. Preparing to unpack .../08-libreadline8t64_8.2-5_armhf.deb ... Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8 to /lib/arm-linux-gnueabihf/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libhistory.so.8.2 to /lib/arm-linux-gnueabihf/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8 to /lib/arm-linux-gnueabihf/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/arm-linux-gnueabihf/libreadline.so.8.2 to /lib/arm-linux-gnueabihf/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:armhf (8.2-5) ... Selecting previously unselected package libpython3.12-stdlib:armhf. Preparing to unpack .../09-libpython3.12-stdlib_3.12.7-1_armhf.deb ... Unpacking libpython3.12-stdlib:armhf (3.12.7-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../10-python3.12_3.12.7-1_armhf.deb ... Unpacking python3.12 (3.12.7-1) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../11-libpython3-stdlib_3.12.6-1_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.12.6-1) ... Setting up python3-minimal (3.12.6-1) ... Selecting previously unselected package python3. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 35686 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.6-1_armhf.deb ... Unpacking python3 (3.12.6-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.24_all.deb ... Unpacking sensible-utils (0.0.24) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3_armhf.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:armhf. Preparing to unpack .../03-libmagic1t64_1%3a5.45-3_armhf.deb ... Unpacking libmagic1t64:armhf (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.45-3_armhf.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.22.5-2_armhf.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../06-libuchardet0_0.0.8-1+b1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.23.0-5_armhf.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.40.2-9_armhf.deb ... Unpacking bsdextrautils (2.40.2-9) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../09-libpipeline1_1.5.8-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.13.0-1_armhf.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-4_armhf.deb ... Unpacking m4 (1.4.19-4) ... Selecting previously unselected package autoconf. Preparing to unpack .../12-autoconf_2.72-3_all.deb ... Unpacking autoconf (2.72-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../15-autopoint_0.22.5-2_all.deb ... Unpacking autopoint (0.22.5-2) ... Selecting previously unselected package python3-scour. Preparing to unpack .../16-python3-scour_0.38.2-5_all.deb ... Unpacking python3-scour (0.38.2-5) ... Selecting previously unselected package scour. Preparing to unpack .../17-scour_0.38.2-5_all.deb ... Unpacking scour (0.38.2-5) ... Selecting previously unselected package cdbs. Preparing to unpack .../18-cdbs_0.4.166_all.deb ... Unpacking cdbs (0.4.166) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../19-dctrl-tools_2.24-3_armhf.deb ... Unpacking dctrl-tools (2.24-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../20-libdebhelper-perl_13.20_all.deb ... Unpacking libdebhelper-perl (13.20) ... Selecting previously unselected package libtool. Preparing to unpack .../21-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../22-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../23-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../24-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../25-dh-strip-nondeterminism_1.14.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.14.0-1) ... Selecting previously unselected package libelf1t64:armhf. Preparing to unpack .../26-libelf1t64_0.191-2_armhf.deb ... Unpacking libelf1t64:armhf (0.191-2) ... Selecting previously unselected package dwz. Preparing to unpack .../27-dwz_0.15-1+b2_armhf.deb ... Unpacking dwz (0.15-1+b2) ... Selecting previously unselected package gettext. Preparing to unpack .../28-gettext_0.22.5-2_armhf.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../29-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../30-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../31-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../32-dh-buildinfo_0.11+nmu3_all.deb ... Unpacking dh-buildinfo (0.11+nmu3) ... Selecting previously unselected package ghc-prof. Preparing to unpack .../33-ghc-prof_9.6.6-2_armhf.deb ... Unpacking ghc-prof (9.6.6-2) ... Selecting previously unselected package libnghttp3-9:armhf. Preparing to unpack .../34-libnghttp3-9_1.4.0-1_armhf.deb ... Unpacking libnghttp3-9:armhf (1.4.0-1) ... Selecting previously unselected package libngtcp2-16:armhf. Preparing to unpack .../35-libngtcp2-16_1.6.0-1_armhf.deb ... Unpacking libngtcp2-16:armhf (1.6.0-1) ... Selecting previously unselected package libngtcp2-crypto-gnutls8:armhf. Preparing to unpack .../36-libngtcp2-crypto-gnutls8_1.6.0-1_armhf.deb ... Unpacking libngtcp2-crypto-gnutls8:armhf (1.6.0-1) ... Selecting previously unselected package libcurl3t64-gnutls:armhf. Preparing to unpack .../37-libcurl3t64-gnutls_8.10.1-2_armhf.deb ... Unpacking libcurl3t64-gnutls:armhf (8.10.1-2) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../38-html-xml-utils_7.7-1.1+b1_armhf.deb ... Unpacking html-xml-utils (7.7-1.1+b1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../39-libparams-util-perl_1.102-3+b1_armhf.deb ... Unpacking libparams-util-perl (1.102-3+b1) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../40-libsub-install-perl_0.929-1_all.deb ... Unpacking libsub-install-perl (0.929-1) ... Selecting previously unselected package libdata-optlist-perl. Preparing to unpack .../41-libdata-optlist-perl_0.114-1_all.deb ... Unpacking libdata-optlist-perl (0.114-1) ... Selecting previously unselected package libsub-exporter-perl. Preparing to unpack .../42-libsub-exporter-perl_0.990-1_all.deb ... Unpacking libsub-exporter-perl (0.990-1) ... Selecting previously unselected package libsub-exporter-progressive-perl. Preparing to unpack .../43-libsub-exporter-progressive-perl_0.001013-3_all.deb ... Unpacking libsub-exporter-progressive-perl (0.001013-3) ... Selecting previously unselected package libconst-fast-perl. Preparing to unpack .../44-libconst-fast-perl_0.014-2_all.deb ... Unpacking libconst-fast-perl (0.014-2) ... Selecting previously unselected package libdevel-confess-perl. Preparing to unpack .../45-libdevel-confess-perl_0.009004-4_all.deb ... Unpacking libdevel-confess-perl (0.009004-4) ... Selecting previously unselected package libipc-run3-perl. Preparing to unpack .../46-libipc-run3-perl_0.049-1_all.deb ... Unpacking libipc-run3-perl (0.049-1) ... Selecting previously unselected package libb-hooks-op-check-perl:armhf. Preparing to unpack .../47-libb-hooks-op-check-perl_0.22-3+b2_armhf.deb ... Unpacking libb-hooks-op-check-perl:armhf (0.22-3+b2) ... Selecting previously unselected package libdynaloader-functions-perl. Preparing to unpack .../48-libdynaloader-functions-perl_0.004-1_all.deb ... Unpacking libdynaloader-functions-perl (0.004-1) ... Selecting previously unselected package libdevel-callchecker-perl:armhf. Preparing to unpack .../49-libdevel-callchecker-perl_0.009-1+b1_armhf.deb ... Unpacking libdevel-callchecker-perl:armhf (0.009-1+b1) ... Selecting previously unselected package libparams-classify-perl:armhf. Preparing to unpack .../50-libparams-classify-perl_0.015-2+b4_armhf.deb ... Unpacking libparams-classify-perl:armhf (0.015-2+b4) ... Selecting previously unselected package libmodule-runtime-perl. Preparing to unpack .../51-libmodule-runtime-perl_0.016-2_all.deb ... Unpacking libmodule-runtime-perl (0.016-2) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../52-libtry-tiny-perl_0.32-1_all.deb ... Unpacking libtry-tiny-perl (0.32-1) ... Selecting previously unselected package libmodule-implementation-perl. Preparing to unpack .../53-libmodule-implementation-perl_0.09-2_all.deb ... Unpacking libmodule-implementation-perl (0.09-2) ... Selecting previously unselected package liblist-someutils-perl. Preparing to unpack .../54-liblist-someutils-perl_0.59-1_all.deb ... Unpacking liblist-someutils-perl (0.59-1) ... Selecting previously unselected package libpath-tiny-perl. Preparing to unpack .../55-libpath-tiny-perl_0.146-1_all.deb ... Unpacking libpath-tiny-perl (0.146-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../56-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libunicode-utf8-perl. Preparing to unpack .../57-libunicode-utf8-perl_0.62-2+b3_armhf.deb ... Unpacking libunicode-utf8-perl (0.62-2+b3) ... Selecting previously unselected package haskell-devscripts-minimal. Preparing to unpack .../58-haskell-devscripts-minimal_0.16.33_all.deb ... Unpacking haskell-devscripts-minimal (0.16.33) ... Selecting previously unselected package hscolour. Preparing to unpack .../59-hscolour_1.25-1_armhf.deb ... Unpacking hscolour (1.25-1) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../60-haskell-devscripts_0.16.33_all.deb ... Unpacking haskell-devscripts (0.16.33) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:armhf (1.5.8-1) ... Setting up libkeyutils1:armhf (1.6.3-3) ... Setting up libunicode-utf8-perl (0.62-2+b3) ... Setting up fonts-mathjax (2.7.9+dfsg-1) ... Setting up libicu72:armhf (72.1-5) ... Setting up bsdextrautils (2.40.2-9) ... Setting up libjs-mathjax (2.7.9+dfsg-1) ... Setting up libdynaloader-functions-perl (0.004-1) ... Setting up libmagic-mgc (1:5.45-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libtirpc-common (1.3.4+ds-1.3) ... Setting up libdebhelper-perl (13.20) ... Setting up libbrotli1:armhf (1.1.0-2+b4) ... Setting up libedit2:armhf (3.1-20240808-1) ... Setting up libmagic1t64:armhf (1:5.45-3) ... Setting up libtry-tiny-perl (0.32-1) ... Setting up libpsl5t64:armhf (0.21.2-1.1) ... Setting up libnghttp2-14:armhf (1.63.0-1) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up libcom-err2:armhf (1.47.1-1) ... Setting up file (1:5.45-3) ... Setting up libffi-dev:armhf (3.4.6-1) ... Setting up libsub-install-perl (0.929-1) ... Setting up libelf1t64:armhf (0.191-2) ... Setting up libkrb5support0:armhf (1.21.3-3) ... Setting up libsasl2-modules-db:armhf (2.1.28+dfsg1-8) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Thu Oct 17 10:32:47 UTC 2024. Universal Time is now: Thu Oct 17 10:32:47 UTC 2024. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... Setting up libz3-4:armhf (4.8.12-3.1+b2) ... Setting up libgmpxx4ldbl:armhf (2:6.3.0+dfsg-2+b1) ... Setting up libpfm4:armhf (4.13.0+git32-g0d4ed0e-1) ... Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b4) ... Setting up libncurses6:armhf (6.5-2) ... Setting up autopoint (0.22.5-2) ... Setting up libb-hooks-op-check-perl:armhf (0.22-3+b2) ... Setting up libk5crypto3:armhf (1.21.3-3) ... Setting up libparams-util-perl (1.102-3+b1) ... Setting up libsasl2-2:armhf (2.1.28+dfsg1-8) ... Setting up autoconf (2.72-3) ... Setting up libnghttp3-9:armhf (1.4.0-1) ... Setting up libsub-exporter-progressive-perl (0.001013-3) ... Setting up libtimedate-perl (2.3300-2) ... Setting up libdevel-confess-perl (0.009004-4) ... Setting up libnuma1:armhf (2.0.18-1) ... Setting up dwz (0.15-1+b2) ... Setting up sensible-utils (0.0.24) ... Setting up libpath-tiny-perl (0.146-1) ... Setting up libuchardet0:armhf (0.0.8-1+b1) ... Setting up libmd-dev:armhf (1.1.0-2) ... Setting up libipc-run3-perl (0.049-1) ... Setting up netbase (6.4) ... Setting up libngtcp2-16:armhf (1.6.0-1) ... Setting up libkrb5-3:armhf (1.21.3-3) ... Setting up libssh2-1t64:armhf (1.11.0-7) ... Setting up readline-common (8.2-5) ... Setting up libxml2:armhf (2.12.7+dfsg+really2.9.14-0.1) ... Setting up libbsd-dev:armhf (0.12.2-2) ... Setting up libngtcp2-crypto-gnutls8:armhf (1.6.0-1) ... Setting up dctrl-tools (2.24-3) ... Setting up libllvm18:armhf (1:18.1.8-12) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.14.0-1) ... Setting up libncurses-dev:armhf (6.5-2) ... Setting up gettext (0.22.5-2) ... Setting up hscolour (1.25-1) ... Setting up libgmp-dev:armhf (2:6.3.0+dfsg-2+b1) ... Setting up libtool (2.4.7-7) ... Setting up libdevel-callchecker-perl:armhf (0.009-1+b1) ... Setting up libldap-2.5-0:armhf (2.5.18+dfsg-3+b1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libnuma-dev:armhf (2.0.18-1) ... Setting up dh-autoreconf (20) ... Setting up libgssapi-krb5-2:armhf (1.21.3-3) ... Setting up libdata-optlist-perl (0.114-1) ... Setting up llvm-18-linker-tools (1:18.1.8-12) ... Setting up libreadline8t64:armhf (8.2-5) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up groff-base (1.23.0-5) ... Setting up llvm-18-runtime (1:18.1.8-12) ... Setting up libsub-exporter-perl (0.990-1) ... Setting up libcurl4t64:armhf (8.10.1-2) ... Setting up libtirpc3t64:armhf (1.3.4+ds-1.3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libparams-classify-perl:armhf (0.015-2+b4) ... Setting up libcurl3t64-gnutls:armhf (8.10.1-2) ... Setting up man-db (2.13.0-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libmodule-runtime-perl (0.016-2) ... Setting up libconst-fast-perl (0.014-2) ... Setting up llvm-18 (1:18.1.8-12) ... Setting up libnsl2:armhf (1.3.0-3+b2) ... Setting up libpython3.12-stdlib:armhf (3.12.7-1) ... Setting up html-xml-utils (7.7-1.1+b1) ... Setting up libmodule-implementation-perl (0.09-2) ... Setting up ghc (9.6.6-2) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Warning: include-dirs: /usr/lib/ghc/lib/../lib/arm-linux-ghc-9.6.6/directory-1.3.8.5/include doesn't exist or isn't a directory Setting up python3.12 (3.12.7-1) ... Setting up liblist-someutils-perl (0.59-1) ... Setting up debhelper (13.20) ... Setting up ghc-doc (9.6.6-2) ... Setting up dh-buildinfo (0.11+nmu3) ... Setting up libpython3-stdlib:armhf (3.12.6-1) ... Setting up ghc-prof (9.6.6-2) ... Setting up python3 (3.12.6-1) ... Setting up python3-scour (0.38.2-5) ... Setting up scour (0.38.2-5) ... Setting up cdbs (0.4.166) ... Setting up haskell-devscripts-minimal (0.16.33) ... Setting up haskell-devscripts (0.16.33) ... Processing triggers for libc-bin (2.40-3) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/reproducible-path/haskell-smtlib-1.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../haskell-smtlib_1.1-4_source.changes dpkg-buildpackage: info: source package haskell-smtlib dpkg-buildpackage: info: source version 1.1-4 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Ilias Tsitsimpis dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf debian/rules clean test -x debian/rules dh_clean perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'clean_recipe' Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/tmp-setup-hs Running rm -f debian/hlibrary.setup Running rm -f Setup.hi Setup.ho Setup.o Running rm -f rm -f configure-ghc-stamp rm -f build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -f check-ghc-stamp rm -f debian/tmp rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs rm -rf debian/tmp-db rm -f debian/hlibrary.Makefile debian/rules binary test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." CDBS WARNING: DEB_DH_STRIP_ARGS is deprecated since 0.4.85 CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 Adding cdbs dependencies to debian/libghc-smtlib-doc.substvars dh_installdirs -plibghc-smtlib-doc \ perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'make_setup_recipe' Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 2] Compiling Main ( Setup.hs, Setup.o ) [2 of 2] Linking debian/hlibrary.setup perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'configure_recipe' Running find . ! -newer /tmp/lpiL9BcADi -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Running dpkg-buildflags --get LDFLAGS -Wl,-z,relro Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl,-z,relro --haddockdir=/usr/lib/ghc-doc/haddock/smtlib-1.1/ --datasubdir=smtlib --htmldir=/usr/share/doc/libghc-smtlib-doc/html/ --enable-library-profiling Using Parsec parser Configuring smtLib-1.1... Dependency base >=4.5 && <5: using base-4.18.2.1 Dependency pretty: using pretty-1.1.3.6 Source component graph: component lib Configured component graph: component smtLib-1.1-D27URwuT81KDy5u1TRGM2K include base-4.18.2.1 include pretty-1.1.3.6 Linked component graph: unit smtLib-1.1-D27URwuT81KDy5u1TRGM2K include base-4.18.2.1 include pretty-1.1.3.6 SMTLib1=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib1,SMTLib1.QF_AUFBV=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib1.QF_AUFBV,SMTLib1.QF_BV=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib1.QF_BV,SMTLib2=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib2,SMTLib2.Array=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib2.Array,SMTLib2.BitVector=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib2.BitVector,SMTLib2.Compat1=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib2.Compat1,SMTLib2.Core=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib2.Core,SMTLib2.Int=smtLib-1.1-D27URwuT81KDy5u1TRGM2K:SMTLib2.Int Ready component graph: definite smtLib-1.1-D27URwuT81KDy5u1TRGM2K depends base-4.18.2.1 depends pretty-1.1.3.6 Using Cabal-3.10.3.0 compiled by ghc-9.6 Using compiler: ghc-9.6.6 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6 Private executables installed in: /usr/lib/arm-linux-ghc-9.6.6/smtLib-1.1 Data files installed in: /usr/share/smtlib Documentation installed in: /usr/share/doc/arm-linux-ghc-9.6.6/smtLib-1.1 Configuration files installed in: /usr/etc No alex found Using ar found on system at: /usr/bin/arm-linux-gnueabihf-ar No c2hs found No cpphs found No doctest found Using gcc version 14 found on system at: /usr/bin/arm-linux-gnueabihf-gcc Using ghc version 9.6.6 found on system at: /usr/bin/ghc Using ghc-pkg version 9.6.6 found on system at: /usr/bin/ghc-pkg-9.6.6 No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.29.2 found on system at: /usr/bin/haddock-ghc-9.6.6 No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.68 found on system at: /usr/bin/hpc-ghc-9.6.6 Using hsc2hs version 0.68.9 found on system at: /usr/bin/hsc2hs-ghc-9.6.6 Using hscolour version 1.25 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/arm-linux-gnueabihf-ld.gold No pkg-config found Using runghc version 9.6.6 found on system at: /usr/bin/runghc-9.6.6 Using strip version 2.43 found on system at: /usr/bin/strip Using tar found on system at: /usr/bin/tar No uhc found touch configure-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'build_recipe' Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Preprocessing library for smtLib-1.1.. Building library for smtLib-1.1.. [ 1 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist-ghc/build/SMTLib1/AST.o, dist-ghc/build/SMTLib1/AST.dyn_o ) [ 2 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist-ghc/build/SMTLib1/PP.o, dist-ghc/build/SMTLib1/PP.dyn_o ) [ 3 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist-ghc/build/SMTLib1.o, dist-ghc/build/SMTLib1.dyn_o ) [ 4 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist-ghc/build/SMTLib1/QF_BV.o, dist-ghc/build/SMTLib1/QF_BV.dyn_o ) [ 5 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist-ghc/build/SMTLib1/QF_AUFBV.o, dist-ghc/build/SMTLib1/QF_AUFBV.dyn_o ) [ 6 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist-ghc/build/SMTLib2/AST.o, dist-ghc/build/SMTLib2/AST.dyn_o ) [ 7 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist-ghc/build/SMTLib2/Array.o, dist-ghc/build/SMTLib2/Array.dyn_o ) [ 8 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist-ghc/build/SMTLib2/BitVector.o, dist-ghc/build/SMTLib2/BitVector.dyn_o ) [ 9 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist-ghc/build/SMTLib2/Core.o, dist-ghc/build/SMTLib2/Core.dyn_o ) [10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist-ghc/build/SMTLib2/Compat1.o, dist-ghc/build/SMTLib2/Compat1.dyn_o ) src/SMTLib2/Compat1.hs:9:1: warning: [-Wunused-imports] The import of `Control.Applicative' is redundant except perhaps to import instances from `Control.Applicative' To import instances alone, use: import Control.Applicative() | 9 | import Control.Applicative(Applicative(..), (<$>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/SMTLib2/Compat1.hs:10:1: warning: [-Wunused-imports] The import of `Data.Traversable' is redundant except perhaps to import instances from `Data.Traversable' To import instances alone, use: import Data.Traversable() | 10 | import Data.Traversable(traverse) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [11 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist-ghc/build/SMTLib2/Int.o, dist-ghc/build/SMTLib2/Int.dyn_o ) [12 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist-ghc/build/SMTLib2/PP.o, dist-ghc/build/SMTLib2/PP.dyn_o ) [13 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist-ghc/build/SMTLib2.o, dist-ghc/build/SMTLib2.dyn_o ) [ 1 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist-ghc/build/SMTLib1/AST.p_o ) [ 2 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist-ghc/build/SMTLib1/PP.p_o ) [ 3 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist-ghc/build/SMTLib1.p_o ) [ 4 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist-ghc/build/SMTLib1/QF_BV.p_o ) [ 5 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist-ghc/build/SMTLib1/QF_AUFBV.p_o ) [ 6 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist-ghc/build/SMTLib2/AST.p_o ) [ 7 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist-ghc/build/SMTLib2/Array.p_o ) [ 8 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist-ghc/build/SMTLib2/BitVector.p_o ) [ 9 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist-ghc/build/SMTLib2/Core.p_o ) [10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist-ghc/build/SMTLib2/Compat1.p_o ) src/SMTLib2/Compat1.hs:9:1: warning: [-Wunused-imports] The import of `Control.Applicative' is redundant except perhaps to import instances from `Control.Applicative' To import instances alone, use: import Control.Applicative() | 9 | import Control.Applicative(Applicative(..), (<$>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/SMTLib2/Compat1.hs:10:1: warning: [-Wunused-imports] The import of `Data.Traversable' is redundant except perhaps to import instances from `Data.Traversable' To import instances alone, use: import Data.Traversable() | 10 | import Data.Traversable(traverse) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [11 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist-ghc/build/SMTLib2/Int.p_o ) [12 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist-ghc/build/SMTLib2/PP.p_o ) [13 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist-ghc/build/SMTLib2.p_o ) touch build-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'check_recipe' DEB_ENABLE_TESTS not set to yes, not running any build-time tests. touch check-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'haddock_recipe' Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Running debian/hlibrary.setup haddock --builddir=dist-ghc --with-haddock=/usr/bin/haddock --with-ghc=ghc --verbose=2 --html --hoogle --haddock-options="--mathjax=file:///usr/share/javascript/mathjax/MathJax.js" --hyperlink-source Running: /usr/bin/haddock --version Running: /usr/bin/ghc --numeric-version Running: /usr/bin/ghc --print-libdir Running: /usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' Running: /usr/bin/ghc-pkg-9.6.6 init dist-ghc/package.conf.inplace creating dist-ghc/build creating dist-ghc/build/autogen creating dist-ghc/build/autogen creating dist-ghc/build/autogen Preprocessing library for smtLib-1.1.. Running Haddock on library for smtLib-1.1.. creating dist-ghc/doc/html/smtLib creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/smtLib Running: /usr/bin/haddock '@dist-ghc/doc/html/smtLib/haddock-response31196-1.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' 7% ( 2 / 27) in 'SMTLib1' Missing documentation for: Module header Name (src/SMTLib1/AST.hs:18) Ident (src/SMTLib1/AST.hs:21) Quant (src/SMTLib1/AST.hs:24) Conn (src/SMTLib1/AST.hs:27) Formula (src/SMTLib1/AST.hs:30) Sort (src/SMTLib1/AST.hs:41) Binder (src/SMTLib1/AST.hs:43) Term (src/SMTLib1/AST.hs:46) Literal (src/SMTLib1/AST.hs:53) Annot (src/SMTLib1/AST.hs:58) FunDecl (src/SMTLib1/AST.hs:61) PredDecl (src/SMTLib1/AST.hs:68) Status (src/SMTLib1/AST.hs:74) Command (src/SMTLib1/AST.hs:77) Script (src/SMTLib1/AST.hs:90) === (src/SMTLib1/AST.hs:121) =/= (src/SMTLib1/AST.hs:124) tInt (src/SMTLib1/AST.hs:135) funDef (src/SMTLib1/AST.hs:138) constDef (src/SMTLib1/AST.hs:145) logic (src/SMTLib1/AST.hs:149) assume (src/SMTLib1/AST.hs:152) goal (src/SMTLib1/AST.hs:155) PP (src/SMTLib1/PP.hs:8) 9% ( 4 / 41) in 'SMTLib1.QF_BV' Missing documentation for: Module header repeat (src/SMTLib1/QF_BV.hs:95) tBitVec (src/SMTLib1/QF_BV.hs:8) isBitVec (src/SMTLib1/QF_BV.hs:11) extract (src/SMTLib1/QF_BV.hs:27) bvnot (src/SMTLib1/QF_BV.hs:30) bvand (src/SMTLib1/QF_BV.hs:33) bvor (src/SMTLib1/QF_BV.hs:36) bvneg (src/SMTLib1/QF_BV.hs:39) bvadd (src/SMTLib1/QF_BV.hs:42) bvmul (src/SMTLib1/QF_BV.hs:45) bvudiv (src/SMTLib1/QF_BV.hs:48) bvurem (src/SMTLib1/QF_BV.hs:51) bvshl (src/SMTLib1/QF_BV.hs:54) bvlshr (src/SMTLib1/QF_BV.hs:57) bv (src/SMTLib1/QF_BV.hs:61) bvnand (src/SMTLib1/QF_BV.hs:65) bvnor (src/SMTLib1/QF_BV.hs:68) bvxor (src/SMTLib1/QF_BV.hs:71) bvxnor (src/SMTLib1/QF_BV.hs:74) bvcomp (src/SMTLib1/QF_BV.hs:77) bvsub (src/SMTLib1/QF_BV.hs:80) bvsdiv (src/SMTLib1/QF_BV.hs:83) bvsrem (src/SMTLib1/QF_BV.hs:86) bvsmod (src/SMTLib1/QF_BV.hs:89) bvashr (src/SMTLib1/QF_BV.hs:92) zero_extend (src/SMTLib1/QF_BV.hs:98) sign_extend (src/SMTLib1/QF_BV.hs:101) rotate_left (src/SMTLib1/QF_BV.hs:104) rotate_right (src/SMTLib1/QF_BV.hs:107) bvule (src/SMTLib1/QF_BV.hs:110) bvugt (src/SMTLib1/QF_BV.hs:113) bvuge (src/SMTLib1/QF_BV.hs:116) bvslt (src/SMTLib1/QF_BV.hs:119) bvsle (src/SMTLib1/QF_BV.hs:122) bvsgt (src/SMTLib1/QF_BV.hs:125) bvsge (src/SMTLib1/QF_BV.hs:128) Warning: 'i' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 80% ( 4 / 5) in 'SMTLib1.QF_AUFBV' Missing documentation for: Module header 0% ( 0 / 4) in 'SMTLib2.Array' Missing documentation for: Module header tArray (src/SMTLib2/Array.hs:6) select (src/SMTLib2/Array.hs:9) store (src/SMTLib2/Array.hs:12) 0% ( 0 / 38) in 'SMTLib2.BitVector' Missing documentation for: Module header tBitVec (src/SMTLib2/BitVector.hs:6) bv (src/SMTLib2/BitVector.hs:9) concat (src/SMTLib2/BitVector.hs:12) extract (src/SMTLib2/BitVector.hs:15) bvnot (src/SMTLib2/BitVector.hs:18) bvand (src/SMTLib2/BitVector.hs:21) bvor (src/SMTLib2/BitVector.hs:24) bvneg (src/SMTLib2/BitVector.hs:27) bvadd (src/SMTLib2/BitVector.hs:30) bvmul (src/SMTLib2/BitVector.hs:33) bvudiv (src/SMTLib2/BitVector.hs:36) bvurem (src/SMTLib2/BitVector.hs:39) bvshl (src/SMTLib2/BitVector.hs:42) bvlshr (src/SMTLib2/BitVector.hs:45) bvult (src/SMTLib2/BitVector.hs:48) bvnand (src/SMTLib2/BitVector.hs:51) bvnor (src/SMTLib2/BitVector.hs:54) bvxor (src/SMTLib2/BitVector.hs:57) bvxnor (src/SMTLib2/BitVector.hs:60) bvcomp (src/SMTLib2/BitVector.hs:63) bvsub (src/SMTLib2/BitVector.hs:66) bvsdiv (src/SMTLib2/BitVector.hs:69) bvsrem (src/SMTLib2/BitVector.hs:72) bvsmod (src/SMTLib2/BitVector.hs:75) bvashr (src/SMTLib2/BitVector.hs:78) repeat (src/SMTLib2/BitVector.hs:81) zero_extend (src/SMTLib2/BitVector.hs:84) sign_extend (src/SMTLib2/BitVector.hs:87) rotate_left (src/SMTLib2/BitVector.hs:90) rotate_right (src/SMTLib2/BitVector.hs:93) bvule (src/SMTLib2/BitVector.hs:96) bvugt (src/SMTLib2/BitVector.hs:99) bvuge (src/SMTLib2/BitVector.hs:102) bvslt (src/SMTLib2/BitVector.hs:105) bvsle (src/SMTLib2/BitVector.hs:108) bvsgt (src/SMTLib2/BitVector.hs:111) bvsge (src/SMTLib2/BitVector.hs:114) 0% ( 0 / 12) in 'SMTLib2.Core' Missing documentation for: Module header tBool (src/SMTLib2/Core.hs:6) true (src/SMTLib2/Core.hs:9) false (src/SMTLib2/Core.hs:12) not (src/SMTLib2/Core.hs:15) ==> (src/SMTLib2/Core.hs:18) and (src/SMTLib2/Core.hs:21) or (src/SMTLib2/Core.hs:24) xor (src/SMTLib2/Core.hs:27) === (src/SMTLib2/Core.hs:30) =/= (src/SMTLib2/Core.hs:33) ite (src/SMTLib2/Core.hs:36) 0% ( 0 / 16) in 'SMTLib2.Compat1' Missing documentation for: Module header Trans (src/SMTLib2/Compat1.hs:14) toMaybe (src/SMTLib2/Compat1.hs:16) toEither (src/SMTLib2/Compat1.hs:22) err (src/SMTLib2/Compat1.hs:42) name (src/SMTLib2/Compat1.hs:47) ident (src/SMTLib2/Compat1.hs:50) quant (src/SMTLib2/Compat1.hs:53) binder (src/SMTLib2/Compat1.hs:59) sort (src/SMTLib2/Compat1.hs:64) literal (src/SMTLib2/Compat1.hs:67) term (src/SMTLib2/Compat1.hs:74) formula (src/SMTLib2/Compat1.hs:84) annot (src/SMTLib2/Compat1.hs:122) command (src/SMTLib2/Compat1.hs:130) script (src/SMTLib2/Compat1.hs:178) 0% ( 0 / 14) in 'SMTLib2.Int' Missing documentation for: Module header tInt (src/SMTLib2/Int.hs:6) num (src/SMTLib2/Int.hs:9) nNeg (src/SMTLib2/Int.hs:12) nSub (src/SMTLib2/Int.hs:15) nAdd (src/SMTLib2/Int.hs:18) nMul (src/SMTLib2/Int.hs:21) nDiv (src/SMTLib2/Int.hs:24) nMod (src/SMTLib2/Int.hs:27) nAbs (src/SMTLib2/Int.hs:30) nLeq (src/SMTLib2/Int.hs:33) nLt (src/SMTLib2/Int.hs:36) nGeq (src/SMTLib2/Int.hs:39) nGt (src/SMTLib2/Int.hs:42) 0% ( 0 / 17) in 'SMTLib2' Missing documentation for: Module header Script (src/SMTLib2/AST.hs:105) Binder (src/SMTLib2/AST.hs:27) Defn (src/SMTLib2/AST.hs:30) Type (src/SMTLib2/AST.hs:39) Expr (src/SMTLib2/AST.hs:43) Name (src/SMTLib2/AST.hs:18) Ident (src/SMTLib2/AST.hs:21) Quant (src/SMTLib2/AST.hs:24) Literal (src/SMTLib2/AST.hs:33) Attr (src/SMTLib2/AST.hs:50) AttrVal (src/SMTLib2/AST.hs:53) Command (src/SMTLib2/AST.hs:82) Option (src/SMTLib2/AST.hs:56) InfoFlag (src/SMTLib2/AST.hs:71) app (src/SMTLib2/AST.hs:137) PP (src/SMTLib2/PP.hs:10) Documentation created: dist-ghc/doc/html/smtLib/, dist-ghc/doc/html/smtLib/smtLib.txt Running: /usr/bin/ghc-pkg-9.6.6 recache '--package-db=dist-ghc/package.conf.inplace' touch build-haddock-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'install_recipe($ARGV[0])' "debian/tmp-inst-ghc" Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Running debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp : dh_haskell_install_htmldocs --package=libghc-smtlib-doc --source-dir="debian/tmp-inst-ghc" Running find ./usr/share/doc/libghc-smtlib-doc/html/ ! -name *.haddock ! -type d -exec install -D --mode=644 {} /build/reproducible-path/haskell-smtlib-1.1/debian/libghc-smtlib-doc/{} ; dh_haskell_install_haddock --package=libghc-smtlib-doc --source-dir="debian/tmp-inst-ghc" Running mkdir --parents debian/libghc-smtlib-doc/usr/lib/ghc-doc/haddock/smtlib-1.1/ Running cp --recursive debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock debian/libghc-smtlib-doc/usr/lib/ghc-doc/haddock/smtlib-1.1/ dh_haskell_depends_haddock --package=libghc-smtlib-doc Running haddock --interface-version 42 dh_haskell_recommends_documentation_references --package=libghc-smtlib-doc Finding all links in the documentation in installable libghc-smtlib-doc. dh_haskell_suggests --package=libghc-smtlib-doc dh_haskell_blurbs --package=libghc-smtlib-doc --type=doc dh_haskell_description --package=libghc-smtlib-doc Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control A library for working with the SMTLIB format. dh_haskell_compiler --package=libghc-smtlib-doc Running dpkg-query --showformat=${Version} --show ghc 9.6.6-2 dh_installdocs -plibghc-smtlib-doc dh_installexamples -plibghc-smtlib-doc dh_installman -plibghc-smtlib-doc dh_installinfo -plibghc-smtlib-doc dh_installmenu -plibghc-smtlib-doc dh_installcron -plibghc-smtlib-doc dh_systemd_enable -plibghc-smtlib-doc dh_installinit -plibghc-smtlib-doc dh_installdebconf -plibghc-smtlib-doc dh_installemacsen -plibghc-smtlib-doc dh_installcatalogs -plibghc-smtlib-doc dh_installpam -plibghc-smtlib-doc dh_installlogrotate -plibghc-smtlib-doc dh_installlogcheck -plibghc-smtlib-doc dh_installchangelogs -plibghc-smtlib-doc ./CHANGES dh_installudev -plibghc-smtlib-doc dh_lintian -plibghc-smtlib-doc dh_bugfiles -plibghc-smtlib-doc dh_install -plibghc-smtlib-doc dh_systemd_start -plibghc-smtlib-doc dh_link -plibghc-smtlib-doc dh_buildinfo -plibghc-smtlib-doc dh_installmime -plibghc-smtlib-doc dh_installgsettings -plibghc-smtlib-doc dh_strip -plibghc-smtlib-doc --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-smtlib-doc dh_compress -plibghc-smtlib-doc -X .haddock -X .hs -X .txt dh_fixperms -plibghc-smtlib-doc dh_makeshlibs -plibghc-smtlib-doc -XlibHS dh_installdeb -plibghc-smtlib-doc dh_perl -plibghc-smtlib-doc dh_shlibdeps -plibghc-smtlib-doc -- --ignore-missing-info dh_gencontrol -plibghc-smtlib-doc dpkg-gencontrol: warning: Conflicts field of package libghc-smtlib-doc: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-smtlib-doc: substitution variable ${haskell:ghc-version} unused, but is defined # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-smtlib-doc ; fi dh_md5sums -plibghc-smtlib-doc dh_builddeb -plibghc-smtlib-doc dpkg-deb: building package 'libghc-smtlib-doc' in '../libghc-smtlib-doc_1.1-4_all.deb'. Adding cdbs dependencies to debian/libghc-smtlib-dev.substvars dh_installdirs -plibghc-smtlib-dev \ : dh_haskell_install_ghc_registration --package=libghc-smtlib-dev Running install -D --mode=644 smtLib-1.1.conf debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf Running: /usr/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist-ghc/build -odir dist-ghc/build -hidir dist-ghc/build -stubdir dist-ghc/build -i -idist-ghc/build -isrc -idist-ghc/build/autogen -idist-ghc/build/global-autogen -Idist-ghc/build/autogen -Idist-ghc/build/global-autogen -Idist-ghc/build -optP-include -optPdist-ghc/build/autogen/cabal_macros.h -this-unit-id smtLib-1.1-D27URwuT81KDy5u1TRGM2K -hide-all-packages -Wmissing-home-modules -no-user-package-db -package-db /var/lib/ghc/package.conf.d -package-db dist-ghc/package.conf.inplace -package-id base-4.18.2.1 -package-id pretty-1.1.3.6 -XHaskell98 SMTLib1 SMTLib1.QF_BV SMTLib1.QF_AUFBV SMTLib2 SMTLib2.Compat1 SMTLib2.Core SMTLib2.BitVector SMTLib2.Array SMTLib2.Int -O2 -Wall -optl-Wl,-z,relro name: smtLib version: 1.1 visibility: public id: smtLib-1.1-D27URwuT81KDy5u1TRGM2K key: smtLib-1.1-D27URwuT81KDy5u1TRGM2K license: BSD-3-Clause maintainer: iavor.diatchki@gmail.com author: Iavor S. Diatchki synopsis: A library for working with the SMTLIB format. description: A library for working with the SMTLIB format. category: SMT abi: 8fd65678d53ccbb4036f4a83cf4dd787 exposed: True exposed-modules: SMTLib1 SMTLib1.QF_AUFBV SMTLib1.QF_BV SMTLib2 SMTLib2.Array SMTLib2.BitVector SMTLib2.Compat1 SMTLib2.Core SMTLib2.Int hidden-modules: SMTLib1.AST SMTLib1.PP SMTLib2.AST SMTLib2.PP import-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs-static: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6 data-dir: /usr/share/smtlib hs-libraries: HSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K depends: base-4.18.2.1 pretty-1.1.3.6 haddock-interfaces: /usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock haddock-html: /usr/share/doc/libghc-smtlib-doc/html/ Creating package registration file: smtLib-1.1.conf Running rm -rf smtLib-1.1.conf dh_haskell_install_development_libs --package=libghc-smtlib-dev --source-dir="debian/tmp-inst-ghc" Running find ./usr/lib/haskell-packages/ghc/lib ( ! -name *_p.a ! -name *.p_hi ! -type d ) -exec install -D --mode=644 {} /build/reproducible-path/haskell-smtlib-1.1/debian/libghc-smtlib-dev/{} ; dh_haskell_provides_ghc --package=libghc-smtlib-dev Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 id smtLib-1.1-D27URwuT81KDy5u1TRGM2K Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-D27URwuT81KDy5u1TRGM2K name smtLib Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-D27URwuT81KDy5u1TRGM2K version 1.1 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-D27URwuT81KDy5u1TRGM2K abi 8fd65678d53ccbb4036f4a83cf4dd787 dh_haskell_depends_cabal --package=libghc-smtlib-dev Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 depends base-4.18.2.1 pretty-1.1.3.6 Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 name base Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 version 4.18.2.1 Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 abi 3be9b176819cfc53de3d2c7368404393 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 name pretty Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 version 1.1.3.6 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 abi 909c8b8de427bcd789b591f49c2971c0 dh_haskell_extra_depends_ghc --package=libghc-smtlib-dev --type=dev Running cp smtLib-1.1.conf debian/tmp-db Running: /usr/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist-ghc/build -odir dist-ghc/build -hidir dist-ghc/build -stubdir dist-ghc/build -i -idist-ghc/build -isrc -idist-ghc/build/autogen -idist-ghc/build/global-autogen -Idist-ghc/build/autogen -Idist-ghc/build/global-autogen -Idist-ghc/build -optP-include -optPdist-ghc/build/autogen/cabal_macros.h -this-unit-id smtLib-1.1-D27URwuT81KDy5u1TRGM2K -hide-all-packages -Wmissing-home-modules -no-user-package-db -package-db /var/lib/ghc/package.conf.d -package-db dist-ghc/package.conf.inplace -package-id base-4.18.2.1 -package-id pretty-1.1.3.6 -XHaskell98 SMTLib1 SMTLib1.QF_BV SMTLib1.QF_AUFBV SMTLib2 SMTLib2.Compat1 SMTLib2.Core SMTLib2.BitVector SMTLib2.Array SMTLib2.Int -O2 -Wall -optl-Wl,-z,relro name: smtLib version: 1.1 visibility: public id: smtLib-1.1-D27URwuT81KDy5u1TRGM2K key: smtLib-1.1-D27URwuT81KDy5u1TRGM2K license: BSD-3-Clause maintainer: iavor.diatchki@gmail.com author: Iavor S. Diatchki synopsis: A library for working with the SMTLIB format. description: A library for working with the SMTLIB format. category: SMT abi: 8fd65678d53ccbb4036f4a83cf4dd787 exposed: True exposed-modules: SMTLib1 SMTLib1.QF_AUFBV SMTLib1.QF_BV SMTLib2 SMTLib2.Array SMTLib2.BitVector SMTLib2.Compat1 SMTLib2.Core SMTLib2.Int hidden-modules: SMTLib1.AST SMTLib1.PP SMTLib2.AST SMTLib2.PP import-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs-static: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6 data-dir: /usr/share/smtlib hs-libraries: HSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K depends: base-4.18.2.1 pretty-1.1.3.6 haddock-interfaces: /usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock haddock-html: /usr/share/doc/libghc-smtlib-doc/html/ Creating package registration file: smtLib-1.1.conf Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 depends base-4.18.2.1 pretty-1.1.3.6 Running rm -rf smtLib-1.1.conf dh_haskell_shlibdeps --package=libghc-smtlib-dev Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 library-dirs /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 extra-libraries Running gcc -L/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-smtlib-dev.substvars debian/dh_haskell_shlibdeps/probe dh_haskell_blurbs --package=libghc-smtlib-dev --type=dev dh_haskell_description --package=libghc-smtlib-dev Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control A library for working with the SMTLIB format. dh_haskell_compiler --package=libghc-smtlib-dev Running dpkg-query --showformat=${Version} --show ghc 9.6.6-2 Adding cdbs dependencies to debian/libghc-smtlib-prof.substvars dh_installdirs -plibghc-smtlib-prof \ dh_haskell_install_profiling_libs --package=libghc-smtlib-prof --source-dir="debian/tmp-inst-ghc" Running find ./usr/lib/haskell-packages/ghc/lib ( -name *_p.a -o -name *.p_hi ) -exec install -D --mode=644 {} /build/reproducible-path/haskell-smtlib-1.1/debian/libghc-smtlib-prof/{} ; dh_haskell_provides_ghc --package=libghc-smtlib-prof --config-shipper="libghc-smtlib-dev" Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 id smtLib-1.1-D27URwuT81KDy5u1TRGM2K Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-D27URwuT81KDy5u1TRGM2K name smtLib Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-D27URwuT81KDy5u1TRGM2K version 1.1 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-D27URwuT81KDy5u1TRGM2K abi 8fd65678d53ccbb4036f4a83cf4dd787 dh_haskell_depends_cabal --package=libghc-smtlib-prof --config-shipper="libghc-smtlib-dev" Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 depends base-4.18.2.1 pretty-1.1.3.6 Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 name base Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 version 4.18.2.1 Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 abi 3be9b176819cfc53de3d2c7368404393 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 name pretty Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 version 1.1.3.6 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 abi 909c8b8de427bcd789b591f49c2971c0 dh_haskell_blurbs --package=libghc-smtlib-prof --type=prof dh_haskell_description --package=libghc-smtlib-prof Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control A library for working with the SMTLIB format. dh_haskell_compiler --package=libghc-smtlib-prof Running dpkg-query --showformat=${Version} --show ghc 9.6.6-2 dh_installdocs -plibghc-smtlib-dev dh_installexamples -plibghc-smtlib-dev dh_installman -plibghc-smtlib-dev dh_installinfo -plibghc-smtlib-dev dh_installmenu -plibghc-smtlib-dev dh_installcron -plibghc-smtlib-dev dh_systemd_enable -plibghc-smtlib-dev dh_installinit -plibghc-smtlib-dev dh_installdebconf -plibghc-smtlib-dev dh_installemacsen -plibghc-smtlib-dev dh_installcatalogs -plibghc-smtlib-dev dh_installpam -plibghc-smtlib-dev dh_installlogrotate -plibghc-smtlib-dev dh_installlogcheck -plibghc-smtlib-dev dh_installchangelogs -plibghc-smtlib-dev ./CHANGES dh_installudev -plibghc-smtlib-dev dh_lintian -plibghc-smtlib-dev dh_bugfiles -plibghc-smtlib-dev dh_install -plibghc-smtlib-dev dh_systemd_start -plibghc-smtlib-dev dh_link -plibghc-smtlib-dev dh_buildinfo -plibghc-smtlib-dev dh_installmime -plibghc-smtlib-dev dh_installgsettings -plibghc-smtlib-dev dh_installdocs -plibghc-smtlib-prof dh_installexamples -plibghc-smtlib-prof dh_installman -plibghc-smtlib-prof dh_installinfo -plibghc-smtlib-prof dh_installmenu -plibghc-smtlib-prof dh_installcron -plibghc-smtlib-prof dh_systemd_enable -plibghc-smtlib-prof dh_installinit -plibghc-smtlib-prof dh_installdebconf -plibghc-smtlib-prof dh_installemacsen -plibghc-smtlib-prof dh_installcatalogs -plibghc-smtlib-prof dh_installpam -plibghc-smtlib-prof dh_installlogrotate -plibghc-smtlib-prof dh_installlogcheck -plibghc-smtlib-prof dh_installchangelogs -plibghc-smtlib-prof ./CHANGES dh_installudev -plibghc-smtlib-prof dh_lintian -plibghc-smtlib-prof dh_bugfiles -plibghc-smtlib-prof dh_install -plibghc-smtlib-prof dh_systemd_start -plibghc-smtlib-prof dh_link -plibghc-smtlib-prof dh_buildinfo -plibghc-smtlib-prof dh_installmime -plibghc-smtlib-prof dh_installgsettings -plibghc-smtlib-prof dh_strip -plibghc-smtlib-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-smtlib-dev dh_compress -plibghc-smtlib-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-smtlib-dev dh_makeshlibs -plibghc-smtlib-dev -XlibHS dh_strip -plibghc-smtlib-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-smtlib-prof dh_compress -plibghc-smtlib-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-smtlib-prof dh_makeshlibs -plibghc-smtlib-prof -XlibHS dh_installdeb -plibghc-smtlib-dev dh_perl -plibghc-smtlib-dev dh_shlibdeps -plibghc-smtlib-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so contains an unresolvable reference to symbol stg_gc_noregs: it's probably a plugin dpkg-shlibdeps: warning: 29 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so was not linked against libm.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so was not linked against libHSdeepseq-1.4.8.1-ghc9.6.6.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so was not linked against libgmp.so.10 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so was not linked against libHSarray-0.5.6.0-ghc9.6.6.so (it uses none of the library's symbols) dh_installdeb -plibghc-smtlib-prof dh_perl -plibghc-smtlib-prof dh_shlibdeps -plibghc-smtlib-prof -- --ignore-missing-info dh_gencontrol -plibghc-smtlib-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Recommends field of package libghc-smtlib-dev: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-smtlib-dev: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-smtlib-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-smtlib-dev: substitution variable ${haskell:ghc-version} unused, but is defined # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-smtlib-dev ; fi dh_md5sums -plibghc-smtlib-dev dh_builddeb -plibghc-smtlib-dev dpkg-deb: building package 'libghc-smtlib-dev' in '../libghc-smtlib-dev_1.1-4_armhf.deb'. dh_gencontrol -plibghc-smtlib-prof dpkg-gencontrol: warning: Recommends field of package libghc-smtlib-prof: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-smtlib-prof: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-smtlib-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-smtlib-prof: substitution variable ${haskell:ghc-package} unused, but is defined dpkg-gencontrol: warning: package libghc-smtlib-prof: substitution variable ${haskell:ghc-version} unused, but is defined # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-smtlib-prof ; fi dh_md5sums -plibghc-smtlib-prof dh_builddeb -plibghc-smtlib-prof dpkg-deb: building package 'libghc-smtlib-prof' in '../libghc-smtlib-prof_1.1-4_armhf.deb'. dpkg-genbuildinfo --build=binary -O../haskell-smtlib_1.1-4_armhf.buildinfo dpkg-genchanges --build=binary -O../haskell-smtlib_1.1-4_armhf.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/29955 and its subdirectories I: Current time: Wed Oct 16 23:20:22 -12 2024 I: pbuilder-time-stamp: 1729164022 Thu Oct 17 11:20:31 UTC 2024 I: 1st build successful. Starting 2nd build on remote node virt32b-armhf-rb.debian.net. Thu Oct 17 11:20:31 UTC 2024 I: Preparing to do remote build '2' on virt32b-armhf-rb.debian.net. Thu Oct 17 11:35:26 UTC 2024 I: Deleting $TMPDIR on virt32b-armhf-rb.debian.net. Thu Oct 17 11:35:31 UTC 2024 I: haskell-smtlib_1.1-4_armhf.changes: Format: 1.8 Date: Sat, 14 Sep 2024 22:49:03 +0300 Source: haskell-smtlib Binary: libghc-smtlib-dev libghc-smtlib-doc libghc-smtlib-prof Architecture: armhf all Version: 1.1-4 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group Changed-By: Ilias Tsitsimpis Description: libghc-smtlib-dev - libghc-smtlib-doc - libghc-smtlib-prof - Changes: haskell-smtlib (1.1-4) unstable; urgency=medium . * Declare compliance with Debian policy 4.7.0 * Sourceful upload for GHC 9.6 Checksums-Sha1: 4f0b974d046db0a6013bee509e8bbb86bb43f472 7930 haskell-smtlib_1.1-4_armhf.buildinfo 1ca934649eb2b860d7c8934167f9a300ff9ec9ba 508400 libghc-smtlib-dev_1.1-4_armhf.deb dc3d96077fe14711daebb0c658ff0db620eb2a28 95764 libghc-smtlib-doc_1.1-4_all.deb d971b7edcbdef51bd5c9fe462e2c4b7d4fbf805a 481776 libghc-smtlib-prof_1.1-4_armhf.deb Checksums-Sha256: 0eebdb8008c660b49bae4f34d1ac2ac9ca3f1d2415c955fe140d0511f6639750 7930 haskell-smtlib_1.1-4_armhf.buildinfo 58f6fb3875d2d023538979ee35b8f280f88d25e6dd916a6329ad343803b2cf1a 508400 libghc-smtlib-dev_1.1-4_armhf.deb b20b44f2d5d47827bb38940d62a7227e87fa9489e044d92d5e685036cf6184ba 95764 libghc-smtlib-doc_1.1-4_all.deb 0037e1a7aaac2d74c8f1362dbf146c5f911478f6d00c320b8c5af5e078d73561 481776 libghc-smtlib-prof_1.1-4_armhf.deb Files: d99aa0eea816ffdc70b2494fee8212a5 7930 haskell optional haskell-smtlib_1.1-4_armhf.buildinfo dbad3a196a9fa603759274c2d5314178 508400 haskell optional libghc-smtlib-dev_1.1-4_armhf.deb bc8087a409c5fcb0c339bf7477ffdf77 95764 doc optional libghc-smtlib-doc_1.1-4_all.deb 6054ff00b654d0fc6c44d0d0f2d12db3 481776 haskell optional libghc-smtlib-prof_1.1-4_armhf.deb Thu Oct 17 11:35:32 UTC 2024 I: diffoscope 280 will be used to compare the two builds: Running as unit: rb-diffoscope-armhf_13-6117.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/haskell-smtlib_1.1-4.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/haskell-smtlib_1.1-4.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/haskell-smtlib_1.1-4.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/b1/haskell-smtlib_1.1-4_armhf.changes /srv/reproducible-results/rbuild-debian/r-b-build.uMJJpoqr/b2/haskell-smtlib_1.1-4_armhf.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.401s) 0.401s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.030s) 0.030s 12 calls diffoscope.comparators.binary.FilesystemFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Finished with result: success Main processes terminated with: code=exited/status=0 Service runtime: 743ms CPU time consumed: 740ms Thu Oct 17 11:35:33 UTC 2024 I: diffoscope 280 found no differences in the changes files, and a .buildinfo file also exists. Thu Oct 17 11:35:33 UTC 2024 I: haskell-smtlib from unstable built successfully and reproducibly on armhf. Thu Oct 17 11:35:34 UTC 2024 I: Submitting .buildinfo files to external archives: Thu Oct 17 11:35:34 UTC 2024 I: Submitting 12K b1/haskell-smtlib_1.1-4_armhf.buildinfo.asc Thu Oct 17 11:35:35 UTC 2024 I: Submitting 12K b2/haskell-smtlib_1.1-4_armhf.buildinfo.asc Thu Oct 17 11:35:38 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Thu Oct 17 11:35:38 UTC 2024 I: Done submitting .buildinfo files. Thu Oct 17 11:35:38 UTC 2024 I: Removing signed haskell-smtlib_1.1-4_armhf.buildinfo.asc files: removed './b1/haskell-smtlib_1.1-4_armhf.buildinfo.asc' removed './b2/haskell-smtlib_1.1-4_armhf.buildinfo.asc'