Sun Oct 27 08:44:05 UTC 2024 I: starting to build haskell-smtlib/unstable/i386 on jenkins on '2024-10-27 08:44' Sun Oct 27 08:44:05 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/i386_4/37669/console.log Sun Oct 27 08:44:05 UTC 2024 I: Downloading source for unstable/haskell-smtlib=1.1-4 --2024-10-27 08:44:06-- 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% 303M=0s 2024-10-27 08:44:06 (303 MB/s) - ‘haskell-smtlib_1.1-4.dsc’ saved [2225/2225] Sun Oct 27 08:44:06 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----- Sun Oct 27 08:44:06 UTC 2024 I: Checking whether the package is not for us Sun Oct 27 08:44:06 UTC 2024 I: Starting 1st build on remote node ionos16-i386.debian.net. Sun Oct 27 08:44:06 UTC 2024 I: Preparing to do remote build '1' on ionos16-i386.debian.net. Sun Oct 27 08:48:39 UTC 2024 I: Deleting $TMPDIR on ionos16-i386.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sat Nov 29 03:07:07 -12 2025 I: pbuilder-time-stamp: 1764428827 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: using eatmydata during job 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/48085/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='i386' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=22 ' DISTRIBUTION='unstable' HOME='/root' HOST_ARCH='i386' IFS=' ' INVOCATION_ID='27e34224e52e49589163a80ceb647378' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' LD_LIBRARY_PATH='/usr/lib/libeatmydata' LD_PRELOAD='libeatmydata.so' 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='48085' 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.yNVW9LPG/pbuilderrc_jFn4 --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.yNVW9LPG/b1 --logfile b1/build.log haskell-smtlib_1.1-4.dsc' SUDO_GID='112' SUDO_UID='107' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://213.165.73.152:3128' I: uname -a Linux ionos16-i386 6.1.0-26-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.112-1 (2024-09-30) x86_64 GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Aug 4 2024 /bin -> usr/bin I: user script /srv/workspace/pbuilder/48085/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: i386 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 ... 19933 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} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{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} 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} 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} 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: ca-certificates curl krb5-locales libarchive-cpio-perl libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules lynx publicsuffix wget 0 packages upgraded, 105 newly installed, 0 to remove and 0 not upgraded. Need to get 273 MB of archives. After unpacking 2445 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian unstable/main i386 libgmpxx4ldbl i386 2:6.3.0+dfsg-2+b1 [330 kB] Get: 2 http://deb.debian.org/debian unstable/main i386 libgmp-dev i386 2:6.3.0+dfsg-2+b1 [659 kB] Get: 3 http://deb.debian.org/debian unstable/main i386 libffi-dev i386 3.4.6-1 [57.8 kB] Get: 4 http://deb.debian.org/debian unstable/main i386 libmd-dev i386 1.1.0-2 [57.2 kB] Get: 5 http://deb.debian.org/debian unstable/main i386 libbsd-dev i386 0.12.2-2 [262 kB] Get: 6 http://deb.debian.org/debian unstable/main i386 libncurses6 i386 6.5-2 [111 kB] Get: 7 http://deb.debian.org/debian unstable/main i386 libncurses-dev i386 6.5-2 [380 kB] Get: 8 http://deb.debian.org/debian unstable/main i386 libnuma1 i386 2.0.18-1 [23.5 kB] Get: 9 http://deb.debian.org/debian unstable/main i386 libnuma-dev i386 2.0.18-1 [38.3 kB] Get: 10 http://deb.debian.org/debian unstable/main i386 ghc i386 9.6.6-2 [117 MB] Get: 11 http://deb.debian.org/debian unstable/main i386 fonts-mathjax all 2.7.9+dfsg-1 [2210 kB] Get: 12 http://deb.debian.org/debian unstable/main i386 libjs-mathjax all 2.7.9+dfsg-1 [5667 kB] Get: 13 http://deb.debian.org/debian unstable/main i386 ghc-doc all 9.6.6-2 [33.7 MB] Get: 14 http://deb.debian.org/debian unstable/main i386 libpython3.12-minimal i386 3.12.7-1 [813 kB] Get: 15 http://deb.debian.org/debian unstable/main i386 libexpat1 i386 2.6.3-1 [107 kB] Get: 16 http://deb.debian.org/debian unstable/main i386 python3.12-minimal i386 3.12.7-1 [2239 kB] Get: 17 http://deb.debian.org/debian unstable/main i386 python3-minimal i386 3.12.6-1 [26.7 kB] Get: 18 http://deb.debian.org/debian unstable/main i386 media-types all 10.1.0 [26.9 kB] Get: 19 http://deb.debian.org/debian unstable/main i386 netbase all 6.4 [12.8 kB] Get: 20 http://deb.debian.org/debian unstable/main i386 tzdata all 2024b-3 [255 kB] Get: 21 http://deb.debian.org/debian unstable/main i386 libkrb5support0 i386 1.21.3-3 [34.9 kB] Get: 22 http://deb.debian.org/debian unstable/main i386 libcom-err2 i386 1.47.1-1 [23.1 kB] Get: 23 http://deb.debian.org/debian unstable/main i386 libk5crypto3 i386 1.21.3-3 [83.6 kB] Get: 24 http://deb.debian.org/debian unstable/main i386 libkeyutils1 i386 1.6.3-4 [9600 B] Get: 25 http://deb.debian.org/debian unstable/main i386 libkrb5-3 i386 1.21.3-3 [350 kB] Get: 26 http://deb.debian.org/debian unstable/main i386 libgssapi-krb5-2 i386 1.21.3-3 [146 kB] Get: 27 http://deb.debian.org/debian unstable/main i386 libtirpc-common all 1.3.4+ds-1.3 [10.9 kB] Get: 28 http://deb.debian.org/debian unstable/main i386 libtirpc3t64 i386 1.3.4+ds-1.3 [90.2 kB] Get: 29 http://deb.debian.org/debian unstable/main i386 libnsl2 i386 1.3.0-3+b2 [42.4 kB] Get: 30 http://deb.debian.org/debian unstable/main i386 readline-common all 8.2-5 [69.3 kB] Get: 31 http://deb.debian.org/debian unstable/main i386 libreadline8t64 i386 8.2-5 [173 kB] Get: 32 http://deb.debian.org/debian unstable/main i386 libpython3.12-stdlib i386 3.12.7-1 [1966 kB] Get: 33 http://deb.debian.org/debian unstable/main i386 python3.12 i386 3.12.7-1 [671 kB] Get: 34 http://deb.debian.org/debian unstable/main i386 libpython3-stdlib i386 3.12.6-1 [9692 B] Get: 35 http://deb.debian.org/debian unstable/main i386 python3 i386 3.12.6-1 [27.8 kB] Get: 36 http://deb.debian.org/debian unstable/main i386 sensible-utils all 0.0.24 [24.8 kB] Get: 37 http://deb.debian.org/debian unstable/main i386 libmagic-mgc i386 1:5.45-3 [314 kB] Get: 38 http://deb.debian.org/debian unstable/main i386 libmagic1t64 i386 1:5.45-3 [114 kB] Get: 39 http://deb.debian.org/debian unstable/main i386 file i386 1:5.45-3 [42.9 kB] Get: 40 http://deb.debian.org/debian unstable/main i386 gettext-base i386 0.22.5-2 [201 kB] Get: 41 http://deb.debian.org/debian unstable/main i386 libuchardet0 i386 0.0.8-1+b1 [69.1 kB] Get: 42 http://deb.debian.org/debian unstable/main i386 groff-base i386 1.23.0-5 [1196 kB] Get: 43 http://deb.debian.org/debian unstable/main i386 bsdextrautils i386 2.40.2-9 [102 kB] Get: 44 http://deb.debian.org/debian unstable/main i386 libpipeline1 i386 1.5.8-1 [41.2 kB] Get: 45 http://deb.debian.org/debian unstable/main i386 man-db i386 2.13.0-1 [1428 kB] Get: 46 http://deb.debian.org/debian unstable/main i386 m4 i386 1.4.19-4 [293 kB] Get: 47 http://deb.debian.org/debian unstable/main i386 autoconf all 2.72-3 [493 kB] Get: 48 http://deb.debian.org/debian unstable/main i386 autotools-dev all 20220109.1 [51.6 kB] Get: 49 http://deb.debian.org/debian unstable/main i386 automake all 1:1.16.5-1.3 [823 kB] Get: 50 http://deb.debian.org/debian unstable/main i386 autopoint all 0.22.5-2 [723 kB] Get: 51 http://deb.debian.org/debian unstable/main i386 python3-scour all 0.38.2-5 [55.7 kB] Get: 52 http://deb.debian.org/debian unstable/main i386 scour all 0.38.2-5 [16.3 kB] Get: 53 http://deb.debian.org/debian unstable/main i386 cdbs all 0.4.166 [47.3 kB] Get: 54 http://deb.debian.org/debian unstable/main i386 dctrl-tools i386 2.24-3 [105 kB] Get: 55 http://deb.debian.org/debian unstable/main i386 libdebhelper-perl all 13.20 [89.7 kB] Get: 56 http://deb.debian.org/debian unstable/main i386 libtool all 2.4.7-7 [517 kB] Get: 57 http://deb.debian.org/debian unstable/main i386 dh-autoreconf all 20 [17.1 kB] Get: 58 http://deb.debian.org/debian unstable/main i386 libarchive-zip-perl all 1.68-1 [104 kB] Get: 59 http://deb.debian.org/debian unstable/main i386 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB] Get: 60 http://deb.debian.org/debian unstable/main i386 dh-strip-nondeterminism all 1.14.0-1 [8448 B] Get: 61 http://deb.debian.org/debian unstable/main i386 libelf1t64 i386 0.192-4 [195 kB] Get: 62 http://deb.debian.org/debian unstable/main i386 dwz i386 0.15-1+b1 [116 kB] Get: 63 http://deb.debian.org/debian unstable/main i386 libicu72 i386 72.1-5 [9550 kB] Get: 64 http://deb.debian.org/debian unstable/main i386 libxml2 i386 2.12.7+dfsg+really2.9.14-0.1 [733 kB] Get: 65 http://deb.debian.org/debian unstable/main i386 gettext i386 0.22.5-2 [1631 kB] Get: 66 http://deb.debian.org/debian unstable/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 67 http://deb.debian.org/debian unstable/main i386 po-debconf all 1.0.21+nmu1 [248 kB] Get: 68 http://deb.debian.org/debian unstable/main i386 debhelper all 13.20 [915 kB] Get: 69 http://deb.debian.org/debian unstable/main i386 dh-buildinfo all 0.11+nmu3 [17.1 kB] Get: 70 http://deb.debian.org/debian unstable/main i386 ghc-prof i386 9.6.6-2 [80.1 MB] Get: 71 http://deb.debian.org/debian unstable/main i386 libbrotli1 i386 1.1.0-2+b4 [309 kB] Get: 72 http://deb.debian.org/debian unstable/main i386 libsasl2-modules-db i386 2.1.28+dfsg1-8 [20.6 kB] Get: 73 http://deb.debian.org/debian unstable/main i386 libsasl2-2 i386 2.1.28+dfsg1-8 [61.0 kB] Get: 74 http://deb.debian.org/debian unstable/main i386 libldap-2.5-0 i386 2.5.18+dfsg-3+b1 [200 kB] Get: 75 http://deb.debian.org/debian unstable/main i386 libnghttp2-14 i386 1.63.0-1 [82.7 kB] Get: 76 http://deb.debian.org/debian unstable/main i386 libnghttp3-9 i386 1.4.0-1 [74.3 kB] Get: 77 http://deb.debian.org/debian unstable/main i386 libngtcp2-16 i386 1.6.0-1 [154 kB] Get: 78 http://deb.debian.org/debian unstable/main i386 libngtcp2-crypto-gnutls8 i386 1.6.0-1 [20.2 kB] Get: 79 http://deb.debian.org/debian unstable/main i386 libpsl5t64 i386 0.21.2-1.1 [57.4 kB] Get: 80 http://deb.debian.org/debian unstable/main i386 librtmp1 i386 2.4+20151223.gitfa8646d.1-2+b4 [62.0 kB] Get: 81 http://deb.debian.org/debian unstable/main i386 libssh2-1t64 i386 1.11.1-1 [256 kB] Get: 82 http://deb.debian.org/debian unstable/main i386 libcurl3t64-gnutls i386 8.10.1-2 [400 kB] Get: 83 http://deb.debian.org/debian unstable/main i386 html-xml-utils i386 7.7-1.1+b1 [289 kB] Get: 84 http://deb.debian.org/debian unstable/main i386 libparams-util-perl i386 1.102-3+b1 [24.7 kB] Get: 85 http://deb.debian.org/debian unstable/main i386 libsub-install-perl all 0.929-1 [10.5 kB] Get: 86 http://deb.debian.org/debian unstable/main i386 libdata-optlist-perl all 0.114-1 [10.6 kB] Get: 87 http://deb.debian.org/debian unstable/main i386 libsub-exporter-perl all 0.990-1 [50.6 kB] Get: 88 http://deb.debian.org/debian unstable/main i386 libsub-exporter-progressive-perl all 0.001013-3 [7496 B] Get: 89 http://deb.debian.org/debian unstable/main i386 libconst-fast-perl all 0.014-2 [8792 B] Get: 90 http://deb.debian.org/debian unstable/main i386 libdevel-confess-perl all 0.009004-4 [19.3 kB] Get: 91 http://deb.debian.org/debian unstable/main i386 libipc-run3-perl all 0.049-1 [31.5 kB] Get: 92 http://deb.debian.org/debian unstable/main i386 libb-hooks-op-check-perl i386 0.22-3+b2 [10.7 kB] Get: 93 http://deb.debian.org/debian unstable/main i386 libdynaloader-functions-perl all 0.004-1 [12.1 kB] Get: 94 http://deb.debian.org/debian unstable/main i386 libdevel-callchecker-perl i386 0.009-1+b1 [16.2 kB] Get: 95 http://deb.debian.org/debian unstable/main i386 libparams-classify-perl i386 0.015-2+b4 [23.1 kB] Get: 96 http://deb.debian.org/debian unstable/main i386 libmodule-runtime-perl all 0.016-2 [19.6 kB] Get: 97 http://deb.debian.org/debian unstable/main i386 libtry-tiny-perl all 0.32-1 [22.9 kB] Get: 98 http://deb.debian.org/debian unstable/main i386 libmodule-implementation-perl all 0.09-2 [12.6 kB] Get: 99 http://deb.debian.org/debian unstable/main i386 liblist-someutils-perl all 0.59-1 [37.1 kB] Get: 100 http://deb.debian.org/debian unstable/main i386 libpath-tiny-perl all 0.146-1 [56.2 kB] Get: 101 http://deb.debian.org/debian unstable/main i386 libtimedate-perl all 2.3300-2 [39.3 kB] Get: 102 http://deb.debian.org/debian unstable/main i386 libunicode-utf8-perl i386 0.62-2+b3 [21.1 kB] Get: 103 http://deb.debian.org/debian unstable/main i386 haskell-devscripts-minimal all 0.16.33 [53.0 kB] Get: 104 http://deb.debian.org/debian unstable/main i386 hscolour i386 1.25-1 [1973 kB] Get: 105 http://deb.debian.org/debian unstable/main i386 haskell-devscripts all 0.16.33 [6156 B] Fetched 273 MB in 4s (61.0 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libgmpxx4ldbl:i386. (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 ... 19933 files and directories currently installed.) Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b1_i386.deb ... Unpacking libgmpxx4ldbl:i386 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libgmp-dev:i386. Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-2+b1_i386.deb ... Unpacking libgmp-dev:i386 (2:6.3.0+dfsg-2+b1) ... Selecting previously unselected package libffi-dev:i386. Preparing to unpack .../02-libffi-dev_3.4.6-1_i386.deb ... Unpacking libffi-dev:i386 (3.4.6-1) ... Selecting previously unselected package libmd-dev:i386. Preparing to unpack .../03-libmd-dev_1.1.0-2_i386.deb ... Unpacking libmd-dev:i386 (1.1.0-2) ... Selecting previously unselected package libbsd-dev:i386. Preparing to unpack .../04-libbsd-dev_0.12.2-2_i386.deb ... Unpacking libbsd-dev:i386 (0.12.2-2) ... Selecting previously unselected package libncurses6:i386. Preparing to unpack .../05-libncurses6_6.5-2_i386.deb ... Unpacking libncurses6:i386 (6.5-2) ... Selecting previously unselected package libncurses-dev:i386. Preparing to unpack .../06-libncurses-dev_6.5-2_i386.deb ... Unpacking libncurses-dev:i386 (6.5-2) ... Selecting previously unselected package libnuma1:i386. Preparing to unpack .../07-libnuma1_2.0.18-1_i386.deb ... Unpacking libnuma1:i386 (2.0.18-1) ... Selecting previously unselected package libnuma-dev:i386. Preparing to unpack .../08-libnuma-dev_2.0.18-1_i386.deb ... Unpacking libnuma-dev:i386 (2.0.18-1) ... Selecting previously unselected package ghc. Preparing to unpack .../09-ghc_9.6.6-2_i386.deb ... Unpacking ghc (9.6.6-2) ... Selecting previously unselected package fonts-mathjax. Preparing to unpack .../10-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 .../11-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 .../12-ghc-doc_9.6.6-2_all.deb ... Unpacking ghc-doc (9.6.6-2) ... Selecting previously unselected package libpython3.12-minimal:i386. Preparing to unpack .../13-libpython3.12-minimal_3.12.7-1_i386.deb ... Unpacking libpython3.12-minimal:i386 (3.12.7-1) ... Selecting previously unselected package libexpat1:i386. Preparing to unpack .../14-libexpat1_2.6.3-1_i386.deb ... Unpacking libexpat1:i386 (2.6.3-1) ... Selecting previously unselected package python3.12-minimal. Preparing to unpack .../15-python3.12-minimal_3.12.7-1_i386.deb ... Unpacking python3.12-minimal (3.12.7-1) ... Setting up libpython3.12-minimal:i386 (3.12.7-1) ... Setting up libexpat1:i386 (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 ... 34528 files and directories currently installed.) Preparing to unpack .../00-python3-minimal_3.12.6-1_i386.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 libkrb5support0:i386. Preparing to unpack .../04-libkrb5support0_1.21.3-3_i386.deb ... Unpacking libkrb5support0:i386 (1.21.3-3) ... Selecting previously unselected package libcom-err2:i386. Preparing to unpack .../05-libcom-err2_1.47.1-1_i386.deb ... Unpacking libcom-err2:i386 (1.47.1-1) ... Selecting previously unselected package libk5crypto3:i386. Preparing to unpack .../06-libk5crypto3_1.21.3-3_i386.deb ... Unpacking libk5crypto3:i386 (1.21.3-3) ... Selecting previously unselected package libkeyutils1:i386. Preparing to unpack .../07-libkeyutils1_1.6.3-4_i386.deb ... Unpacking libkeyutils1:i386 (1.6.3-4) ... Selecting previously unselected package libkrb5-3:i386. Preparing to unpack .../08-libkrb5-3_1.21.3-3_i386.deb ... Unpacking libkrb5-3:i386 (1.21.3-3) ... Selecting previously unselected package libgssapi-krb5-2:i386. Preparing to unpack .../09-libgssapi-krb5-2_1.21.3-3_i386.deb ... Unpacking libgssapi-krb5-2:i386 (1.21.3-3) ... Selecting previously unselected package libtirpc-common. Preparing to unpack .../10-libtirpc-common_1.3.4+ds-1.3_all.deb ... Unpacking libtirpc-common (1.3.4+ds-1.3) ... Selecting previously unselected package libtirpc3t64:i386. Preparing to unpack .../11-libtirpc3t64_1.3.4+ds-1.3_i386.deb ... Adding 'diversion of /lib/i386-linux-gnu/libtirpc.so.3 to /lib/i386-linux-gnu/libtirpc.so.3.usr-is-merged by libtirpc3t64' Adding 'diversion of /lib/i386-linux-gnu/libtirpc.so.3.0.0 to /lib/i386-linux-gnu/libtirpc.so.3.0.0.usr-is-merged by libtirpc3t64' Unpacking libtirpc3t64:i386 (1.3.4+ds-1.3) ... Selecting previously unselected package libnsl2:i386. Preparing to unpack .../12-libnsl2_1.3.0-3+b2_i386.deb ... Unpacking libnsl2:i386 (1.3.0-3+b2) ... Selecting previously unselected package readline-common. Preparing to unpack .../13-readline-common_8.2-5_all.deb ... Unpacking readline-common (8.2-5) ... Selecting previously unselected package libreadline8t64:i386. Preparing to unpack .../14-libreadline8t64_8.2-5_i386.deb ... Adding 'diversion of /lib/i386-linux-gnu/libhistory.so.8 to /lib/i386-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/i386-linux-gnu/libhistory.so.8.2 to /lib/i386-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/i386-linux-gnu/libreadline.so.8 to /lib/i386-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64' Adding 'diversion of /lib/i386-linux-gnu/libreadline.so.8.2 to /lib/i386-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64' Unpacking libreadline8t64:i386 (8.2-5) ... Selecting previously unselected package libpython3.12-stdlib:i386. Preparing to unpack .../15-libpython3.12-stdlib_3.12.7-1_i386.deb ... Unpacking libpython3.12-stdlib:i386 (3.12.7-1) ... Selecting previously unselected package python3.12. Preparing to unpack .../16-python3.12_3.12.7-1_i386.deb ... Unpacking python3.12 (3.12.7-1) ... Selecting previously unselected package libpython3-stdlib:i386. Preparing to unpack .../17-libpython3-stdlib_3.12.6-1_i386.deb ... Unpacking libpython3-stdlib:i386 (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 ... 35588 files and directories currently installed.) Preparing to unpack .../00-python3_3.12.6-1_i386.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_i386.deb ... Unpacking libmagic-mgc (1:5.45-3) ... Selecting previously unselected package libmagic1t64:i386. Preparing to unpack .../03-libmagic1t64_1%3a5.45-3_i386.deb ... Unpacking libmagic1t64:i386 (1:5.45-3) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.45-3_i386.deb ... Unpacking file (1:5.45-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.22.5-2_i386.deb ... Unpacking gettext-base (0.22.5-2) ... Selecting previously unselected package libuchardet0:i386. Preparing to unpack .../06-libuchardet0_0.0.8-1+b1_i386.deb ... Unpacking libuchardet0:i386 (0.0.8-1+b1) ... Selecting previously unselected package groff-base. Preparing to unpack .../07-groff-base_1.23.0-5_i386.deb ... Unpacking groff-base (1.23.0-5) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.40.2-9_i386.deb ... Unpacking bsdextrautils (2.40.2-9) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../09-libpipeline1_1.5.8-1_i386.deb ... Unpacking libpipeline1:i386 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.13.0-1_i386.deb ... Unpacking man-db (2.13.0-1) ... Selecting previously unselected package m4. Preparing to unpack .../11-m4_1.4.19-4_i386.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_i386.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:i386. Preparing to unpack .../26-libelf1t64_0.192-4_i386.deb ... Unpacking libelf1t64:i386 (0.192-4) ... Selecting previously unselected package dwz. Preparing to unpack .../27-dwz_0.15-1+b1_i386.deb ... Unpacking dwz (0.15-1+b1) ... Selecting previously unselected package libicu72:i386. Preparing to unpack .../28-libicu72_72.1-5_i386.deb ... Unpacking libicu72:i386 (72.1-5) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../29-libxml2_2.12.7+dfsg+really2.9.14-0.1_i386.deb ... Unpacking libxml2:i386 (2.12.7+dfsg+really2.9.14-0.1) ... Selecting previously unselected package gettext. Preparing to unpack .../30-gettext_0.22.5-2_i386.deb ... Unpacking gettext (0.22.5-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../31-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 .../32-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../33-debhelper_13.20_all.deb ... Unpacking debhelper (13.20) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../34-dh-buildinfo_0.11+nmu3_all.deb ... Unpacking dh-buildinfo (0.11+nmu3) ... Selecting previously unselected package ghc-prof. Preparing to unpack .../35-ghc-prof_9.6.6-2_i386.deb ... Unpacking ghc-prof (9.6.6-2) ... Selecting previously unselected package libbrotli1:i386. Preparing to unpack .../36-libbrotli1_1.1.0-2+b4_i386.deb ... Unpacking libbrotli1:i386 (1.1.0-2+b4) ... Selecting previously unselected package libsasl2-modules-db:i386. Preparing to unpack .../37-libsasl2-modules-db_2.1.28+dfsg1-8_i386.deb ... Unpacking libsasl2-modules-db:i386 (2.1.28+dfsg1-8) ... Selecting previously unselected package libsasl2-2:i386. Preparing to unpack .../38-libsasl2-2_2.1.28+dfsg1-8_i386.deb ... Unpacking libsasl2-2:i386 (2.1.28+dfsg1-8) ... Selecting previously unselected package libldap-2.5-0:i386. Preparing to unpack .../39-libldap-2.5-0_2.5.18+dfsg-3+b1_i386.deb ... Unpacking libldap-2.5-0:i386 (2.5.18+dfsg-3+b1) ... Selecting previously unselected package libnghttp2-14:i386. Preparing to unpack .../40-libnghttp2-14_1.63.0-1_i386.deb ... Unpacking libnghttp2-14:i386 (1.63.0-1) ... Selecting previously unselected package libnghttp3-9:i386. Preparing to unpack .../41-libnghttp3-9_1.4.0-1_i386.deb ... Unpacking libnghttp3-9:i386 (1.4.0-1) ... Selecting previously unselected package libngtcp2-16:i386. Preparing to unpack .../42-libngtcp2-16_1.6.0-1_i386.deb ... Unpacking libngtcp2-16:i386 (1.6.0-1) ... Selecting previously unselected package libngtcp2-crypto-gnutls8:i386. Preparing to unpack .../43-libngtcp2-crypto-gnutls8_1.6.0-1_i386.deb ... Unpacking libngtcp2-crypto-gnutls8:i386 (1.6.0-1) ... Selecting previously unselected package libpsl5t64:i386. Preparing to unpack .../44-libpsl5t64_0.21.2-1.1_i386.deb ... Unpacking libpsl5t64:i386 (0.21.2-1.1) ... Selecting previously unselected package librtmp1:i386. Preparing to unpack .../45-librtmp1_2.4+20151223.gitfa8646d.1-2+b4_i386.deb ... Unpacking librtmp1:i386 (2.4+20151223.gitfa8646d.1-2+b4) ... Selecting previously unselected package libssh2-1t64:i386. Preparing to unpack .../46-libssh2-1t64_1.11.1-1_i386.deb ... Unpacking libssh2-1t64:i386 (1.11.1-1) ... Selecting previously unselected package libcurl3t64-gnutls:i386. Preparing to unpack .../47-libcurl3t64-gnutls_8.10.1-2_i386.deb ... Unpacking libcurl3t64-gnutls:i386 (8.10.1-2) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../48-html-xml-utils_7.7-1.1+b1_i386.deb ... Unpacking html-xml-utils (7.7-1.1+b1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../49-libparams-util-perl_1.102-3+b1_i386.deb ... Unpacking libparams-util-perl (1.102-3+b1) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../50-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 .../51-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 .../52-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 .../53-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 .../54-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 .../55-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 .../56-libipc-run3-perl_0.049-1_all.deb ... Unpacking libipc-run3-perl (0.049-1) ... Selecting previously unselected package libb-hooks-op-check-perl:i386. Preparing to unpack .../57-libb-hooks-op-check-perl_0.22-3+b2_i386.deb ... Unpacking libb-hooks-op-check-perl:i386 (0.22-3+b2) ... Selecting previously unselected package libdynaloader-functions-perl. Preparing to unpack .../58-libdynaloader-functions-perl_0.004-1_all.deb ... Unpacking libdynaloader-functions-perl (0.004-1) ... Selecting previously unselected package libdevel-callchecker-perl:i386. Preparing to unpack .../59-libdevel-callchecker-perl_0.009-1+b1_i386.deb ... Unpacking libdevel-callchecker-perl:i386 (0.009-1+b1) ... Selecting previously unselected package libparams-classify-perl:i386. Preparing to unpack .../60-libparams-classify-perl_0.015-2+b4_i386.deb ... Unpacking libparams-classify-perl:i386 (0.015-2+b4) ... Selecting previously unselected package libmodule-runtime-perl. Preparing to unpack .../61-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 .../62-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 .../63-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 .../64-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 .../65-libpath-tiny-perl_0.146-1_all.deb ... Unpacking libpath-tiny-perl (0.146-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../66-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libunicode-utf8-perl. Preparing to unpack .../67-libunicode-utf8-perl_0.62-2+b3_i386.deb ... Unpacking libunicode-utf8-perl (0.62-2+b3) ... Selecting previously unselected package haskell-devscripts-minimal. Preparing to unpack .../68-haskell-devscripts-minimal_0.16.33_all.deb ... Unpacking haskell-devscripts-minimal (0.16.33) ... Selecting previously unselected package hscolour. Preparing to unpack .../69-hscolour_1.25-1_i386.deb ... Unpacking hscolour (1.25-1) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../70-haskell-devscripts_0.16.33_all.deb ... Unpacking haskell-devscripts (0.16.33) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:i386 (1.5.8-1) ... Setting up libkeyutils1:i386 (1.6.3-4) ... Setting up libunicode-utf8-perl (0.62-2+b3) ... Setting up fonts-mathjax (2.7.9+dfsg-1) ... Setting up libicu72:i386 (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:i386 (1.1.0-2+b4) ... Setting up libmagic1t64:i386 (1:5.45-3) ... Setting up libtry-tiny-perl (0.32-1) ... Setting up libpsl5t64:i386 (0.21.2-1.1) ... Setting up libnghttp2-14:i386 (1.63.0-1) ... Setting up gettext-base (0.22.5-2) ... Setting up m4 (1.4.19-4) ... Setting up libcom-err2:i386 (1.47.1-1) ... Setting up file (1:5.45-3) ... Setting up libffi-dev:i386 (3.4.6-1) ... Setting up libsub-install-perl (0.929-1) ... Setting up libelf1t64:i386 (0.192-4) ... Setting up libkrb5support0:i386 (1.21.3-3) ... Setting up libsasl2-modules-db:i386 (2.1.28+dfsg1-8) ... Setting up tzdata (2024b-3) ... Current default time zone: 'Etc/UTC' Local time is now: Sat Nov 29 15:07:49 UTC 2025. Universal Time is now: Sat Nov 29 15:07:49 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:i386 (2:6.3.0+dfsg-2+b1) ... Setting up librtmp1:i386 (2.4+20151223.gitfa8646d.1-2+b4) ... Setting up libncurses6:i386 (6.5-2) ... Setting up autopoint (0.22.5-2) ... Setting up libb-hooks-op-check-perl:i386 (0.22-3+b2) ... Setting up libk5crypto3:i386 (1.21.3-3) ... Setting up libparams-util-perl (1.102-3+b1) ... Setting up libsasl2-2:i386 (2.1.28+dfsg1-8) ... Setting up autoconf (2.72-3) ... Setting up libnghttp3-9:i386 (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:i386 (2.0.18-1) ... Setting up dwz (0.15-1+b1) ... Setting up sensible-utils (0.0.24) ... Setting up libpath-tiny-perl (0.146-1) ... Setting up libuchardet0:i386 (0.0.8-1+b1) ... Setting up libmd-dev:i386 (1.1.0-2) ... Setting up libipc-run3-perl (0.049-1) ... Setting up netbase (6.4) ... Setting up libngtcp2-16:i386 (1.6.0-1) ... Setting up libkrb5-3:i386 (1.21.3-3) ... Setting up libssh2-1t64:i386 (1.11.1-1) ... Setting up readline-common (8.2-5) ... Setting up libxml2:i386 (2.12.7+dfsg+really2.9.14-0.1) ... Setting up libbsd-dev:i386 (0.12.2-2) ... Setting up libngtcp2-crypto-gnutls8:i386 (1.6.0-1) ... Setting up dctrl-tools (2.24-3) ... 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:i386 (6.5-2) ... Setting up gettext (0.22.5-2) ... Setting up hscolour (1.25-1) ... Setting up libgmp-dev:i386 (2:6.3.0+dfsg-2+b1) ... Setting up libtool (2.4.7-7) ... Setting up libdevel-callchecker-perl:i386 (0.009-1+b1) ... Setting up libldap-2.5-0:i386 (2.5.18+dfsg-3+b1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up libnuma-dev:i386 (2.0.18-1) ... Setting up dh-autoreconf (20) ... Setting up libgssapi-krb5-2:i386 (1.21.3-3) ... Setting up libdata-optlist-perl (0.114-1) ... Setting up libreadline8t64:i386 (8.2-5) ... Setting up dh-strip-nondeterminism (1.14.0-1) ... Setting up groff-base (1.23.0-5) ... Setting up libsub-exporter-perl (0.990-1) ... Setting up libtirpc3t64:i386 (1.3.4+ds-1.3) ... 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/i386-linux-ghc-9.6.6/directory-1.3.8.5/include doesn't exist or isn't a directory Setting up po-debconf (1.0.21+nmu1) ... Setting up libparams-classify-perl:i386 (0.015-2+b4) ... Setting up libcurl3t64-gnutls:i386 (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 ghc-doc (9.6.6-2) ... Setting up libconst-fast-perl (0.014-2) ... Setting up libnsl2:i386 (1.3.0-3+b2) ... Setting up libpython3.12-stdlib:i386 (3.12.7-1) ... Setting up html-xml-utils (7.7-1.1+b1) ... Setting up ghc-prof (9.6.6-2) ... Setting up libmodule-implementation-perl (0.09-2) ... Setting up python3.12 (3.12.7-1) ... Setting up liblist-someutils-perl (0.59-1) ... Setting up debhelper (13.20) ... Setting up dh-buildinfo (0.11+nmu3) ... Setting up libpython3-stdlib:i386 (3.12.6-1) ... 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 i386 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/ROXGuUGCN9 -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/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6 Private executables installed in: /usr/lib/i386-linux-ghc-9.6.6/smtLib-1.1 Data files installed in: /usr/share/smtlib Documentation installed in: /usr/share/doc/i386-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/i686-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 14 found on system at: /usr/bin/i686-linux-gnu-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/i686-linux-gnu-ld 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-response63225-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/i386-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: 401266e9662a23ae5a56e7d6d308c9d1 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/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs: /usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs-static: /usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/i386-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 401266e9662a23ae5a56e7d6d308c9d1 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 038db9c6e399093c5ed5852f80dd1ac7 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 f7decb9a0c9205f91edeb1df13e84f97 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: 401266e9662a23ae5a56e7d6d308c9d1 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/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs: /usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K library-dirs-static: /usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/i386-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/i386-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/i386-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 401266e9662a23ae5a56e7d6d308c9d1 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 038db9c6e399093c5ed5852f80dd1ac7 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 f7decb9a0c9205f91edeb1df13e84f97 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/i386-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so contains an unresolvable reference to symbol stg_SRT_1_info: it's probably a plugin dpkg-shlibdeps: warning: 30 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/i386-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/i386-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/i386-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) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/i386-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) 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_i386.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_i386.deb'. dpkg-genbuildinfo --build=binary -O../haskell-smtlib_1.1-4_i386.buildinfo dpkg-genchanges --build=binary -O../haskell-smtlib_1.1-4_i386.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/48085 and its subdirectories I: Current time: Sat Nov 29 03:11:38 -12 2025 I: pbuilder-time-stamp: 1764429098 Sun Oct 27 08:48:40 UTC 2024 I: 1st build successful. Starting 2nd build on remote node ionos2-i386.debian.net. Sun Oct 27 08:48:40 UTC 2024 I: Preparing to do remote build '2' on ionos2-i386.debian.net. Sun Oct 27 08:58:29 UTC 2024 I: Deleting $TMPDIR on ionos2-i386.debian.net. Sun Oct 27 08:58:29 UTC 2024 I: haskell-smtlib_1.1-4_i386.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: i386 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: 33595ca28dd1cf00ba60b81543dcda3d3741bc1b 7771 haskell-smtlib_1.1-4_i386.buildinfo cd9d8da3847de75702e56a82da5062f0cf586821 624604 libghc-smtlib-dev_1.1-4_i386.deb a78829ab93b263a3597e42e2183365b2e6b04da4 95700 libghc-smtlib-doc_1.1-4_all.deb 4740c577350d6be5892f22c9355ac9e51b5ca1d5 501696 libghc-smtlib-prof_1.1-4_i386.deb Checksums-Sha256: 8088d99c6044b9a13fe6b854af223982d36895fb30bddb3a3470802b83b2b225 7771 haskell-smtlib_1.1-4_i386.buildinfo 27b523b77ec7d0a8aa642e3f4934597a8069257a0d6d74d78a59f0b65a0b4c4f 624604 libghc-smtlib-dev_1.1-4_i386.deb 2db1c9bcdcebe9efa54e38aff9c33c291ea0b048992290475692a9825a46e194 95700 libghc-smtlib-doc_1.1-4_all.deb c642f7fa4c61ee9d392e1a078d88a1cedc5b82ad4709906bd110022be8a29c3c 501696 libghc-smtlib-prof_1.1-4_i386.deb Files: 8d435f4a9bbefb24c662ec693cfe8b81 7771 haskell optional haskell-smtlib_1.1-4_i386.buildinfo 57a47e8278a89cb59ab3b483f58ebca7 624604 haskell optional libghc-smtlib-dev_1.1-4_i386.deb c35acf922901dd23d8679b225207a30c 95700 doc optional libghc-smtlib-doc_1.1-4_all.deb 820e2c2c058976426c8a5ace1ca302ca 501696 haskell optional libghc-smtlib-prof_1.1-4_i386.deb Sun Oct 27 08:58:30 UTC 2024 I: diffoscope 282 will be used to compare the two builds: Running as unit: rb-diffoscope-i386_4-37669.service # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.yNVW9LPG/haskell-smtlib_1.1-4.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.yNVW9LPG/haskell-smtlib_1.1-4.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.yNVW9LPG/haskell-smtlib_1.1-4.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.yNVW9LPG/b1/haskell-smtlib_1.1-4_i386.changes /srv/reproducible-results/rbuild-debian/r-b-build.yNVW9LPG/b2/haskell-smtlib_1.1-4_i386.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.415s) 0.415s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.031s) 0.031s 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: 820ms CPU time consumed: 819ms Sun Oct 27 08:58:32 UTC 2024 I: diffoscope 282 found no differences in the changes files, and a .buildinfo file also exists. Sun Oct 27 08:58:32 UTC 2024 I: haskell-smtlib from unstable built successfully and reproducibly on i386. Sun Oct 27 08:58:33 UTC 2024 I: Submitting .buildinfo files to external archives: Sun Oct 27 08:58:33 UTC 2024 I: Submitting 12K b1/haskell-smtlib_1.1-4_i386.buildinfo.asc Sun Oct 27 08:58:34 UTC 2024 I: Submitting 12K b2/haskell-smtlib_1.1-4_i386.buildinfo.asc Sun Oct 27 08:58:37 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Sun Oct 27 08:58:37 UTC 2024 I: Done submitting .buildinfo files. Sun Oct 27 08:58:37 UTC 2024 I: Removing signed haskell-smtlib_1.1-4_i386.buildinfo.asc files: removed './b1/haskell-smtlib_1.1-4_i386.buildinfo.asc' removed './b2/haskell-smtlib_1.1-4_i386.buildinfo.asc'