I: pbuilder: network access will be disabled during build I: Current time: Tue Apr 16 21:58:08 +14 2024 I: pbuilder-time-stamp: 1713254288 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-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-ghc-typelits-natnormalise_0.7.9-1.dsc] I: copying [./haskell-ghc-typelits-natnormalise_0.7.9.orig.tar.gz] I: copying [./haskell-ghc-typelits-natnormalise_0.7.9-1.debian.tar.xz] I: Extracting source gpgv: Signature made Sat Oct 21 13:25:11 2023 gpgv: using RSA key 7581EC874053E6C807791B9B5592331E199D38A8 gpgv: issuer "clint@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./haskell-ghc-typelits-natnormalise_0.7.9-1.dsc: no acceptable signature found dpkg-source: info: extracting haskell-ghc-typelits-natnormalise in haskell-ghc-typelits-natnormalise-0.7.9 dpkg-source: info: unpacking haskell-ghc-typelits-natnormalise_0.7.9.orig.tar.gz dpkg-source: info: unpacking haskell-ghc-typelits-natnormalise_0.7.9-1.debian.tar.xz I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/23213/tmp/hooks/D01_modify_environment starting debug: Running on virt32c. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash '/bin/sh' -> '/bin/bash' lrwxrwxrwx 1 root root 9 Apr 16 07:58 /bin/sh -> /bin/bash I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/23213/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/23213/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="2" [2]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf") BASH_VERSION='5.2.21(1)-release' BUILDDIR=/build/reproducible-path BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=armhf DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=4 ' DIRSTACK=() DISTRIBUTION=trixie EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/root HOSTNAME=i-capture-the-hostname HOSTTYPE=arm HOST_ARCH=armhf IFS=' ' INVOCATION_ID=cca13259edda4f8a9ce206a701e54e68 LANG=C LANGUAGE=it_CH:it LC_ALL=C MACHTYPE=arm-unknown-linux-gnueabihf MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnueabihf PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=23213 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.AXX6tOXY/pbuilderrc_KaKk --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.AXX6tOXY/b2 --logfile b2/build.log haskell-ghc-typelits-natnormalise_0.7.9-1.dsc' SUDO_GID=113 SUDO_UID=107 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root _='I: set' http_proxy=http://10.0.0.15:3142/ I: uname -a Linux i-capture-the-hostname 6.1.0-20-armmp-lpae #1 SMP Debian 6.1.85-1 (2024-04-11) armv7l GNU/Linux I: ls -l /bin lrwxrwxrwx 1 root root 7 Apr 15 11:24 /bin -> usr/bin I: user script /srv/workspace/pbuilder/23213/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: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc (>= 9.4), ghc-prof, libghc-ghc-tcplugins-extra-dev (>= 0.3.1), libghc-ghc-tcplugins-extra-prof, libghc-tasty-dev (>= 0.10), libghc-tasty-prof, libghc-tasty-hunit-dev (>= 0.9), libghc-tasty-hunit-prof, ghc-doc, libghc-ghc-tcplugins-extra-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 ... 19635 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 debhelper (>= 10); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on haskell-devscripts-minimal | haskell-devscripts (>= 0.13); however: Package haskell-devscripts-minimal is not installed. Package haskell-devscripts is not installed. pbuilder-satisfydepends-dummy depends on cdbs; however: Package cdbs is not installed. pbuilder-satisfydepends-dummy depends on ghc (>= 9.4); 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 libghc-ghc-tcplugins-extra-dev (>= 0.3.1); however: Package libghc-ghc-tcplugins-extra-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-ghc-tcplugins-extra-prof; however: Package libghc-ghc-tcplugins-extra-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-tasty-dev (>= 0.10); however: Package libghc-tasty-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-tasty-prof; however: Package libghc-tasty-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-tasty-hunit-dev (>= 0.9); however: Package libghc-tasty-hunit-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-tasty-hunit-prof; however: Package libghc-tasty-hunit-prof is not installed. pbuilder-satisfydepends-dummy depends on ghc-doc; however: Package ghc-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-ghc-tcplugins-extra-doc; however: Package libghc-ghc-tcplugins-extra-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-minimal{a} html-xml-utils{a} intltool-debian{a} libarchive-zip-perl{a} libb-hooks-op-check-perl{a} libbrotli1{a} libbsd-dev{a} libbsd0{a} libconst-fast-perl{a} libcurl3-gnutls{a} libcurl4{a} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{a} libedit2{a} libelf1{a} libexpat1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libghc-ansi-terminal-dev{a} libghc-ansi-terminal-prof{a} libghc-ansi-terminal-types-dev{a} libghc-ansi-terminal-types-prof{a} libghc-ansi-wl-pprint-dev{a} libghc-ansi-wl-pprint-prof{a} libghc-call-stack-dev{a} libghc-call-stack-prof{a} libghc-colour-dev{a} libghc-colour-prof{a} libghc-ghc-tcplugins-extra-dev{a} libghc-ghc-tcplugins-extra-doc{a} libghc-ghc-tcplugins-extra-prof{a} libghc-optparse-applicative-dev{a} libghc-optparse-applicative-prof{a} libghc-tagged-dev{a} libghc-tagged-prof{a} libghc-tasty-dev{a} libghc-tasty-hunit-dev{a} libghc-tasty-hunit-prof{a} libghc-tasty-prof{a} libghc-transformers-compat-dev{a} libghc-transformers-compat-prof{a} libghc-unbounded-delays-dev{a} libghc-unbounded-delays-prof{a} libgmp-dev{a} libgmpxx4ldbl{a} libicu72{a} libipc-run3-perl{a} libjs-mathjax{a} libldap-2.5-0{a} liblist-someutils-perl{a} libllvm15{a} libmagic-mgc{a} libmagic1{a} libmd-dev{a} libmodule-implementation-perl{a} libmodule-runtime-perl{a} libncurses-dev{a} libncurses6{a} libnghttp2-14{a} libparams-classify-perl{a} libparams-util-perl{a} libpath-tiny-perl{a} libpfm4{a} libpipeline1{a} libpsl5{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libreadline8{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1{a} libsub-exporter-perl{a} libsub-exporter-progressive-perl{a} libsub-install-perl{a} libsub-override-perl{a} libtimedate-perl{a} libtool{a} libtry-tiny-perl{a} libuchardet0{a} libunicode-utf8-perl{a} libxml2{a} libz3-4{a} llvm-15{a} llvm-15-linker-tools{a} llvm-15-runtime{a} m4{a} man-db{a} media-types{a} netbase{a} po-debconf{a} python3{a} python3-minimal{a} python3-pkg-resources{a} python3-scour{a} python3.11{a} python3.11-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 libarchive-cpio-perl libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules llvm-15-dev lynx publicsuffix systemd wget 0 packages upgraded, 125 newly installed, 0 to remove and 0 not upgraded. Need to get 281 MB of archives. After unpacking 2376 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian trixie/main armhf libbsd0 armhf 0.12.2-1 [127 kB] Get: 2 http://deb.debian.org/debian trixie/main armhf libedit2 armhf 3.1-20230828-1 [76.8 kB] Get: 3 http://deb.debian.org/debian trixie/main armhf libicu72 armhf 72.1-4+b1 [9070 kB] Get: 4 http://deb.debian.org/debian trixie/main armhf libxml2 armhf 2.9.14+dfsg-1.3+b2 [599 kB] Get: 5 http://deb.debian.org/debian trixie/main armhf libz3-4 armhf 4.8.12-3.1+b2 [6324 kB] Get: 6 http://deb.debian.org/debian trixie/main armhf libllvm15 armhf 1:15.0.7-10 [20.6 MB] Get: 7 http://deb.debian.org/debian trixie/main armhf llvm-15-runtime armhf 1:15.0.7-10 [439 kB] Get: 8 http://deb.debian.org/debian trixie/main armhf llvm-15-linker-tools armhf 1:15.0.7-10 [1052 kB] Get: 9 http://deb.debian.org/debian trixie/main armhf libbrotli1 armhf 1.1.0-2+b3 [284 kB] Get: 10 http://deb.debian.org/debian trixie/main armhf libsasl2-modules-db armhf 2.1.28+dfsg1-4+b1 [18.2 kB] Get: 11 http://deb.debian.org/debian trixie/main armhf libsasl2-2 armhf 2.1.28+dfsg1-4+b1 [50.1 kB] Get: 12 http://deb.debian.org/debian trixie/main armhf libldap-2.5-0 armhf 2.5.13+dfsg-5+b3 [158 kB] Get: 13 http://deb.debian.org/debian trixie/main armhf libnghttp2-14 armhf 1.59.0-1 [62.0 kB] Get: 14 http://deb.debian.org/debian trixie/main armhf libpsl5 armhf 0.21.2-1+b1 [57.8 kB] Get: 15 http://deb.debian.org/debian trixie/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [55.2 kB] Get: 16 http://deb.debian.org/debian trixie/main armhf libssh2-1 armhf 1.11.0-4 [197 kB] Get: 17 http://deb.debian.org/debian trixie/main armhf libcurl4 armhf 8.5.0-2 [383 kB] Get: 18 http://deb.debian.org/debian trixie/main armhf libpfm4 armhf 4.13.0+git32-g0d4ed0e-1 [46.1 kB] Get: 19 http://deb.debian.org/debian trixie/main armhf llvm-15 armhf 1:15.0.7-10 [10.3 MB] Get: 20 http://deb.debian.org/debian trixie/main armhf libgmpxx4ldbl armhf 2:6.3.0+dfsg-2+b1 [328 kB] Get: 21 http://deb.debian.org/debian trixie/main armhf libgmp-dev armhf 2:6.3.0+dfsg-2+b1 [591 kB] Get: 22 http://deb.debian.org/debian trixie/main armhf libffi-dev armhf 3.4.6-1 [55.9 kB] Get: 23 http://deb.debian.org/debian trixie/main armhf libmd-dev armhf 1.1.0-2 [51.6 kB] Get: 24 http://deb.debian.org/debian trixie/main armhf libbsd-dev armhf 0.12.2-1 [252 kB] Get: 25 http://deb.debian.org/debian trixie/main armhf libncurses6 armhf 6.4+20240113-1 [81.8 kB] Get: 26 http://deb.debian.org/debian trixie/main armhf libncurses-dev armhf 6.4+20240113-1 [309 kB] Get: 27 http://deb.debian.org/debian trixie/main armhf ghc armhf 9.4.7-3 [98.6 MB] Get: 28 http://deb.debian.org/debian trixie/main armhf fonts-mathjax all 2.7.9+dfsg-1 [2210 kB] Get: 29 http://deb.debian.org/debian trixie/main armhf libjs-mathjax all 2.7.9+dfsg-1 [5667 kB] Get: 30 http://deb.debian.org/debian trixie/main armhf ghc-doc all 9.4.7-3 [33.4 MB] Get: 31 http://deb.debian.org/debian trixie/main armhf libpython3.11-minimal armhf 3.11.8-1 [802 kB] Get: 32 http://deb.debian.org/debian trixie/main armhf libexpat1 armhf 2.5.0-2+b2 [80.2 kB] Get: 33 http://deb.debian.org/debian trixie/main armhf python3.11-minimal armhf 3.11.8-1 [1707 kB] Get: 34 http://deb.debian.org/debian trixie/main armhf python3-minimal armhf 3.11.6-1 [26.2 kB] Get: 35 http://deb.debian.org/debian trixie/main armhf media-types all 10.1.0 [26.9 kB] Get: 36 http://deb.debian.org/debian trixie/main armhf netbase all 6.4 [12.8 kB] Get: 37 http://deb.debian.org/debian trixie/main armhf tzdata all 2024a-1 [255 kB] Get: 38 http://deb.debian.org/debian trixie/main armhf readline-common all 8.2-3 [69.1 kB] Get: 39 http://deb.debian.org/debian trixie/main armhf libreadline8 armhf 8.2-3+b1 [144 kB] Get: 40 http://deb.debian.org/debian trixie/main armhf libpython3.11-stdlib armhf 3.11.8-1 [1709 kB] Get: 41 http://deb.debian.org/debian trixie/main armhf python3.11 armhf 3.11.8-1 [597 kB] Get: 42 http://deb.debian.org/debian trixie/main armhf libpython3-stdlib armhf 3.11.6-1 [9224 B] Get: 43 http://deb.debian.org/debian trixie/main armhf python3 armhf 3.11.6-1 [26.2 kB] Get: 44 http://deb.debian.org/debian trixie/main armhf sensible-utils all 0.0.22 [22.4 kB] Get: 45 http://deb.debian.org/debian trixie/main armhf libmagic-mgc armhf 1:5.45-2+b1 [314 kB] Get: 46 http://deb.debian.org/debian trixie/main armhf libmagic1 armhf 1:5.45-2+b1 [97.9 kB] Get: 47 http://deb.debian.org/debian trixie/main armhf file armhf 1:5.45-2+b1 [42.2 kB] Get: 48 http://deb.debian.org/debian trixie/main armhf gettext-base armhf 0.21-14+b1 [157 kB] Get: 49 http://deb.debian.org/debian trixie/main armhf libuchardet0 armhf 0.0.8-1+b1 [65.7 kB] Get: 50 http://deb.debian.org/debian trixie/main armhf groff-base armhf 1.23.0-3 [1088 kB] Get: 51 http://deb.debian.org/debian trixie/main armhf bsdextrautils armhf 2.39.3-6 [81.2 kB] Get: 52 http://deb.debian.org/debian trixie/main armhf libpipeline1 armhf 1.5.7-2 [33.3 kB] Get: 53 http://deb.debian.org/debian trixie/main armhf man-db armhf 2.12.0-3 [1367 kB] Get: 54 http://deb.debian.org/debian trixie/main armhf m4 armhf 1.4.19-4 [264 kB] Get: 55 http://deb.debian.org/debian trixie/main armhf autoconf all 2.71-3 [332 kB] Get: 56 http://deb.debian.org/debian trixie/main armhf autotools-dev all 20220109.1 [51.6 kB] Get: 57 http://deb.debian.org/debian trixie/main armhf automake all 1:1.16.5-1.3 [823 kB] Get: 58 http://deb.debian.org/debian trixie/main armhf autopoint all 0.21-14 [496 kB] Get: 59 http://deb.debian.org/debian trixie/main armhf python3-pkg-resources all 68.1.2-2 [241 kB] Get: 60 http://deb.debian.org/debian trixie/main armhf python3-scour all 0.38.2-4.1 [55.7 kB] Get: 61 http://deb.debian.org/debian trixie/main armhf scour all 0.38.2-4.1 [17.2 kB] Get: 62 http://deb.debian.org/debian trixie/main armhf cdbs all 0.4.166 [47.3 kB] Get: 63 http://deb.debian.org/debian trixie/main armhf dctrl-tools armhf 2.24-3 [96.0 kB] Get: 64 http://deb.debian.org/debian trixie/main armhf libdebhelper-perl all 13.15.3 [88.0 kB] Get: 65 http://deb.debian.org/debian trixie/main armhf libtool all 2.4.7-7 [517 kB] Get: 66 http://deb.debian.org/debian trixie/main armhf dh-autoreconf all 20 [17.1 kB] Get: 67 http://deb.debian.org/debian trixie/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 68 http://deb.debian.org/debian trixie/main armhf libsub-override-perl all 0.10-1 [10.6 kB] Get: 69 http://deb.debian.org/debian trixie/main armhf libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 70 http://deb.debian.org/debian trixie/main armhf dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 71 http://deb.debian.org/debian trixie/main armhf libelf1 armhf 0.190-1+b1 [171 kB] Get: 72 http://deb.debian.org/debian trixie/main armhf dwz armhf 0.15-1 [101 kB] Get: 73 http://deb.debian.org/debian trixie/main armhf gettext armhf 0.21-14+b1 [1230 kB] Get: 74 http://deb.debian.org/debian trixie/main armhf intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 75 http://deb.debian.org/debian trixie/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 76 http://deb.debian.org/debian trixie/main armhf debhelper all 13.15.3 [901 kB] Get: 77 http://deb.debian.org/debian trixie/main armhf dh-buildinfo all 0.11+nmu3 [17.1 kB] Get: 78 http://deb.debian.org/debian trixie/main armhf ghc-prof armhf 9.4.7-3 [69.9 MB] Get: 79 http://deb.debian.org/debian trixie/main armhf libcurl3-gnutls armhf 8.5.0-2 [378 kB] Get: 80 http://deb.debian.org/debian trixie/main armhf html-xml-utils armhf 7.7-1.1 [233 kB] Get: 81 http://deb.debian.org/debian trixie/main armhf libparams-util-perl armhf 1.102-2+b2 [23.3 kB] Get: 82 http://deb.debian.org/debian trixie/main armhf libsub-install-perl all 0.929-1 [10.5 kB] Get: 83 http://deb.debian.org/debian trixie/main armhf libdata-optlist-perl all 0.114-1 [10.6 kB] Get: 84 http://deb.debian.org/debian trixie/main armhf libsub-exporter-perl all 0.990-1 [50.6 kB] Get: 85 http://deb.debian.org/debian trixie/main armhf libsub-exporter-progressive-perl all 0.001013-3 [7496 B] Get: 86 http://deb.debian.org/debian trixie/main armhf libconst-fast-perl all 0.014-2 [8792 B] Get: 87 http://deb.debian.org/debian trixie/main armhf libdevel-confess-perl all 0.009004-3 [19.6 kB] Get: 88 http://deb.debian.org/debian trixie/main armhf libipc-run3-perl all 0.049-1 [31.5 kB] Get: 89 http://deb.debian.org/debian trixie/main armhf libb-hooks-op-check-perl armhf 0.22-2+b2 [10.3 kB] Get: 90 http://deb.debian.org/debian trixie/main armhf libdynaloader-functions-perl all 0.003-3 [12.7 kB] Get: 91 http://deb.debian.org/debian trixie/main armhf libdevel-callchecker-perl armhf 0.008-2+b1 [14.9 kB] Get: 92 http://deb.debian.org/debian trixie/main armhf libparams-classify-perl armhf 0.015-2+b2 [21.3 kB] Get: 93 http://deb.debian.org/debian trixie/main armhf libmodule-runtime-perl all 0.016-2 [19.6 kB] Get: 94 http://deb.debian.org/debian trixie/main armhf libtry-tiny-perl all 0.31-2 [22.6 kB] Get: 95 http://deb.debian.org/debian trixie/main armhf libmodule-implementation-perl all 0.09-2 [12.6 kB] Get: 96 http://deb.debian.org/debian trixie/main armhf liblist-someutils-perl all 0.59-1 [37.1 kB] Get: 97 http://deb.debian.org/debian trixie/main armhf libpath-tiny-perl all 0.144-1 [56.4 kB] Get: 98 http://deb.debian.org/debian trixie/main armhf libtimedate-perl all 2.3300-2 [39.3 kB] Get: 99 http://deb.debian.org/debian trixie/main armhf libunicode-utf8-perl armhf 0.62-2+b1 [19.2 kB] Get: 100 http://deb.debian.org/debian trixie/main armhf haskell-devscripts-minimal all 0.16.33 [53.0 kB] Get: 101 http://deb.debian.org/debian trixie/main armhf libghc-colour-dev armhf 2.3.6-2+b1 [228 kB] Get: 102 http://deb.debian.org/debian trixie/main armhf libghc-ansi-terminal-types-dev armhf 0.11.5-2+b1 [109 kB] Get: 103 http://deb.debian.org/debian trixie/main armhf libghc-ansi-terminal-dev armhf 0.11.5-1+b1 [76.3 kB] Get: 104 http://deb.debian.org/debian trixie/main armhf libghc-colour-prof armhf 2.3.6-2+b1 [270 kB] Get: 105 http://deb.debian.org/debian trixie/main armhf libghc-ansi-terminal-types-prof armhf 0.11.5-2+b1 [104 kB] Get: 106 http://deb.debian.org/debian trixie/main armhf libghc-ansi-terminal-prof armhf 0.11.5-1+b1 [81.1 kB] Get: 107 http://deb.debian.org/debian trixie/main armhf libghc-ansi-wl-pprint-dev armhf 0.6.9-6+b1 [79.2 kB] Get: 108 http://deb.debian.org/debian trixie/main armhf libghc-ansi-wl-pprint-prof armhf 0.6.9-6+b1 [95.3 kB] Get: 109 http://deb.debian.org/debian trixie/main armhf libghc-call-stack-dev armhf 0.4.0-2+b1 [25.2 kB] Get: 110 http://deb.debian.org/debian trixie/main armhf libghc-call-stack-prof armhf 0.4.0-2+b1 [23.5 kB] Get: 111 http://deb.debian.org/debian trixie/main armhf libghc-ghc-tcplugins-extra-dev armhf 0.4.5-1+b2 [74.2 kB] Get: 112 http://deb.debian.org/debian trixie/main armhf libghc-ghc-tcplugins-extra-doc all 0.4.5-1 [85.5 kB] Get: 113 http://deb.debian.org/debian trixie/main armhf libghc-ghc-tcplugins-extra-prof armhf 0.4.5-1+b2 [76.5 kB] Get: 114 http://deb.debian.org/debian trixie/main armhf libghc-transformers-compat-dev armhf 0.7.2-1+b1 [164 kB] Get: 115 http://deb.debian.org/debian trixie/main armhf libghc-optparse-applicative-dev armhf 0.17.1.0-1+b1 [383 kB] Get: 116 http://deb.debian.org/debian trixie/main armhf libghc-transformers-compat-prof armhf 0.7.2-1+b1 [167 kB] Get: 117 http://deb.debian.org/debian trixie/main armhf libghc-optparse-applicative-prof armhf 0.17.1.0-1+b1 [436 kB] Get: 118 http://deb.debian.org/debian trixie/main armhf libghc-tagged-dev armhf 0.8.7-1+b1 [84.2 kB] Get: 119 http://deb.debian.org/debian trixie/main armhf libghc-tagged-prof armhf 0.8.7-1+b1 [88.4 kB] Get: 120 http://deb.debian.org/debian trixie/main armhf libghc-unbounded-delays-dev armhf 0.1.1.1-2+b1 [21.0 kB] Get: 121 http://deb.debian.org/debian trixie/main armhf libghc-tasty-dev armhf 1.4.3-2+b1 [393 kB] Get: 122 http://deb.debian.org/debian trixie/main armhf libghc-tasty-hunit-dev armhf 0.10.1-1 [46.5 kB] Get: 123 http://deb.debian.org/debian trixie/main armhf libghc-unbounded-delays-prof armhf 0.1.1.1-2+b1 [19.4 kB] Get: 124 http://deb.debian.org/debian trixie/main armhf libghc-tasty-prof armhf 1.4.3-2+b1 [424 kB] Get: 125 http://deb.debian.org/debian trixie/main armhf libghc-tasty-hunit-prof armhf 0.10.1-1 [46.2 kB] Fetched 281 MB in 8s (34.8 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0: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 ... 19635 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.12.2-1_armhf.deb ... Unpacking libbsd0:armhf (0.12.2-1) ... Selecting previously unselected package libedit2:armhf. Preparing to unpack .../01-libedit2_3.1-20230828-1_armhf.deb ... Unpacking libedit2:armhf (3.1-20230828-1) ... Selecting previously unselected package libicu72:armhf. Preparing to unpack .../02-libicu72_72.1-4+b1_armhf.deb ... Unpacking libicu72:armhf (72.1-4+b1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3+b2_armhf.deb ... Unpacking libxml2:armhf (2.9.14+dfsg-1.3+b2) ... Selecting previously unselected package libz3-4:armhf. Preparing to unpack .../04-libz3-4_4.8.12-3.1+b2_armhf.deb ... Unpacking libz3-4:armhf (4.8.12-3.1+b2) ... Selecting previously unselected package libllvm15:armhf. Preparing to unpack .../05-libllvm15_1%3a15.0.7-10_armhf.deb ... Unpacking libllvm15:armhf (1:15.0.7-10) ... Selecting previously unselected package llvm-15-runtime. Preparing to unpack .../06-llvm-15-runtime_1%3a15.0.7-10_armhf.deb ... Unpacking llvm-15-runtime (1:15.0.7-10) ... Selecting previously unselected package llvm-15-linker-tools. Preparing to unpack .../07-llvm-15-linker-tools_1%3a15.0.7-10_armhf.deb ... Unpacking llvm-15-linker-tools (1:15.0.7-10) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../08-libbrotli1_1.1.0-2+b3_armhf.deb ... Unpacking libbrotli1:armhf (1.1.0-2+b3) ... Selecting previously unselected package libsasl2-modules-db:armhf. Preparing to unpack .../09-libsasl2-modules-db_2.1.28+dfsg1-4+b1_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.28+dfsg1-4+b1) ... Selecting previously unselected package libsasl2-2:armhf. Preparing to unpack .../10-libsasl2-2_2.1.28+dfsg1-4+b1_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.28+dfsg1-4+b1) ... Selecting previously unselected package libldap-2.5-0:armhf. Preparing to unpack .../11-libldap-2.5-0_2.5.13+dfsg-5+b3_armhf.deb ... Unpacking libldap-2.5-0:armhf (2.5.13+dfsg-5+b3) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../12-libnghttp2-14_1.59.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.59.0-1) ... Selecting previously unselected package libpsl5:armhf. Preparing to unpack .../13-libpsl5_0.21.2-1+b1_armhf.deb ... Unpacking libpsl5:armhf (0.21.2-1+b1) ... Selecting previously unselected package librtmp1:armhf. Preparing to unpack .../14-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_armhf.deb ... Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:armhf. Preparing to unpack .../15-libssh2-1_1.11.0-4_armhf.deb ... Unpacking libssh2-1:armhf (1.11.0-4) ... Selecting previously unselected package libcurl4:armhf. Preparing to unpack .../16-libcurl4_8.5.0-2_armhf.deb ... Unpacking libcurl4:armhf (8.5.0-2) ... Selecting previously unselected package libpfm4:armhf. Preparing to unpack .../17-libpfm4_4.13.0+git32-g0d4ed0e-1_armhf.deb ... Unpacking libpfm4:armhf (4.13.0+git32-g0d4ed0e-1) ... Selecting previously unselected package llvm-15. Preparing to unpack .../18-llvm-15_1%3a15.0.7-10_armhf.deb ... Unpacking llvm-15 (1:15.0.7-10) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../19-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 .../20-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 .../21-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 .../22-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 .../23-libbsd-dev_0.12.2-1_armhf.deb ... Unpacking libbsd-dev:armhf (0.12.2-1) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../24-libncurses6_6.4+20240113-1_armhf.deb ... Unpacking libncurses6:armhf (6.4+20240113-1) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../25-libncurses-dev_6.4+20240113-1_armhf.deb ... Unpacking libncurses-dev:armhf (6.4+20240113-1) ... Selecting previously unselected package ghc. Preparing to unpack .../26-ghc_9.4.7-3_armhf.deb ... Unpacking ghc (9.4.7-3) ... Selecting previously unselected package fonts-mathjax. Preparing to unpack .../27-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 .../28-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 .../29-ghc-doc_9.4.7-3_all.deb ... Unpacking ghc-doc (9.4.7-3) ... Selecting previously unselected package libpython3.11-minimal:armhf. Preparing to unpack .../30-libpython3.11-minimal_3.11.8-1_armhf.deb ... Unpacking libpython3.11-minimal:armhf (3.11.8-1) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../31-libexpat1_2.5.0-2+b2_armhf.deb ... Unpacking libexpat1:armhf (2.5.0-2+b2) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../32-python3.11-minimal_3.11.8-1_armhf.deb ... Unpacking python3.11-minimal (3.11.8-1) ... Setting up libpython3.11-minimal:armhf (3.11.8-1) ... Setting up libexpat1:armhf (2.5.0-2+b2) ... Setting up python3.11-minimal (3.11.8-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 ... 33906 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.6-1_armhf.deb ... Unpacking python3-minimal (3.11.6-1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.1.0_all.deb ... Unpacking media-types (10.1.0) ... Selecting previously unselected package netbase. Preparing to unpack .../2-netbase_6.4_all.deb ... Unpacking netbase (6.4) ... Selecting previously unselected package tzdata. Preparing to unpack .../3-tzdata_2024a-1_all.deb ... Unpacking tzdata (2024a-1) ... Selecting previously unselected package readline-common. Preparing to unpack .../4-readline-common_8.2-3_all.deb ... Unpacking readline-common (8.2-3) ... Selecting previously unselected package libreadline8:armhf. Preparing to unpack .../5-libreadline8_8.2-3+b1_armhf.deb ... Unpacking libreadline8:armhf (8.2-3+b1) ... Selecting previously unselected package libpython3.11-stdlib:armhf. Preparing to unpack .../6-libpython3.11-stdlib_3.11.8-1_armhf.deb ... Unpacking libpython3.11-stdlib:armhf (3.11.8-1) ... Selecting previously unselected package python3.11. Preparing to unpack .../7-python3.11_3.11.8-1_armhf.deb ... Unpacking python3.11 (3.11.8-1) ... Selecting previously unselected package libpython3-stdlib:armhf. Preparing to unpack .../8-libpython3-stdlib_3.11.6-1_armhf.deb ... Unpacking libpython3-stdlib:armhf (3.11.6-1) ... Setting up python3-minimal (3.11.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 ... 34894 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.6-1_armhf.deb ... Unpacking python3 (3.11.6-1) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../01-sensible-utils_0.0.22_all.deb ... Unpacking sensible-utils (0.0.22) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../02-libmagic-mgc_1%3a5.45-2+b1_armhf.deb ... Unpacking libmagic-mgc (1:5.45-2+b1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../03-libmagic1_1%3a5.45-2+b1_armhf.deb ... Unpacking libmagic1:armhf (1:5.45-2+b1) ... Selecting previously unselected package file. Preparing to unpack .../04-file_1%3a5.45-2+b1_armhf.deb ... Unpacking file (1:5.45-2+b1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../05-gettext-base_0.21-14+b1_armhf.deb ... Unpacking gettext-base (0.21-14+b1) ... 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-3_armhf.deb ... Unpacking groff-base (1.23.0-3) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../08-bsdextrautils_2.39.3-6_armhf.deb ... Unpacking bsdextrautils (2.39.3-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../09-libpipeline1_1.5.7-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.7-2) ... Selecting previously unselected package man-db. Preparing to unpack .../10-man-db_2.12.0-3_armhf.deb ... Unpacking man-db (2.12.0-3) ... 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.71-3_all.deb ... Unpacking autoconf (2.71-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.21-14_all.deb ... Unpacking autopoint (0.21-14) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../16-python3-pkg-resources_68.1.2-2_all.deb ... Unpacking python3-pkg-resources (68.1.2-2) ... Selecting previously unselected package python3-scour. Preparing to unpack .../17-python3-scour_0.38.2-4.1_all.deb ... Unpacking python3-scour (0.38.2-4.1) ... Selecting previously unselected package scour. Preparing to unpack .../18-scour_0.38.2-4.1_all.deb ... Unpacking scour (0.38.2-4.1) ... Selecting previously unselected package cdbs. Preparing to unpack .../19-cdbs_0.4.166_all.deb ... Unpacking cdbs (0.4.166) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../20-dctrl-tools_2.24-3_armhf.deb ... Unpacking dctrl-tools (2.24-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../21-libdebhelper-perl_13.15.3_all.deb ... Unpacking libdebhelper-perl (13.15.3) ... Selecting previously unselected package libtool. Preparing to unpack .../22-libtool_2.4.7-7_all.deb ... Unpacking libtool (2.4.7-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../23-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../24-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libsub-override-perl. Preparing to unpack .../25-libsub-override-perl_0.10-1_all.deb ... Unpacking libsub-override-perl (0.10-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../26-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../27-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../28-libelf1_0.190-1+b1_armhf.deb ... Unpacking libelf1:armhf (0.190-1+b1) ... Selecting previously unselected package dwz. Preparing to unpack .../29-dwz_0.15-1_armhf.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package gettext. Preparing to unpack .../30-gettext_0.21-14+b1_armhf.deb ... Unpacking gettext (0.21-14+b1) ... 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.15.3_all.deb ... Unpacking debhelper (13.15.3) ... 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.4.7-3_armhf.deb ... Unpacking ghc-prof (9.4.7-3) ... Selecting previously unselected package libcurl3-gnutls:armhf. Preparing to unpack .../36-libcurl3-gnutls_8.5.0-2_armhf.deb ... Unpacking libcurl3-gnutls:armhf (8.5.0-2) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../37-html-xml-utils_7.7-1.1_armhf.deb ... Unpacking html-xml-utils (7.7-1.1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../38-libparams-util-perl_1.102-2+b2_armhf.deb ... Unpacking libparams-util-perl (1.102-2+b2) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../39-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 .../40-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 .../41-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 .../42-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 .../43-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 .../44-libdevel-confess-perl_0.009004-3_all.deb ... Unpacking libdevel-confess-perl (0.009004-3) ... Selecting previously unselected package libipc-run3-perl. Preparing to unpack .../45-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 .../46-libb-hooks-op-check-perl_0.22-2+b2_armhf.deb ... Unpacking libb-hooks-op-check-perl:armhf (0.22-2+b2) ... Selecting previously unselected package libdynaloader-functions-perl. Preparing to unpack .../47-libdynaloader-functions-perl_0.003-3_all.deb ... Unpacking libdynaloader-functions-perl (0.003-3) ... Selecting previously unselected package libdevel-callchecker-perl:armhf. Preparing to unpack .../48-libdevel-callchecker-perl_0.008-2+b1_armhf.deb ... Unpacking libdevel-callchecker-perl:armhf (0.008-2+b1) ... Selecting previously unselected package libparams-classify-perl:armhf. Preparing to unpack .../49-libparams-classify-perl_0.015-2+b2_armhf.deb ... Unpacking libparams-classify-perl:armhf (0.015-2+b2) ... Selecting previously unselected package libmodule-runtime-perl. Preparing to unpack .../50-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 .../51-libtry-tiny-perl_0.31-2_all.deb ... Unpacking libtry-tiny-perl (0.31-2) ... Selecting previously unselected package libmodule-implementation-perl. Preparing to unpack .../52-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 .../53-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 .../54-libpath-tiny-perl_0.144-1_all.deb ... Unpacking libpath-tiny-perl (0.144-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../55-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libunicode-utf8-perl. Preparing to unpack .../56-libunicode-utf8-perl_0.62-2+b1_armhf.deb ... Unpacking libunicode-utf8-perl (0.62-2+b1) ... Selecting previously unselected package haskell-devscripts-minimal. Preparing to unpack .../57-haskell-devscripts-minimal_0.16.33_all.deb ... Unpacking haskell-devscripts-minimal (0.16.33) ... Selecting previously unselected package libghc-colour-dev. Preparing to unpack .../58-libghc-colour-dev_2.3.6-2+b1_armhf.deb ... Unpacking libghc-colour-dev (2.3.6-2+b1) ... Selecting previously unselected package libghc-ansi-terminal-types-dev. Preparing to unpack .../59-libghc-ansi-terminal-types-dev_0.11.5-2+b1_armhf.deb ... Unpacking libghc-ansi-terminal-types-dev (0.11.5-2+b1) ... Selecting previously unselected package libghc-ansi-terminal-dev. Preparing to unpack .../60-libghc-ansi-terminal-dev_0.11.5-1+b1_armhf.deb ... Unpacking libghc-ansi-terminal-dev (0.11.5-1+b1) ... Selecting previously unselected package libghc-colour-prof. Preparing to unpack .../61-libghc-colour-prof_2.3.6-2+b1_armhf.deb ... Unpacking libghc-colour-prof (2.3.6-2+b1) ... Selecting previously unselected package libghc-ansi-terminal-types-prof. Preparing to unpack .../62-libghc-ansi-terminal-types-prof_0.11.5-2+b1_armhf.deb ... Unpacking libghc-ansi-terminal-types-prof (0.11.5-2+b1) ... Selecting previously unselected package libghc-ansi-terminal-prof. Preparing to unpack .../63-libghc-ansi-terminal-prof_0.11.5-1+b1_armhf.deb ... Unpacking libghc-ansi-terminal-prof (0.11.5-1+b1) ... Selecting previously unselected package libghc-ansi-wl-pprint-dev. Preparing to unpack .../64-libghc-ansi-wl-pprint-dev_0.6.9-6+b1_armhf.deb ... Unpacking libghc-ansi-wl-pprint-dev (0.6.9-6+b1) ... Selecting previously unselected package libghc-ansi-wl-pprint-prof. Preparing to unpack .../65-libghc-ansi-wl-pprint-prof_0.6.9-6+b1_armhf.deb ... Unpacking libghc-ansi-wl-pprint-prof (0.6.9-6+b1) ... Selecting previously unselected package libghc-call-stack-dev. Preparing to unpack .../66-libghc-call-stack-dev_0.4.0-2+b1_armhf.deb ... Unpacking libghc-call-stack-dev (0.4.0-2+b1) ... Selecting previously unselected package libghc-call-stack-prof. Preparing to unpack .../67-libghc-call-stack-prof_0.4.0-2+b1_armhf.deb ... Unpacking libghc-call-stack-prof (0.4.0-2+b1) ... Selecting previously unselected package libghc-ghc-tcplugins-extra-dev. Preparing to unpack .../68-libghc-ghc-tcplugins-extra-dev_0.4.5-1+b2_armhf.deb ... Unpacking libghc-ghc-tcplugins-extra-dev (0.4.5-1+b2) ... Selecting previously unselected package libghc-ghc-tcplugins-extra-doc. Preparing to unpack .../69-libghc-ghc-tcplugins-extra-doc_0.4.5-1_all.deb ... Unpacking libghc-ghc-tcplugins-extra-doc (0.4.5-1) ... Selecting previously unselected package libghc-ghc-tcplugins-extra-prof. Preparing to unpack .../70-libghc-ghc-tcplugins-extra-prof_0.4.5-1+b2_armhf.deb ... Unpacking libghc-ghc-tcplugins-extra-prof (0.4.5-1+b2) ... Selecting previously unselected package libghc-transformers-compat-dev. Preparing to unpack .../71-libghc-transformers-compat-dev_0.7.2-1+b1_armhf.deb ... Unpacking libghc-transformers-compat-dev (0.7.2-1+b1) ... Selecting previously unselected package libghc-optparse-applicative-dev. Preparing to unpack .../72-libghc-optparse-applicative-dev_0.17.1.0-1+b1_armhf.deb ... Unpacking libghc-optparse-applicative-dev (0.17.1.0-1+b1) ... Selecting previously unselected package libghc-transformers-compat-prof. Preparing to unpack .../73-libghc-transformers-compat-prof_0.7.2-1+b1_armhf.deb ... Unpacking libghc-transformers-compat-prof (0.7.2-1+b1) ... Selecting previously unselected package libghc-optparse-applicative-prof. Preparing to unpack .../74-libghc-optparse-applicative-prof_0.17.1.0-1+b1_armhf.deb ... Unpacking libghc-optparse-applicative-prof (0.17.1.0-1+b1) ... Selecting previously unselected package libghc-tagged-dev. Preparing to unpack .../75-libghc-tagged-dev_0.8.7-1+b1_armhf.deb ... Unpacking libghc-tagged-dev (0.8.7-1+b1) ... Selecting previously unselected package libghc-tagged-prof. Preparing to unpack .../76-libghc-tagged-prof_0.8.7-1+b1_armhf.deb ... Unpacking libghc-tagged-prof (0.8.7-1+b1) ... Selecting previously unselected package libghc-unbounded-delays-dev. Preparing to unpack .../77-libghc-unbounded-delays-dev_0.1.1.1-2+b1_armhf.deb ... Unpacking libghc-unbounded-delays-dev (0.1.1.1-2+b1) ... Selecting previously unselected package libghc-tasty-dev. Preparing to unpack .../78-libghc-tasty-dev_1.4.3-2+b1_armhf.deb ... Unpacking libghc-tasty-dev (1.4.3-2+b1) ... Selecting previously unselected package libghc-tasty-hunit-dev. Preparing to unpack .../79-libghc-tasty-hunit-dev_0.10.1-1_armhf.deb ... Unpacking libghc-tasty-hunit-dev (0.10.1-1) ... Selecting previously unselected package libghc-unbounded-delays-prof. Preparing to unpack .../80-libghc-unbounded-delays-prof_0.1.1.1-2+b1_armhf.deb ... Unpacking libghc-unbounded-delays-prof (0.1.1.1-2+b1) ... Selecting previously unselected package libghc-tasty-prof. Preparing to unpack .../81-libghc-tasty-prof_1.4.3-2+b1_armhf.deb ... Unpacking libghc-tasty-prof (1.4.3-2+b1) ... Selecting previously unselected package libghc-tasty-hunit-prof. Preparing to unpack .../82-libghc-tasty-hunit-prof_0.10.1-1_armhf.deb ... Unpacking libghc-tasty-hunit-prof (0.10.1-1) ... Setting up media-types (10.1.0) ... Setting up libpipeline1:armhf (1.5.7-2) ... Setting up libpsl5:armhf (0.21.2-1+b1) ... Setting up libunicode-utf8-perl (0.62-2+b1) ... Setting up fonts-mathjax (2.7.9+dfsg-1) ... Setting up libicu72:armhf (72.1-4+b1) ... Setting up bsdextrautils (2.39.3-6) ... Setting up libjs-mathjax (2.7.9+dfsg-1) ... Setting up libdynaloader-functions-perl (0.003-3) ... Setting up libmagic-mgc (1:5.45-2+b1) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.15.3) ... Setting up libbrotli1:armhf (1.1.0-2+b3) ... Setting up libtry-tiny-perl (0.31-2) ... Setting up libnghttp2-14:armhf (1.59.0-1) ... Setting up libmagic1:armhf (1:5.45-2+b1) ... Setting up gettext-base (0.21-14+b1) ... Setting up m4 (1.4.19-4) ... Setting up file (1:5.45-2+b1) ... Setting up libffi-dev:armhf (3.4.6-1) ... Setting up libsub-install-perl (0.929-1) ... Setting up libsasl2-modules-db:armhf (2.1.28+dfsg1-4+b1) ... Setting up tzdata (2024a-1) ... Current default time zone: 'Etc/UTC' Local time is now: Tue Apr 16 08:00:00 UTC 2024. Universal Time is now: Tue Apr 16 08:00:00 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+b2) ... Setting up libncurses6:armhf (6.4+20240113-1) ... Setting up autopoint (0.21-14) ... Setting up libb-hooks-op-check-perl:armhf (0.22-2+b2) ... Setting up libparams-util-perl (1.102-2+b2) ... Setting up libsasl2-2:armhf (2.1.28+dfsg1-4+b1) ... Setting up autoconf (2.71-3) ... Setting up libsub-exporter-progressive-perl (0.001013-3) ... Setting up libtimedate-perl (2.3300-2) ... Setting up libdevel-confess-perl (0.009004-3) ... Setting up sensible-utils (0.0.22) ... Setting up libpath-tiny-perl (0.144-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 libsub-override-perl (0.10-1) ... Setting up libssh2-1:armhf (1.11.0-4) ... Setting up netbase (6.4) ... Setting up libbsd0:armhf (0.12.2-1) ... Setting up libelf1:armhf (0.190-1+b1) ... Setting up readline-common (8.2-3) ... Setting up libxml2:armhf (2.9.14+dfsg-1.3+b2) ... Setting up libbsd-dev:armhf (0.12.2-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.13.1-1) ... Setting up libncurses-dev:armhf (6.4+20240113-1) ... Setting up gettext (0.21-14+b1) ... Setting up libgmp-dev:armhf (2:6.3.0+dfsg-2+b1) ... Setting up libtool (2.4.7-7) ... Setting up libedit2:armhf (3.1-20230828-1) ... Setting up libreadline8:armhf (8.2-3+b1) ... Setting up libdevel-callchecker-perl:armhf (0.008-2+b1) ... Setting up libldap-2.5-0:armhf (2.5.13+dfsg-5+b3) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libdata-optlist-perl (0.114-1) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.23.0-3) ... Setting up libllvm15:armhf (1:15.0.7-10) ... Setting up libcurl4:armhf (8.5.0-2) ... Setting up libsub-exporter-perl (0.990-1) ... Setting up llvm-15-linker-tools (1:15.0.7-10) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:armhf (3.11.8-1) ... Setting up libparams-classify-perl:armhf (0.015-2+b2) ... Setting up libcurl3-gnutls:armhf (8.5.0-2) ... Setting up man-db (2.12.0-3) ... Not building database; man-db/auto-update is not 'true'. Setting up libmodule-runtime-perl (0.016-2) ... Setting up llvm-15-runtime (1:15.0.7-10) ... Setting up libconst-fast-perl (0.014-2) ... Setting up libpython3-stdlib:armhf (3.11.6-1) ... Setting up python3.11 (3.11.8-1) ... Setting up llvm-15 (1:15.0.7-10) ... Setting up html-xml-utils (7.7-1.1) ... Setting up libmodule-implementation-perl (0.09-2) ... Setting up ghc (9.4.7-3) ... 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 Setting up libghc-colour-dev (2.3.6-2+b1) ... Setting up liblist-someutils-perl (0.59-1) ... Setting up debhelper (13.15.3) ... Setting up python3 (3.11.6-1) ... Setting up libghc-ghc-tcplugins-extra-dev (0.4.5-1+b2) ... Setting up libghc-unbounded-delays-dev (0.1.1.1-2+b1) ... Setting up ghc-doc (9.4.7-3) ... Setting up dh-buildinfo (0.11+nmu3) ... Setting up libghc-transformers-compat-dev (0.7.2-1+b1) ... Setting up libghc-ghc-tcplugins-extra-doc (0.4.5-1) ... Setting up libghc-tagged-dev (0.8.7-1+b1) ... Setting up libghc-ansi-terminal-types-dev (0.11.5-2+b1) ... Setting up python3-pkg-resources (68.1.2-2) ... Setting up libghc-ansi-terminal-dev (0.11.5-1+b1) ... Setting up libghc-call-stack-dev (0.4.0-2+b1) ... Setting up ghc-prof (9.4.7-3) ... Setting up libghc-ghc-tcplugins-extra-prof (0.4.5-1+b2) ... Setting up libghc-colour-prof (2.3.6-2+b1) ... Setting up libghc-transformers-compat-prof (0.7.2-1+b1) ... Setting up libghc-tagged-prof (0.8.7-1+b1) ... Setting up libghc-call-stack-prof (0.4.0-2+b1) ... Setting up libghc-ansi-wl-pprint-dev (0.6.9-6+b1) ... Setting up libghc-unbounded-delays-prof (0.1.1.1-2+b1) ... Setting up python3-scour (0.38.2-4.1) ... Setting up libghc-ansi-terminal-types-prof (0.11.5-2+b1) ... Setting up libghc-optparse-applicative-dev (0.17.1.0-1+b1) ... Setting up scour (0.38.2-4.1) ... Setting up cdbs (0.4.166) ... Setting up haskell-devscripts-minimal (0.16.33) ... Setting up libghc-ansi-terminal-prof (0.11.5-1+b1) ... Setting up libghc-tasty-dev (1.4.3-2+b1) ... Setting up libghc-ansi-wl-pprint-prof (0.6.9-6+b1) ... Setting up libghc-optparse-applicative-prof (0.17.1.0-1+b1) ... Setting up libghc-tasty-hunit-dev (0.10.1-1) ... Setting up libghc-tasty-prof (1.4.3-2+b1) ... Setting up libghc-tasty-hunit-prof (0.10.1-1) ... Processing triggers for libc-bin (2.37-15) ... 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 Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.33-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: user script /srv/workspace/pbuilder/23213/tmp/hooks/A99_set_merged_usr starting Not re-configuring usrmerge for trixie I: user script /srv/workspace/pbuilder/23213/tmp/hooks/A99_set_merged_usr finished hostname: Name or service not known I: Running cd /build/reproducible-path/haskell-ghc-typelits-natnormalise-0.7.9/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../haskell-ghc-typelits-natnormalise_0.7.9-1_source.changes dpkg-buildpackage: info: source package haskell-ghc-typelits-natnormalise dpkg-buildpackage: info: source version 0.7.9-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Clint Adams dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot 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 build test -x debian/rules 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 fakeroot 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-ghc-typelits-natnormalise-doc.substvars dh_installdirs -plibghc-ghc-typelits-natnormalise-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/qnX7ypfHt3 -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages libghc-ghc-typelits-natnormalise-dev libghc-ghc-typelits-natnormalise-prof libghc-ghc-typelits-natnormalise-doc Running dh_listpackages libghc-ghc-typelits-natnormalise-dev libghc-ghc-typelits-natnormalise-prof libghc-ghc-typelits-natnormalise-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/ghc-typelits-natnormalise-0.7.9/ --datasubdir=ghc-typelits-natnormalise --htmldir=/usr/share/doc/libghc-ghc-typelits-natnormalise-doc/html/ --enable-library-profiling --enable-tests Using Parsec parser Configuring ghc-typelits-natnormalise-0.7.9... Flags chosen: deverror=False Dependency base >=4.9 && <5: using base-4.17.2.0 Dependency containers >=0.5.7.1 && <0.7: using containers-0.6.7 Dependency ghc >=8.0.1 && <9.10: using ghc-9.4.7 Dependency ghc-bignum >=1.0 && <1.4: using ghc-bignum-1.3 Dependency ghc-tcplugins-extra >=0.3.1: using ghc-tcplugins-extra-0.4.5 Dependency transformers >=0.5.2.0 && <0.7: using transformers-0.5.6.2 Dependency base >=4.8 && <5: using base-4.17.2.0 Dependency ghc-prim >=0.9: using ghc-prim-0.9.1 Dependency ghc-typelits-natnormalise: using ghc-typelits-natnormalise-0.7.9 Dependency tasty >=0.10: using tasty-1.4.3 Dependency tasty-hunit >=0.9: using tasty-hunit-0.10.1 Dependency template-haskell >=2.11.0.0: using template-haskell-2.19.0.0 Source component graph: component lib component test:unit-tests dependency lib Configured component graph: component ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv include base-4.17.2.0 include containers-0.6.7 include ghc-9.4.7 include ghc-bignum-1.3 include ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y include transformers-0.5.6.2 component ghc-typelits-natnormalise-0.7.9-FfZ4aG6nV7y60ChzTN9Iic-unit-tests include base-4.17.2.0 include ghc-prim-0.9.1 include ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv include tasty-1.4.3-AlTjPRkAmI2LuHTtrUFrbZ include tasty-hunit-0.10.1-AuM9CY3VjPR5SvtaT4vc79 include template-haskell-2.19.0.0 Linked component graph: unit ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv include base-4.17.2.0 include containers-0.6.7 include ghc-9.4.7 include ghc-bignum-1.3 include ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y include transformers-0.5.6.2 GHC.TypeLits.Normalise=ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv:GHC.TypeLits.Normalise,GHC.TypeLits.Normalise.SOP=ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv:GHC.TypeLits.Normalise.SOP,GHC.TypeLits.Normalise.Unify=ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv:GHC.TypeLits.Normalise.Unify unit ghc-typelits-natnormalise-0.7.9-FfZ4aG6nV7y60ChzTN9Iic-unit-tests include base-4.17.2.0 include ghc-prim-0.9.1 include ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv include tasty-1.4.3-AlTjPRkAmI2LuHTtrUFrbZ include tasty-hunit-0.10.1-AuM9CY3VjPR5SvtaT4vc79 include template-haskell-2.19.0.0 Ready component graph: definite ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv depends base-4.17.2.0 depends containers-0.6.7 depends ghc-9.4.7 depends ghc-bignum-1.3 depends ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y depends transformers-0.5.6.2 definite ghc-typelits-natnormalise-0.7.9-FfZ4aG6nV7y60ChzTN9Iic-unit-tests depends base-4.17.2.0 depends ghc-prim-0.9.1 depends ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv depends tasty-1.4.3-AlTjPRkAmI2LuHTtrUFrbZ depends tasty-hunit-0.10.1-AuM9CY3VjPR5SvtaT4vc79 depends template-haskell-2.19.0.0 Using Cabal-3.8.1.0 compiled by ghc-9.4 Using compiler: ghc-9.4.7 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7 Private executables installed in: /usr/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9 Data files installed in: /usr/share/ghc-typelits-natnormalise Documentation installed in: /usr/share/doc/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9 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 13 found on system at: /usr/bin/arm-linux-gnueabihf-gcc Using ghc version 9.4.7 found on system at: /usr/bin/ghc Using ghc-pkg version 9.4.7 found on system at: /usr/bin/ghc-pkg-9.4.7 No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.27.0 found on system at: /usr/bin/haddock-ghc-9.4.7 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.4.7 Using hsc2hs version 0.68.8 found on system at: /usr/bin/hsc2hs-ghc-9.4.7 No hscolour found No jhc found Using ld found on system at: /usr/bin/arm-linux-gnueabihf-ld.gold No pkg-config found Using runghc version 9.4.7 found on system at: /usr/bin/runghc-9.4.7 Using strip version 2.42 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-ghc-typelits-natnormalise-dev libghc-ghc-typelits-natnormalise-prof libghc-ghc-typelits-natnormalise-doc Preprocessing library for ghc-typelits-natnormalise-0.7.9.. Building library for ghc-typelits-natnormalise-0.7.9.. [1 of 3] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, dist-ghc/build/GHC/TypeLits/Normalise/SOP.o, dist-ghc/build/GHC/TypeLits/Normalise/SOP.dyn_o ) [2 of 3] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, dist-ghc/build/GHC/TypeLits/Normalise/Unify.o, dist-ghc/build/GHC/TypeLits/Normalise/Unify.dyn_o ) [3 of 3] Compiling GHC.TypeLits.Normalise ( src-ghc-9.4/GHC/TypeLits/Normalise.hs, dist-ghc/build/GHC/TypeLits/Normalise.o, dist-ghc/build/GHC/TypeLits/Normalise.dyn_o ) [1 of 3] Compiling GHC.TypeLits.Normalise.SOP ( src/GHC/TypeLits/Normalise/SOP.hs, dist-ghc/build/GHC/TypeLits/Normalise/SOP.p_o ) [2 of 3] Compiling GHC.TypeLits.Normalise.Unify ( src/GHC/TypeLits/Normalise/Unify.hs, dist-ghc/build/GHC/TypeLits/Normalise/Unify.p_o ) [3 of 3] Compiling GHC.TypeLits.Normalise ( src-ghc-9.4/GHC/TypeLits/Normalise.hs, dist-ghc/build/GHC/TypeLits/Normalise.p_o ) Preprocessing test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.9.. Building test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.9.. [1 of 2] Compiling ErrorTests ( tests/ErrorTests.hs, dist-ghc/build/unit-tests/unit-tests-tmp/ErrorTests.o, dist-ghc/build/unit-tests/unit-tests-tmp/ErrorTests.dyn_o ) tests/ErrorTests.hs:32:14: warning: [-Wdeferred-type-errors] * Couldn't match type: x + 1 with: 2 + x Expected: Proxy (x + 1) -> Proxy (2 + x) Actual: Proxy (x + 1) -> Proxy (x + 1) NB: `+' is a non-injective type family * In the expression: id In an equation for `testProxy1': testProxy1 = id * Relevant bindings include testProxy1 :: Proxy (x + 1) -> Proxy (2 + x) (bound at tests/ErrorTests.hs:32:1) | 32 | testProxy1 = id | ^^ tests/ErrorTests.hs:50:14: warning: [-Wdeferred-type-errors] * Couldn't match type: 2 + x with: x + 3 Expected: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) Actual: Proxy (2 + x) -> Proxy (2 + x) NB: `+' is a non-injective type family * In the expression: id In an equation for `testProxy2': testProxy2 = id * Relevant bindings include testProxy2 :: Proxy (GCD 6 8 + x) -> Proxy (x + GCD 9 6) (bound at tests/ErrorTests.hs:50:1) | 50 | testProxy2 = id | ^^ tests/ErrorTests.hs:67:14: warning: [-Wdeferred-type-errors] * Couldn't match type `(x0 + x0) + x0' with `8' Expected: Proxy 8 -> () Actual: Proxy ((x0 + x0) + x0) -> () The type variable `x0' is ambiguous * In the expression: proxyFun3 In an equation for `testProxy3': testProxy3 = proxyFun3 | 67 | testProxy3 = proxyFun3 | ^^^^^^^^^ tests/ErrorTests.hs:84:14: warning: [-Wdeferred-type-errors] * Couldn't match type `(2 * y0) + 4' with `2' Expected: Proxy 2 -> () Actual: Proxy ((2 * y0) + 4) -> () The type variable `y0' is ambiguous * In the expression: proxyFun4 In an equation for `testProxy4': testProxy4 = proxyFun4 | 84 | testProxy4 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:98:14: warning: [-Wdeferred-type-errors] * Couldn't match type `2 * y1' with `3' Expected: Proxy 7 -> () Actual: Proxy ((2 * y1) + 4) -> () The type variable `y1' is ambiguous * In the expression: proxyFun4 In an equation for `testProxy5': testProxy5 = proxyFun4 | 98 | testProxy5 = proxyFun4 | ^^^^^^^^^ tests/ErrorTests.hs:115:14: warning: [-Wdeferred-type-errors] * Couldn't match type `2 ^ k0' with `7' Expected: Proxy 7 Actual: Proxy (2 ^ k0) The type variable `k0' is ambiguous * In the expression: proxyFun6 (Proxy :: Proxy 7) In an equation for `testProxy6': testProxy6 = proxyFun6 (Proxy :: Proxy 7) | 115 | testProxy6 = proxyFun6 (Proxy :: Proxy 7) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:136:14: warning: [-Wdeferred-type-errors] * Couldn't match type `x' with `y + x' Expected: Proxy x -> Proxy (y + x) Actual: Proxy x -> Proxy x `x' is a rigid type variable bound by the type signature for: testProxy8 :: forall (x :: Natural) (y :: Natural). Proxy x -> Proxy (y + x) at tests/ErrorTests.hs:135:1-38 * In the expression: id In an equation for `testProxy8': testProxy8 = id * Relevant bindings include testProxy8 :: Proxy x -> Proxy (y + x) (bound at tests/ErrorTests.hs:136:1) | 136 | testProxy8 = id | ^^ tests/ErrorTests.hs:160:14: warning: [-Wdeferred-type-errors] * Cannot satisfy: a + 1 <= a * In the expression: proxyInEq In an equation for `testProxy9': testProxy9 = proxyInEq | 160 | testProxy9 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:191:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat a (a + 2)) 'True 'True 'False' with 'False arising from a use of proxyInEq' * In the expression: proxyInEq' In an equation for `testProxy10': testProxy10 = proxyInEq' * Relevant bindings include testProxy10 :: Proxy a -> Proxy (a + 2) -> () (bound at tests/ErrorTests.hs:191:1) | 191 | testProxy10 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:237:15: warning: [-Wdeferred-type-errors] * Couldn't match type 'True with 'False arising from a use of proxyInEq' * In the expression: proxyInEq' In an equation for `testProxy11': testProxy11 = proxyInEq' | 237 | testProxy11 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:251:16: warning: [-Wdeferred-type-errors] * Couldn't match type: a0 + b0 with: a + b Expected: Proxy (a + b) -> Proxy (a + c) -> () Actual: Proxy (a0 + b0) -> Proxy (a0 + c0) -> () NB: `+' is a non-injective type family The type variables `a0', `b0' are ambiguous * In the ambiguity check for `testProxy12' To defer the ambiguity check to use sites, enable AllowAmbiguousTypes In the type signature: testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | 251 | testProxy12 :: Proxy (a + b) -> Proxy (a + c) -> () | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ tests/ErrorTests.hs:252:15: warning: [-Wdeferred-type-errors] * Cannot satisfy: a + b <= a + c * In the expression: proxyInEq In an equation for `testProxy12': testProxy12 = proxyInEq | 252 | testProxy12 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:283:15: warning: [-Wdeferred-type-errors] * Cannot satisfy: 4 * a <= 2 * a * In the expression: proxyInEq In an equation for `testProxy13': testProxy13 = proxyInEq | 283 | testProxy13 = proxyInEq | ^^^^^^^^^ tests/ErrorTests.hs:314:15: warning: [-Wdeferred-type-errors] * Couldn't match type `Data.Type.Ord.OrdCond (CmpNat (2 * a) (4 * a)) 'True 'True 'False' with 'False arising from a use of proxyInEq' * In the expression: proxyInEq' In an equation for `testProxy14': testProxy14 = proxyInEq' * Relevant bindings include testProxy14 :: Proxy (2 * a) -> Proxy (4 * a) -> () (bound at tests/ErrorTests.hs:314:1) | 314 | testProxy14 = proxyInEq' | ^^^^^^^^^^ tests/ErrorTests.hs:363:15: warning: [-Wdeferred-type-errors] * Could not deduce ((n + d) ~ n) from the context: (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ 'True) bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ 'True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:362:1-79 Expected: Proxy n -> Proxy (n + d) Actual: Proxy n -> Proxy n `n' is a rigid type variable bound by the type signature for: testProxy15 :: forall (n :: Natural) (d :: Natural). (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ 'True) => Proxy n -> Proxy (n + d) at tests/ErrorTests.hs:362:1-79 * In the expression: id In an equation for `testProxy15': testProxy15 = id * Relevant bindings include testProxy15 :: Proxy n -> Proxy (n + d) (bound at tests/ErrorTests.hs:363:1) | 363 | testProxy15 = id | ^^ tests/ErrorTests.hs:382:8: warning: [-Wdeferred-type-errors] * Cannot satisfy: 1 <= n * In the expression: FZ In a case alternative: 0 -> FZ In the expression: case n of 0 -> FZ x -> FS (test16 @(n - 1) (x - 1)) | 382 | 0 -> FZ | ^^ tests/ErrorTests.hs:419:16: warning: [-Wdeferred-type-errors] * Cannot satisfy: 1 <= n * In the first argument of `const', namely `show' In the expression: const show In an equation for `test17': test17 = const show | 419 | test17 = const show | ^^^^ tests/ErrorTests.hs:439:19: warning: [-Wdeferred-type-errors] * Cannot satisfy: 1 <= rp - m * In the expression: test19f In an equation for `testProxy19': testProxy19 _ _ = test19f | 439 | testProxy19 _ _ = test19f | ^^^^^^^ tests/ErrorTests.hs:454:15: warning: [-Wdeferred-type-errors] * Cannot satisfy: 1 <= m ^ 2 * In the expression: proxyInEq In an equation for `testProxy20': testProxy20 = proxyInEq | 454 | testProxy20 = proxyInEq | ^^^^^^^^^ [2 of 2] Compiling Main ( tests/Tests.hs, dist-ghc/build/unit-tests/unit-tests-tmp/Main.o, dist-ghc/build/unit-tests/unit-tests-tmp/Main.dyn_o ) [3 of 3] Linking dist-ghc/build/unit-tests/unit-tests touch build-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'check_recipe' Running dh_listpackages libghc-ghc-typelits-natnormalise-dev libghc-ghc-typelits-natnormalise-prof libghc-ghc-typelits-natnormalise-doc Running 1 test suites... Test suite unit-tests: RUNNING... ghc-typelits-natnormalise Basic functionality show (head (1:>2:>3:>Nil)): OK show (tail (1:>2:>3:>Nil)): OK show (init (1:>2:>3:>Nil)): OK show ((1:>2:>3:>Nil) ++ (7:>8:>Nil)): OK show (splitAt (snat :: SNat 3) (1:>2:>3:>7:>8:>Nil)): OK show (concat ((1:>2:>3:>Nil) :> (4:>5:>6:>Nil) :> (7:>8:>9:>Nil) :> (10:>11:>12:>Nil) :> Nil)): OK show (unconcat (snat :: SNat 4) (1:>2:>3:>4:>5:>6:>7:>8:>9:>10:>11:>12:>Nil)): OK show (proxyFun3 (Proxy :: Proxy 9)): OK show (proxyFun4 (Proxy :: Proxy 8)): OK show (proxyFun7 (Proxy :: Proxy 8) :: Proxy 3): OK Equality ((2 ^ x) * (2 ^ (x + x))) ~ (2 * (2 ^ ((x + (x + x)) - 1))): OK (((2 ^ x) - 2) * (2 ^ (x + x))) ~ ((2 ^ ((x + (x + x)) - 1)) + ((2 ^ ((x + (x + x)) - 1)) - (2 ^ ((x + x) + 1)))): OK Implications (x + 1) ~ (2 * y)) implies (((2 * (y - 1)) + 1)) ~ x: OK (n+1) ~ ((n1 + m) + 1), m ~ n1, n1 ~ ((n2 + m1) + 1) implies n1 ~ 1 + (n2 + m1): OK Inequality a <= a+1: OK (a+1 <=? a) ~ False: OK a <= a+b: OK 2a <= 4a: OK 1 <= 2^a: OK `(2 <= (2 ^ (n + d)))` implies `(2 <= (2 ^ (d + n)))`: OK 1 <= a+3: OK `1 <= 2*x` implies `1 <= x`: OK `x + 2 <= y` implies `x <= y` and `2 <= y`: OK `a <= n` implies `a <= (n+1)`: OK 1 <= 2^(a+3): OK KnownNat (F a) implies F a <= 3 * F a: OK 1 <= G a implies F a <= G a * F a: OK `(1 <= n)` only implies `(1 <= n + F n)` when `KnownNat (F n)`: OK 2 <= P (G2 dom) implies 1 <= P (G2 dom): OK b ~ (2^a) => 1 <= b: OK errors x + 2 ~ 3 + x: OK GCD 6 8 + x ~ x + GCD 9 6: OK Unify "x + x + x" with "8": OK Unify "(2*x)+4" with "2": OK Unify "(2*x)+4" with "7": OK Unify "2^k" with "7": OK x ~ y + x: OK (CLog 2 (2 ^ n) ~ n, (1 <=? n) ~ True) => n ~ (n+d): OK (n - 1) + 1 ~ n implies (1 <= n): OK Inequality a+1 <= a: OK (a <=? a+1) ~ False: OK (a <=? a) ~ False: OK () => (a+b <= a+c): OK 4a <= 2a: OK 2a <=? 4a ~ False: OK Show (Boo n) => Show (Boo (n - 1 + 1)): OK 1 <= m, m <= rp implies 1 <= rp - m: OK Vacuously: 1 <= m ^ 2 ~ True: OK All 48 tests passed (0.02s) Test suite unit-tests: PASS Test suite logged to: dist-ghc/test/ghc-typelits-natnormalise-0.7.9-unit-tests.log 1 of 1 test suites (1 of 1 test cases) passed. touch check-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'haddock_recipe' Running dh_listpackages libghc-ghc-typelits-natnormalise-dev libghc-ghc-typelits-natnormalise-prof libghc-ghc-typelits-natnormalise-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 /usr/bin/haddock --version /usr/bin/ghc --numeric-version /usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' /usr/bin/ghc --print-libdir /usr/bin/ghc-pkg-9.4.7 init dist-ghc/package.conf.inplace creating dist-ghc/build creating dist-ghc/build/autogen creating dist-ghc/build/autogen Preprocessing library for ghc-typelits-natnormalise-0.7.9.. Running Haddock on library for ghc-typelits-natnormalise-0.7.9.. creating dist-ghc/doc/html/ghc-typelits-natnormalise creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/ghc-typelits-natnormalise /usr/bin/haddock '@dist-ghc/doc/html/ghc-typelits-natnormalise/haddock-response29907-1.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' Warning: 'complex' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 76% ( 10 / 13) in 'GHC.TypeLits.Normalise.SOP' Missing documentation for: Symbol (src/GHC/TypeLits/Normalise/SOP.hs:106) Product (src/GHC/TypeLits/Normalise/SOP.hs:113) SOP (src/GHC/TypeLits/Normalise/SOP.hs:122) Warning: 'CoreSubst' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'x' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'y' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'b' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 78% ( 22 / 28) in 'GHC.TypeLits.Normalise.Unify' Missing documentation for: CType (src/GHC/TypeLits/Normalise/Unify.hs:126) normaliseSimplifyNat (src/GHC/TypeLits/Normalise/Unify.hs:205) UnifyItem (src/GHC/TypeLits/Normalise/Unify.hs:349) subtractionToPred (src/GHC/TypeLits/Normalise/Unify.hs:325) solvedInEqSmallestConstraint (src/GHC/TypeLits/Normalise/Unify.hs:725) isNatural (src/GHC/TypeLits/Normalise/Unify.hs:653) 100% ( 2 / 2) in 'GHC.TypeLits.Normalise' Warning: GHC.TypeLits.Normalise.Unify: could not find link destinations for: - GHC.TypeLits.Normalise.Unify.Ineq Documentation created: dist-ghc/doc/html/ghc-typelits-natnormalise/index.html, dist-ghc/doc/html/ghc-typelits-natnormalise/ghc-typelits-natnormalise.txt /usr/bin/ghc-pkg-9.4.7 recache '--package-db=dist-ghc/package.conf.inplace' creating dist-ghc/build/unit-tests creating dist-ghc/build/unit-tests/autogen creating dist-ghc/build/unit-tests/autogen Preprocessing test suite 'unit-tests' for ghc-typelits-natnormalise-0.7.9.. 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-ghc-typelits-natnormalise-dev libghc-ghc-typelits-natnormalise-prof libghc-ghc-typelits-natnormalise-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.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp : dh_haskell_install_htmldocs --package=libghc-ghc-typelits-natnormalise-doc --source-dir="debian/tmp-inst-ghc" Running find ./usr/share/doc/libghc-ghc-typelits-natnormalise-doc/html/ ! -name *.haddock ! -type d -exec install -D --mode=644 {} /build/reproducible-path/haskell-ghc-typelits-natnormalise-0.7.9/debian/libghc-ghc-typelits-natnormalise-doc/{} ; Running mkdir --parents debian/libghc-ghc-typelits-natnormalise-doc/usr/lib/ghc-doc/hoogle Running ln --symbolic --relative --no-target-directory debian/libghc-ghc-typelits-natnormalise-doc/usr/share/doc/libghc-ghc-typelits-natnormalise-doc/html//ghc-typelits-natnormalise.txt debian/libghc-ghc-typelits-natnormalise-doc/usr/lib/ghc-doc/hoogle/libghc-ghc-typelits-natnormalise-doc.txt dh_haskell_install_haddock --package=libghc-ghc-typelits-natnormalise-doc --source-dir="debian/tmp-inst-ghc" Running mkdir --parents debian/libghc-ghc-typelits-natnormalise-doc/usr/lib/ghc-doc/haddock/ghc-typelits-natnormalise-0.7.9/ Running cp --recursive debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/ghc-typelits-natnormalise-0.7.9/ghc-typelits-natnormalise.haddock debian/libghc-ghc-typelits-natnormalise-doc/usr/lib/ghc-doc/haddock/ghc-typelits-natnormalise-0.7.9/ dh_haskell_depends_haddock --package=libghc-ghc-typelits-natnormalise-doc Running haddock --interface-version 41 dh_haskell_recommends_documentation_references --package=libghc-ghc-typelits-natnormalise-doc Finding all links in the documentation in installable libghc-ghc-typelits-natnormalise-doc. dh_haskell_suggests --package=libghc-ghc-typelits-natnormalise-doc dh_haskell_blurbs --package=libghc-ghc-typelits-natnormalise-doc --type=doc dh_haskell_description --package=libghc-ghc-typelits-natnormalise-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 GHC typechecker plugin for types of kind GHC.TypeLits.Nat A type checker plugin for GHC that can solve equalities and inequalities of types of kind @Nat@, where these types are either: . * Type-level naturals . * Type variables . * Applications of the arithmetic expressions (+,-,*,^). . It solves these equalities by normalising them to sort-of SOP (Sum-of-Products) form, and then perform a simple syntactic equality. . For example, this solver can prove the equality between: . (x + 2)^(y + 2) . and . 4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2 . Because the latter is actually the SOP normal form of the former. . To use the plugin, add the . OPTIONS_GHC -fplugin GHC.TypeLits.Normalise . Pragma to the header of your file. dh_haskell_compiler --package=libghc-ghc-typelits-natnormalise-doc Running dpkg-query --showformat=${Version} --show ghc 9.4.7-3 dh_installdocs -plibghc-ghc-typelits-natnormalise-doc dh_installexamples -plibghc-ghc-typelits-natnormalise-doc dh_installman -plibghc-ghc-typelits-natnormalise-doc dh_installinfo -plibghc-ghc-typelits-natnormalise-doc dh_installmenu -plibghc-ghc-typelits-natnormalise-doc dh_installcron -plibghc-ghc-typelits-natnormalise-doc dh_systemd_enable -plibghc-ghc-typelits-natnormalise-doc dh_installinit -plibghc-ghc-typelits-natnormalise-doc dh_installdebconf -plibghc-ghc-typelits-natnormalise-doc dh_installemacsen -plibghc-ghc-typelits-natnormalise-doc dh_installcatalogs -plibghc-ghc-typelits-natnormalise-doc dh_installpam -plibghc-ghc-typelits-natnormalise-doc dh_installlogrotate -plibghc-ghc-typelits-natnormalise-doc dh_installlogcheck -plibghc-ghc-typelits-natnormalise-doc dh_installchangelogs -plibghc-ghc-typelits-natnormalise-doc dh_installudev -plibghc-ghc-typelits-natnormalise-doc dh_lintian -plibghc-ghc-typelits-natnormalise-doc dh_bugfiles -plibghc-ghc-typelits-natnormalise-doc dh_install -plibghc-ghc-typelits-natnormalise-doc dh_systemd_start -plibghc-ghc-typelits-natnormalise-doc dh_link -plibghc-ghc-typelits-natnormalise-doc dh_buildinfo -plibghc-ghc-typelits-natnormalise-doc dh_installmime -plibghc-ghc-typelits-natnormalise-doc dh_installgsettings -plibghc-ghc-typelits-natnormalise-doc dh_strip -plibghc-ghc-typelits-natnormalise-doc --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-ghc-typelits-natnormalise-doc dh_compress -plibghc-ghc-typelits-natnormalise-doc -X .haddock -X .hs -X .txt dh_fixperms -plibghc-ghc-typelits-natnormalise-doc dh_makeshlibs -plibghc-ghc-typelits-natnormalise-doc -XlibHS dh_installdeb -plibghc-ghc-typelits-natnormalise-doc dh_perl -plibghc-ghc-typelits-natnormalise-doc dh_shlibdeps -plibghc-ghc-typelits-natnormalise-doc -- --ignore-missing-info dh_gencontrol -plibghc-ghc-typelits-natnormalise-doc dpkg-gencontrol: warning: Conflicts field of package libghc-ghc-typelits-natnormalise-doc: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-ghc-typelits-natnormalise-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-ghc-typelits-natnormalise-doc ; fi dh_md5sums -plibghc-ghc-typelits-natnormalise-doc dh_builddeb -plibghc-ghc-typelits-natnormalise-doc dpkg-deb: building package 'libghc-ghc-typelits-natnormalise-doc' in '../libghc-ghc-typelits-natnormalise-doc_0.7.9-1_all.deb'. Adding cdbs dependencies to debian/libghc-ghc-typelits-natnormalise-dev.substvars dh_installdirs -plibghc-ghc-typelits-natnormalise-dev \ : dh_haskell_install_ghc_registration --package=libghc-ghc-typelits-natnormalise-dev Running install -D --mode=644 ghc-typelits-natnormalise-0.7.9.conf debian/libghc-ghc-typelits-natnormalise-dev/var/lib/ghc/package.conf.d/ghc-typelits-natnormalise-0.7.9.conf /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 -isrc-ghc-9.4 -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 ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 GHC.TypeLits.Normalise GHC.TypeLits.Normalise.SOP GHC.TypeLits.Normalise.Unify -Wall -optl-Wl,-z,relro name: ghc-typelits-natnormalise version: 0.7.9 visibility: public id: ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv key: ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv license: BSD-2-Clause copyright: Copyright © 2015-2016, University of Twente, 2017-2018, QBayLogic B.V. maintainer: christiaan.baaij@gmail.com author: Christiaan Baaij homepage: http://www.clash-lang.org/ synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ and /inequalities/ of types of kind @Nat@, where these types are either: * Type-level naturals * Type variables * Applications of the arithmetic expressions @(+,-,*,^)@. It solves these equalities by normalising them to /sort-of/ @SOP@ (Sum-of-Products) form, and then perform a simple syntactic equality. For example, this solver can prove the equality between: @ (x + 2)^(y + 2) @ and @ 4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2 @ Because the latter is actually the @SOP@ normal form of the former. To use the plugin, add the @ OPTIONS_GHC -fplugin GHC.TypeLits.Normalise @ Pragma to the header of your file. category: Type System abi: cf245077037b439698f647f718eda66e exposed: True exposed-modules: GHC.TypeLits.Normalise GHC.TypeLits.Normalise.SOP GHC.TypeLits.Normalise.Unify import-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv library-dirs-static: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7 data-dir: /usr/share/ghc-typelits-natnormalise hs-libraries: HSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv depends: base-4.17.2.0 containers-0.6.7 ghc-9.4.7 ghc-bignum-1.3 ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y transformers-0.5.6.2 haddock-interfaces: /usr/lib/ghc-doc/haddock/ghc-typelits-natnormalise-0.7.9/ghc-typelits-natnormalise.haddock haddock-html: /usr/share/doc/libghc-ghc-typelits-natnormalise-doc/html/ Creating package registration file: ghc-typelits-natnormalise-0.7.9.conf Running rm -rf ghc-typelits-natnormalise-0.7.9.conf dh_haskell_install_development_libs --package=libghc-ghc-typelits-natnormalise-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-ghc-typelits-natnormalise-0.7.9/debian/libghc-ghc-typelits-natnormalise-dev/{} ; dh_haskell_provides_ghc --package=libghc-ghc-typelits-natnormalise-dev Running cp debian/libghc-ghc-typelits-natnormalise-dev/var/lib/ghc/package.conf.d/ghc-typelits-natnormalise-0.7.9.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 id ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv name ghc-typelits-natnormalise Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv version 0.7.9 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv abi cf245077037b439698f647f718eda66e dh_haskell_depends_cabal --package=libghc-ghc-typelits-natnormalise-dev Running cp debian/libghc-ghc-typelits-natnormalise-dev/var/lib/ghc/package.conf.d/ghc-typelits-natnormalise-0.7.9.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 depends base-4.17.2.0 containers-0.6.7 ghc-9.4.7 ghc-bignum-1.3 ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y transformers-0.5.6.2 Running ghc-pkg --global --simple-output --unit-id field base-4.17.2.0 name base Running ghc-pkg --global --simple-output --unit-id field base-4.17.2.0 version 4.17.2.0 Running ghc-pkg --global --simple-output --unit-id field base-4.17.2.0 abi 38dbb2ef886107f66babf237560a907e Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 name containers Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 version 0.6.7 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 abi e92e7e3230a5b5a158c0a900dc29f168 Running ghc-pkg --global --simple-output --unit-id field ghc-9.4.7 name ghc Running ghc-pkg --global --simple-output --unit-id field ghc-9.4.7 version 9.4.7 Running ghc-pkg --global --simple-output --unit-id field ghc-9.4.7 abi 857368b1e3450265e95ff9e63a08cbca Running ghc-pkg --global --simple-output --unit-id field ghc-bignum-1.3 name ghc-bignum Running ghc-pkg --global --simple-output --unit-id field ghc-bignum-1.3 version 1.3 Running ghc-pkg --global --simple-output --unit-id field ghc-bignum-1.3 abi 2ca146aa50561e5a7a02365b005569ac Running ghc-pkg --global --simple-output --unit-id field ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y name ghc-tcplugins-extra Running ghc-pkg --global --simple-output --unit-id field ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y version 0.4.5 Running ghc-pkg --global --simple-output --unit-id field ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y abi b4e397143f7b183d8da115b55d0b5a24 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 name transformers Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 version 0.5.6.2 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 abi 1ff0fe037787b815f0eff4b2747506ce dh_haskell_extra_depends_ghc --package=libghc-ghc-typelits-natnormalise-dev --type=dev Running cp ghc-typelits-natnormalise-0.7.9.conf debian/tmp-db /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 -isrc-ghc-9.4 -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 ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 GHC.TypeLits.Normalise GHC.TypeLits.Normalise.SOP GHC.TypeLits.Normalise.Unify -Wall -optl-Wl,-z,relro name: ghc-typelits-natnormalise version: 0.7.9 visibility: public id: ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv key: ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv license: BSD-2-Clause copyright: Copyright © 2015-2016, University of Twente, 2017-2018, QBayLogic B.V. maintainer: christiaan.baaij@gmail.com author: Christiaan Baaij homepage: http://www.clash-lang.org/ synopsis: GHC typechecker plugin for types of kind GHC.TypeLits.Nat description: A type checker plugin for GHC that can solve /equalities/ and /inequalities/ of types of kind @Nat@, where these types are either: * Type-level naturals * Type variables * Applications of the arithmetic expressions @(+,-,*,^)@. It solves these equalities by normalising them to /sort-of/ @SOP@ (Sum-of-Products) form, and then perform a simple syntactic equality. For example, this solver can prove the equality between: @ (x + 2)^(y + 2) @ and @ 4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2 @ Because the latter is actually the @SOP@ normal form of the former. To use the plugin, add the @ OPTIONS_GHC -fplugin GHC.TypeLits.Normalise @ Pragma to the header of your file. category: Type System abi: cf245077037b439698f647f718eda66e exposed: True exposed-modules: GHC.TypeLits.Normalise GHC.TypeLits.Normalise.SOP GHC.TypeLits.Normalise.Unify import-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv library-dirs-static: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7 data-dir: /usr/share/ghc-typelits-natnormalise hs-libraries: HSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv depends: base-4.17.2.0 containers-0.6.7 ghc-9.4.7 ghc-bignum-1.3 ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y transformers-0.5.6.2 haddock-interfaces: /usr/lib/ghc-doc/haddock/ghc-typelits-natnormalise-0.7.9/ghc-typelits-natnormalise.haddock haddock-html: /usr/share/doc/libghc-ghc-typelits-natnormalise-doc/html/ Creating package registration file: ghc-typelits-natnormalise-0.7.9.conf Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 depends base-4.17.2.0 containers-0.6.7 ghc-9.4.7 ghc-bignum-1.3 ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y transformers-0.5.6.2 Running rm -rf ghc-typelits-natnormalise-0.7.9.conf dh_haskell_shlibdeps --package=libghc-ghc-typelits-natnormalise-dev Running cp debian/libghc-ghc-typelits-natnormalise-dev/var/lib/ghc/package.conf.d/ghc-typelits-natnormalise-0.7.9.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 library-dirs /usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 extra-libraries Running gcc -L/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-ghc-typelits-natnormalise-dev.substvars debian/dh_haskell_shlibdeps/probe dh_haskell_blurbs --package=libghc-ghc-typelits-natnormalise-dev --type=dev dh_haskell_description --package=libghc-ghc-typelits-natnormalise-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 GHC typechecker plugin for types of kind GHC.TypeLits.Nat A type checker plugin for GHC that can solve equalities and inequalities of types of kind @Nat@, where these types are either: . * Type-level naturals . * Type variables . * Applications of the arithmetic expressions (+,-,*,^). . It solves these equalities by normalising them to sort-of SOP (Sum-of-Products) form, and then perform a simple syntactic equality. . For example, this solver can prove the equality between: . (x + 2)^(y + 2) . and . 4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2 . Because the latter is actually the SOP normal form of the former. . To use the plugin, add the . OPTIONS_GHC -fplugin GHC.TypeLits.Normalise . Pragma to the header of your file. dh_haskell_compiler --package=libghc-ghc-typelits-natnormalise-dev Running dpkg-query --showformat=${Version} --show ghc 9.4.7-3 Adding cdbs dependencies to debian/libghc-ghc-typelits-natnormalise-prof.substvars dh_installdirs -plibghc-ghc-typelits-natnormalise-prof \ dh_haskell_install_profiling_libs --package=libghc-ghc-typelits-natnormalise-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-ghc-typelits-natnormalise-0.7.9/debian/libghc-ghc-typelits-natnormalise-prof/{} ; dh_haskell_provides_ghc --package=libghc-ghc-typelits-natnormalise-prof --config-shipper="libghc-ghc-typelits-natnormalise-dev" Running cp debian/libghc-ghc-typelits-natnormalise-dev/var/lib/ghc/package.conf.d/ghc-typelits-natnormalise-0.7.9.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 id ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv name ghc-typelits-natnormalise Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv version 0.7.9 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv abi cf245077037b439698f647f718eda66e dh_haskell_depends_cabal --package=libghc-ghc-typelits-natnormalise-prof --config-shipper="libghc-ghc-typelits-natnormalise-dev" Running cp debian/libghc-ghc-typelits-natnormalise-dev/var/lib/ghc/package.conf.d/ghc-typelits-natnormalise-0.7.9.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ghc-typelits-natnormalise-0.7.9 depends base-4.17.2.0 containers-0.6.7 ghc-9.4.7 ghc-bignum-1.3 ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y transformers-0.5.6.2 Running ghc-pkg --global --simple-output --unit-id field base-4.17.2.0 name base Running ghc-pkg --global --simple-output --unit-id field base-4.17.2.0 version 4.17.2.0 Running ghc-pkg --global --simple-output --unit-id field base-4.17.2.0 abi 38dbb2ef886107f66babf237560a907e Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 name containers Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 version 0.6.7 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 abi e92e7e3230a5b5a158c0a900dc29f168 Running ghc-pkg --global --simple-output --unit-id field ghc-9.4.7 name ghc Running ghc-pkg --global --simple-output --unit-id field ghc-9.4.7 version 9.4.7 Running ghc-pkg --global --simple-output --unit-id field ghc-9.4.7 abi 857368b1e3450265e95ff9e63a08cbca Running ghc-pkg --global --simple-output --unit-id field ghc-bignum-1.3 name ghc-bignum Running ghc-pkg --global --simple-output --unit-id field ghc-bignum-1.3 version 1.3 Running ghc-pkg --global --simple-output --unit-id field ghc-bignum-1.3 abi 2ca146aa50561e5a7a02365b005569ac Running ghc-pkg --global --simple-output --unit-id field ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y name ghc-tcplugins-extra Running ghc-pkg --global --simple-output --unit-id field ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y version 0.4.5 Running ghc-pkg --global --simple-output --unit-id field ghc-tcplugins-extra-0.4.5-FJl4tov6eylIQNIL2s8R0Y abi b4e397143f7b183d8da115b55d0b5a24 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 name transformers Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 version 0.5.6.2 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 abi 1ff0fe037787b815f0eff4b2747506ce dh_haskell_blurbs --package=libghc-ghc-typelits-natnormalise-prof --type=prof dh_haskell_description --package=libghc-ghc-typelits-natnormalise-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 GHC typechecker plugin for types of kind GHC.TypeLits.Nat A type checker plugin for GHC that can solve equalities and inequalities of types of kind @Nat@, where these types are either: . * Type-level naturals . * Type variables . * Applications of the arithmetic expressions (+,-,*,^). . It solves these equalities by normalising them to sort-of SOP (Sum-of-Products) form, and then perform a simple syntactic equality. . For example, this solver can prove the equality between: . (x + 2)^(y + 2) . and . 4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2 . Because the latter is actually the SOP normal form of the former. . To use the plugin, add the . OPTIONS_GHC -fplugin GHC.TypeLits.Normalise . Pragma to the header of your file. dh_haskell_compiler --package=libghc-ghc-typelits-natnormalise-prof Running dpkg-query --showformat=${Version} --show ghc 9.4.7-3 dh_installdocs -plibghc-ghc-typelits-natnormalise-dev dh_installexamples -plibghc-ghc-typelits-natnormalise-dev dh_installman -plibghc-ghc-typelits-natnormalise-dev dh_installinfo -plibghc-ghc-typelits-natnormalise-dev dh_installmenu -plibghc-ghc-typelits-natnormalise-dev dh_installcron -plibghc-ghc-typelits-natnormalise-dev dh_systemd_enable -plibghc-ghc-typelits-natnormalise-dev dh_installinit -plibghc-ghc-typelits-natnormalise-dev dh_installdebconf -plibghc-ghc-typelits-natnormalise-dev dh_installemacsen -plibghc-ghc-typelits-natnormalise-dev dh_installcatalogs -plibghc-ghc-typelits-natnormalise-dev dh_installpam -plibghc-ghc-typelits-natnormalise-dev dh_installlogrotate -plibghc-ghc-typelits-natnormalise-dev dh_installlogcheck -plibghc-ghc-typelits-natnormalise-dev dh_installchangelogs -plibghc-ghc-typelits-natnormalise-dev dh_installudev -plibghc-ghc-typelits-natnormalise-dev dh_lintian -plibghc-ghc-typelits-natnormalise-dev dh_bugfiles -plibghc-ghc-typelits-natnormalise-dev dh_install -plibghc-ghc-typelits-natnormalise-dev dh_systemd_start -plibghc-ghc-typelits-natnormalise-dev dh_link -plibghc-ghc-typelits-natnormalise-dev dh_buildinfo -plibghc-ghc-typelits-natnormalise-dev dh_installmime -plibghc-ghc-typelits-natnormalise-dev dh_installgsettings -plibghc-ghc-typelits-natnormalise-dev dh_installdocs -plibghc-ghc-typelits-natnormalise-prof dh_installexamples -plibghc-ghc-typelits-natnormalise-prof dh_installman -plibghc-ghc-typelits-natnormalise-prof dh_installinfo -plibghc-ghc-typelits-natnormalise-prof dh_installmenu -plibghc-ghc-typelits-natnormalise-prof dh_installcron -plibghc-ghc-typelits-natnormalise-prof dh_systemd_enable -plibghc-ghc-typelits-natnormalise-prof dh_installinit -plibghc-ghc-typelits-natnormalise-prof dh_installdebconf -plibghc-ghc-typelits-natnormalise-prof dh_installemacsen -plibghc-ghc-typelits-natnormalise-prof dh_installcatalogs -plibghc-ghc-typelits-natnormalise-prof dh_installpam -plibghc-ghc-typelits-natnormalise-prof dh_installlogrotate -plibghc-ghc-typelits-natnormalise-prof dh_installlogcheck -plibghc-ghc-typelits-natnormalise-prof dh_installchangelogs -plibghc-ghc-typelits-natnormalise-prof dh_installudev -plibghc-ghc-typelits-natnormalise-prof dh_lintian -plibghc-ghc-typelits-natnormalise-prof dh_bugfiles -plibghc-ghc-typelits-natnormalise-prof dh_install -plibghc-ghc-typelits-natnormalise-prof dh_systemd_start -plibghc-ghc-typelits-natnormalise-prof dh_link -plibghc-ghc-typelits-natnormalise-prof dh_buildinfo -plibghc-ghc-typelits-natnormalise-prof dh_installmime -plibghc-ghc-typelits-natnormalise-prof dh_installgsettings -plibghc-ghc-typelits-natnormalise-prof dh_strip -plibghc-ghc-typelits-natnormalise-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-ghc-typelits-natnormalise-dev dh_compress -plibghc-ghc-typelits-natnormalise-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-ghc-typelits-natnormalise-dev dh_makeshlibs -plibghc-ghc-typelits-natnormalise-dev -XlibHS dh_strip -plibghc-ghc-typelits-natnormalise-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-ghc-typelits-natnormalise-prof dh_compress -plibghc-ghc-typelits-natnormalise-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-ghc-typelits-natnormalise-prof dh_makeshlibs -plibghc-ghc-typelits-natnormalise-prof -XlibHS dh_installdeb -plibghc-ghc-typelits-natnormalise-dev dh_perl -plibghc-ghc-typelits-natnormalise-dev dh_shlibdeps -plibghc-ghc-typelits-natnormalise-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so contains an unresolvable reference to symbol dirty_MUT_VAR: it's probably a plugin dpkg-shlibdeps: warning: 31 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSmtl-2.2.2-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSghc-boot-9.4.7-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSfilepath-1.4.2.2-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libtinfo.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSterminfo-0.4.1.5-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHStemplate-haskell-2.19.0.0-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.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-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.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-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSghci-9.4.7-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSstm-2.5.1.0-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHShpc-0.6.1.0-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSunix-2.7.3-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSghc-heap-9.4.7-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSbinary-0.8.9.1-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSpretty-1.1.3.6-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSdirectory-1.3.7.1-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSexceptions-0.10.5-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSarray-0.5.4.0-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSbytestring-0.11.5.2-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHStime-1.12.2-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSdeepseq-1.4.8.0-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSghc-boot-th-9.4.7-ghc9.4.7.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-ghc-typelits-natnormalise-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.4.7/libHSghc-typelits-natnormalise-0.7.9-Gkmag3i4UooEH5SWgPnNJv-ghc9.4.7.so was not linked against libHSprocess-1.6.17.0-ghc9.4.7.so (it uses none of the library's symbols) dh_installdeb -plibghc-ghc-typelits-natnormalise-prof dh_perl -plibghc-ghc-typelits-natnormalise-prof dh_shlibdeps -plibghc-ghc-typelits-natnormalise-prof -- --ignore-missing-info dh_gencontrol -plibghc-ghc-typelits-natnormalise-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Recommends field of package libghc-ghc-typelits-natnormalise-dev: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-ghc-typelits-natnormalise-dev: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-ghc-typelits-natnormalise-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-ghc-typelits-natnormalise-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-ghc-typelits-natnormalise-dev ; fi dh_md5sums -plibghc-ghc-typelits-natnormalise-dev dh_builddeb -plibghc-ghc-typelits-natnormalise-dev dpkg-deb: building package 'libghc-ghc-typelits-natnormalise-dev' in '../libghc-ghc-typelits-natnormalise-dev_0.7.9-1_armhf.deb'. dh_gencontrol -plibghc-ghc-typelits-natnormalise-prof dpkg-gencontrol: warning: Recommends field of package libghc-ghc-typelits-natnormalise-prof: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-ghc-typelits-natnormalise-prof: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-ghc-typelits-natnormalise-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-ghc-typelits-natnormalise-prof: substitution variable ${haskell:ghc-package} unused, but is defined dpkg-gencontrol: warning: package libghc-ghc-typelits-natnormalise-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-ghc-typelits-natnormalise-prof ; fi dh_md5sums -plibghc-ghc-typelits-natnormalise-prof dh_builddeb -plibghc-ghc-typelits-natnormalise-prof dpkg-deb: building package 'libghc-ghc-typelits-natnormalise-prof' in '../libghc-ghc-typelits-natnormalise-prof_0.7.9-1_armhf.deb'. dpkg-genbuildinfo --build=binary -O../haskell-ghc-typelits-natnormalise_0.7.9-1_armhf.buildinfo dpkg-genchanges --build=binary -O../haskell-ghc-typelits-natnormalise_0.7.9-1_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: including full source code in upload I: copying local configuration I: user script /srv/workspace/pbuilder/23213/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/23213/tmp/hooks/B01_cleanup finished 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/23213 and its subdirectories I: Current time: Tue Apr 16 22:05:40 +14 2024 I: pbuilder-time-stamp: 1713254740