I: pbuilder: network access will be disabled during build
I: Current time: Sat Feb 22 13:12:34 -12 2025
I: pbuilder-time-stamp: 1740273154
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz]
I: copying local configuration
W: --override-config is not set; not updating apt.conf Read the manpage for details.
I: mounting /proc filesystem
I: mounting /sys filesystem
I: creating /{dev,run}/shm
I: mounting /dev/pts filesystem
I: redirecting /dev/ptmx to /dev/pts/ptmx
I: policy-rc.d already exists
I: using eatmydata during job
I: Copying source file
I: copying [haskell-what4_1.3-4.dsc]
I: copying [./haskell-what4_1.3.orig.tar.gz]
I: copying [./haskell-what4_1.3-4.debian.tar.xz]
I: Extracting source
gpgv: Signature made Wed Oct 12 00:48:53 2022
gpgv: using RSA key 6E7434F5897D43B17FCD57B753D5BC64B52378A2
gpgv: issuer "swt@techie.net"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./haskell-what4_1.3-4.dsc: no acceptable signature found
dpkg-source: info: extracting haskell-what4 in haskell-what4-1.3
dpkg-source: info: unpacking haskell-what4_1.3.orig.tar.gz
dpkg-source: info: unpacking haskell-what4_1.3-4.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying no-tasty-sugar
dpkg-source: info: applying disable-tests-non-x86_64
I: using fakeroot in build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/123849/tmp/hooks/D02_print_environment starting
I: set
BUILDDIR='/build/reproducible-path'
BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
BUILDUSERNAME='pbuilder1'
BUILD_ARCH='i386'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16 '
DISTRIBUTION='bookworm'
HOME='/root'
HOST_ARCH='i386'
IFS='
'
INVOCATION_ID='6620e7d58aed484aa52577108cf0c6b4'
LANG='C'
LANGUAGE='en_US:en'
LC_ALL='C'
LD_LIBRARY_PATH='/usr/lib/libeatmydata'
LD_PRELOAD='libeatmydata.so'
MAIL='/var/mail/root'
OPTIND='1'
PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
PBCURRENTCOMMANDLINEOPERATION='build'
PBUILDER_OPERATION='build'
PBUILDER_PKGDATADIR='/usr/share/pbuilder'
PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
PBUILDER_SYSCONFDIR='/etc'
PPID='123849'
PS1='# '
PS2='> '
PS4='+ '
PWD='/'
SHELL='/bin/bash'
SHLVL='2'
SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.nmSMAHF4/pbuilderrc_RbCU --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.nmSMAHF4/b1 --logfile b1/build.log haskell-what4_1.3-4.dsc'
SUDO_GID='112'
SUDO_UID='107'
SUDO_USER='jenkins'
TERM='unknown'
TZ='/usr/share/zoneinfo/Etc/GMT+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://85.184.249.68:3128'
I: uname -a
Linux ionos16-i386 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) x86_64 GNU/Linux
I: ls -l /bin
total 6036
-rwxr-xr-x 1 root root 1408088 Apr 23 2023 bash
-rwxr-xr-x 3 root root 38404 Sep 19 2022 bunzip2
-rwxr-xr-x 3 root root 38404 Sep 19 2022 bzcat
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzcmp -> bzdiff
-rwxr-xr-x 1 root root 2225 Sep 19 2022 bzdiff
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzegrep -> bzgrep
-rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzfgrep -> bzgrep
-rwxr-xr-x 1 root root 3775 Sep 19 2022 bzgrep
-rwxr-xr-x 3 root root 38404 Sep 19 2022 bzip2
-rwxr-xr-x 1 root root 17892 Sep 19 2022 bzip2recover
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzless -> bzmore
-rwxr-xr-x 1 root root 1297 Sep 19 2022 bzmore
-rwxr-xr-x 1 root root 42920 Sep 20 2022 cat
-rwxr-xr-x 1 root root 79816 Sep 20 2022 chgrp
-rwxr-xr-x 1 root root 67496 Sep 20 2022 chmod
-rwxr-xr-x 1 root root 79816 Sep 20 2022 chown
-rwxr-xr-x 1 root root 162024 Sep 20 2022 cp
-rwxr-xr-x 1 root root 136916 Jan 5 2023 dash
-rwxr-xr-x 1 root root 137160 Sep 20 2022 date
-rwxr-xr-x 1 root root 100364 Sep 20 2022 dd
-rwxr-xr-x 1 root root 108940 Sep 20 2022 df
-rwxr-xr-x 1 root root 162152 Sep 20 2022 dir
-rwxr-xr-x 1 root root 87760 Mar 23 2023 dmesg
lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname
lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname
-rwxr-xr-x 1 root root 38760 Sep 20 2022 echo
-rwxr-xr-x 1 root root 41 Jan 24 2023 egrep
-rwxr-xr-x 1 root root 34664 Sep 20 2022 false
-rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep
-rwxr-xr-x 1 root root 84272 Mar 23 2023 findmnt
-rwsr-xr-x 1 root root 30240 Mar 23 2023 fusermount
-rwxr-xr-x 1 root root 218680 Jan 24 2023 grep
-rwxr-xr-x 2 root root 2346 Apr 10 2022 gunzip
-rwxr-xr-x 1 root root 6447 Apr 10 2022 gzexe
-rwxr-xr-x 1 root root 100952 Apr 10 2022 gzip
-rwxr-xr-x 1 root root 21916 Dec 19 2022 hostname
-rwxr-xr-x 1 root root 75756 Sep 20 2022 ln
-rwxr-xr-x 1 root root 55600 Mar 23 2023 login
-rwxr-xr-x 1 root root 162152 Sep 20 2022 ls
-rwxr-xr-x 1 root root 214568 Mar 23 2023 lsblk
-rwxr-xr-x 1 root root 96328 Sep 20 2022 mkdir
-rwxr-xr-x 1 root root 84008 Sep 20 2022 mknod
-rwxr-xr-x 1 root root 38792 Sep 20 2022 mktemp
-rwxr-xr-x 1 root root 63016 Mar 23 2023 more
-rwsr-xr-x 1 root root 58912 Mar 23 2023 mount
-rwxr-xr-x 1 root root 13856 Mar 23 2023 mountpoint
-rwxr-xr-x 1 root root 157932 Sep 20 2022 mv
lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname
lrwxrwxrwx 1 root root 14 Apr 3 2023 pidof -> /sbin/killall5
-rwxr-xr-x 1 root root 38792 Sep 20 2022 pwd
lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash
-rwxr-xr-x 1 root root 51080 Sep 20 2022 readlink
-rwxr-xr-x 1 root root 75720 Sep 20 2022 rm
-rwxr-xr-x 1 root root 51080 Sep 20 2022 rmdir
-rwxr-xr-x 1 root root 22308 Jul 28 2023 run-parts
-rwxr-xr-x 1 root root 133224 Jan 5 2023 sed
lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash
-rwxr-xr-x 1 root root 38760 Sep 20 2022 sleep
-rwxr-xr-x 1 root root 87976 Sep 20 2022 stty
-rwsr-xr-x 1 root root 83492 Mar 23 2023 su
-rwxr-xr-x 1 root root 38792 Sep 20 2022 sync
-rwxr-xr-x 1 root root 598456 Apr 6 2023 tar
-rwxr-xr-x 1 root root 13860 Jul 28 2023 tempfile
-rwxr-xr-x 1 root root 120776 Sep 20 2022 touch
-rwxr-xr-x 1 root root 34664 Sep 20 2022 true
-rwxr-xr-x 1 root root 17892 Mar 23 2023 ulockmgr_server
-rwsr-xr-x 1 root root 30236 Mar 23 2023 umount
-rwxr-xr-x 1 root root 38760 Sep 20 2022 uname
-rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress
-rwxr-xr-x 1 root root 162152 Sep 20 2022 vdir
-rwxr-xr-x 1 root root 71216 Mar 23 2023 wdctl
lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname
-rwxr-xr-x 1 root root 1984 Apr 10 2022 zcat
-rwxr-xr-x 1 root root 1678 Apr 10 2022 zcmp
-rwxr-xr-x 1 root root 6460 Apr 10 2022 zdiff
-rwxr-xr-x 1 root root 29 Apr 10 2022 zegrep
-rwxr-xr-x 1 root root 29 Apr 10 2022 zfgrep
-rwxr-xr-x 1 root root 2081 Apr 10 2022 zforce
-rwxr-xr-x 1 root root 8103 Apr 10 2022 zgrep
-rwxr-xr-x 1 root root 2206 Apr 10 2022 zless
-rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore
-rwxr-xr-x 1 root root 4577 Apr 10 2022 znew
I: user script /srv/workspace/pbuilder/123849/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
Version: 0.invalid.0
Architecture: i386
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
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, ghc-prof, libghc-async-dev, libghc-async-prof, libghc-attoparsec-dev (>= 0.13), libghc-attoparsec-prof, libghc-bifunctors-dev (>= 5), libghc-bifunctors-prof, libghc-bimap-dev (>= 0.2), libghc-bimap-prof, libghc-bv-sized-dev (>= 1.0.0), libghc-bv-sized-prof, libghc-concurrent-extra-dev (>= 0.7), libghc-concurrent-extra-dev (<< 0.8), libghc-concurrent-extra-prof, libghc-config-value-dev (>= 0.8), libghc-config-value-dev (<< 0.9), libghc-config-value-prof, libghc-data-binary-ieee754-dev, libghc-data-binary-ieee754-prof, libghc-deriving-compat-dev (>= 0.5), libghc-deriving-compat-prof, libghc-fingertree-dev (>= 0.1.4), libghc-fingertree-prof, libghc-hashable-dev (>= 1.3), libghc-hashable-prof, libghc-hashtables-dev (>= 1.2.3), libghc-hashtables-prof, libghc-hedgehog-dev (>= 1.0.2), libghc-hedgehog-prof, libghc-io-streams-dev (>= 1.5), libghc-io-streams-prof, libghc-lens-dev (>= 4.18), libghc-lens-prof, libghc-lumberjack-dev, libghc-lumberjack-prof, libghc-libbf-dev (>= 0.6), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-panic-dev (>= 0.3), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1), libghc-parameterized-utils-dev (<< 2.2), libghc-parameterized-utils-prof, libghc-prettyprinter-dev (>= 1.7.0), libghc-prettyprinter-prof, libghc-quickcheck2-dev (>= 2.12), libghc-quickcheck2-prof, libghc-scientific-dev (>= 0.3.6), libghc-scientific-prof, libghc-tasty-dev (>= 0.10), libghc-tasty-prof, libghc-tasty-checklist-dev (>= 1.0.3), libghc-tasty-checklist-dev (<< 1.1), libghc-tasty-checklist-prof, libghc-tasty-expected-failure-dev (>= 0.12), libghc-tasty-expected-failure-dev (<< 0.13), libghc-tasty-expected-failure-prof, libghc-tasty-hedgehog-dev (>= 1.2), libghc-tasty-hedgehog-prof, libghc-tasty-hunit-dev (>= 0.9), libghc-tasty-hunit-prof, libghc-tasty-quickcheck-dev (>= 0.10), libghc-tasty-quickcheck-prof, libghc-temporary-dev (>= 1.2), libghc-temporary-prof, libghc-th-abstraction-dev (>= 0.1), libghc-th-abstraction-dev (<< 0.5), libghc-th-abstraction-prof, libghc-th-lift-dev (>= 0.8.2), libghc-th-lift-dev (<< 0.9), libghc-th-lift-prof, libghc-th-lift-instances-dev (>= 0.1), libghc-th-lift-instances-dev (<< 0.2), libghc-th-lift-instances-prof, libghc-unordered-containers-dev (>= 0.2.10), libghc-unordered-containers-prof, libghc-utf8-string-dev (>= 1.0.1), libghc-utf8-string-prof, libghc-vector-dev (>= 0.12.1), libghc-vector-prof, libghc-versions-dev (>= 4.0), libghc-versions-dev (<< 6.0), libghc-versions-prof, libghc-zenc-dev (>= 0.1.0), libghc-zenc-dev (<< 0.2.0), libghc-zenc-prof, cvc4, z3, ghc-doc, libghc-async-doc, libghc-attoparsec-doc, libghc-bifunctors-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-concurrent-extra-doc, libghc-config-value-doc, libghc-data-binary-ieee754-doc, libghc-deriving-compat-doc, libghc-fingertree-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-hedgehog-doc, libghc-io-streams-doc, libghc-lens-doc, libghc-libbf-doc, libghc-lumberjack-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-prettyprinter-doc, libghc-quickcheck2-doc, libghc-scientific-doc, libghc-tasty-doc, libghc-tasty-checklist-doc, libghc-tasty-expected-failure-doc, libghc-tasty-hedgehog-doc, libghc-tasty-hunit-doc, libghc-tasty-quickcheck-doc, libghc-temporary-doc, libghc-th-abstraction-doc, libghc-th-lift-doc, libghc-th-lift-instances-doc, libghc-unordered-containers-doc, libghc-utf8-string-doc, libghc-vector-doc, libghc-versions-doc, libghc-zenc-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 ... 18156 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; 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-async-dev; however:
Package libghc-async-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-async-prof; however:
Package libghc-async-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-attoparsec-dev (>= 0.13); however:
Package libghc-attoparsec-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-attoparsec-prof; however:
Package libghc-attoparsec-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bifunctors-dev (>= 5); however:
Package libghc-bifunctors-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bifunctors-prof; however:
Package libghc-bifunctors-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bimap-dev (>= 0.2); however:
Package libghc-bimap-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bimap-prof; however:
Package libghc-bimap-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bv-sized-dev (>= 1.0.0); however:
Package libghc-bv-sized-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bv-sized-prof; however:
Package libghc-bv-sized-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-concurrent-extra-dev (>= 0.7); however:
Package libghc-concurrent-extra-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-concurrent-extra-dev (<< 0.8); however:
Package libghc-concurrent-extra-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-concurrent-extra-prof; however:
Package libghc-concurrent-extra-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-config-value-dev (>= 0.8); however:
Package libghc-config-value-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-config-value-dev (<< 0.9); however:
Package libghc-config-value-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-config-value-prof; however:
Package libghc-config-value-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-data-binary-ieee754-dev; however:
Package libghc-data-binary-ieee754-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-data-binary-ieee754-prof; however:
Package libghc-data-binary-ieee754-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-deriving-compat-dev (>= 0.5); however:
Package libghc-deriving-compat-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-deriving-compat-prof; however:
Package libghc-deriving-compat-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-fingertree-dev (>= 0.1.4); however:
Package libghc-fingertree-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-fingertree-prof; however:
Package libghc-fingertree-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hashable-dev (>= 1.3); however:
Package libghc-hashable-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hashable-prof; however:
Package libghc-hashable-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hashtables-dev (>= 1.2.3); however:
Package libghc-hashtables-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hashtables-prof; however:
Package libghc-hashtables-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hedgehog-dev (>= 1.0.2); however:
Package libghc-hedgehog-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hedgehog-prof; however:
Package libghc-hedgehog-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-io-streams-dev (>= 1.5); however:
Package libghc-io-streams-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-io-streams-prof; however:
Package libghc-io-streams-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-lens-dev (>= 4.18); however:
Package libghc-lens-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-lens-prof; however:
Package libghc-lens-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-lumberjack-dev; however:
Package libghc-lumberjack-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-lumberjack-prof; however:
Package libghc-lumberjack-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-libbf-dev (>= 0.6); however:
Package libghc-libbf-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-libbf-dev (<< 0.7); however:
Package libghc-libbf-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-libbf-prof; however:
Package libghc-libbf-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-panic-dev (>= 0.3); however:
Package libghc-panic-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-panic-prof; however:
Package libghc-panic-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-parameterized-utils-dev (>= 2.1); however:
Package libghc-parameterized-utils-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-parameterized-utils-dev (<< 2.2); however:
Package libghc-parameterized-utils-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-parameterized-utils-prof; however:
Package libghc-parameterized-utils-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-prettyprinter-dev (>= 1.7.0); however:
Package libghc-prettyprinter-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-prettyprinter-prof; however:
Package libghc-prettyprinter-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-quickcheck2-dev (>= 2.12); however:
Package libghc-quickcheck2-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-quickcheck2-prof; however:
Package libghc-quickcheck2-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-scientific-dev (>= 0.3.6); however:
Package libghc-scientific-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-scientific-prof; however:
Package libghc-scientific-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-checklist-dev (>= 1.0.3); however:
Package libghc-tasty-checklist-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-checklist-dev (<< 1.1); however:
Package libghc-tasty-checklist-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-checklist-prof; however:
Package libghc-tasty-checklist-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-expected-failure-dev (>= 0.12); however:
Package libghc-tasty-expected-failure-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-expected-failure-dev (<< 0.13); however:
Package libghc-tasty-expected-failure-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-expected-failure-prof; however:
Package libghc-tasty-expected-failure-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-hedgehog-dev (>= 1.2); however:
Package libghc-tasty-hedgehog-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-hedgehog-prof; however:
Package libghc-tasty-hedgehog-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 libghc-tasty-quickcheck-dev (>= 0.10); however:
Package libghc-tasty-quickcheck-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-quickcheck-prof; however:
Package libghc-tasty-quickcheck-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-temporary-dev (>= 1.2); however:
Package libghc-temporary-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-temporary-prof; however:
Package libghc-temporary-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-abstraction-dev (>= 0.1); however:
Package libghc-th-abstraction-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-abstraction-dev (<< 0.5); however:
Package libghc-th-abstraction-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-abstraction-prof; however:
Package libghc-th-abstraction-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-dev (>= 0.8.2); however:
Package libghc-th-lift-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-dev (<< 0.9); however:
Package libghc-th-lift-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-prof; however:
Package libghc-th-lift-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-instances-dev (>= 0.1); however:
Package libghc-th-lift-instances-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-instances-dev (<< 0.2); however:
Package libghc-th-lift-instances-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-instances-prof; however:
Package libghc-th-lift-instances-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-unordered-containers-dev (>= 0.2.10); however:
Package libghc-unordered-containers-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-unordered-containers-prof; however:
Package libghc-unordered-containers-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-utf8-string-dev (>= 1.0.1); however:
Package libghc-utf8-string-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-utf8-string-prof; however:
Package libghc-utf8-string-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-vector-dev (>= 0.12.1); however:
Package libghc-vector-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-vector-prof; however:
Package libghc-vector-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-versions-dev (>= 4.0); however:
Package libghc-versions-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-versions-dev (<< 6.0); however:
Package libghc-versions-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-versions-prof; however:
Package libghc-versions-prof is not installed.
pbuilder-satisfydepends-dummy depends on libghc-zenc-dev (>= 0.1.0); however:
Package libghc-zenc-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-zenc-dev (<< 0.2.0); however:
Package libghc-zenc-dev is not installed.
pbuilder-satisfydepends-dummy depends on libghc-zenc-prof; however:
Package libghc-zenc-prof is not installed.
pbuilder-satisfydepends-dummy depends on cvc4; however:
Package cvc4 is not installed.
pbuilder-satisfydepends-dummy depends on z3; however:
Package z3 is not installed.
pbuilder-satisfydepends-dummy depends on ghc-doc; however:
Package ghc-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-async-doc; however:
Package libghc-async-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-attoparsec-doc; however:
Package libghc-attoparsec-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bifunctors-doc; however:
Package libghc-bifunctors-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bimap-doc; however:
Package libghc-bimap-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-bv-sized-doc; however:
Package libghc-bv-sized-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-concurrent-extra-doc; however:
Package libghc-concurrent-extra-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-config-value-doc; however:
Package libghc-config-value-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-data-binary-ieee754-doc; however:
Package libghc-data-binary-ieee754-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-deriving-compat-doc; however:
Package libghc-deriving-compat-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-fingertree-doc; however:
Package libghc-fingertree-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hashable-doc; however:
Package libghc-hashable-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hashtables-doc; however:
Package libghc-hashtables-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-hedgehog-doc; however:
Package libghc-hedgehog-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-io-streams-doc; however:
Package libghc-io-streams-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-lens-doc; however:
Package libghc-lens-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-libbf-doc; however:
Package libghc-libbf-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-lumberjack-doc; however:
Package libghc-lumberjack-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-panic-doc; however:
Package libghc-panic-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-parameterized-utils-doc; however:
Package libghc-parameterized-utils-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-prettyprinter-doc; however:
Package libghc-prettyprinter-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-quickcheck2-doc; however:
Package libghc-quickcheck2-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-scientific-doc; however:
Package libghc-scientific-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-doc; however:
Package libghc-tasty-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-checklist-doc; however:
Package libghc-tasty-checklist-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-expected-failure-doc; however:
Package libghc-tasty-expected-failure-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-hedgehog-doc; however:
Package libghc-tasty-hedgehog-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-hunit-doc; however:
Package libghc-tasty-hunit-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-tasty-quickcheck-doc; however:
Package libghc-tasty-quickcheck-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-temporary-doc; however:
Package libghc-temporary-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-abstraction-doc; however:
Package libghc-th-abstraction-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-doc; however:
Package libghc-th-lift-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-th-lift-instances-doc; however:
Package libghc-th-lift-instances-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-unordered-containers-doc; however:
Package libghc-unordered-containers-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-utf8-string-doc; however:
Package libghc-utf8-string-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-vector-doc; however:
Package libghc-vector-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-versions-doc; however:
Package libghc-versions-doc is not installed.
pbuilder-satisfydepends-dummy depends on libghc-zenc-doc; however:
Package libghc-zenc-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} cvc4{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} libantlr3c-3.4-0{a} libarchive-zip-perl{a} libb-hooks-op-check-perl{a} libbrotli1{a} libbsd-dev{a} libbsd0{a} libcln6{a} libconst-fast-perl{a} libcurl3-gnutls{a} libcvc4-7{a} libcvc4parser7{a} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{a} libelf1{a} libexpat1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libghc-adjunctions-dev{a} libghc-adjunctions-prof{a} libghc-ansi-terminal-dev{a} libghc-ansi-terminal-prof{a} libghc-ansi-wl-pprint-dev{a} libghc-ansi-wl-pprint-prof{a} libghc-assoc-dev{a} libghc-assoc-prof{a} libghc-async-dev{a} libghc-async-doc{a} libghc-async-prof{a} libghc-attoparsec-dev{a} libghc-attoparsec-doc{a} libghc-attoparsec-prof{a} libghc-base-compat-dev{a} libghc-base-compat-prof{a} libghc-base-orphans-dev{a} libghc-base-orphans-prof{a} libghc-bifunctors-dev{a} libghc-bifunctors-doc{a} libghc-bifunctors-prof{a} libghc-bimap-dev{a} libghc-bimap-doc{a} libghc-bimap-prof{a} libghc-bitwise-dev{a} libghc-bitwise-prof{a} libghc-bv-sized-dev{a} libghc-bv-sized-doc{a} libghc-bv-sized-prof{a} libghc-call-stack-dev{a} libghc-call-stack-prof{a} libghc-case-insensitive-dev{a} libghc-case-insensitive-prof{a} libghc-clock-dev{a} libghc-clock-prof{a} libghc-colour-dev{a} libghc-colour-prof{a} libghc-comonad-dev{a} libghc-comonad-prof{a} libghc-concurrent-extra-dev{a} libghc-concurrent-extra-doc{a} libghc-concurrent-extra-prof{a} libghc-concurrent-output-dev{a} libghc-concurrent-output-prof{a} libghc-config-value-dev{a} libghc-config-value-doc{a} libghc-config-value-prof{a} libghc-constraints-dev{a} libghc-constraints-prof{a} libghc-contravariant-dev{a} libghc-contravariant-prof{a} libghc-data-binary-ieee754-dev{a} libghc-data-binary-ieee754-doc{a} libghc-data-binary-ieee754-prof{a} libghc-deriving-compat-dev{a} libghc-deriving-compat-doc{a} libghc-deriving-compat-prof{a} libghc-distributive-dev{a} libghc-distributive-prof{a} libghc-erf-dev{a} libghc-erf-prof{a} libghc-fingertree-dev{a} libghc-fingertree-doc{a} libghc-fingertree-prof{a} libghc-free-dev{a} libghc-free-prof{a} libghc-gitrev-dev{a} libghc-gitrev-prof{a} libghc-hashable-dev{a} libghc-hashable-doc{a} libghc-hashable-prof{a} libghc-hashtables-dev{a} libghc-hashtables-doc{a} libghc-hashtables-prof{a} libghc-haskell-lexer-dev{a} libghc-haskell-lexer-prof{a} libghc-hedgehog-dev{a} libghc-hedgehog-doc{a} libghc-hedgehog-prof{a} libghc-indexed-traversable-dev{a} libghc-indexed-traversable-instances-dev{a} libghc-indexed-traversable-instances-prof{a} libghc-indexed-traversable-prof{a} libghc-integer-logarithms-dev{a} libghc-integer-logarithms-prof{a} libghc-invariant-dev{a} libghc-invariant-prof{a} libghc-io-streams-dev{a} libghc-io-streams-doc{a} libghc-io-streams-prof{a} libghc-kan-extensions-dev{a} libghc-kan-extensions-prof{a} libghc-lens-dev{a} libghc-lens-doc{a} libghc-lens-prof{a} libghc-libbf-dev{a} libghc-libbf-doc{a} libghc-libbf-prof{a} libghc-lifted-async-dev{a} libghc-lifted-async-prof{a} libghc-lifted-base-dev{a} libghc-lifted-base-prof{a} libghc-lumberjack-dev{a} libghc-lumberjack-doc{a} libghc-lumberjack-prof{a} libghc-megaparsec-dev{a} libghc-megaparsec-prof{a} libghc-mmorph-dev{a} libghc-mmorph-prof{a} libghc-monad-control-dev{a} libghc-monad-control-prof{a} libghc-network-dev{a} libghc-network-prof{a} libghc-onetuple-dev{a} libghc-onetuple-prof{a} libghc-optparse-applicative-dev{a} libghc-optparse-applicative-prof{a} libghc-panic-dev{a} libghc-panic-doc{a} libghc-panic-prof{a} libghc-parallel-dev{a} libghc-parallel-prof{a} libghc-parameterized-utils-dev{a} libghc-parameterized-utils-doc{a} libghc-parameterized-utils-prof{a} libghc-parser-combinators-dev{a} libghc-parser-combinators-prof{a} libghc-pretty-show-dev{a} libghc-pretty-show-prof{a} libghc-prettyprinter-ansi-terminal-dev{a} libghc-prettyprinter-ansi-terminal-prof{a} libghc-prettyprinter-dev{a} libghc-prettyprinter-doc{a} libghc-prettyprinter-prof{a} libghc-primitive-dev{a} libghc-primitive-prof{a} libghc-profunctors-dev{a} libghc-profunctors-prof{a} libghc-quickcheck2-dev{a} libghc-quickcheck2-doc{a} libghc-quickcheck2-prof{a} libghc-random-dev{a} libghc-random-prof{a} libghc-reflection-dev{a} libghc-reflection-prof{a} libghc-resourcet-dev{a} libghc-resourcet-prof{a} libghc-scientific-dev{a} libghc-scientific-doc{a} libghc-scientific-prof{a} libghc-semigroupoids-dev{a} libghc-semigroupoids-prof{a} libghc-semigroups-dev{a} libghc-semigroups-prof{a} libghc-splitmix-dev{a} libghc-splitmix-prof{a} libghc-statevar-dev{a} libghc-statevar-prof{a} libghc-strict-dev{a} libghc-strict-prof{a} libghc-tagged-dev{a} libghc-tagged-prof{a} libghc-tasty-checklist-dev{a} libghc-tasty-checklist-doc{a} libghc-tasty-checklist-prof{a} libghc-tasty-dev{a} libghc-tasty-doc{a} libghc-tasty-expected-failure-dev{a} libghc-tasty-expected-failure-doc{a} libghc-tasty-expected-failure-prof{a} libghc-tasty-hedgehog-dev{a} libghc-tasty-hedgehog-doc{a} libghc-tasty-hedgehog-prof{a} libghc-tasty-hunit-dev{a} libghc-tasty-hunit-doc{a} libghc-tasty-hunit-prof{a} libghc-tasty-prof{a} libghc-tasty-quickcheck-dev{a} libghc-tasty-quickcheck-doc{a} libghc-tasty-quickcheck-prof{a} libghc-temporary-dev{a} libghc-temporary-doc{a} libghc-temporary-prof{a} libghc-terminal-size-dev{a} libghc-terminal-size-prof{a} libghc-th-abstraction-dev{a} libghc-th-abstraction-doc{a} libghc-th-abstraction-prof{a} libghc-th-lift-dev{a} libghc-th-lift-doc{a} libghc-th-lift-instances-dev{a} libghc-th-lift-instances-doc{a} libghc-th-lift-instances-prof{a} libghc-th-lift-prof{a} libghc-these-dev{a} libghc-these-prof{a} libghc-transformers-base-dev{a} libghc-transformers-base-prof{a} libghc-transformers-compat-dev{a} libghc-transformers-compat-prof{a} libghc-type-equality-dev{a} libghc-type-equality-prof{a} libghc-unbounded-delays-dev{a} libghc-unbounded-delays-prof{a} libghc-unliftio-core-dev{a} libghc-unliftio-core-prof{a} libghc-unordered-containers-dev{a} libghc-unordered-containers-doc{a} libghc-unordered-containers-prof{a} libghc-utf8-string-dev{a} libghc-utf8-string-doc{a} libghc-utf8-string-prof{a} libghc-vector-dev{a} libghc-vector-doc{a} libghc-vector-prof{a} libghc-versions-dev{a} libghc-versions-doc{a} libghc-versions-prof{a} libghc-void-dev{a} libghc-void-prof{a} libghc-wcwidth-dev{a} libghc-wcwidth-prof{a} libghc-wl-pprint-annotated-dev{a} libghc-wl-pprint-annotated-prof{a} libghc-zenc-dev{a} libghc-zenc-doc{a} libghc-zenc-prof{a} libghc-zlib-bindings-dev{a} libghc-zlib-bindings-prof{a} libghc-zlib-dev{a} libghc-zlib-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} 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} 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} m4{a} man-db{a} media-types{a} po-debconf{a} python3{a} python3-minimal{a} python3-pkg-resources{a} python3-scour{a} python3-six{a} python3.11{a} python3.11-minimal{a} readline-common{a} scour{a} sensible-utils{a} sgml-base{a} z3{a} zlib1g-dev{a}
The following packages are RECOMMENDED but will NOT be installed:
ca-certificates curl libarchive-cpio-perl libghc-ansi-terminal-doc libghc-assoc-doc libghc-comonad-doc libghc-concurrent-output-doc libghc-constraints-doc libghc-contravariant-doc libghc-distributive-doc libghc-erf-doc libghc-free-doc libghc-indexed-traversable-doc libghc-kan-extensions-doc libghc-lifted-async-doc libghc-megaparsec-doc libghc-mmorph-doc libghc-monad-control-doc libghc-network-doc libghc-optparse-applicative-doc libghc-parallel-doc libghc-pretty-show-doc libghc-primitive-doc libghc-profunctors-doc libghc-random-doc libghc-reflection-doc libghc-resourcet-doc libghc-semigroupoids-doc libghc-strict-doc libghc-tagged-doc libghc-these-doc libghc-transformers-base-doc libghc-wl-pprint-annotated-doc libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules lynx publicsuffix wget
0 packages upgraded, 330 newly installed, 0 to remove and 0 not upgraded.
Need to get 360 MB of archives. After unpacking 2911 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian bookworm/main i386 libgmpxx4ldbl i386 2:6.2.1+dfsg1-1.1 [339 kB]
Get: 2 http://deb.debian.org/debian bookworm/main i386 libgmp-dev i386 2:6.2.1+dfsg1-1.1 [661 kB]
Get: 3 http://deb.debian.org/debian bookworm/main i386 libffi-dev i386 3.4.4-1 [57.3 kB]
Get: 4 http://deb.debian.org/debian bookworm/main i386 libbsd0 i386 0.11.7-2 [121 kB]
Get: 5 http://deb.debian.org/debian bookworm/main i386 libmd-dev i386 1.0.4-2 [48.1 kB]
Get: 6 http://deb.debian.org/debian bookworm/main i386 libbsd-dev i386 0.11.7-2 [247 kB]
Get: 7 http://deb.debian.org/debian bookworm/main i386 libncurses6 i386 6.4-4 [111 kB]
Get: 8 http://deb.debian.org/debian bookworm/main i386 libncurses-dev i386 6.4-4 [379 kB]
Get: 9 http://deb.debian.org/debian bookworm/main i386 ghc i386 9.0.2-4 [123 MB]
Get: 10 http://deb.debian.org/debian bookworm/main i386 fonts-mathjax all 2.7.9+dfsg-1 [2210 kB]
Get: 11 http://deb.debian.org/debian bookworm/main i386 libjs-mathjax all 2.7.9+dfsg-1 [5667 kB]
Get: 12 http://deb.debian.org/debian bookworm/main i386 ghc-doc all 9.0.2-4 [18.1 MB]
Get: 13 http://deb.debian.org/debian bookworm/main i386 libpython3.11-minimal i386 3.11.2-6 [813 kB]
Get: 14 http://deb.debian.org/debian bookworm/main i386 libexpat1 i386 2.5.0-1 [103 kB]
Get: 15 http://deb.debian.org/debian bookworm/main i386 python3.11-minimal i386 3.11.2-6 [2130 kB]
Get: 16 http://deb.debian.org/debian bookworm/main i386 python3-minimal i386 3.11.2-1+b1 [26.3 kB]
Get: 17 http://deb.debian.org/debian bookworm/main i386 media-types all 10.0.0 [26.1 kB]
Get: 18 http://deb.debian.org/debian bookworm/main i386 readline-common all 8.2-1.3 [69.0 kB]
Get: 19 http://deb.debian.org/debian bookworm/main i386 libreadline8 i386 8.2-1.3 [171 kB]
Get: 20 http://deb.debian.org/debian bookworm/main i386 libpython3.11-stdlib i386 3.11.2-6 [1799 kB]
Get: 21 http://deb.debian.org/debian bookworm/main i386 python3.11 i386 3.11.2-6 [572 kB]
Get: 22 http://deb.debian.org/debian bookworm/main i386 libpython3-stdlib i386 3.11.2-1+b1 [9308 B]
Get: 23 http://deb.debian.org/debian bookworm/main i386 python3 i386 3.11.2-1+b1 [26.3 kB]
Get: 24 http://deb.debian.org/debian bookworm/main i386 sgml-base all 1.31 [15.4 kB]
Get: 25 http://deb.debian.org/debian bookworm/main i386 sensible-utils all 0.0.17+nmu1 [19.0 kB]
Get: 26 http://deb.debian.org/debian bookworm/main i386 libmagic-mgc i386 1:5.44-3 [305 kB]
Get: 27 http://deb.debian.org/debian bookworm/main i386 libmagic1 i386 1:5.44-3 [114 kB]
Get: 28 http://deb.debian.org/debian bookworm/main i386 file i386 1:5.44-3 [42.5 kB]
Get: 29 http://deb.debian.org/debian bookworm/main i386 gettext-base i386 0.21-12 [162 kB]
Get: 30 http://deb.debian.org/debian bookworm/main i386 libuchardet0 i386 0.0.7-1 [67.9 kB]
Get: 31 http://deb.debian.org/debian bookworm/main i386 groff-base i386 1.22.4-10 [932 kB]
Get: 32 http://deb.debian.org/debian bookworm/main i386 bsdextrautils i386 2.38.1-5+b1 [90.3 kB]
Get: 33 http://deb.debian.org/debian bookworm/main i386 libpipeline1 i386 1.5.7-1 [40.0 kB]
Get: 34 http://deb.debian.org/debian bookworm/main i386 man-db i386 2.11.2-2 [1397 kB]
Get: 35 http://deb.debian.org/debian bookworm/main i386 m4 i386 1.4.19-3 [294 kB]
Get: 36 http://deb.debian.org/debian bookworm/main i386 autoconf all 2.71-3 [332 kB]
Get: 37 http://deb.debian.org/debian bookworm/main i386 autotools-dev all 20220109.1 [51.6 kB]
Get: 38 http://deb.debian.org/debian bookworm/main i386 automake all 1:1.16.5-1.3 [823 kB]
Get: 39 http://deb.debian.org/debian bookworm/main i386 autopoint all 0.21-12 [495 kB]
Get: 40 http://deb.debian.org/debian bookworm/main i386 python3-six all 1.16.0-4 [17.5 kB]
Get: 41 http://deb.debian.org/debian bookworm/main i386 python3-pkg-resources all 66.1.1-1 [296 kB]
Get: 42 http://deb.debian.org/debian bookworm/main i386 python3-scour all 0.38.2-2 [58.0 kB]
Get: 43 http://deb.debian.org/debian bookworm/main i386 scour all 0.38.2-2 [19.3 kB]
Get: 44 http://deb.debian.org/debian bookworm/main i386 cdbs all 0.4.166 [47.3 kB]
Get: 45 http://deb.debian.org/debian bookworm/main i386 libcln6 i386 1.3.6-4 [471 kB]
Get: 46 http://deb.debian.org/debian bookworm/main i386 libcvc4-7 i386 1.8-3 [6701 kB]
Get: 47 http://deb.debian.org/debian bookworm/main i386 libantlr3c-3.4-0 i386 3.4+dfsg-4 [53.1 kB]
Get: 48 http://deb.debian.org/debian bookworm/main i386 libcvc4parser7 i386 1.8-3 [388 kB]
Get: 49 http://deb.debian.org/debian bookworm/main i386 cvc4 i386 1.8-3 [82.7 kB]
Get: 50 http://deb.debian.org/debian bookworm/main i386 dctrl-tools i386 2.24-3 [105 kB]
Get: 51 http://deb.debian.org/debian bookworm/main i386 libdebhelper-perl all 13.11.4 [81.2 kB]
Get: 52 http://deb.debian.org/debian bookworm/main i386 libtool all 2.4.7-5 [517 kB]
Get: 53 http://deb.debian.org/debian bookworm/main i386 dh-autoreconf all 20 [17.1 kB]
Get: 54 http://deb.debian.org/debian bookworm/main i386 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 55 http://deb.debian.org/debian bookworm/main i386 libsub-override-perl all 0.09-4 [9304 B]
Get: 56 http://deb.debian.org/debian bookworm/main i386 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get: 57 http://deb.debian.org/debian bookworm/main i386 dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get: 58 http://deb.debian.org/debian bookworm/main i386 libelf1 i386 0.188-2.1 [179 kB]
Get: 59 http://deb.debian.org/debian bookworm/main i386 dwz i386 0.15-1 [118 kB]
Get: 60 http://deb.debian.org/debian bookworm/main i386 libicu72 i386 72.1-3 [9541 kB]
Get: 61 http://deb.debian.org/debian bookworm/main i386 libxml2 i386 2.9.14+dfsg-1.3~deb12u1 [720 kB]
Get: 62 http://deb.debian.org/debian bookworm/main i386 gettext i386 0.21-12 [1311 kB]
Get: 63 http://deb.debian.org/debian bookworm/main i386 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 64 http://deb.debian.org/debian bookworm/main i386 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 65 http://deb.debian.org/debian bookworm/main i386 debhelper all 13.11.4 [942 kB]
Get: 66 http://deb.debian.org/debian bookworm/main i386 dh-buildinfo all 0.11+nmu2 [18.4 kB]
Get: 67 http://deb.debian.org/debian bookworm/main i386 ghc-prof i386 9.0.2-4 [101 MB]
Get: 68 http://deb.debian.org/debian bookworm/main i386 libbrotli1 i386 1.0.9-2+b6 [275 kB]
Get: 69 http://deb.debian.org/debian bookworm/main i386 libsasl2-modules-db i386 2.1.28+dfsg-10 [21.4 kB]
Get: 70 http://deb.debian.org/debian bookworm/main i386 libsasl2-2 i386 2.1.28+dfsg-10 [62.7 kB]
Get: 71 http://deb.debian.org/debian bookworm/main i386 libldap-2.5-0 i386 2.5.13+dfsg-5 [196 kB]
Get: 72 http://deb.debian.org/debian bookworm/main i386 libnghttp2-14 i386 1.52.0-1+deb12u1 [80.7 kB]
Get: 73 http://deb.debian.org/debian bookworm/main i386 libpsl5 i386 0.21.2-1 [59.3 kB]
Get: 74 http://deb.debian.org/debian bookworm/main i386 librtmp1 i386 2.4+20151223.gitfa8646d.1-2+b2 [64.3 kB]
Get: 75 http://deb.debian.org/debian bookworm/main i386 libssh2-1 i386 1.10.0-3+b1 [187 kB]
Get: 76 http://deb.debian.org/debian bookworm/main i386 libcurl3-gnutls i386 7.88.1-10+deb12u4 [417 kB]
Get: 77 http://deb.debian.org/debian bookworm/main i386 html-xml-utils i386 7.7-1.1 [290 kB]
Get: 78 http://deb.debian.org/debian bookworm/main i386 libparams-util-perl i386 1.102-2+b1 [25.0 kB]
Get: 79 http://deb.debian.org/debian bookworm/main i386 libsub-install-perl all 0.929-1 [10.5 kB]
Get: 80 http://deb.debian.org/debian bookworm/main i386 libdata-optlist-perl all 0.113-1 [10.6 kB]
Get: 81 http://deb.debian.org/debian bookworm/main i386 libsub-exporter-perl all 0.989-1 [50.5 kB]
Get: 82 http://deb.debian.org/debian bookworm/main i386 libsub-exporter-progressive-perl all 0.001013-3 [7496 B]
Get: 83 http://deb.debian.org/debian bookworm/main i386 libconst-fast-perl all 0.014-2 [8792 B]
Get: 84 http://deb.debian.org/debian bookworm/main i386 libdevel-confess-perl all 0.009004-3 [19.6 kB]
Get: 85 http://deb.debian.org/debian bookworm/main i386 libipc-run3-perl all 0.048-3 [33.2 kB]
Get: 86 http://deb.debian.org/debian bookworm/main i386 libb-hooks-op-check-perl i386 0.22-2+b1 [10.6 kB]
Get: 87 http://deb.debian.org/debian bookworm/main i386 libdynaloader-functions-perl all 0.003-3 [12.7 kB]
Get: 88 http://deb.debian.org/debian bookworm/main i386 libdevel-callchecker-perl i386 0.008-2 [15.8 kB]
Get: 89 http://deb.debian.org/debian bookworm/main i386 libparams-classify-perl i386 0.015-2+b1 [23.7 kB]
Get: 90 http://deb.debian.org/debian bookworm/main i386 libmodule-runtime-perl all 0.016-2 [19.6 kB]
Get: 91 http://deb.debian.org/debian bookworm/main i386 libtry-tiny-perl all 0.31-2 [22.6 kB]
Get: 92 http://deb.debian.org/debian bookworm/main i386 libmodule-implementation-perl all 0.09-2 [12.6 kB]
Get: 93 http://deb.debian.org/debian bookworm/main i386 liblist-someutils-perl all 0.59-1 [37.1 kB]
Get: 94 http://deb.debian.org/debian bookworm/main i386 libpath-tiny-perl all 0.144-1 [56.4 kB]
Get: 95 http://deb.debian.org/debian bookworm/main i386 libtimedate-perl all 2.3300-2 [39.3 kB]
Get: 96 http://deb.debian.org/debian bookworm/main i386 libunicode-utf8-perl i386 0.62-2 [21.1 kB]
Get: 97 http://deb.debian.org/debian bookworm/main i386 haskell-devscripts-minimal all 0.16.29 [65.6 kB]
Get: 98 http://deb.debian.org/debian bookworm/main i386 libghc-base-orphans-dev i386 0.8.7-1 [104 kB]
Get: 99 http://deb.debian.org/debian bookworm/main i386 libghc-tagged-dev i386 0.8.6.1-1+b2 [109 kB]
Get: 100 http://deb.debian.org/debian bookworm/main i386 libghc-distributive-dev i386 0.6.2.1-1+b3 [74.2 kB]
Get: 101 http://deb.debian.org/debian bookworm/main i386 libghc-indexed-traversable-dev i386 0.1.2-2+b1 [220 kB]
Get: 102 http://deb.debian.org/debian bookworm/main i386 libghc-transformers-compat-dev i386 0.6.6-1+b2 [127 kB]
Get: 103 http://deb.debian.org/debian bookworm/main i386 libghc-comonad-dev i386 5.0.8-1+b2 [191 kB]
Get: 104 http://deb.debian.org/debian bookworm/main i386 libghc-statevar-dev i386 1.2.2-1+b2 [35.2 kB]
Get: 105 http://deb.debian.org/debian bookworm/main i386 libghc-contravariant-dev i386 1.5.5-1+b2 [112 kB]
Get: 106 http://deb.debian.org/debian bookworm/main i386 libghc-th-abstraction-dev i386 0.4.5.0-1 [373 kB]
Get: 107 http://deb.debian.org/debian bookworm/main i386 libghc-bifunctors-dev i386 5.5.13-1 [808 kB]
Get: 108 http://deb.debian.org/debian bookworm/main i386 libghc-profunctors-dev i386 5.6.2-1+b3 [541 kB]
Get: 109 http://deb.debian.org/debian bookworm/main i386 libghc-hashable-dev i386 1.3.5.0-2+b2 [177 kB]
Get: 110 http://deb.debian.org/debian bookworm/main i386 libghc-unordered-containers-dev i386 0.2.17.0-2+b1 [460 kB]
Get: 111 http://deb.debian.org/debian bookworm/main i386 libghc-semigroupoids-dev i386 5.3.7-1+b3 [708 kB]
Get: 112 http://deb.debian.org/debian bookworm/main i386 libghc-transformers-base-dev i386 0.4.6-1+b3 [44.6 kB]
Get: 113 http://deb.debian.org/debian bookworm/main i386 libghc-free-dev i386 5.1.9-1+b4 [1181 kB]
Get: 114 http://deb.debian.org/debian bookworm/main i386 libghc-semigroups-dev i386 0.19.2-1+b1 [26.5 kB]
Get: 115 http://deb.debian.org/debian bookworm/main i386 libghc-void-dev i386 0.7.3-3+b1 [11.4 kB]
Get: 116 http://deb.debian.org/debian bookworm/main i386 libghc-adjunctions-dev i386 4.4.2-1+b2 [338 kB]
Get: 117 http://deb.debian.org/debian bookworm/main i386 libghc-base-orphans-prof i386 0.8.7-1 [83.3 kB]
Get: 118 http://deb.debian.org/debian bookworm/main i386 libghc-tagged-prof i386 0.8.6.1-1+b2 [93.1 kB]
Get: 119 http://deb.debian.org/debian bookworm/main i386 libghc-distributive-prof i386 0.6.2.1-1+b3 [64.2 kB]
Get: 120 http://deb.debian.org/debian bookworm/main i386 libghc-indexed-traversable-prof i386 0.1.2-2+b1 [176 kB]
Get: 121 http://deb.debian.org/debian bookworm/main i386 libghc-transformers-compat-prof i386 0.6.6-1+b2 [99.9 kB]
Get: 122 http://deb.debian.org/debian bookworm/main i386 libghc-comonad-prof i386 5.0.8-1+b2 [161 kB]
Get: 123 http://deb.debian.org/debian bookworm/main i386 libghc-statevar-prof i386 1.2.2-1+b2 [28.3 kB]
Get: 124 http://deb.debian.org/debian bookworm/main i386 libghc-contravariant-prof i386 1.5.5-1+b2 [91.4 kB]
Get: 125 http://deb.debian.org/debian bookworm/main i386 libghc-th-abstraction-prof i386 0.4.5.0-1 [294 kB]
Get: 126 http://deb.debian.org/debian bookworm/main i386 libghc-bifunctors-prof i386 5.5.13-1 [680 kB]
Get: 127 http://deb.debian.org/debian bookworm/main i386 libghc-profunctors-prof i386 5.6.2-1+b3 [449 kB]
Get: 128 http://deb.debian.org/debian bookworm/main i386 libghc-hashable-prof i386 1.3.5.0-2+b2 [145 kB]
Get: 129 http://deb.debian.org/debian bookworm/main i386 libghc-unordered-containers-prof i386 0.2.17.0-2+b1 [467 kB]
Get: 130 http://deb.debian.org/debian bookworm/main i386 libghc-semigroupoids-prof i386 5.3.7-1+b3 [588 kB]
Get: 131 http://deb.debian.org/debian bookworm/main i386 libghc-transformers-base-prof i386 0.4.6-1+b3 [38.1 kB]
Get: 132 http://deb.debian.org/debian bookworm/main i386 libghc-free-prof i386 5.1.9-1+b4 [989 kB]
Get: 133 http://deb.debian.org/debian bookworm/main i386 libghc-semigroups-prof i386 0.19.2-1+b1 [21.6 kB]
Get: 134 http://deb.debian.org/debian bookworm/main i386 libghc-void-prof i386 0.7.3-3+b1 [10.2 kB]
Get: 135 http://deb.debian.org/debian bookworm/main i386 libghc-adjunctions-prof i386 4.4.2-1+b2 [296 kB]
Get: 136 http://deb.debian.org/debian bookworm/main i386 libghc-colour-dev i386 2.3.6-1+b2 [324 kB]
Get: 137 http://deb.debian.org/debian bookworm/main i386 libghc-ansi-terminal-dev i386 0.11.3-1+b2 [271 kB]
Get: 138 http://deb.debian.org/debian bookworm/main i386 libghc-colour-prof i386 2.3.6-1+b2 [305 kB]
Get: 139 http://deb.debian.org/debian bookworm/main i386 libghc-ansi-terminal-prof i386 0.11.3-1+b2 [207 kB]
Get: 140 http://deb.debian.org/debian bookworm/main i386 libghc-ansi-wl-pprint-dev i386 0.6.9-5+b2 [104 kB]
Get: 141 http://deb.debian.org/debian bookworm/main i386 libghc-ansi-wl-pprint-prof i386 0.6.9-5+b2 [94.9 kB]
Get: 142 http://deb.debian.org/debian bookworm/main i386 libghc-assoc-dev i386 1.0.2-3+b3 [27.7 kB]
Get: 143 http://deb.debian.org/debian bookworm/main i386 libghc-assoc-prof i386 1.0.2-3+b3 [22.4 kB]
Get: 144 http://deb.debian.org/debian bookworm/main i386 libghc-async-dev i386 2.2.4-1+b1 [112 kB]
Get: 145 http://deb.debian.org/debian bookworm/main i386 libghc-async-doc all 2.2.4-1 [73.1 kB]
Get: 146 http://deb.debian.org/debian bookworm/main i386 libghc-async-prof i386 2.2.4-1+b1 [92.6 kB]
Get: 147 http://deb.debian.org/debian bookworm/main i386 libghc-integer-logarithms-dev i386 1.0.3.1-2+b1 [57.6 kB]
Get: 148 http://deb.debian.org/debian bookworm/main i386 libghc-primitive-dev i386 0.7.3.0-1+b2 [488 kB]
Get: 149 http://deb.debian.org/debian bookworm/main i386 libghc-scientific-dev i386 0.3.7.0-1+b1 [262 kB]
Get: 150 http://deb.debian.org/debian bookworm/main i386 libghc-attoparsec-dev i386 0.14.4-2+b1 [923 kB]
Get: 151 http://deb.debian.org/debian bookworm/main i386 libghc-attoparsec-doc all 0.14.4-2 [177 kB]
Get: 152 http://deb.debian.org/debian bookworm/main i386 libghc-integer-logarithms-prof i386 1.0.3.1-2+b1 [44.8 kB]
Get: 153 http://deb.debian.org/debian bookworm/main i386 libghc-primitive-prof i386 0.7.3.0-1+b2 [388 kB]
Get: 154 http://deb.debian.org/debian bookworm/main i386 libghc-scientific-prof i386 0.3.7.0-1+b1 [209 kB]
Get: 155 http://deb.debian.org/debian bookworm/main i386 libghc-attoparsec-prof i386 0.14.4-2+b1 [741 kB]
Get: 156 http://deb.debian.org/debian bookworm/main i386 libghc-base-compat-dev i386 0.11.2-1+b2 [83.4 kB]
Get: 157 http://deb.debian.org/debian bookworm/main i386 libghc-base-compat-prof i386 0.11.2-1+b2 [64.3 kB]
Get: 158 http://deb.debian.org/debian bookworm/main i386 libghc-bifunctors-doc all 5.5.13-1 [176 kB]
Get: 159 http://deb.debian.org/debian bookworm/main i386 libghc-bimap-dev i386 0.5.0-1+b1 [77.8 kB]
Get: 160 http://deb.debian.org/debian bookworm/main i386 libghc-bimap-doc all 0.5.0-1 [61.5 kB]
Get: 161 http://deb.debian.org/debian bookworm/main i386 libghc-bimap-prof i386 0.5.0-1+b1 [67.3 kB]
Get: 162 http://deb.debian.org/debian bookworm/main i386 libghc-bitwise-dev i386 1.0.0.1-2+b1 [256 kB]
Get: 163 http://deb.debian.org/debian bookworm/main i386 libghc-bitwise-prof i386 1.0.0.1-2+b1 [224 kB]
Get: 164 http://deb.debian.org/debian bookworm/main i386 libghc-gitrev-dev i386 1.3.1-5+b1 [42.0 kB]
Get: 165 http://deb.debian.org/debian bookworm/main i386 libghc-panic-dev i386 0.4.0.1-3+b1 [33.9 kB]
Get: 166 http://deb.debian.org/debian bookworm/main i386 libghc-type-equality-dev i386 1-3+b2 [10.2 kB]
Get: 167 http://deb.debian.org/debian bookworm/main i386 libghc-constraints-dev i386 0.13.4-1+b2 [360 kB]
Get: 168 http://deb.debian.org/debian bookworm/main i386 libghc-vector-dev i386 0.12.3.1-1+b1 [3102 kB]
Get: 169 http://deb.debian.org/debian bookworm/main i386 libghc-hashtables-dev i386 1.2.4.2-1+b1 [298 kB]
Get: 170 http://deb.debian.org/debian bookworm/main i386 libghc-call-stack-dev i386 0.4.0-1+b2 [28.2 kB]
Get: 171 http://deb.debian.org/debian bookworm/main i386 libghc-onetuple-dev i386 0.3.1-1+b2 [14.1 kB]
Get: 172 http://deb.debian.org/debian bookworm/main i386 libghc-indexed-traversable-instances-dev i386 0.1.1.1-1 [45.2 kB]
Get: 173 http://deb.debian.org/debian bookworm/main i386 libghc-invariant-dev i386 0.5.6-1+b3 [320 kB]
Get: 174 http://deb.debian.org/debian bookworm/main i386 libghc-kan-extensions-dev i386 5.2.5-1+b3 [349 kB]
Get: 175 http://deb.debian.org/debian bookworm/main i386 libghc-parallel-dev i386 3.2.2.0-4+b2 [80.4 kB]
Get: 176 http://deb.debian.org/debian bookworm/main i386 libghc-reflection-dev i386 2.1.6-2+b2 [309 kB]
Get: 177 http://deb.debian.org/debian bookworm/main i386 libghc-these-dev i386 1.1.1.1-2+b3 [194 kB]
Get: 178 http://deb.debian.org/debian bookworm/main i386 libghc-strict-dev i386 0.4.0.1-1+b3 [340 kB]
Get: 179 http://deb.debian.org/debian bookworm/main i386 libghc-lens-dev i386 5.0.1-2+b4 [2915 kB]
Get: 180 http://deb.debian.org/debian bookworm/main i386 libghc-parameterized-utils-dev i386 2.1.5.0-2+b3 [1116 kB]
Get: 181 http://deb.debian.org/debian bookworm/main i386 libghc-splitmix-dev i386 0.1.0.4-1+b2 [85.3 kB]
Get: 182 http://deb.debian.org/debian bookworm/main i386 libghc-random-dev i386 1.2.1.1-2+b2 [589 kB]
Get: 183 http://deb.debian.org/debian bookworm/main i386 libghc-th-lift-dev i386 0.8.2-1+b3 [89.8 kB]
Get: 184 http://deb.debian.org/debian bookworm/main i386 libghc-bv-sized-dev i386 1.0.4-2+b3 [262 kB]
Get: 185 http://deb.debian.org/debian bookworm/main i386 libghc-bv-sized-doc all 1.0.4-2 [98.4 kB]
Get: 186 http://deb.debian.org/debian bookworm/main i386 libghc-gitrev-prof i386 1.3.1-5+b1 [32.5 kB]
Get: 187 http://deb.debian.org/debian bookworm/main i386 libghc-panic-prof i386 0.4.0.1-3+b1 [27.8 kB]
Get: 188 http://deb.debian.org/debian bookworm/main i386 libghc-type-equality-prof i386 1-3+b2 [8404 B]
Get: 189 http://deb.debian.org/debian bookworm/main i386 libghc-constraints-prof i386 0.13.4-1+b2 [272 kB]
Get: 190 http://deb.debian.org/debian bookworm/main i386 libghc-vector-prof i386 0.12.3.1-1+b1 [2589 kB]
Get: 191 http://deb.debian.org/debian bookworm/main i386 libghc-hashtables-prof i386 1.2.4.2-1+b1 [257 kB]
Get: 192 http://deb.debian.org/debian bookworm/main i386 libghc-call-stack-prof i386 0.4.0-1+b2 [22.0 kB]
Get: 193 http://deb.debian.org/debian bookworm/main i386 libghc-onetuple-prof i386 0.3.1-1+b2 [12.0 kB]
Get: 194 http://deb.debian.org/debian bookworm/main i386 libghc-indexed-traversable-instances-prof i386 0.1.1.1-1 [37.0 kB]
Get: 195 http://deb.debian.org/debian bookworm/main i386 libghc-invariant-prof i386 0.5.6-1+b3 [267 kB]
Get: 196 http://deb.debian.org/debian bookworm/main i386 libghc-kan-extensions-prof i386 5.2.5-1+b3 [301 kB]
Get: 197 http://deb.debian.org/debian bookworm/main i386 libghc-parallel-prof i386 3.2.2.0-4+b2 [79.4 kB]
Get: 198 http://deb.debian.org/debian bookworm/main i386 libghc-reflection-prof i386 2.1.6-2+b2 [240 kB]
Get: 199 http://deb.debian.org/debian bookworm/main i386 libghc-these-prof i386 1.1.1.1-2+b3 [158 kB]
Get: 200 http://deb.debian.org/debian bookworm/main i386 libghc-strict-prof i386 0.4.0.1-1+b3 [273 kB]
Get: 201 http://deb.debian.org/debian bookworm/main i386 libghc-lens-prof i386 5.0.1-2+b4 [2475 kB]
Get: 202 http://deb.debian.org/debian bookworm/main i386 libghc-parameterized-utils-prof i386 2.1.5.0-2+b3 [959 kB]
Get: 203 http://deb.debian.org/debian bookworm/main i386 libghc-splitmix-prof i386 0.1.0.4-1+b2 [67.0 kB]
Get: 204 http://deb.debian.org/debian bookworm/main i386 libghc-random-prof i386 1.2.1.1-2+b2 [474 kB]
Get: 205 http://deb.debian.org/debian bookworm/main i386 libghc-th-lift-prof i386 0.8.2-1+b3 [73.4 kB]
Get: 206 http://deb.debian.org/debian bookworm/main i386 libghc-bv-sized-prof i386 1.0.4-2+b3 [219 kB]
Get: 207 http://deb.debian.org/debian bookworm/main i386 libghc-case-insensitive-dev i386 1.2.1.0-3+b1 [64.6 kB]
Get: 208 http://deb.debian.org/debian bookworm/main i386 libghc-case-insensitive-prof i386 1.2.1.0-3+b1 [54.4 kB]
Get: 209 http://deb.debian.org/debian bookworm/main i386 libghc-clock-dev i386 0.8.3-1+b2 [142 kB]
Get: 210 http://deb.debian.org/debian bookworm/main i386 libghc-clock-prof i386 0.8.3-1+b2 [104 kB]
Get: 211 http://deb.debian.org/debian bookworm/main i386 libghc-unbounded-delays-dev i386 0.1.1.1-1+b2 [24.7 kB]
Get: 212 http://deb.debian.org/debian bookworm/main i386 libghc-concurrent-extra-dev i386 0.7.0.12-2+b1 [113 kB]
Get: 213 http://deb.debian.org/debian bookworm/main i386 libghc-concurrent-extra-doc all 0.7.0.12-2 [73.8 kB]
Get: 214 http://deb.debian.org/debian bookworm/main i386 libghc-unbounded-delays-prof i386 0.1.1.1-1+b2 [20.2 kB]
Get: 215 http://deb.debian.org/debian bookworm/main i386 libghc-concurrent-extra-prof i386 0.7.0.12-2+b1 [85.9 kB]
Get: 216 http://deb.debian.org/debian bookworm/main i386 libghc-terminal-size-dev i386 0.3.3-1+b2 [68.5 kB]
Get: 217 http://deb.debian.org/debian bookworm/main i386 libghc-concurrent-output-dev i386 1.10.16-1+b1 [243 kB]
Get: 218 http://deb.debian.org/debian bookworm/main i386 libghc-terminal-size-prof i386 0.3.3-1+b2 [54.7 kB]
Get: 219 http://deb.debian.org/debian bookworm/main i386 libghc-concurrent-output-prof i386 1.10.16-1+b1 [194 kB]
Get: 220 http://deb.debian.org/debian bookworm/main i386 libghc-config-value-dev i386 0.8.3-1 [591 kB]
Get: 221 http://deb.debian.org/debian bookworm/main i386 libghc-config-value-doc all 0.8.3-1 [127 kB]
Get: 222 http://deb.debian.org/debian bookworm/main i386 libghc-config-value-prof i386 0.8.3-1 [478 kB]
Get: 223 http://deb.debian.org/debian bookworm/main i386 libghc-data-binary-ieee754-dev i386 0.4.4-11+b3 [38.2 kB]
Get: 224 http://deb.debian.org/debian bookworm/main i386 libghc-data-binary-ieee754-doc all 0.4.4-11 [40.7 kB]
Get: 225 http://deb.debian.org/debian bookworm/main i386 libghc-data-binary-ieee754-prof i386 0.4.4-11+b3 [31.7 kB]
Get: 226 http://deb.debian.org/debian bookworm/main i386 libghc-deriving-compat-dev i386 0.6.1-1+b3 [911 kB]
Get: 227 http://deb.debian.org/debian bookworm/main i386 libghc-deriving-compat-doc all 0.6.1-1 [227 kB]
Get: 228 http://deb.debian.org/debian bookworm/main i386 libghc-deriving-compat-prof i386 0.6.1-1+b3 [787 kB]
Get: 229 http://deb.debian.org/debian bookworm/main i386 libghc-erf-dev i386 2.0.0.0-17+b3 [31.8 kB]
Get: 230 http://deb.debian.org/debian bookworm/main i386 libghc-erf-prof i386 2.0.0.0-17+b3 [23.4 kB]
Get: 231 http://deb.debian.org/debian bookworm/main i386 libghc-fingertree-dev i386 0.1.5.0-1+b2 [430 kB]
Get: 232 http://deb.debian.org/debian bookworm/main i386 libghc-fingertree-doc all 0.1.5.0-1 [117 kB]
Get: 233 http://deb.debian.org/debian bookworm/main i386 libghc-fingertree-prof i386 0.1.5.0-1+b2 [381 kB]
Get: 234 http://deb.debian.org/debian bookworm/main i386 libghc-hashable-doc all 1.3.5.0-2 [87.6 kB]
Get: 235 http://deb.debian.org/debian bookworm/main i386 libghc-hashtables-doc all 1.2.4.2-1 [141 kB]
Get: 236 http://deb.debian.org/debian bookworm/main i386 libghc-haskell-lexer-dev i386 1.1-2+b1 [543 kB]
Get: 237 http://deb.debian.org/debian bookworm/main i386 libghc-haskell-lexer-prof i386 1.1-2+b1 [443 kB]
Get: 238 http://deb.debian.org/debian bookworm/main i386 libghc-monad-control-dev i386 1.0.3.1-1+b2 [57.5 kB]
Get: 239 http://deb.debian.org/debian bookworm/main i386 libghc-lifted-base-dev i386 0.2.3.12-4+b2 [72.1 kB]
Get: 240 http://deb.debian.org/debian bookworm/main i386 libghc-lifted-async-dev i386 0.10.2.3-1 [132 kB]
Get: 241 http://deb.debian.org/debian bookworm/main i386 libghc-mmorph-dev i386 1.1.5-1+b2 [63.4 kB]
Get: 242 http://deb.debian.org/debian bookworm/main i386 libghc-pretty-show-dev i386 1.10-2+b1 [234 kB]
Get: 243 http://deb.debian.org/debian bookworm/main i386 libghc-unliftio-core-dev i386 0.2.0.1-2+b2 [31.8 kB]
Get: 244 http://deb.debian.org/debian bookworm/main i386 libghc-resourcet-dev i386 1.2.6-1+b1 [160 kB]
Get: 245 http://deb.debian.org/debian bookworm/main i386 libghc-wl-pprint-annotated-dev i386 0.1.0.1-4+b1 [171 kB]
Get: 246 http://deb.debian.org/debian bookworm/main i386 libghc-hedgehog-dev i386 1.0.5-1+b3 [1543 kB]
Get: 247 http://deb.debian.org/debian bookworm/main i386 libghc-hedgehog-doc all 1.0.5-1 [532 kB]
Get: 248 http://deb.debian.org/debian bookworm/main i386 libghc-monad-control-prof i386 1.0.3.1-1+b2 [50.6 kB]
Get: 249 http://deb.debian.org/debian bookworm/main i386 libghc-lifted-base-prof i386 0.2.3.12-4+b2 [68.2 kB]
Get: 250 http://deb.debian.org/debian bookworm/main i386 libghc-lifted-async-prof i386 0.10.2.3-1 [114 kB]
Get: 251 http://deb.debian.org/debian bookworm/main i386 libghc-mmorph-prof i386 1.1.5-1+b2 [53.1 kB]
Get: 252 http://deb.debian.org/debian bookworm/main i386 libghc-pretty-show-prof i386 1.10-2+b1 [183 kB]
Get: 253 http://deb.debian.org/debian bookworm/main i386 libghc-unliftio-core-prof i386 0.2.0.1-2+b2 [25.6 kB]
Get: 254 http://deb.debian.org/debian bookworm/main i386 libghc-resourcet-prof i386 1.2.6-1+b1 [130 kB]
Get: 255 http://deb.debian.org/debian bookworm/main i386 libghc-wl-pprint-annotated-prof i386 0.1.0.1-4+b1 [141 kB]
Get: 256 http://deb.debian.org/debian bookworm/main i386 libghc-hedgehog-prof i386 1.0.5-1+b3 [1290 kB]
Get: 257 http://deb.debian.org/debian bookworm/main i386 libghc-network-dev i386 3.1.2.7-1+b2 [529 kB]
Get: 258 http://deb.debian.org/debian bookworm/main i386 zlib1g-dev i386 1:1.2.13.dfsg-1 [913 kB]
Get: 259 http://deb.debian.org/debian bookworm/main i386 libghc-zlib-dev i386 0.6.3.0-1+b2 [289 kB]
Get: 260 http://deb.debian.org/debian bookworm/main i386 libghc-zlib-bindings-dev i386 0.1.1.5-11+b1 [73.6 kB]
Get: 261 http://deb.debian.org/debian bookworm/main i386 libghc-io-streams-dev i386 1.5.2.2-1 [415 kB]
Get: 262 http://deb.debian.org/debian bookworm/main i386 libghc-io-streams-doc all 1.5.2.2-1 [198 kB]
Get: 263 http://deb.debian.org/debian bookworm/main i386 libghc-network-prof i386 3.1.2.7-1+b2 [420 kB]
Get: 264 http://deb.debian.org/debian bookworm/main i386 libghc-zlib-prof i386 0.6.3.0-1+b2 [225 kB]
Get: 265 http://deb.debian.org/debian bookworm/main i386 libghc-zlib-bindings-prof i386 0.1.1.5-11+b1 [56.1 kB]
Get: 266 http://deb.debian.org/debian bookworm/main i386 libghc-io-streams-prof i386 1.5.2.2-1 [342 kB]
Get: 267 http://deb.debian.org/debian bookworm/main i386 libghc-lens-doc all 5.0.1-2 [1682 kB]
Get: 268 http://deb.debian.org/debian bookworm/main i386 libghc-libbf-dev i386 0.6.5.1-1 [236 kB]
Get: 269 http://deb.debian.org/debian bookworm/main i386 libghc-libbf-doc all 0.6.5.1-1 [82.6 kB]
Get: 270 http://deb.debian.org/debian bookworm/main i386 libghc-libbf-prof i386 0.6.5.1-1 [176 kB]
Get: 271 http://deb.debian.org/debian bookworm/main i386 libghc-prettyprinter-dev i386 1.7.1-1+b2 [444 kB]
Get: 272 http://deb.debian.org/debian bookworm/main i386 libghc-prettyprinter-ansi-terminal-dev i386 1.1.3-1+b1 [118 kB]
Get: 273 http://deb.debian.org/debian bookworm/main i386 libghc-lumberjack-dev i386 1.0.1.0-2+b1 [94.1 kB]
Get: 274 http://deb.debian.org/debian bookworm/main i386 libghc-lumberjack-doc all 1.0.1.0-2 [58.0 kB]
Get: 275 http://deb.debian.org/debian bookworm/main i386 libghc-prettyprinter-prof i386 1.7.1-1+b2 [374 kB]
Get: 276 http://deb.debian.org/debian bookworm/main i386 libghc-prettyprinter-ansi-terminal-prof i386 1.1.3-1+b1 [86.2 kB]
Get: 277 http://deb.debian.org/debian bookworm/main i386 libghc-lumberjack-prof i386 1.0.1.0-2+b1 [80.6 kB]
Get: 278 http://deb.debian.org/debian bookworm/main i386 libghc-parser-combinators-dev i386 1.3.0-1+b1 [120 kB]
Get: 279 http://deb.debian.org/debian bookworm/main i386 libghc-megaparsec-dev i386 9.2.2-1 [834 kB]
Get: 280 http://deb.debian.org/debian bookworm/main i386 libghc-parser-combinators-prof i386 1.3.0-1+b1 [98.1 kB]
Get: 281 http://deb.debian.org/debian bookworm/main i386 libghc-megaparsec-prof i386 9.2.2-1 [688 kB]
Get: 282 http://deb.debian.org/debian bookworm/main i386 libghc-optparse-applicative-dev i386 0.16.1.0-1+b1 [502 kB]
Get: 283 http://deb.debian.org/debian bookworm/main i386 libghc-optparse-applicative-prof i386 0.16.1.0-1+b1 [442 kB]
Get: 284 http://deb.debian.org/debian bookworm/main i386 libghc-panic-doc all 0.4.0.1-3 [40.2 kB]
Get: 285 http://deb.debian.org/debian bookworm/main i386 libghc-parameterized-utils-doc all 2.1.5.0-2 [420 kB]
Get: 286 http://deb.debian.org/debian bookworm/main i386 libghc-prettyprinter-doc all 1.7.1-1 [175 kB]
Get: 287 http://deb.debian.org/debian bookworm/main i386 libghc-quickcheck2-dev i386 2.14.2-1+b2 [1138 kB]
Get: 288 http://deb.debian.org/debian bookworm/main i386 libghc-quickcheck2-doc all 2.14.2-1 [285 kB]
Get: 289 http://deb.debian.org/debian bookworm/main i386 libghc-quickcheck2-prof i386 2.14.2-1+b2 [928 kB]
Get: 290 http://deb.debian.org/debian bookworm/main i386 libghc-scientific-doc all 0.3.7.0-1 [87.4 kB]
Get: 291 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-checklist-dev i386 1.0.4.0-2+b3 [107 kB]
Get: 292 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-checklist-doc all 1.0.4.0-2 [53.3 kB]
Get: 293 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-checklist-prof i386 1.0.4.0-2+b3 [85.8 kB]
Get: 294 http://deb.debian.org/debian bookworm/main i386 libghc-wcwidth-dev i386 0.0.2-3+b2 [14.4 kB]
Get: 295 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-dev i386 1.4.2.3-1+b1 [585 kB]
Get: 296 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-doc all 1.4.2.3-1 [184 kB]
Get: 297 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-expected-failure-dev i386 0.12.3-1+b1 [33.8 kB]
Get: 298 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-expected-failure-doc all 0.12.3-1 [43.8 kB]
Get: 299 http://deb.debian.org/debian bookworm/main i386 libghc-wcwidth-prof i386 0.0.2-3+b2 [11.8 kB]
Get: 300 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-prof i386 1.4.2.3-1+b1 [481 kB]
Get: 301 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-expected-failure-prof i386 0.12.3-1+b1 [27.6 kB]
Get: 302 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-hedgehog-dev i386 1.2.0.0-2+b3 [75.3 kB]
Get: 303 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-hedgehog-doc all 1.2.0.0-2 [49.3 kB]
Get: 304 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-hedgehog-prof i386 1.2.0.0-2+b3 [57.0 kB]
Get: 305 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-hunit-dev i386 0.10.0.3-1+b1 [57.9 kB]
Get: 306 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-hunit-doc all 0.10.0.3-1 [54.0 kB]
Get: 307 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-hunit-prof i386 0.10.0.3-1+b1 [46.9 kB]
Get: 308 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-quickcheck-dev i386 0.10.2-1+b2 [59.5 kB]
Get: 309 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-quickcheck-doc all 0.10.2-1 [98.1 kB]
Get: 310 http://deb.debian.org/debian bookworm/main i386 libghc-tasty-quickcheck-prof i386 0.10.2-1+b2 [46.7 kB]
Get: 311 http://deb.debian.org/debian bookworm/main i386 libghc-temporary-dev i386 1.3-3+b1 [33.4 kB]
Get: 312 http://deb.debian.org/debian bookworm/main i386 libghc-temporary-doc all 1.3-3 [45.5 kB]
Get: 313 http://deb.debian.org/debian bookworm/main i386 libghc-temporary-prof i386 1.3-3+b1 [27.9 kB]
Get: 314 http://deb.debian.org/debian bookworm/main i386 libghc-th-lift-doc all 0.8.2-1 [51.5 kB]
Get: 315 http://deb.debian.org/debian bookworm/main i386 libghc-th-lift-instances-dev i386 0.1.20-1+b1 [106 kB]
Get: 316 http://deb.debian.org/debian bookworm/main i386 libghc-th-lift-instances-doc all 0.1.20-1 [44.3 kB]
Get: 317 http://deb.debian.org/debian bookworm/main i386 libghc-th-lift-instances-prof i386 0.1.20-1+b1 [87.1 kB]
Get: 318 http://deb.debian.org/debian bookworm/main i386 libghc-unordered-containers-doc all 0.2.17.0-2 [187 kB]
Get: 319 http://deb.debian.org/debian bookworm/main i386 libghc-utf8-string-dev i386 1.0.2-1+b1 [157 kB]
Get: 320 http://deb.debian.org/debian bookworm/main i386 libghc-utf8-string-doc all 1.0.2-1 [74.6 kB]
Get: 321 http://deb.debian.org/debian bookworm/main i386 libghc-utf8-string-prof i386 1.0.2-1+b1 [119 kB]
Get: 322 http://deb.debian.org/debian bookworm/main i386 libghc-vector-doc all 0.12.3.1-1 [552 kB]
Get: 323 http://deb.debian.org/debian bookworm/main i386 libghc-versions-dev i386 5.0.3-3+b2 [449 kB]
Get: 324 http://deb.debian.org/debian bookworm/main i386 libghc-versions-doc all 5.0.3-3 [85.6 kB]
Get: 325 http://deb.debian.org/debian bookworm/main i386 libghc-versions-prof i386 5.0.3-3+b2 [361 kB]
Get: 326 http://deb.debian.org/debian bookworm/main i386 libghc-zenc-dev i386 0.1.2-2+b1 [28.0 kB]
Get: 327 http://deb.debian.org/debian bookworm/main i386 libghc-zenc-doc all 0.1.2-2 [42.6 kB]
Get: 328 http://deb.debian.org/debian bookworm/main i386 libghc-zenc-prof i386 0.1.2-2+b1 [22.1 kB]
Get: 329 http://deb.debian.org/debian bookworm/main i386 z3 i386 4.8.12-3.1 [7872 kB]
Get: 330 http://deb.debian.org/debian bookworm/main i386 libghc-th-abstraction-doc all 0.4.5.0-1 [125 kB]
Fetched 360 MB in 6s (60.7 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libgmpxx4ldbl:i386.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18156 files and directories currently installed.)
Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_i386.deb ...
Unpacking libgmpxx4ldbl:i386 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:i386.
Preparing to unpack .../01-libgmp-dev_2%3a6.2.1+dfsg1-1.1_i386.deb ...
Unpacking libgmp-dev:i386 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libffi-dev:i386.
Preparing to unpack .../02-libffi-dev_3.4.4-1_i386.deb ...
Unpacking libffi-dev:i386 (3.4.4-1) ...
Selecting previously unselected package libbsd0:i386.
Preparing to unpack .../03-libbsd0_0.11.7-2_i386.deb ...
Unpacking libbsd0:i386 (0.11.7-2) ...
Selecting previously unselected package libmd-dev:i386.
Preparing to unpack .../04-libmd-dev_1.0.4-2_i386.deb ...
Unpacking libmd-dev:i386 (1.0.4-2) ...
Selecting previously unselected package libbsd-dev:i386.
Preparing to unpack .../05-libbsd-dev_0.11.7-2_i386.deb ...
Unpacking libbsd-dev:i386 (0.11.7-2) ...
Selecting previously unselected package libncurses6:i386.
Preparing to unpack .../06-libncurses6_6.4-4_i386.deb ...
Unpacking libncurses6:i386 (6.4-4) ...
Selecting previously unselected package libncurses-dev:i386.
Preparing to unpack .../07-libncurses-dev_6.4-4_i386.deb ...
Unpacking libncurses-dev:i386 (6.4-4) ...
Selecting previously unselected package ghc.
Preparing to unpack .../08-ghc_9.0.2-4_i386.deb ...
Unpacking ghc (9.0.2-4) ...
Selecting previously unselected package fonts-mathjax.
Preparing to unpack .../09-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 .../10-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 .../11-ghc-doc_9.0.2-4_all.deb ...
Unpacking ghc-doc (9.0.2-4) ...
Selecting previously unselected package libpython3.11-minimal:i386.
Preparing to unpack .../12-libpython3.11-minimal_3.11.2-6_i386.deb ...
Unpacking libpython3.11-minimal:i386 (3.11.2-6) ...
Selecting previously unselected package libexpat1:i386.
Preparing to unpack .../13-libexpat1_2.5.0-1_i386.deb ...
Unpacking libexpat1:i386 (2.5.0-1) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../14-python3.11-minimal_3.11.2-6_i386.deb ...
Unpacking python3.11-minimal (3.11.2-6) ...
Setting up libpython3.11-minimal:i386 (3.11.2-6) ...
Setting up libexpat1:i386 (2.5.0-1) ...
Setting up python3.11-minimal (3.11.2-6) ...
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 ... 31105 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_i386.deb ...
Unpacking python3-minimal (3.11.2-1+b1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_10.0.0_all.deb ...
Unpacking media-types (10.0.0) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../2-readline-common_8.2-1.3_all.deb ...
Unpacking readline-common (8.2-1.3) ...
Selecting previously unselected package libreadline8:i386.
Preparing to unpack .../3-libreadline8_8.2-1.3_i386.deb ...
Unpacking libreadline8:i386 (8.2-1.3) ...
Selecting previously unselected package libpython3.11-stdlib:i386.
Preparing to unpack .../4-libpython3.11-stdlib_3.11.2-6_i386.deb ...
Unpacking libpython3.11-stdlib:i386 (3.11.2-6) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../5-python3.11_3.11.2-6_i386.deb ...
Unpacking python3.11 (3.11.2-6) ...
Selecting previously unselected package libpython3-stdlib:i386.
Preparing to unpack .../6-libpython3-stdlib_3.11.2-1+b1_i386.deb ...
Unpacking libpython3-stdlib:i386 (3.11.2-1+b1) ...
Setting up python3-minimal (3.11.2-1+b1) ...
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 ... 31539 files and directories currently installed.)
Preparing to unpack .../000-python3_3.11.2-1+b1_i386.deb ...
Unpacking python3 (3.11.2-1+b1) ...
Selecting previously unselected package sgml-base.
Preparing to unpack .../001-sgml-base_1.31_all.deb ...
Unpacking sgml-base (1.31) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../002-sensible-utils_0.0.17+nmu1_all.deb ...
Unpacking sensible-utils (0.0.17+nmu1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../003-libmagic-mgc_1%3a5.44-3_i386.deb ...
Unpacking libmagic-mgc (1:5.44-3) ...
Selecting previously unselected package libmagic1:i386.
Preparing to unpack .../004-libmagic1_1%3a5.44-3_i386.deb ...
Unpacking libmagic1:i386 (1:5.44-3) ...
Selecting previously unselected package file.
Preparing to unpack .../005-file_1%3a5.44-3_i386.deb ...
Unpacking file (1:5.44-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../006-gettext-base_0.21-12_i386.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package libuchardet0:i386.
Preparing to unpack .../007-libuchardet0_0.0.7-1_i386.deb ...
Unpacking libuchardet0:i386 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../008-groff-base_1.22.4-10_i386.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../009-bsdextrautils_2.38.1-5+b1_i386.deb ...
Unpacking bsdextrautils (2.38.1-5+b1) ...
Selecting previously unselected package libpipeline1:i386.
Preparing to unpack .../010-libpipeline1_1.5.7-1_i386.deb ...
Unpacking libpipeline1:i386 (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../011-man-db_2.11.2-2_i386.deb ...
Unpacking man-db (2.11.2-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../012-m4_1.4.19-3_i386.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../013-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../014-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../015-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 .../016-autopoint_0.21-12_all.deb ...
Unpacking autopoint (0.21-12) ...
Selecting previously unselected package python3-six.
Preparing to unpack .../017-python3-six_1.16.0-4_all.deb ...
Unpacking python3-six (1.16.0-4) ...
Selecting previously unselected package python3-pkg-resources.
Preparing to unpack .../018-python3-pkg-resources_66.1.1-1_all.deb ...
Unpacking python3-pkg-resources (66.1.1-1) ...
Selecting previously unselected package python3-scour.
Preparing to unpack .../019-python3-scour_0.38.2-2_all.deb ...
Unpacking python3-scour (0.38.2-2) ...
Selecting previously unselected package scour.
Preparing to unpack .../020-scour_0.38.2-2_all.deb ...
Unpacking scour (0.38.2-2) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../021-cdbs_0.4.166_all.deb ...
Unpacking cdbs (0.4.166) ...
Selecting previously unselected package libcln6:i386.
Preparing to unpack .../022-libcln6_1.3.6-4_i386.deb ...
Unpacking libcln6:i386 (1.3.6-4) ...
Selecting previously unselected package libcvc4-7:i386.
Preparing to unpack .../023-libcvc4-7_1.8-3_i386.deb ...
Unpacking libcvc4-7:i386 (1.8-3) ...
Selecting previously unselected package libantlr3c-3.4-0:i386.
Preparing to unpack .../024-libantlr3c-3.4-0_3.4+dfsg-4_i386.deb ...
Unpacking libantlr3c-3.4-0:i386 (3.4+dfsg-4) ...
Selecting previously unselected package libcvc4parser7:i386.
Preparing to unpack .../025-libcvc4parser7_1.8-3_i386.deb ...
Unpacking libcvc4parser7:i386 (1.8-3) ...
Selecting previously unselected package cvc4.
Preparing to unpack .../026-cvc4_1.8-3_i386.deb ...
Unpacking cvc4 (1.8-3) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../027-dctrl-tools_2.24-3_i386.deb ...
Unpacking dctrl-tools (2.24-3) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../028-libdebhelper-perl_13.11.4_all.deb ...
Unpacking libdebhelper-perl (13.11.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../029-libtool_2.4.7-5_all.deb ...
Unpacking libtool (2.4.7-5) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../030-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../031-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 .../032-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../033-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 .../034-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:i386.
Preparing to unpack .../035-libelf1_0.188-2.1_i386.deb ...
Unpacking libelf1:i386 (0.188-2.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../036-dwz_0.15-1_i386.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:i386.
Preparing to unpack .../037-libicu72_72.1-3_i386.deb ...
Unpacking libicu72:i386 (72.1-3) ...
Selecting previously unselected package libxml2:i386.
Preparing to unpack .../038-libxml2_2.9.14+dfsg-1.3~deb12u1_i386.deb ...
Unpacking libxml2:i386 (2.9.14+dfsg-1.3~deb12u1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../039-gettext_0.21-12_i386.deb ...
Unpacking gettext (0.21-12) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../040-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 .../041-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../042-debhelper_13.11.4_all.deb ...
Unpacking debhelper (13.11.4) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../043-dh-buildinfo_0.11+nmu2_all.deb ...
Unpacking dh-buildinfo (0.11+nmu2) ...
Selecting previously unselected package ghc-prof.
Preparing to unpack .../044-ghc-prof_9.0.2-4_i386.deb ...
Unpacking ghc-prof (9.0.2-4) ...
Selecting previously unselected package libbrotli1:i386.
Preparing to unpack .../045-libbrotli1_1.0.9-2+b6_i386.deb ...
Unpacking libbrotli1:i386 (1.0.9-2+b6) ...
Selecting previously unselected package libsasl2-modules-db:i386.
Preparing to unpack .../046-libsasl2-modules-db_2.1.28+dfsg-10_i386.deb ...
Unpacking libsasl2-modules-db:i386 (2.1.28+dfsg-10) ...
Selecting previously unselected package libsasl2-2:i386.
Preparing to unpack .../047-libsasl2-2_2.1.28+dfsg-10_i386.deb ...
Unpacking libsasl2-2:i386 (2.1.28+dfsg-10) ...
Selecting previously unselected package libldap-2.5-0:i386.
Preparing to unpack .../048-libldap-2.5-0_2.5.13+dfsg-5_i386.deb ...
Unpacking libldap-2.5-0:i386 (2.5.13+dfsg-5) ...
Selecting previously unselected package libnghttp2-14:i386.
Preparing to unpack .../049-libnghttp2-14_1.52.0-1+deb12u1_i386.deb ...
Unpacking libnghttp2-14:i386 (1.52.0-1+deb12u1) ...
Selecting previously unselected package libpsl5:i386.
Preparing to unpack .../050-libpsl5_0.21.2-1_i386.deb ...
Unpacking libpsl5:i386 (0.21.2-1) ...
Selecting previously unselected package librtmp1:i386.
Preparing to unpack .../051-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_i386.deb ...
Unpacking librtmp1:i386 (2.4+20151223.gitfa8646d.1-2+b2) ...
Selecting previously unselected package libssh2-1:i386.
Preparing to unpack .../052-libssh2-1_1.10.0-3+b1_i386.deb ...
Unpacking libssh2-1:i386 (1.10.0-3+b1) ...
Selecting previously unselected package libcurl3-gnutls:i386.
Preparing to unpack .../053-libcurl3-gnutls_7.88.1-10+deb12u4_i386.deb ...
Unpacking libcurl3-gnutls:i386 (7.88.1-10+deb12u4) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../054-html-xml-utils_7.7-1.1_i386.deb ...
Unpacking html-xml-utils (7.7-1.1) ...
Selecting previously unselected package libparams-util-perl.
Preparing to unpack .../055-libparams-util-perl_1.102-2+b1_i386.deb ...
Unpacking libparams-util-perl (1.102-2+b1) ...
Selecting previously unselected package libsub-install-perl.
Preparing to unpack .../056-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 .../057-libdata-optlist-perl_0.113-1_all.deb ...
Unpacking libdata-optlist-perl (0.113-1) ...
Selecting previously unselected package libsub-exporter-perl.
Preparing to unpack .../058-libsub-exporter-perl_0.989-1_all.deb ...
Unpacking libsub-exporter-perl (0.989-1) ...
Selecting previously unselected package libsub-exporter-progressive-perl.
Preparing to unpack .../059-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 .../060-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 .../061-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 .../062-libipc-run3-perl_0.048-3_all.deb ...
Unpacking libipc-run3-perl (0.048-3) ...
Selecting previously unselected package libb-hooks-op-check-perl:i386.
Preparing to unpack .../063-libb-hooks-op-check-perl_0.22-2+b1_i386.deb ...
Unpacking libb-hooks-op-check-perl:i386 (0.22-2+b1) ...
Selecting previously unselected package libdynaloader-functions-perl.
Preparing to unpack .../064-libdynaloader-functions-perl_0.003-3_all.deb ...
Unpacking libdynaloader-functions-perl (0.003-3) ...
Selecting previously unselected package libdevel-callchecker-perl:i386.
Preparing to unpack .../065-libdevel-callchecker-perl_0.008-2_i386.deb ...
Unpacking libdevel-callchecker-perl:i386 (0.008-2) ...
Selecting previously unselected package libparams-classify-perl:i386.
Preparing to unpack .../066-libparams-classify-perl_0.015-2+b1_i386.deb ...
Unpacking libparams-classify-perl:i386 (0.015-2+b1) ...
Selecting previously unselected package libmodule-runtime-perl.
Preparing to unpack .../067-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 .../068-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 .../069-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 .../070-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 .../071-libpath-tiny-perl_0.144-1_all.deb ...
Unpacking libpath-tiny-perl (0.144-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../072-libtimedate-perl_2.3300-2_all.deb ...
Unpacking libtimedate-perl (2.3300-2) ...
Selecting previously unselected package libunicode-utf8-perl.
Preparing to unpack .../073-libunicode-utf8-perl_0.62-2_i386.deb ...
Unpacking libunicode-utf8-perl (0.62-2) ...
Selecting previously unselected package haskell-devscripts-minimal.
Preparing to unpack .../074-haskell-devscripts-minimal_0.16.29_all.deb ...
Unpacking haskell-devscripts-minimal (0.16.29) ...
Selecting previously unselected package libghc-base-orphans-dev.
Preparing to unpack .../075-libghc-base-orphans-dev_0.8.7-1_i386.deb ...
Unpacking libghc-base-orphans-dev (0.8.7-1) ...
Selecting previously unselected package libghc-tagged-dev.
Preparing to unpack .../076-libghc-tagged-dev_0.8.6.1-1+b2_i386.deb ...
Unpacking libghc-tagged-dev (0.8.6.1-1+b2) ...
Selecting previously unselected package libghc-distributive-dev.
Preparing to unpack .../077-libghc-distributive-dev_0.6.2.1-1+b3_i386.deb ...
Unpacking libghc-distributive-dev (0.6.2.1-1+b3) ...
Selecting previously unselected package libghc-indexed-traversable-dev.
Preparing to unpack .../078-libghc-indexed-traversable-dev_0.1.2-2+b1_i386.deb ...
Unpacking libghc-indexed-traversable-dev (0.1.2-2+b1) ...
Selecting previously unselected package libghc-transformers-compat-dev.
Preparing to unpack .../079-libghc-transformers-compat-dev_0.6.6-1+b2_i386.deb ...
Unpacking libghc-transformers-compat-dev (0.6.6-1+b2) ...
Selecting previously unselected package libghc-comonad-dev.
Preparing to unpack .../080-libghc-comonad-dev_5.0.8-1+b2_i386.deb ...
Unpacking libghc-comonad-dev (5.0.8-1+b2) ...
Selecting previously unselected package libghc-statevar-dev.
Preparing to unpack .../081-libghc-statevar-dev_1.2.2-1+b2_i386.deb ...
Unpacking libghc-statevar-dev (1.2.2-1+b2) ...
Selecting previously unselected package libghc-contravariant-dev.
Preparing to unpack .../082-libghc-contravariant-dev_1.5.5-1+b2_i386.deb ...
Unpacking libghc-contravariant-dev (1.5.5-1+b2) ...
Selecting previously unselected package libghc-th-abstraction-dev.
Preparing to unpack .../083-libghc-th-abstraction-dev_0.4.5.0-1_i386.deb ...
Unpacking libghc-th-abstraction-dev (0.4.5.0-1) ...
Selecting previously unselected package libghc-bifunctors-dev.
Preparing to unpack .../084-libghc-bifunctors-dev_5.5.13-1_i386.deb ...
Unpacking libghc-bifunctors-dev (5.5.13-1) ...
Selecting previously unselected package libghc-profunctors-dev.
Preparing to unpack .../085-libghc-profunctors-dev_5.6.2-1+b3_i386.deb ...
Unpacking libghc-profunctors-dev (5.6.2-1+b3) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../086-libghc-hashable-dev_1.3.5.0-2+b2_i386.deb ...
Unpacking libghc-hashable-dev (1.3.5.0-2+b2) ...
Selecting previously unselected package libghc-unordered-containers-dev.
Preparing to unpack .../087-libghc-unordered-containers-dev_0.2.17.0-2+b1_i386.deb ...
Unpacking libghc-unordered-containers-dev (0.2.17.0-2+b1) ...
Selecting previously unselected package libghc-semigroupoids-dev.
Preparing to unpack .../088-libghc-semigroupoids-dev_5.3.7-1+b3_i386.deb ...
Unpacking libghc-semigroupoids-dev (5.3.7-1+b3) ...
Selecting previously unselected package libghc-transformers-base-dev.
Preparing to unpack .../089-libghc-transformers-base-dev_0.4.6-1+b3_i386.deb ...
Unpacking libghc-transformers-base-dev (0.4.6-1+b3) ...
Selecting previously unselected package libghc-free-dev.
Preparing to unpack .../090-libghc-free-dev_5.1.9-1+b4_i386.deb ...
Unpacking libghc-free-dev (5.1.9-1+b4) ...
Selecting previously unselected package libghc-semigroups-dev.
Preparing to unpack .../091-libghc-semigroups-dev_0.19.2-1+b1_i386.deb ...
Unpacking libghc-semigroups-dev (0.19.2-1+b1) ...
Selecting previously unselected package libghc-void-dev.
Preparing to unpack .../092-libghc-void-dev_0.7.3-3+b1_i386.deb ...
Unpacking libghc-void-dev (0.7.3-3+b1) ...
Selecting previously unselected package libghc-adjunctions-dev.
Preparing to unpack .../093-libghc-adjunctions-dev_4.4.2-1+b2_i386.deb ...
Unpacking libghc-adjunctions-dev (4.4.2-1+b2) ...
Selecting previously unselected package libghc-base-orphans-prof.
Preparing to unpack .../094-libghc-base-orphans-prof_0.8.7-1_i386.deb ...
Unpacking libghc-base-orphans-prof (0.8.7-1) ...
Selecting previously unselected package libghc-tagged-prof.
Preparing to unpack .../095-libghc-tagged-prof_0.8.6.1-1+b2_i386.deb ...
Unpacking libghc-tagged-prof (0.8.6.1-1+b2) ...
Selecting previously unselected package libghc-distributive-prof.
Preparing to unpack .../096-libghc-distributive-prof_0.6.2.1-1+b3_i386.deb ...
Unpacking libghc-distributive-prof (0.6.2.1-1+b3) ...
Selecting previously unselected package libghc-indexed-traversable-prof.
Preparing to unpack .../097-libghc-indexed-traversable-prof_0.1.2-2+b1_i386.deb ...
Unpacking libghc-indexed-traversable-prof (0.1.2-2+b1) ...
Selecting previously unselected package libghc-transformers-compat-prof.
Preparing to unpack .../098-libghc-transformers-compat-prof_0.6.6-1+b2_i386.deb ...
Unpacking libghc-transformers-compat-prof (0.6.6-1+b2) ...
Selecting previously unselected package libghc-comonad-prof.
Preparing to unpack .../099-libghc-comonad-prof_5.0.8-1+b2_i386.deb ...
Unpacking libghc-comonad-prof (5.0.8-1+b2) ...
Selecting previously unselected package libghc-statevar-prof.
Preparing to unpack .../100-libghc-statevar-prof_1.2.2-1+b2_i386.deb ...
Unpacking libghc-statevar-prof (1.2.2-1+b2) ...
Selecting previously unselected package libghc-contravariant-prof.
Preparing to unpack .../101-libghc-contravariant-prof_1.5.5-1+b2_i386.deb ...
Unpacking libghc-contravariant-prof (1.5.5-1+b2) ...
Selecting previously unselected package libghc-th-abstraction-prof.
Preparing to unpack .../102-libghc-th-abstraction-prof_0.4.5.0-1_i386.deb ...
Unpacking libghc-th-abstraction-prof (0.4.5.0-1) ...
Selecting previously unselected package libghc-bifunctors-prof.
Preparing to unpack .../103-libghc-bifunctors-prof_5.5.13-1_i386.deb ...
Unpacking libghc-bifunctors-prof (5.5.13-1) ...
Selecting previously unselected package libghc-profunctors-prof.
Preparing to unpack .../104-libghc-profunctors-prof_5.6.2-1+b3_i386.deb ...
Unpacking libghc-profunctors-prof (5.6.2-1+b3) ...
Selecting previously unselected package libghc-hashable-prof.
Preparing to unpack .../105-libghc-hashable-prof_1.3.5.0-2+b2_i386.deb ...
Unpacking libghc-hashable-prof (1.3.5.0-2+b2) ...
Selecting previously unselected package libghc-unordered-containers-prof.
Preparing to unpack .../106-libghc-unordered-containers-prof_0.2.17.0-2+b1_i386.deb ...
Unpacking libghc-unordered-containers-prof (0.2.17.0-2+b1) ...
Selecting previously unselected package libghc-semigroupoids-prof.
Preparing to unpack .../107-libghc-semigroupoids-prof_5.3.7-1+b3_i386.deb ...
Unpacking libghc-semigroupoids-prof (5.3.7-1+b3) ...
Selecting previously unselected package libghc-transformers-base-prof.
Preparing to unpack .../108-libghc-transformers-base-prof_0.4.6-1+b3_i386.deb ...
Unpacking libghc-transformers-base-prof (0.4.6-1+b3) ...
Selecting previously unselected package libghc-free-prof.
Preparing to unpack .../109-libghc-free-prof_5.1.9-1+b4_i386.deb ...
Unpacking libghc-free-prof (5.1.9-1+b4) ...
Selecting previously unselected package libghc-semigroups-prof.
Preparing to unpack .../110-libghc-semigroups-prof_0.19.2-1+b1_i386.deb ...
Unpacking libghc-semigroups-prof (0.19.2-1+b1) ...
Selecting previously unselected package libghc-void-prof.
Preparing to unpack .../111-libghc-void-prof_0.7.3-3+b1_i386.deb ...
Unpacking libghc-void-prof (0.7.3-3+b1) ...
Selecting previously unselected package libghc-adjunctions-prof.
Preparing to unpack .../112-libghc-adjunctions-prof_4.4.2-1+b2_i386.deb ...
Unpacking libghc-adjunctions-prof (4.4.2-1+b2) ...
Selecting previously unselected package libghc-colour-dev.
Preparing to unpack .../113-libghc-colour-dev_2.3.6-1+b2_i386.deb ...
Unpacking libghc-colour-dev (2.3.6-1+b2) ...
Selecting previously unselected package libghc-ansi-terminal-dev.
Preparing to unpack .../114-libghc-ansi-terminal-dev_0.11.3-1+b2_i386.deb ...
Unpacking libghc-ansi-terminal-dev (0.11.3-1+b2) ...
Selecting previously unselected package libghc-colour-prof.
Preparing to unpack .../115-libghc-colour-prof_2.3.6-1+b2_i386.deb ...
Unpacking libghc-colour-prof (2.3.6-1+b2) ...
Selecting previously unselected package libghc-ansi-terminal-prof.
Preparing to unpack .../116-libghc-ansi-terminal-prof_0.11.3-1+b2_i386.deb ...
Unpacking libghc-ansi-terminal-prof (0.11.3-1+b2) ...
Selecting previously unselected package libghc-ansi-wl-pprint-dev.
Preparing to unpack .../117-libghc-ansi-wl-pprint-dev_0.6.9-5+b2_i386.deb ...
Unpacking libghc-ansi-wl-pprint-dev (0.6.9-5+b2) ...
Selecting previously unselected package libghc-ansi-wl-pprint-prof.
Preparing to unpack .../118-libghc-ansi-wl-pprint-prof_0.6.9-5+b2_i386.deb ...
Unpacking libghc-ansi-wl-pprint-prof (0.6.9-5+b2) ...
Selecting previously unselected package libghc-assoc-dev.
Preparing to unpack .../119-libghc-assoc-dev_1.0.2-3+b3_i386.deb ...
Unpacking libghc-assoc-dev (1.0.2-3+b3) ...
Selecting previously unselected package libghc-assoc-prof.
Preparing to unpack .../120-libghc-assoc-prof_1.0.2-3+b3_i386.deb ...
Unpacking libghc-assoc-prof (1.0.2-3+b3) ...
Selecting previously unselected package libghc-async-dev.
Preparing to unpack .../121-libghc-async-dev_2.2.4-1+b1_i386.deb ...
Unpacking libghc-async-dev (2.2.4-1+b1) ...
Selecting previously unselected package libghc-async-doc.
Preparing to unpack .../122-libghc-async-doc_2.2.4-1_all.deb ...
Unpacking libghc-async-doc (2.2.4-1) ...
Selecting previously unselected package libghc-async-prof.
Preparing to unpack .../123-libghc-async-prof_2.2.4-1+b1_i386.deb ...
Unpacking libghc-async-prof (2.2.4-1+b1) ...
Selecting previously unselected package libghc-integer-logarithms-dev.
Preparing to unpack .../124-libghc-integer-logarithms-dev_1.0.3.1-2+b1_i386.deb ...
Unpacking libghc-integer-logarithms-dev (1.0.3.1-2+b1) ...
Selecting previously unselected package libghc-primitive-dev.
Preparing to unpack .../125-libghc-primitive-dev_0.7.3.0-1+b2_i386.deb ...
Unpacking libghc-primitive-dev (0.7.3.0-1+b2) ...
Selecting previously unselected package libghc-scientific-dev.
Preparing to unpack .../126-libghc-scientific-dev_0.3.7.0-1+b1_i386.deb ...
Unpacking libghc-scientific-dev (0.3.7.0-1+b1) ...
Selecting previously unselected package libghc-attoparsec-dev.
Preparing to unpack .../127-libghc-attoparsec-dev_0.14.4-2+b1_i386.deb ...
Unpacking libghc-attoparsec-dev (0.14.4-2+b1) ...
Selecting previously unselected package libghc-attoparsec-doc.
Preparing to unpack .../128-libghc-attoparsec-doc_0.14.4-2_all.deb ...
Unpacking libghc-attoparsec-doc (0.14.4-2) ...
Selecting previously unselected package libghc-integer-logarithms-prof.
Preparing to unpack .../129-libghc-integer-logarithms-prof_1.0.3.1-2+b1_i386.deb ...
Unpacking libghc-integer-logarithms-prof (1.0.3.1-2+b1) ...
Selecting previously unselected package libghc-primitive-prof.
Preparing to unpack .../130-libghc-primitive-prof_0.7.3.0-1+b2_i386.deb ...
Unpacking libghc-primitive-prof (0.7.3.0-1+b2) ...
Selecting previously unselected package libghc-scientific-prof.
Preparing to unpack .../131-libghc-scientific-prof_0.3.7.0-1+b1_i386.deb ...
Unpacking libghc-scientific-prof (0.3.7.0-1+b1) ...
Selecting previously unselected package libghc-attoparsec-prof.
Preparing to unpack .../132-libghc-attoparsec-prof_0.14.4-2+b1_i386.deb ...
Unpacking libghc-attoparsec-prof (0.14.4-2+b1) ...
Selecting previously unselected package libghc-base-compat-dev.
Preparing to unpack .../133-libghc-base-compat-dev_0.11.2-1+b2_i386.deb ...
Unpacking libghc-base-compat-dev (0.11.2-1+b2) ...
Selecting previously unselected package libghc-base-compat-prof.
Preparing to unpack .../134-libghc-base-compat-prof_0.11.2-1+b2_i386.deb ...
Unpacking libghc-base-compat-prof (0.11.2-1+b2) ...
Selecting previously unselected package libghc-bifunctors-doc.
Preparing to unpack .../135-libghc-bifunctors-doc_5.5.13-1_all.deb ...
Unpacking libghc-bifunctors-doc (5.5.13-1) ...
Selecting previously unselected package libghc-bimap-dev.
Preparing to unpack .../136-libghc-bimap-dev_0.5.0-1+b1_i386.deb ...
Unpacking libghc-bimap-dev (0.5.0-1+b1) ...
Selecting previously unselected package libghc-bimap-doc.
Preparing to unpack .../137-libghc-bimap-doc_0.5.0-1_all.deb ...
Unpacking libghc-bimap-doc (0.5.0-1) ...
Selecting previously unselected package libghc-bimap-prof.
Preparing to unpack .../138-libghc-bimap-prof_0.5.0-1+b1_i386.deb ...
Unpacking libghc-bimap-prof (0.5.0-1+b1) ...
Selecting previously unselected package libghc-bitwise-dev.
Preparing to unpack .../139-libghc-bitwise-dev_1.0.0.1-2+b1_i386.deb ...
Unpacking libghc-bitwise-dev (1.0.0.1-2+b1) ...
Selecting previously unselected package libghc-bitwise-prof.
Preparing to unpack .../140-libghc-bitwise-prof_1.0.0.1-2+b1_i386.deb ...
Unpacking libghc-bitwise-prof (1.0.0.1-2+b1) ...
Selecting previously unselected package libghc-gitrev-dev.
Preparing to unpack .../141-libghc-gitrev-dev_1.3.1-5+b1_i386.deb ...
Unpacking libghc-gitrev-dev (1.3.1-5+b1) ...
Selecting previously unselected package libghc-panic-dev.
Preparing to unpack .../142-libghc-panic-dev_0.4.0.1-3+b1_i386.deb ...
Unpacking libghc-panic-dev (0.4.0.1-3+b1) ...
Selecting previously unselected package libghc-type-equality-dev.
Preparing to unpack .../143-libghc-type-equality-dev_1-3+b2_i386.deb ...
Unpacking libghc-type-equality-dev (1-3+b2) ...
Selecting previously unselected package libghc-constraints-dev.
Preparing to unpack .../144-libghc-constraints-dev_0.13.4-1+b2_i386.deb ...
Unpacking libghc-constraints-dev (0.13.4-1+b2) ...
Selecting previously unselected package libghc-vector-dev.
Preparing to unpack .../145-libghc-vector-dev_0.12.3.1-1+b1_i386.deb ...
Unpacking libghc-vector-dev (0.12.3.1-1+b1) ...
Selecting previously unselected package libghc-hashtables-dev.
Preparing to unpack .../146-libghc-hashtables-dev_1.2.4.2-1+b1_i386.deb ...
Unpacking libghc-hashtables-dev (1.2.4.2-1+b1) ...
Selecting previously unselected package libghc-call-stack-dev.
Preparing to unpack .../147-libghc-call-stack-dev_0.4.0-1+b2_i386.deb ...
Unpacking libghc-call-stack-dev (0.4.0-1+b2) ...
Selecting previously unselected package libghc-onetuple-dev.
Preparing to unpack .../148-libghc-onetuple-dev_0.3.1-1+b2_i386.deb ...
Unpacking libghc-onetuple-dev (0.3.1-1+b2) ...
Selecting previously unselected package libghc-indexed-traversable-instances-dev.
Preparing to unpack .../149-libghc-indexed-traversable-instances-dev_0.1.1.1-1_i386.deb ...
Unpacking libghc-indexed-traversable-instances-dev (0.1.1.1-1) ...
Selecting previously unselected package libghc-invariant-dev.
Preparing to unpack .../150-libghc-invariant-dev_0.5.6-1+b3_i386.deb ...
Unpacking libghc-invariant-dev (0.5.6-1+b3) ...
Selecting previously unselected package libghc-kan-extensions-dev.
Preparing to unpack .../151-libghc-kan-extensions-dev_5.2.5-1+b3_i386.deb ...
Unpacking libghc-kan-extensions-dev (5.2.5-1+b3) ...
Selecting previously unselected package libghc-parallel-dev.
Preparing to unpack .../152-libghc-parallel-dev_3.2.2.0-4+b2_i386.deb ...
Unpacking libghc-parallel-dev (3.2.2.0-4+b2) ...
Selecting previously unselected package libghc-reflection-dev.
Preparing to unpack .../153-libghc-reflection-dev_2.1.6-2+b2_i386.deb ...
Unpacking libghc-reflection-dev (2.1.6-2+b2) ...
Selecting previously unselected package libghc-these-dev.
Preparing to unpack .../154-libghc-these-dev_1.1.1.1-2+b3_i386.deb ...
Unpacking libghc-these-dev (1.1.1.1-2+b3) ...
Selecting previously unselected package libghc-strict-dev.
Preparing to unpack .../155-libghc-strict-dev_0.4.0.1-1+b3_i386.deb ...
Unpacking libghc-strict-dev (0.4.0.1-1+b3) ...
Selecting previously unselected package libghc-lens-dev.
Preparing to unpack .../156-libghc-lens-dev_5.0.1-2+b4_i386.deb ...
Unpacking libghc-lens-dev (5.0.1-2+b4) ...
Selecting previously unselected package libghc-parameterized-utils-dev.
Preparing to unpack .../157-libghc-parameterized-utils-dev_2.1.5.0-2+b3_i386.deb ...
Unpacking libghc-parameterized-utils-dev (2.1.5.0-2+b3) ...
Selecting previously unselected package libghc-splitmix-dev.
Preparing to unpack .../158-libghc-splitmix-dev_0.1.0.4-1+b2_i386.deb ...
Unpacking libghc-splitmix-dev (0.1.0.4-1+b2) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../159-libghc-random-dev_1.2.1.1-2+b2_i386.deb ...
Unpacking libghc-random-dev (1.2.1.1-2+b2) ...
Selecting previously unselected package libghc-th-lift-dev.
Preparing to unpack .../160-libghc-th-lift-dev_0.8.2-1+b3_i386.deb ...
Unpacking libghc-th-lift-dev (0.8.2-1+b3) ...
Selecting previously unselected package libghc-bv-sized-dev.
Preparing to unpack .../161-libghc-bv-sized-dev_1.0.4-2+b3_i386.deb ...
Unpacking libghc-bv-sized-dev (1.0.4-2+b3) ...
Selecting previously unselected package libghc-bv-sized-doc.
Preparing to unpack .../162-libghc-bv-sized-doc_1.0.4-2_all.deb ...
Unpacking libghc-bv-sized-doc (1.0.4-2) ...
Selecting previously unselected package libghc-gitrev-prof.
Preparing to unpack .../163-libghc-gitrev-prof_1.3.1-5+b1_i386.deb ...
Unpacking libghc-gitrev-prof (1.3.1-5+b1) ...
Selecting previously unselected package libghc-panic-prof.
Preparing to unpack .../164-libghc-panic-prof_0.4.0.1-3+b1_i386.deb ...
Unpacking libghc-panic-prof (0.4.0.1-3+b1) ...
Selecting previously unselected package libghc-type-equality-prof.
Preparing to unpack .../165-libghc-type-equality-prof_1-3+b2_i386.deb ...
Unpacking libghc-type-equality-prof (1-3+b2) ...
Selecting previously unselected package libghc-constraints-prof.
Preparing to unpack .../166-libghc-constraints-prof_0.13.4-1+b2_i386.deb ...
Unpacking libghc-constraints-prof (0.13.4-1+b2) ...
Selecting previously unselected package libghc-vector-prof.
Preparing to unpack .../167-libghc-vector-prof_0.12.3.1-1+b1_i386.deb ...
Unpacking libghc-vector-prof (0.12.3.1-1+b1) ...
Selecting previously unselected package libghc-hashtables-prof.
Preparing to unpack .../168-libghc-hashtables-prof_1.2.4.2-1+b1_i386.deb ...
Unpacking libghc-hashtables-prof (1.2.4.2-1+b1) ...
Selecting previously unselected package libghc-call-stack-prof.
Preparing to unpack .../169-libghc-call-stack-prof_0.4.0-1+b2_i386.deb ...
Unpacking libghc-call-stack-prof (0.4.0-1+b2) ...
Selecting previously unselected package libghc-onetuple-prof.
Preparing to unpack .../170-libghc-onetuple-prof_0.3.1-1+b2_i386.deb ...
Unpacking libghc-onetuple-prof (0.3.1-1+b2) ...
Selecting previously unselected package libghc-indexed-traversable-instances-prof.
Preparing to unpack .../171-libghc-indexed-traversable-instances-prof_0.1.1.1-1_i386.deb ...
Unpacking libghc-indexed-traversable-instances-prof (0.1.1.1-1) ...
Selecting previously unselected package libghc-invariant-prof.
Preparing to unpack .../172-libghc-invariant-prof_0.5.6-1+b3_i386.deb ...
Unpacking libghc-invariant-prof (0.5.6-1+b3) ...
Selecting previously unselected package libghc-kan-extensions-prof.
Preparing to unpack .../173-libghc-kan-extensions-prof_5.2.5-1+b3_i386.deb ...
Unpacking libghc-kan-extensions-prof (5.2.5-1+b3) ...
Selecting previously unselected package libghc-parallel-prof.
Preparing to unpack .../174-libghc-parallel-prof_3.2.2.0-4+b2_i386.deb ...
Unpacking libghc-parallel-prof (3.2.2.0-4+b2) ...
Selecting previously unselected package libghc-reflection-prof.
Preparing to unpack .../175-libghc-reflection-prof_2.1.6-2+b2_i386.deb ...
Unpacking libghc-reflection-prof (2.1.6-2+b2) ...
Selecting previously unselected package libghc-these-prof.
Preparing to unpack .../176-libghc-these-prof_1.1.1.1-2+b3_i386.deb ...
Unpacking libghc-these-prof (1.1.1.1-2+b3) ...
Selecting previously unselected package libghc-strict-prof.
Preparing to unpack .../177-libghc-strict-prof_0.4.0.1-1+b3_i386.deb ...
Unpacking libghc-strict-prof (0.4.0.1-1+b3) ...
Selecting previously unselected package libghc-lens-prof.
Preparing to unpack .../178-libghc-lens-prof_5.0.1-2+b4_i386.deb ...
Unpacking libghc-lens-prof (5.0.1-2+b4) ...
Selecting previously unselected package libghc-parameterized-utils-prof.
Preparing to unpack .../179-libghc-parameterized-utils-prof_2.1.5.0-2+b3_i386.deb ...
Unpacking libghc-parameterized-utils-prof (2.1.5.0-2+b3) ...
Selecting previously unselected package libghc-splitmix-prof.
Preparing to unpack .../180-libghc-splitmix-prof_0.1.0.4-1+b2_i386.deb ...
Unpacking libghc-splitmix-prof (0.1.0.4-1+b2) ...
Selecting previously unselected package libghc-random-prof.
Preparing to unpack .../181-libghc-random-prof_1.2.1.1-2+b2_i386.deb ...
Unpacking libghc-random-prof (1.2.1.1-2+b2) ...
Selecting previously unselected package libghc-th-lift-prof.
Preparing to unpack .../182-libghc-th-lift-prof_0.8.2-1+b3_i386.deb ...
Unpacking libghc-th-lift-prof (0.8.2-1+b3) ...
Selecting previously unselected package libghc-bv-sized-prof.
Preparing to unpack .../183-libghc-bv-sized-prof_1.0.4-2+b3_i386.deb ...
Unpacking libghc-bv-sized-prof (1.0.4-2+b3) ...
Selecting previously unselected package libghc-case-insensitive-dev.
Preparing to unpack .../184-libghc-case-insensitive-dev_1.2.1.0-3+b1_i386.deb ...
Unpacking libghc-case-insensitive-dev (1.2.1.0-3+b1) ...
Selecting previously unselected package libghc-case-insensitive-prof.
Preparing to unpack .../185-libghc-case-insensitive-prof_1.2.1.0-3+b1_i386.deb ...
Unpacking libghc-case-insensitive-prof (1.2.1.0-3+b1) ...
Selecting previously unselected package libghc-clock-dev.
Preparing to unpack .../186-libghc-clock-dev_0.8.3-1+b2_i386.deb ...
Unpacking libghc-clock-dev (0.8.3-1+b2) ...
Selecting previously unselected package libghc-clock-prof.
Preparing to unpack .../187-libghc-clock-prof_0.8.3-1+b2_i386.deb ...
Unpacking libghc-clock-prof (0.8.3-1+b2) ...
Selecting previously unselected package libghc-unbounded-delays-dev.
Preparing to unpack .../188-libghc-unbounded-delays-dev_0.1.1.1-1+b2_i386.deb ...
Unpacking libghc-unbounded-delays-dev (0.1.1.1-1+b2) ...
Selecting previously unselected package libghc-concurrent-extra-dev.
Preparing to unpack .../189-libghc-concurrent-extra-dev_0.7.0.12-2+b1_i386.deb ...
Unpacking libghc-concurrent-extra-dev (0.7.0.12-2+b1) ...
Selecting previously unselected package libghc-concurrent-extra-doc.
Preparing to unpack .../190-libghc-concurrent-extra-doc_0.7.0.12-2_all.deb ...
Unpacking libghc-concurrent-extra-doc (0.7.0.12-2) ...
Selecting previously unselected package libghc-unbounded-delays-prof.
Preparing to unpack .../191-libghc-unbounded-delays-prof_0.1.1.1-1+b2_i386.deb ...
Unpacking libghc-unbounded-delays-prof (0.1.1.1-1+b2) ...
Selecting previously unselected package libghc-concurrent-extra-prof.
Preparing to unpack .../192-libghc-concurrent-extra-prof_0.7.0.12-2+b1_i386.deb ...
Unpacking libghc-concurrent-extra-prof (0.7.0.12-2+b1) ...
Selecting previously unselected package libghc-terminal-size-dev.
Preparing to unpack .../193-libghc-terminal-size-dev_0.3.3-1+b2_i386.deb ...
Unpacking libghc-terminal-size-dev (0.3.3-1+b2) ...
Selecting previously unselected package libghc-concurrent-output-dev.
Preparing to unpack .../194-libghc-concurrent-output-dev_1.10.16-1+b1_i386.deb ...
Unpacking libghc-concurrent-output-dev (1.10.16-1+b1) ...
Selecting previously unselected package libghc-terminal-size-prof.
Preparing to unpack .../195-libghc-terminal-size-prof_0.3.3-1+b2_i386.deb ...
Unpacking libghc-terminal-size-prof (0.3.3-1+b2) ...
Selecting previously unselected package libghc-concurrent-output-prof.
Preparing to unpack .../196-libghc-concurrent-output-prof_1.10.16-1+b1_i386.deb ...
Unpacking libghc-concurrent-output-prof (1.10.16-1+b1) ...
Selecting previously unselected package libghc-config-value-dev.
Preparing to unpack .../197-libghc-config-value-dev_0.8.3-1_i386.deb ...
Unpacking libghc-config-value-dev (0.8.3-1) ...
Selecting previously unselected package libghc-config-value-doc.
Preparing to unpack .../198-libghc-config-value-doc_0.8.3-1_all.deb ...
Unpacking libghc-config-value-doc (0.8.3-1) ...
Selecting previously unselected package libghc-config-value-prof.
Preparing to unpack .../199-libghc-config-value-prof_0.8.3-1_i386.deb ...
Unpacking libghc-config-value-prof (0.8.3-1) ...
Selecting previously unselected package libghc-data-binary-ieee754-dev.
Preparing to unpack .../200-libghc-data-binary-ieee754-dev_0.4.4-11+b3_i386.deb ...
Unpacking libghc-data-binary-ieee754-dev (0.4.4-11+b3) ...
Selecting previously unselected package libghc-data-binary-ieee754-doc.
Preparing to unpack .../201-libghc-data-binary-ieee754-doc_0.4.4-11_all.deb ...
Unpacking libghc-data-binary-ieee754-doc (0.4.4-11) ...
Selecting previously unselected package libghc-data-binary-ieee754-prof.
Preparing to unpack .../202-libghc-data-binary-ieee754-prof_0.4.4-11+b3_i386.deb ...
Unpacking libghc-data-binary-ieee754-prof (0.4.4-11+b3) ...
Selecting previously unselected package libghc-deriving-compat-dev.
Preparing to unpack .../203-libghc-deriving-compat-dev_0.6.1-1+b3_i386.deb ...
Unpacking libghc-deriving-compat-dev (0.6.1-1+b3) ...
Selecting previously unselected package libghc-deriving-compat-doc.
Preparing to unpack .../204-libghc-deriving-compat-doc_0.6.1-1_all.deb ...
Unpacking libghc-deriving-compat-doc (0.6.1-1) ...
Selecting previously unselected package libghc-deriving-compat-prof.
Preparing to unpack .../205-libghc-deriving-compat-prof_0.6.1-1+b3_i386.deb ...
Unpacking libghc-deriving-compat-prof (0.6.1-1+b3) ...
Selecting previously unselected package libghc-erf-dev.
Preparing to unpack .../206-libghc-erf-dev_2.0.0.0-17+b3_i386.deb ...
Unpacking libghc-erf-dev (2.0.0.0-17+b3) ...
Selecting previously unselected package libghc-erf-prof.
Preparing to unpack .../207-libghc-erf-prof_2.0.0.0-17+b3_i386.deb ...
Unpacking libghc-erf-prof (2.0.0.0-17+b3) ...
Selecting previously unselected package libghc-fingertree-dev.
Preparing to unpack .../208-libghc-fingertree-dev_0.1.5.0-1+b2_i386.deb ...
Unpacking libghc-fingertree-dev (0.1.5.0-1+b2) ...
Selecting previously unselected package libghc-fingertree-doc.
Preparing to unpack .../209-libghc-fingertree-doc_0.1.5.0-1_all.deb ...
Unpacking libghc-fingertree-doc (0.1.5.0-1) ...
Selecting previously unselected package libghc-fingertree-prof.
Preparing to unpack .../210-libghc-fingertree-prof_0.1.5.0-1+b2_i386.deb ...
Unpacking libghc-fingertree-prof (0.1.5.0-1+b2) ...
Selecting previously unselected package libghc-hashable-doc.
Preparing to unpack .../211-libghc-hashable-doc_1.3.5.0-2_all.deb ...
Unpacking libghc-hashable-doc (1.3.5.0-2) ...
Selecting previously unselected package libghc-hashtables-doc.
Preparing to unpack .../212-libghc-hashtables-doc_1.2.4.2-1_all.deb ...
Unpacking libghc-hashtables-doc (1.2.4.2-1) ...
Selecting previously unselected package libghc-haskell-lexer-dev.
Preparing to unpack .../213-libghc-haskell-lexer-dev_1.1-2+b1_i386.deb ...
Unpacking libghc-haskell-lexer-dev (1.1-2+b1) ...
Selecting previously unselected package libghc-haskell-lexer-prof.
Preparing to unpack .../214-libghc-haskell-lexer-prof_1.1-2+b1_i386.deb ...
Unpacking libghc-haskell-lexer-prof (1.1-2+b1) ...
Selecting previously unselected package libghc-monad-control-dev.
Preparing to unpack .../215-libghc-monad-control-dev_1.0.3.1-1+b2_i386.deb ...
Unpacking libghc-monad-control-dev (1.0.3.1-1+b2) ...
Selecting previously unselected package libghc-lifted-base-dev.
Preparing to unpack .../216-libghc-lifted-base-dev_0.2.3.12-4+b2_i386.deb ...
Unpacking libghc-lifted-base-dev (0.2.3.12-4+b2) ...
Selecting previously unselected package libghc-lifted-async-dev.
Preparing to unpack .../217-libghc-lifted-async-dev_0.10.2.3-1_i386.deb ...
Unpacking libghc-lifted-async-dev (0.10.2.3-1) ...
Selecting previously unselected package libghc-mmorph-dev.
Preparing to unpack .../218-libghc-mmorph-dev_1.1.5-1+b2_i386.deb ...
Unpacking libghc-mmorph-dev (1.1.5-1+b2) ...
Selecting previously unselected package libghc-pretty-show-dev.
Preparing to unpack .../219-libghc-pretty-show-dev_1.10-2+b1_i386.deb ...
Unpacking libghc-pretty-show-dev (1.10-2+b1) ...
Selecting previously unselected package libghc-unliftio-core-dev.
Preparing to unpack .../220-libghc-unliftio-core-dev_0.2.0.1-2+b2_i386.deb ...
Unpacking libghc-unliftio-core-dev (0.2.0.1-2+b2) ...
Selecting previously unselected package libghc-resourcet-dev.
Preparing to unpack .../221-libghc-resourcet-dev_1.2.6-1+b1_i386.deb ...
Unpacking libghc-resourcet-dev (1.2.6-1+b1) ...
Selecting previously unselected package libghc-wl-pprint-annotated-dev.
Preparing to unpack .../222-libghc-wl-pprint-annotated-dev_0.1.0.1-4+b1_i386.deb ...
Unpacking libghc-wl-pprint-annotated-dev (0.1.0.1-4+b1) ...
Selecting previously unselected package libghc-hedgehog-dev.
Preparing to unpack .../223-libghc-hedgehog-dev_1.0.5-1+b3_i386.deb ...
Unpacking libghc-hedgehog-dev (1.0.5-1+b3) ...
Selecting previously unselected package libghc-hedgehog-doc.
Preparing to unpack .../224-libghc-hedgehog-doc_1.0.5-1_all.deb ...
Unpacking libghc-hedgehog-doc (1.0.5-1) ...
Selecting previously unselected package libghc-monad-control-prof.
Preparing to unpack .../225-libghc-monad-control-prof_1.0.3.1-1+b2_i386.deb ...
Unpacking libghc-monad-control-prof (1.0.3.1-1+b2) ...
Selecting previously unselected package libghc-lifted-base-prof.
Preparing to unpack .../226-libghc-lifted-base-prof_0.2.3.12-4+b2_i386.deb ...
Unpacking libghc-lifted-base-prof (0.2.3.12-4+b2) ...
Selecting previously unselected package libghc-lifted-async-prof.
Preparing to unpack .../227-libghc-lifted-async-prof_0.10.2.3-1_i386.deb ...
Unpacking libghc-lifted-async-prof (0.10.2.3-1) ...
Selecting previously unselected package libghc-mmorph-prof.
Preparing to unpack .../228-libghc-mmorph-prof_1.1.5-1+b2_i386.deb ...
Unpacking libghc-mmorph-prof (1.1.5-1+b2) ...
Selecting previously unselected package libghc-pretty-show-prof.
Preparing to unpack .../229-libghc-pretty-show-prof_1.10-2+b1_i386.deb ...
Unpacking libghc-pretty-show-prof (1.10-2+b1) ...
Selecting previously unselected package libghc-unliftio-core-prof.
Preparing to unpack .../230-libghc-unliftio-core-prof_0.2.0.1-2+b2_i386.deb ...
Unpacking libghc-unliftio-core-prof (0.2.0.1-2+b2) ...
Selecting previously unselected package libghc-resourcet-prof.
Preparing to unpack .../231-libghc-resourcet-prof_1.2.6-1+b1_i386.deb ...
Unpacking libghc-resourcet-prof (1.2.6-1+b1) ...
Selecting previously unselected package libghc-wl-pprint-annotated-prof.
Preparing to unpack .../232-libghc-wl-pprint-annotated-prof_0.1.0.1-4+b1_i386.deb ...
Unpacking libghc-wl-pprint-annotated-prof (0.1.0.1-4+b1) ...
Selecting previously unselected package libghc-hedgehog-prof.
Preparing to unpack .../233-libghc-hedgehog-prof_1.0.5-1+b3_i386.deb ...
Unpacking libghc-hedgehog-prof (1.0.5-1+b3) ...
Selecting previously unselected package libghc-network-dev.
Preparing to unpack .../234-libghc-network-dev_3.1.2.7-1+b2_i386.deb ...
Unpacking libghc-network-dev (3.1.2.7-1+b2) ...
Selecting previously unselected package zlib1g-dev:i386.
Preparing to unpack .../235-zlib1g-dev_1%3a1.2.13.dfsg-1_i386.deb ...
Unpacking zlib1g-dev:i386 (1:1.2.13.dfsg-1) ...
Selecting previously unselected package libghc-zlib-dev.
Preparing to unpack .../236-libghc-zlib-dev_0.6.3.0-1+b2_i386.deb ...
Unpacking libghc-zlib-dev (0.6.3.0-1+b2) ...
Selecting previously unselected package libghc-zlib-bindings-dev.
Preparing to unpack .../237-libghc-zlib-bindings-dev_0.1.1.5-11+b1_i386.deb ...
Unpacking libghc-zlib-bindings-dev (0.1.1.5-11+b1) ...
Selecting previously unselected package libghc-io-streams-dev.
Preparing to unpack .../238-libghc-io-streams-dev_1.5.2.2-1_i386.deb ...
Unpacking libghc-io-streams-dev (1.5.2.2-1) ...
Selecting previously unselected package libghc-io-streams-doc.
Preparing to unpack .../239-libghc-io-streams-doc_1.5.2.2-1_all.deb ...
Unpacking libghc-io-streams-doc (1.5.2.2-1) ...
Selecting previously unselected package libghc-network-prof.
Preparing to unpack .../240-libghc-network-prof_3.1.2.7-1+b2_i386.deb ...
Unpacking libghc-network-prof (3.1.2.7-1+b2) ...
Selecting previously unselected package libghc-zlib-prof.
Preparing to unpack .../241-libghc-zlib-prof_0.6.3.0-1+b2_i386.deb ...
Unpacking libghc-zlib-prof (0.6.3.0-1+b2) ...
Selecting previously unselected package libghc-zlib-bindings-prof.
Preparing to unpack .../242-libghc-zlib-bindings-prof_0.1.1.5-11+b1_i386.deb ...
Unpacking libghc-zlib-bindings-prof (0.1.1.5-11+b1) ...
Selecting previously unselected package libghc-io-streams-prof.
Preparing to unpack .../243-libghc-io-streams-prof_1.5.2.2-1_i386.deb ...
Unpacking libghc-io-streams-prof (1.5.2.2-1) ...
Selecting previously unselected package libghc-lens-doc.
Preparing to unpack .../244-libghc-lens-doc_5.0.1-2_all.deb ...
Unpacking libghc-lens-doc (5.0.1-2) ...
Selecting previously unselected package libghc-libbf-dev.
Preparing to unpack .../245-libghc-libbf-dev_0.6.5.1-1_i386.deb ...
Unpacking libghc-libbf-dev (0.6.5.1-1) ...
Selecting previously unselected package libghc-libbf-doc.
Preparing to unpack .../246-libghc-libbf-doc_0.6.5.1-1_all.deb ...
Unpacking libghc-libbf-doc (0.6.5.1-1) ...
Selecting previously unselected package libghc-libbf-prof.
Preparing to unpack .../247-libghc-libbf-prof_0.6.5.1-1_i386.deb ...
Unpacking libghc-libbf-prof (0.6.5.1-1) ...
Selecting previously unselected package libghc-prettyprinter-dev.
Preparing to unpack .../248-libghc-prettyprinter-dev_1.7.1-1+b2_i386.deb ...
Unpacking libghc-prettyprinter-dev (1.7.1-1+b2) ...
Selecting previously unselected package libghc-prettyprinter-ansi-terminal-dev.
Preparing to unpack .../249-libghc-prettyprinter-ansi-terminal-dev_1.1.3-1+b1_i386.deb ...
Unpacking libghc-prettyprinter-ansi-terminal-dev (1.1.3-1+b1) ...
Selecting previously unselected package libghc-lumberjack-dev.
Preparing to unpack .../250-libghc-lumberjack-dev_1.0.1.0-2+b1_i386.deb ...
Unpacking libghc-lumberjack-dev (1.0.1.0-2+b1) ...
Selecting previously unselected package libghc-lumberjack-doc.
Preparing to unpack .../251-libghc-lumberjack-doc_1.0.1.0-2_all.deb ...
Unpacking libghc-lumberjack-doc (1.0.1.0-2) ...
Selecting previously unselected package libghc-prettyprinter-prof.
Preparing to unpack .../252-libghc-prettyprinter-prof_1.7.1-1+b2_i386.deb ...
Unpacking libghc-prettyprinter-prof (1.7.1-1+b2) ...
Selecting previously unselected package libghc-prettyprinter-ansi-terminal-prof.
Preparing to unpack .../253-libghc-prettyprinter-ansi-terminal-prof_1.1.3-1+b1_i386.deb ...
Unpacking libghc-prettyprinter-ansi-terminal-prof (1.1.3-1+b1) ...
Selecting previously unselected package libghc-lumberjack-prof.
Preparing to unpack .../254-libghc-lumberjack-prof_1.0.1.0-2+b1_i386.deb ...
Unpacking libghc-lumberjack-prof (1.0.1.0-2+b1) ...
Selecting previously unselected package libghc-parser-combinators-dev.
Preparing to unpack .../255-libghc-parser-combinators-dev_1.3.0-1+b1_i386.deb ...
Unpacking libghc-parser-combinators-dev (1.3.0-1+b1) ...
Selecting previously unselected package libghc-megaparsec-dev.
Preparing to unpack .../256-libghc-megaparsec-dev_9.2.2-1_i386.deb ...
Unpacking libghc-megaparsec-dev (9.2.2-1) ...
Selecting previously unselected package libghc-parser-combinators-prof.
Preparing to unpack .../257-libghc-parser-combinators-prof_1.3.0-1+b1_i386.deb ...
Unpacking libghc-parser-combinators-prof (1.3.0-1+b1) ...
Selecting previously unselected package libghc-megaparsec-prof.
Preparing to unpack .../258-libghc-megaparsec-prof_9.2.2-1_i386.deb ...
Unpacking libghc-megaparsec-prof (9.2.2-1) ...
Selecting previously unselected package libghc-optparse-applicative-dev.
Preparing to unpack .../259-libghc-optparse-applicative-dev_0.16.1.0-1+b1_i386.deb ...
Unpacking libghc-optparse-applicative-dev (0.16.1.0-1+b1) ...
Selecting previously unselected package libghc-optparse-applicative-prof.
Preparing to unpack .../260-libghc-optparse-applicative-prof_0.16.1.0-1+b1_i386.deb ...
Unpacking libghc-optparse-applicative-prof (0.16.1.0-1+b1) ...
Selecting previously unselected package libghc-panic-doc.
Preparing to unpack .../261-libghc-panic-doc_0.4.0.1-3_all.deb ...
Unpacking libghc-panic-doc (0.4.0.1-3) ...
Selecting previously unselected package libghc-parameterized-utils-doc.
Preparing to unpack .../262-libghc-parameterized-utils-doc_2.1.5.0-2_all.deb ...
Unpacking libghc-parameterized-utils-doc (2.1.5.0-2) ...
Selecting previously unselected package libghc-prettyprinter-doc.
Preparing to unpack .../263-libghc-prettyprinter-doc_1.7.1-1_all.deb ...
Unpacking libghc-prettyprinter-doc (1.7.1-1) ...
Selecting previously unselected package libghc-quickcheck2-dev.
Preparing to unpack .../264-libghc-quickcheck2-dev_2.14.2-1+b2_i386.deb ...
Unpacking libghc-quickcheck2-dev (2.14.2-1+b2) ...
Selecting previously unselected package libghc-quickcheck2-doc.
Preparing to unpack .../265-libghc-quickcheck2-doc_2.14.2-1_all.deb ...
Unpacking libghc-quickcheck2-doc (2.14.2-1) ...
Selecting previously unselected package libghc-quickcheck2-prof.
Preparing to unpack .../266-libghc-quickcheck2-prof_2.14.2-1+b2_i386.deb ...
Unpacking libghc-quickcheck2-prof (2.14.2-1+b2) ...
Selecting previously unselected package libghc-scientific-doc.
Preparing to unpack .../267-libghc-scientific-doc_0.3.7.0-1_all.deb ...
Unpacking libghc-scientific-doc (0.3.7.0-1) ...
Selecting previously unselected package libghc-tasty-checklist-dev.
Preparing to unpack .../268-libghc-tasty-checklist-dev_1.0.4.0-2+b3_i386.deb ...
Unpacking libghc-tasty-checklist-dev (1.0.4.0-2+b3) ...
Selecting previously unselected package libghc-tasty-checklist-doc.
Preparing to unpack .../269-libghc-tasty-checklist-doc_1.0.4.0-2_all.deb ...
Unpacking libghc-tasty-checklist-doc (1.0.4.0-2) ...
Selecting previously unselected package libghc-tasty-checklist-prof.
Preparing to unpack .../270-libghc-tasty-checklist-prof_1.0.4.0-2+b3_i386.deb ...
Unpacking libghc-tasty-checklist-prof (1.0.4.0-2+b3) ...
Selecting previously unselected package libghc-wcwidth-dev.
Preparing to unpack .../271-libghc-wcwidth-dev_0.0.2-3+b2_i386.deb ...
Unpacking libghc-wcwidth-dev (0.0.2-3+b2) ...
Selecting previously unselected package libghc-tasty-dev.
Preparing to unpack .../272-libghc-tasty-dev_1.4.2.3-1+b1_i386.deb ...
Unpacking libghc-tasty-dev (1.4.2.3-1+b1) ...
Selecting previously unselected package libghc-tasty-doc.
Preparing to unpack .../273-libghc-tasty-doc_1.4.2.3-1_all.deb ...
Unpacking libghc-tasty-doc (1.4.2.3-1) ...
Selecting previously unselected package libghc-tasty-expected-failure-dev.
Preparing to unpack .../274-libghc-tasty-expected-failure-dev_0.12.3-1+b1_i386.deb ...
Unpacking libghc-tasty-expected-failure-dev (0.12.3-1+b1) ...
Selecting previously unselected package libghc-tasty-expected-failure-doc.
Preparing to unpack .../275-libghc-tasty-expected-failure-doc_0.12.3-1_all.deb ...
Unpacking libghc-tasty-expected-failure-doc (0.12.3-1) ...
Selecting previously unselected package libghc-wcwidth-prof.
Preparing to unpack .../276-libghc-wcwidth-prof_0.0.2-3+b2_i386.deb ...
Unpacking libghc-wcwidth-prof (0.0.2-3+b2) ...
Selecting previously unselected package libghc-tasty-prof.
Preparing to unpack .../277-libghc-tasty-prof_1.4.2.3-1+b1_i386.deb ...
Unpacking libghc-tasty-prof (1.4.2.3-1+b1) ...
Selecting previously unselected package libghc-tasty-expected-failure-prof.
Preparing to unpack .../278-libghc-tasty-expected-failure-prof_0.12.3-1+b1_i386.deb ...
Unpacking libghc-tasty-expected-failure-prof (0.12.3-1+b1) ...
Selecting previously unselected package libghc-tasty-hedgehog-dev.
Preparing to unpack .../279-libghc-tasty-hedgehog-dev_1.2.0.0-2+b3_i386.deb ...
Unpacking libghc-tasty-hedgehog-dev (1.2.0.0-2+b3) ...
Selecting previously unselected package libghc-tasty-hedgehog-doc.
Preparing to unpack .../280-libghc-tasty-hedgehog-doc_1.2.0.0-2_all.deb ...
Unpacking libghc-tasty-hedgehog-doc (1.2.0.0-2) ...
Selecting previously unselected package libghc-tasty-hedgehog-prof.
Preparing to unpack .../281-libghc-tasty-hedgehog-prof_1.2.0.0-2+b3_i386.deb ...
Unpacking libghc-tasty-hedgehog-prof (1.2.0.0-2+b3) ...
Selecting previously unselected package libghc-tasty-hunit-dev.
Preparing to unpack .../282-libghc-tasty-hunit-dev_0.10.0.3-1+b1_i386.deb ...
Unpacking libghc-tasty-hunit-dev (0.10.0.3-1+b1) ...
Selecting previously unselected package libghc-tasty-hunit-doc.
Preparing to unpack .../283-libghc-tasty-hunit-doc_0.10.0.3-1_all.deb ...
Unpacking libghc-tasty-hunit-doc (0.10.0.3-1) ...
Selecting previously unselected package libghc-tasty-hunit-prof.
Preparing to unpack .../284-libghc-tasty-hunit-prof_0.10.0.3-1+b1_i386.deb ...
Unpacking libghc-tasty-hunit-prof (0.10.0.3-1+b1) ...
Selecting previously unselected package libghc-tasty-quickcheck-dev.
Preparing to unpack .../285-libghc-tasty-quickcheck-dev_0.10.2-1+b2_i386.deb ...
Unpacking libghc-tasty-quickcheck-dev (0.10.2-1+b2) ...
Selecting previously unselected package libghc-tasty-quickcheck-doc.
Preparing to unpack .../286-libghc-tasty-quickcheck-doc_0.10.2-1_all.deb ...
Unpacking libghc-tasty-quickcheck-doc (0.10.2-1) ...
Selecting previously unselected package libghc-tasty-quickcheck-prof.
Preparing to unpack .../287-libghc-tasty-quickcheck-prof_0.10.2-1+b2_i386.deb ...
Unpacking libghc-tasty-quickcheck-prof (0.10.2-1+b2) ...
Selecting previously unselected package libghc-temporary-dev.
Preparing to unpack .../288-libghc-temporary-dev_1.3-3+b1_i386.deb ...
Unpacking libghc-temporary-dev (1.3-3+b1) ...
Selecting previously unselected package libghc-temporary-doc.
Preparing to unpack .../289-libghc-temporary-doc_1.3-3_all.deb ...
Unpacking libghc-temporary-doc (1.3-3) ...
Selecting previously unselected package libghc-temporary-prof.
Preparing to unpack .../290-libghc-temporary-prof_1.3-3+b1_i386.deb ...
Unpacking libghc-temporary-prof (1.3-3+b1) ...
Selecting previously unselected package libghc-th-lift-doc.
Preparing to unpack .../291-libghc-th-lift-doc_0.8.2-1_all.deb ...
Unpacking libghc-th-lift-doc (0.8.2-1) ...
Selecting previously unselected package libghc-th-lift-instances-dev.
Preparing to unpack .../292-libghc-th-lift-instances-dev_0.1.20-1+b1_i386.deb ...
Unpacking libghc-th-lift-instances-dev (0.1.20-1+b1) ...
Selecting previously unselected package libghc-th-lift-instances-doc.
Preparing to unpack .../293-libghc-th-lift-instances-doc_0.1.20-1_all.deb ...
Unpacking libghc-th-lift-instances-doc (0.1.20-1) ...
Selecting previously unselected package libghc-th-lift-instances-prof.
Preparing to unpack .../294-libghc-th-lift-instances-prof_0.1.20-1+b1_i386.deb ...
Unpacking libghc-th-lift-instances-prof (0.1.20-1+b1) ...
Selecting previously unselected package libghc-unordered-containers-doc.
Preparing to unpack .../295-libghc-unordered-containers-doc_0.2.17.0-2_all.deb ...
Unpacking libghc-unordered-containers-doc (0.2.17.0-2) ...
Selecting previously unselected package libghc-utf8-string-dev.
Preparing to unpack .../296-libghc-utf8-string-dev_1.0.2-1+b1_i386.deb ...
Unpacking libghc-utf8-string-dev (1.0.2-1+b1) ...
Selecting previously unselected package libghc-utf8-string-doc.
Preparing to unpack .../297-libghc-utf8-string-doc_1.0.2-1_all.deb ...
Unpacking libghc-utf8-string-doc (1.0.2-1) ...
Selecting previously unselected package libghc-utf8-string-prof.
Preparing to unpack .../298-libghc-utf8-string-prof_1.0.2-1+b1_i386.deb ...
Unpacking libghc-utf8-string-prof (1.0.2-1+b1) ...
Selecting previously unselected package libghc-vector-doc.
Preparing to unpack .../299-libghc-vector-doc_0.12.3.1-1_all.deb ...
Unpacking libghc-vector-doc (0.12.3.1-1) ...
Selecting previously unselected package libghc-versions-dev.
Preparing to unpack .../300-libghc-versions-dev_5.0.3-3+b2_i386.deb ...
Unpacking libghc-versions-dev (5.0.3-3+b2) ...
Selecting previously unselected package libghc-versions-doc.
Preparing to unpack .../301-libghc-versions-doc_5.0.3-3_all.deb ...
Unpacking libghc-versions-doc (5.0.3-3) ...
Selecting previously unselected package libghc-versions-prof.
Preparing to unpack .../302-libghc-versions-prof_5.0.3-3+b2_i386.deb ...
Unpacking libghc-versions-prof (5.0.3-3+b2) ...
Selecting previously unselected package libghc-zenc-dev.
Preparing to unpack .../303-libghc-zenc-dev_0.1.2-2+b1_i386.deb ...
Unpacking libghc-zenc-dev (0.1.2-2+b1) ...
Selecting previously unselected package libghc-zenc-doc.
Preparing to unpack .../304-libghc-zenc-doc_0.1.2-2_all.deb ...
Unpacking libghc-zenc-doc (0.1.2-2) ...
Selecting previously unselected package libghc-zenc-prof.
Preparing to unpack .../305-libghc-zenc-prof_0.1.2-2+b1_i386.deb ...
Unpacking libghc-zenc-prof (0.1.2-2+b1) ...
Selecting previously unselected package z3.
Preparing to unpack .../306-z3_4.8.12-3.1_i386.deb ...
Unpacking z3 (4.8.12-3.1) ...
Selecting previously unselected package libghc-th-abstraction-doc.
Preparing to unpack .../307-libghc-th-abstraction-doc_0.4.5.0-1_all.deb ...
Unpacking libghc-th-abstraction-doc (0.4.5.0-1) ...
Setting up media-types (10.0.0) ...
Setting up libpipeline1:i386 (1.5.7-1) ...
Setting up libcln6:i386 (1.3.6-4) ...
Setting up libpsl5:i386 (0.21.2-1) ...
Setting up libunicode-utf8-perl (0.62-2) ...
Setting up fonts-mathjax (2.7.9+dfsg-1) ...
Setting up libicu72:i386 (72.1-3) ...
Setting up libantlr3c-3.4-0:i386 (3.4+dfsg-4) ...
Setting up bsdextrautils (2.38.1-5+b1) ...
Setting up libjs-mathjax (2.7.9+dfsg-1) ...
Setting up libdynaloader-functions-perl (0.003-3) ...
Setting up libmagic-mgc (1:5.44-3) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.11.4) ...
Setting up libbrotli1:i386 (1.0.9-2+b6) ...
Setting up libtry-tiny-perl (0.31-2) ...
Setting up libnghttp2-14:i386 (1.52.0-1+deb12u1) ...
Setting up libmagic1:i386 (1:5.44-3) ...
Setting up gettext-base (0.21-12) ...
Setting up m4 (1.4.19-3) ...
Setting up file (1:5.44-3) ...
Setting up libffi-dev:i386 (3.4.4-1) ...
Setting up z3 (4.8.12-3.1) ...
Setting up libsub-install-perl (0.929-1) ...
Setting up libsasl2-modules-db:i386 (2.1.28+dfsg-10) ...
Setting up autotools-dev (20220109.1) ...
Setting up libgmpxx4ldbl:i386 (2:6.2.1+dfsg1-1.1) ...
Setting up librtmp1:i386 (2.4+20151223.gitfa8646d.1-2+b2) ...
Setting up libncurses6:i386 (6.4-4) ...
Setting up autopoint (0.21-12) ...
Setting up libb-hooks-op-check-perl:i386 (0.22-2+b1) ...
Setting up libparams-util-perl (1.102-2+b1) ...
Setting up libsasl2-2:i386 (2.1.28+dfsg-10) ...
Setting up autoconf (2.71-3) ...
Setting up libsub-exporter-progressive-perl (0.001013-3) ...
Setting up libtimedate-perl (2.3300-2) ...
Setting up zlib1g-dev:i386 (1:1.2.13.dfsg-1) ...
Setting up libdevel-confess-perl (0.009004-3) ...
Setting up sensible-utils (0.0.17+nmu1) ...
Setting up libpath-tiny-perl (0.144-1) ...
Setting up libuchardet0:i386 (0.0.7-1) ...
Setting up libcvc4-7:i386 (1.8-3) ...
Setting up libmd-dev:i386 (1.0.4-2) ...
Setting up libipc-run3-perl (0.048-3) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libssh2-1:i386 (1.10.0-3+b1) ...
Setting up sgml-base (1.31) ...
Setting up libbsd0:i386 (0.11.7-2) ...
Setting up libelf1:i386 (0.188-2.1) ...
Setting up readline-common (8.2-1.3) ...
Setting up libxml2:i386 (2.9.14+dfsg-1.3~deb12u1) ...
Setting up libbsd-dev:i386 (0.11.7-2) ...
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:i386 (6.4-4) ...
Setting up gettext (0.21-12) ...
Setting up libgmp-dev:i386 (2:6.2.1+dfsg1-1.1) ...
Setting up libtool (2.4.7-5) ...
Setting up ghc (9.0.2-4) ...
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-zenc-dev (0.1.2-2+b1) ...
Setting up libghc-prettyprinter-doc (1.7.1-1) ...
Setting up libghc-data-binary-ieee754-doc (0.4.4-11) ...
Setting up libghc-hashable-doc (1.3.5.0-2) ...
Setting up libghc-wcwidth-dev (0.0.2-3+b2) ...
Setting up libghc-quickcheck2-doc (2.14.2-1) ...
Setting up libghc-haskell-lexer-dev (1.1-2+b1) ...
Setting up libghc-tasty-checklist-doc (1.0.4.0-2) ...
Setting up libreadline8:i386 (8.2-1.3) ...
Setting up libghc-panic-doc (0.4.0.1-3) ...
Setting up libghc-tasty-quickcheck-doc (0.10.2-1) ...
Setting up libghc-colour-dev (2.3.6-1+b2) ...
Setting up libghc-unordered-containers-doc (0.2.17.0-2) ...
Setting up libghc-bv-sized-doc (1.0.4-2) ...
Setting up libghc-zenc-doc (0.1.2-2) ...
Setting up libghc-fingertree-dev (0.1.5.0-1+b2) ...
Setting up libghc-tasty-expected-failure-doc (0.12.3-1) ...
Setting up libghc-vector-doc (0.12.3.1-1) ...
Setting up libghc-bimap-dev (0.5.0-1+b1) ...
Setting up libdevel-callchecker-perl:i386 (0.008-2) ...
Setting up libghc-data-binary-ieee754-dev (0.4.4-11+b3) ...
Setting up libghc-indexed-traversable-dev (0.1.2-2+b1) ...
Setting up libldap-2.5-0:i386 (2.5.13+dfsg-5) ...
Setting up libghc-temporary-doc (1.3-3) ...
Setting up libghc-attoparsec-doc (0.14.4-2) ...
Setting up libghc-libbf-doc (0.6.5.1-1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up libghc-io-streams-doc (1.5.2.2-1) ...
Setting up libghc-unbounded-delays-dev (0.1.1.1-1+b2) ...
Setting up dh-autoreconf (20) ...
Setting up libghc-versions-doc (5.0.3-3) ...
Setting up libghc-wl-pprint-annotated-dev (0.1.0.1-4+b1) ...
Setting up libghc-hashtables-doc (1.2.4.2-1) ...
Setting up libghc-type-equality-dev (1-3+b2) ...
Setting up libghc-utf8-string-doc (1.0.2-1) ...
Setting up libghc-bitwise-dev (1.0.0.1-2+b1) ...
Setting up libghc-async-doc (2.2.4-1) ...
Setting up libghc-base-compat-dev (0.11.2-1+b2) ...
Setting up libghc-clock-dev (0.8.3-1+b2) ...
Setting up libcvc4parser7:i386 (1.8-3) ...
Setting up libghc-bimap-doc (0.5.0-1) ...
Setting up libghc-splitmix-dev (0.1.0.4-1+b2) ...
Setting up ghc-doc (9.0.2-4) ...
Setting up libghc-th-abstraction-doc (0.4.5.0-1) ...
Setting up libghc-prettyprinter-dev (1.7.1-1+b2) ...
Setting up libdata-optlist-perl (0.113-1) ...
Setting up libghc-hedgehog-doc (1.0.5-1) ...
Setting up libghc-tasty-hedgehog-doc (1.2.0.0-2) ...
Setting up libghc-statevar-dev (1.2.2-1+b2) ...
Setting up libghc-lens-doc (5.0.1-2) ...
Setting up libghc-th-abstraction-dev (0.4.5.0-1) ...
Setting up libghc-base-orphans-dev (0.8.7-1) ...
Setting up libghc-integer-logarithms-dev (1.0.3.1-2+b1) ...
Setting up libghc-transformers-compat-dev (0.6.6-1+b2) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up libghc-config-value-dev (0.8.3-1) ...
Setting up dwz (0.15-1) ...
Setting up libghc-zlib-dev (0.6.3.0-1+b2) ...
Setting up libghc-th-lift-instances-doc (0.1.20-1) ...
Setting up groff-base (1.22.4-10) ...
Setting up libghc-network-dev (3.1.2.7-1+b2) ...
Setting up libghc-th-lift-doc (0.8.2-1) ...
Setting up libghc-tasty-doc (1.4.2.3-1) ...
Setting up libghc-terminal-size-dev (0.3.3-1+b2) ...
Setting up cvc4 (1.8-3) ...
Setting up libghc-utf8-string-dev (1.0.2-1+b1) ...
Setting up libghc-unliftio-core-dev (0.2.0.1-2+b2) ...
Setting up libghc-tagged-dev (0.8.6.1-1+b2) ...
Setting up libghc-config-value-doc (0.8.3-1) ...
Setting up libghc-bifunctors-doc (5.5.13-1) ...
Setting up libghc-deriving-compat-doc (0.6.1-1) ...
Setting up libghc-onetuple-dev (0.3.1-1+b2) ...
Setting up libghc-concurrent-extra-doc (0.7.0.12-2) ...
Setting up libsub-exporter-perl (0.989-1) ...
Setting up libghc-erf-dev (2.0.0.0-17+b3) ...
Setting up libghc-parameterized-utils-doc (2.1.5.0-2) ...
Setting up libghc-distributive-dev (0.6.2.1-1+b3) ...
Setting up libghc-hashable-dev (1.3.5.0-2+b2) ...
Setting up libghc-fingertree-doc (0.1.5.0-1) ...
Setting up libghc-ansi-terminal-dev (0.11.3-1+b2) ...
Setting up libghc-transformers-base-dev (0.4.6-1+b3) ...
Setting up libghc-lumberjack-doc (1.0.1.0-2) ...
Setting up libghc-call-stack-dev (0.4.0-1+b2) ...
Setting up libghc-semigroups-dev (0.19.2-1+b1) ...
Setting up libghc-primitive-dev (0.7.3.0-1+b2) ...
Setting up libghc-tasty-hunit-doc (0.10.0.3-1) ...
Setting up libghc-parser-combinators-dev (1.3.0-1+b1) ...
Setting up libghc-scientific-doc (0.3.7.0-1) ...
Setting up ghc-prof (9.0.2-4) ...
Setting up libghc-void-dev (0.7.3-3+b1) ...
Setting up libghc-network-prof (3.1.2.7-1+b2) ...
Setting up libghc-reflection-dev (2.1.6-2+b2) ...
Setting up libghc-pretty-show-dev (1.10-2+b1) ...
Setting up libghc-type-equality-prof (1-3+b2) ...
Setting up libghc-parallel-dev (3.2.2.0-4+b2) ...
Setting up libghc-concurrent-extra-dev (0.7.0.12-2+b1) ...
Setting up libghc-config-value-prof (0.8.3-1) ...
Setting up libghc-resourcet-dev (1.2.6-1+b1) ...
Setting up libghc-random-dev (1.2.1.1-2+b2) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libghc-bitwise-prof (1.0.0.1-2+b1) ...
Setting up libpython3.11-stdlib:i386 (3.11.2-6) ...
Setting up libghc-fingertree-prof (0.1.5.0-1+b2) ...
Setting up libparams-classify-perl:i386 (0.015-2+b1) ...
Setting up libghc-constraints-dev (0.13.4-1+b2) ...
Setting up libghc-prettyprinter-prof (1.7.1-1+b2) ...
Setting up libghc-primitive-prof (0.7.3.0-1+b2) ...
Setting up libghc-haskell-lexer-prof (1.1-2+b1) ...
Setting up libghc-void-prof (0.7.3-3+b1) ...
Setting up libghc-clock-prof (0.8.3-1+b2) ...
Setting up libcurl3-gnutls:i386 (7.88.1-10+deb12u4) ...
Setting up libghc-semigroups-prof (0.19.2-1+b1) ...
Setting up libghc-statevar-prof (1.2.2-1+b2) ...
Setting up libghc-base-orphans-prof (0.8.7-1) ...
Setting up libghc-comonad-dev (5.0.8-1+b2) ...
Setting up libghc-zlib-bindings-dev (0.1.1.5-11+b1) ...
Setting up man-db (2.11.2-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libghc-gitrev-dev (1.3.1-5+b1) ...
Setting up libghc-splitmix-prof (0.1.0.4-1+b2) ...
Setting up libghc-scientific-dev (0.3.7.0-1+b1) ...
Setting up libghc-hashable-prof (1.3.5.0-2+b2) ...
Setting up libghc-parser-combinators-prof (1.3.0-1+b1) ...
Setting up libghc-terminal-size-prof (0.3.3-1+b2) ...
Setting up libghc-contravariant-dev (1.5.5-1+b2) ...
Setting up libghc-wcwidth-prof (0.0.2-3+b2) ...
Setting up libghc-quickcheck2-dev (2.14.2-1+b2) ...
Setting up libghc-case-insensitive-dev (1.2.1.0-3+b1) ...
Setting up libghc-unliftio-core-prof (0.2.0.1-2+b2) ...
Setting up libghc-utf8-string-prof (1.0.2-1+b1) ...
Setting up libmodule-runtime-perl (0.016-2) ...
Setting up libghc-bimap-prof (0.5.0-1+b1) ...
Setting up libghc-th-abstraction-prof (0.4.5.0-1) ...
Setting up libghc-temporary-dev (1.3-3+b1) ...
Setting up libghc-unordered-containers-dev (0.2.17.0-2+b1) ...
Setting up libghc-th-lift-dev (0.8.2-1+b3) ...
Setting up libghc-libbf-dev (0.6.5.1-1) ...
Setting up libghc-bifunctors-dev (5.5.13-1) ...
Setting up libghc-zenc-prof (0.1.2-2+b1) ...
Setting up libghc-integer-logarithms-prof (1.0.3.1-2+b1) ...
Setting up libghc-colour-prof (2.3.6-1+b2) ...
Setting up libghc-deriving-compat-dev (0.6.1-1+b3) ...
Setting up libghc-megaparsec-dev (9.2.2-1) ...
Setting up libghc-scientific-prof (0.3.7.0-1+b1) ...
Setting up libghc-transformers-compat-prof (0.6.6-1+b2) ...
Setting up libghc-versions-dev (5.0.3-3+b2) ...
Setting up libghc-mmorph-dev (1.1.5-1+b2) ...
Setting up libghc-case-insensitive-prof (1.2.1.0-3+b1) ...
Setting up libconst-fast-perl (0.014-2) ...
Setting up libghc-tagged-prof (0.8.6.1-1+b2) ...
Setting up libghc-erf-prof (2.0.0.0-17+b3) ...
Setting up libghc-deriving-compat-prof (0.6.1-1+b3) ...
Setting up libghc-profunctors-dev (5.6.2-1+b3) ...
Setting up libghc-call-stack-prof (0.4.0-1+b2) ...
Setting up libghc-ansi-wl-pprint-dev (0.6.9-5+b2) ...
Setting up libghc-unbounded-delays-prof (0.1.1.1-1+b2) ...
Setting up libghc-attoparsec-dev (0.14.4-2+b1) ...
Setting up libghc-reflection-prof (2.1.6-2+b2) ...
Setting up libghc-zlib-prof (0.6.3.0-1+b2) ...
Setting up libghc-async-dev (2.2.4-1+b1) ...
Setting up libghc-concurrent-extra-prof (0.7.0.12-2+b1) ...
Setting up libghc-data-binary-ieee754-prof (0.4.4-11+b3) ...
Setting up libghc-pretty-show-prof (1.10-2+b1) ...
Setting up libghc-parallel-prof (3.2.2.0-4+b2) ...
Setting up libghc-indexed-traversable-prof (0.1.2-2+b1) ...
Setting up libghc-prettyprinter-ansi-terminal-dev (1.1.3-1+b1) ...
Setting up libghc-assoc-dev (1.0.2-3+b3) ...
Setting up libghc-transformers-base-prof (0.4.6-1+b3) ...
Setting up libghc-vector-dev (0.12.3.1-1+b1) ...
Setting up libghc-monad-control-dev (1.0.3.1-1+b2) ...
Setting up libpython3-stdlib:i386 (3.11.2-1+b1) ...
Setting up libghc-base-compat-prof (0.11.2-1+b2) ...
Setting up libghc-panic-dev (0.4.0.1-3+b1) ...
Setting up libghc-mmorph-prof (1.1.5-1+b2) ...
Setting up libghc-unordered-containers-prof (0.2.17.0-2+b1) ...
Setting up libghc-wl-pprint-annotated-prof (0.1.0.1-4+b1) ...
Setting up libghc-async-prof (2.2.4-1+b1) ...
Setting up libghc-onetuple-prof (0.3.1-1+b2) ...
Setting up python3.11 (3.11.2-6) ...
Setting up libghc-monad-control-prof (1.0.3.1-1+b2) ...
Setting up libghc-resourcet-prof (1.2.6-1+b1) ...
Setting up html-xml-utils (7.7-1.1) ...
Setting up libghc-invariant-dev (0.5.6-1+b3) ...
Setting up libghc-constraints-prof (0.13.4-1+b2) ...
Setting up libmodule-implementation-perl (0.09-2) ...
Setting up libghc-gitrev-prof (1.3.1-5+b1) ...
Setting up libghc-ansi-terminal-prof (0.11.3-1+b2) ...
Setting up libghc-random-prof (1.2.1.1-2+b2) ...
Setting up libghc-lifted-base-dev (0.2.3.12-4+b2) ...
Setting up liblist-someutils-perl (0.59-1) ...
Setting up debhelper (13.11.4) ...
Setting up python3 (3.11.2-1+b1) ...
Setting up libghc-zlib-bindings-prof (0.1.1.5-11+b1) ...
Setting up libghc-contravariant-prof (1.5.5-1+b2) ...
Setting up libghc-th-lift-instances-dev (0.1.20-1+b1) ...
Setting up libghc-semigroupoids-dev (5.3.7-1+b3) ...
Setting up libghc-distributive-prof (0.6.2.1-1+b3) ...
Setting up libghc-attoparsec-prof (0.14.4-2+b1) ...
Setting up libghc-libbf-prof (0.6.5.1-1) ...
Setting up python3-six (1.16.0-4) ...
Setting up libghc-temporary-prof (1.3-3+b1) ...
Setting up libghc-vector-prof (0.12.3.1-1+b1) ...
Setting up libghc-concurrent-output-dev (1.10.16-1+b1) ...
Setting up libghc-th-lift-prof (0.8.2-1+b3) ...
Setting up libghc-concurrent-output-prof (1.10.16-1+b1) ...
Setting up libghc-optparse-applicative-dev (0.16.1.0-1+b1) ...
Setting up libghc-ansi-wl-pprint-prof (0.6.9-5+b2) ...
Setting up libghc-megaparsec-prof (9.2.2-1) ...
Setting up libghc-panic-prof (0.4.0.1-3+b1) ...
Setting up libghc-lifted-async-dev (0.10.2.3-1) ...
Setting up dh-buildinfo (0.11+nmu2) ...
Setting up libghc-these-dev (1.1.1.1-2+b3) ...
Setting up libghc-prettyprinter-ansi-terminal-prof (1.1.3-1+b1) ...
Setting up libghc-hashtables-dev (1.2.4.2-1+b1) ...
Setting up libghc-io-streams-dev (1.5.2.2-1) ...
Setting up libghc-lumberjack-dev (1.0.1.0-2+b1) ...
Setting up libghc-indexed-traversable-instances-dev (0.1.1.1-1) ...
Setting up python3-pkg-resources (66.1.1-1) ...
Setting up libghc-versions-prof (5.0.3-3+b2) ...
Setting up libghc-quickcheck2-prof (2.14.2-1+b2) ...
Setting up libghc-lifted-base-prof (0.2.3.12-4+b2) ...
Setting up libghc-optparse-applicative-prof (0.16.1.0-1+b1) ...
Setting up libghc-indexed-traversable-instances-prof (0.1.1.1-1) ...
Setting up libghc-free-dev (5.1.9-1+b4) ...
Setting up libghc-io-streams-prof (1.5.2.2-1) ...
Setting up libghc-hedgehog-dev (1.0.5-1+b3) ...
Setting up libghc-comonad-prof (5.0.8-1+b2) ...
Setting up libghc-th-lift-instances-prof (0.1.20-1+b1) ...
Setting up libghc-lumberjack-prof (1.0.1.0-2+b1) ...
Setting up libghc-tasty-dev (1.4.2.3-1+b1) ...
Setting up libghc-strict-dev (0.4.0.1-1+b3) ...
Setting up libghc-adjunctions-dev (4.4.2-1+b2) ...
Setting up libghc-hashtables-prof (1.2.4.2-1+b1) ...
Setting up libghc-tasty-prof (1.4.2.3-1+b1) ...
Setting up libghc-tasty-expected-failure-dev (0.12.3-1+b1) ...
Setting up libghc-tasty-expected-failure-prof (0.12.3-1+b1) ...
Setting up libghc-bifunctors-prof (5.5.13-1) ...
Setting up libghc-tasty-hedgehog-dev (1.2.0.0-2+b3) ...
Setting up python3-scour (0.38.2-2) ...
Setting up libghc-lifted-async-prof (0.10.2.3-1) ...
Setting up libghc-profunctors-prof (5.6.2-1+b3) ...
Setting up libghc-tasty-quickcheck-dev (0.10.2-1+b2) ...
Setting up libghc-assoc-prof (1.0.2-3+b3) ...
Setting up libghc-semigroupoids-prof (5.3.7-1+b3) ...
Setting up libghc-kan-extensions-dev (5.2.5-1+b3) ...
Setting up libghc-these-prof (1.1.1.1-2+b3) ...
Setting up libghc-tasty-hunit-dev (0.10.0.3-1+b1) ...
Setting up libghc-strict-prof (0.4.0.1-1+b3) ...
Setting up libghc-free-prof (5.1.9-1+b4) ...
Setting up scour (0.38.2-2) ...
Setting up libghc-invariant-prof (0.5.6-1+b3) ...
Setting up libghc-hedgehog-prof (1.0.5-1+b3) ...
Setting up cdbs (0.4.166) ...
Setting up libghc-tasty-quickcheck-prof (0.10.2-1+b2) ...
Setting up haskell-devscripts-minimal (0.16.29) ...
Setting up libghc-lens-dev (5.0.1-2+b4) ...
Setting up libghc-tasty-hedgehog-prof (1.2.0.0-2+b3) ...
Setting up libghc-tasty-hunit-prof (0.10.0.3-1+b1) ...
Setting up libghc-adjunctions-prof (4.4.2-1+b2) ...
Setting up libghc-kan-extensions-prof (5.2.5-1+b3) ...
Setting up libghc-lens-prof (5.0.1-2+b4) ...
Setting up libghc-parameterized-utils-dev (2.1.5.0-2+b3) ...
Setting up libghc-bv-sized-dev (1.0.4-2+b3) ...
Setting up libghc-parameterized-utils-prof (2.1.5.0-2+b3) ...
Setting up libghc-tasty-checklist-dev (1.0.4.0-2+b3) ...
Setting up libghc-bv-sized-prof (1.0.4-2+b3) ...
Setting up libghc-tasty-checklist-prof (1.0.4.0-2+b3) ...
Processing triggers for libc-bin (2.36-9+deb12u3) ...
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.31-1.2).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
I: Building the package
I: Running cd /build/reproducible-path/haskell-what4-1.3/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../haskell-what4_1.3-4_source.changes
dpkg-buildpackage: info: source package haskell-what4
dpkg-buildpackage: info: source version 1.3-4
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Scott Talbert <swt@techie.net>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture i386
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
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
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
-E 'make_setup_recipe'
Running ghc --make /usr/share/haskell-devscripts/Setup-Simple.hs -o debian/hlibrary.setup -outputdir debian/tmp-setup-hs
[1 of 1] Compiling Main ( /usr/share/haskell-devscripts/Setup-Simple.hs, debian/tmp-setup-hs/Main.o )
Linking debian/hlibrary.setup ...
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
-E 'configure_recipe'
Running find . ! -newer /tmp/mKBacgF75o -exec touch -d 1998-01-01 UTC {} ;
Running dh_listpackages
libghc-what4-dev
libghc-what4-prof
libghc-what4-doc
haskell-what4-utils
Running dh_listpackages
libghc-what4-dev
libghc-what4-prof
libghc-what4-doc
haskell-what4-utils
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/what4-1.3/ --datasubdir=what4 --htmldir=/usr/share/doc/libghc-what4-doc/html/ --enable-library-profiling --enable-tests
Using Parsec parser
Configuring what4-1.3...
Flags chosen: drealtestdisable=False, solvertests=False, stptestdisable=False
Dependency async: using async-2.2.4
Dependency attoparsec >=0.13: using attoparsec-0.14.4
Dependency base >=4.8 && <5: using base-4.15.1.0
Dependency bifunctors >=5: using bifunctors-5.5.13
Dependency bimap >=0.2: using bimap-0.5.0
Dependency bv-sized >=1.0.0: using bv-sized-1.0.4
Dependency bytestring >=0.10: using bytestring-0.10.12.1
Dependency concurrent-extra >=0.7 && <0.8: using concurrent-extra-0.7.0.12
Dependency config-value >=0.8 && <0.9: using config-value-0.8.3
Dependency containers >=0.5.0.0: using containers-0.6.4.1
Dependency data-binary-ieee754: using data-binary-ieee754-0.4.4
Dependency deepseq >=1.3: using deepseq-1.4.5.0
Dependency deriving-compat >=0.5: using deriving-compat-0.6.1
Dependency directory >=1.2.2: using directory-1.3.6.2
Dependency exceptions >=0.10: using exceptions-0.10.4
Dependency filepath >=1.3: using filepath-1.4.2.1
Dependency fingertree >=0.1.4: using fingertree-0.1.5.0
Dependency ghc-prim >=0.5.2: using ghc-prim-0.7.0
Dependency hashable >=1.3: using hashable-1.3.5.0
Dependency hashtables >=1.2.3: using hashtables-1.2.4.2
Dependency io-streams >=1.5: using io-streams-1.5.2.2
Dependency lens >=4.18: using lens-5.0.1
Dependency libBF >=0.6 && <0.7: using libBF-0.6.5.1
Dependency mtl >=2.2.1: using mtl-2.2.2
Dependency panic >=0.3: using panic-0.4.0.1
Dependency parameterized-utils >=2.1 && <2.2: using
parameterized-utils-2.1.5.0
Dependency prettyprinter >=1.7.0: using prettyprinter-1.7.1
Dependency process >=1.2: using process-1.6.13.2
Dependency scientific >=0.3.6: using scientific-0.3.7.0
Dependency template-haskell: using template-haskell-2.17.0.0
Dependency temporary >=1.2: using temporary-1.3
Dependency text >=1.2.4.0 && <1.3: using text-1.2.5.0
Dependency th-abstraction >=0.1 && <0.5: using th-abstraction-0.4.5.0
Dependency th-lift >=0.8.2 && <0.9: using th-lift-0.8.2
Dependency th-lift-instances >=0.1 && <0.2: using th-lift-instances-0.1.20
Dependency transformers >=0.4: using transformers-0.5.6.2
Dependency unordered-containers >=0.2.10: using unordered-containers-0.2.17.0
Dependency utf8-string >=1.0.1: using utf8-string-1.0.2
Dependency vector >=0.12.1: using vector-0.12.3.1
Dependency versions >=4.0 && <6.0: using versions-5.0.3
Dependency zenc >=0.1.0 && <0.2.0: using zenc-0.1.2
Dependency base: using base-4.15.1.0
Dependency parameterized-utils: using parameterized-utils-2.1.5.0
Dependency what4: using what4-1.3
Dependency base: using base-4.15.1.0
Dependency containers: using containers-0.6.4.1
Dependency parameterized-utils: using parameterized-utils-2.1.5.0
Dependency prettyprinter: using prettyprinter-1.7.1
Dependency tasty >=0.10: using tasty-1.4.2.3
Dependency tasty-checklist >=1.0 && <1.1: using tasty-checklist-1.0.4.0
Dependency tasty-hunit >=0.9: using tasty-hunit-0.10.0.3
Dependency text: using text-1.2.5.0
Dependency what4: using what4-1.3
Dependency base: using base-4.15.1.0
Dependency bv-sized: using bv-sized-1.0.4
Dependency hedgehog >=1.0.2: using hedgehog-1.0.5
Dependency parameterized-utils: using parameterized-utils-2.1.5.0
Dependency tasty >=0.10: using tasty-1.4.2.3
Dependency tasty-hedgehog >=1.2: using tasty-hedgehog-1.2.0.0
Dependency tasty-hunit >=0.9: using tasty-hunit-0.10.0.3
Dependency what4: using what4-1.3
Dependency base: using base-4.15.1.0
Dependency bv-sized: using bv-sized-1.0.4
Dependency containers >=0.5.0.0: using containers-0.6.4.1
Dependency hedgehog >=1.0.2: using hedgehog-1.0.5
Dependency parameterized-utils: using parameterized-utils-2.1.5.0
Dependency tasty >=0.10: using tasty-1.4.2.3
Dependency tasty-hedgehog >=1.2: using tasty-hedgehog-1.2.0.0
Dependency tasty-hunit >=0.9: using tasty-hunit-0.10.0.3
Dependency what4: using what4-1.3
Dependency QuickCheck >=2.12: using QuickCheck-2.14.2
Dependency base: using base-4.15.1.0
Dependency parameterized-utils: using parameterized-utils-2.1.5.0
Dependency tasty >=0.10: using tasty-1.4.2.3
Dependency tasty-quickcheck >=0.10: using tasty-quickcheck-0.10.2
Dependency transformers: using transformers-0.5.6.2
Dependency what4: using what4-1.3
Dependency base: using base-4.15.1.0
Dependency hedgehog >=1.0.2: using hedgehog-1.0.5
Dependency parameterized-utils: using parameterized-utils-2.1.5.0
Dependency tasty >=0.10: using tasty-1.4.2.3
Dependency tasty-hedgehog >=1.2: using tasty-hedgehog-1.2.0.0
Dependency transformers: using transformers-0.5.6.2
Dependency what4: using what4-1.3
Source component graph:
component lib
component exe:quickstart dependency lib
component test:bvdomain_tests dependency lib
component test:bvdomain_tests_hh dependency lib
component test:config-test dependency lib
component test:exprs_tests dependency lib
component test:iteexprs_tests dependency lib
Configured component graph:
component what4-1.3-J5gp03oMhw97ZGyJcdZX2N
include async-2.2.4-ENV3fyyU7vj5F6vRqPBI14
include attoparsec-0.14.4-ASUOPk5RpsVDRcb75ybcSE
include base-4.15.1.0
include bifunctors-5.5.13-1JfXYcs46R3LsCtOUKES8
include bimap-0.5.0-B50oOvET6QCIygIVngWxtm
include bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
include bytestring-0.10.12.1
include concurrent-extra-0.7.0.12-2DUIPRe1Ptc6y3qbjqZjlt
include config-value-0.8.3-3pmzeYU8Vb25WTAZFoPyxS
include containers-0.6.4.1
include data-binary-ieee754-0.4.4-6nKeQnWkGoLJGejCHaRaWS
include deepseq-1.4.5.0
include deriving-compat-0.6.1-BvJm7t1p8LhDVq9PKwDa4q
include directory-1.3.6.2
include exceptions-0.10.4
include filepath-1.4.2.1
include fingertree-0.1.5.0-L2JNmhC92H7HHs5JylzREJ
include ghc-prim-0.7.0
include hashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP
include hashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB
include io-streams-1.5.2.2-HsBHXu4neFdkmdfYZmezZ
include lens-5.0.1-B7a1A9BZUsw85zIM1qf1SF
include libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP
include mtl-2.2.2
include panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include prettyprinter-1.7.1-CjS3pJTG0SQB1zZPfT6eT9
include process-1.6.13.2
include scientific-0.3.7.0-7BCpthzRrIo63GoBWzRPfh
include template-haskell-2.17.0.0
include temporary-1.3-FW3rcq7XCDL8cgO9MswHTe
include text-1.2.5.0
include th-abstraction-0.4.5.0-CPrpKcr2W2S31K8QsJKgDp
include th-lift-0.8.2-47INKJD6iIF1IlUc8HcOrC
include th-lift-instances-0.1.20-Fqwt7md6dPvC4rfkPdDBu5
include transformers-0.5.6.2
include unordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR
include utf8-string-1.0.2-Kajwus4hgwzGme7LMFJJhT
include vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
include versions-5.0.3-LaLnGodTPk9JC5w2gnqxVl
include zenc-0.1.2-2Be0TYdV7vMIYA38HkuHod
component what4-1.3-JkqVutMeEMP2npRd7hGpoF-quickstart
include base-4.15.1.0
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
component what4-1.3-8xGFFwJ0RpVLx3DxJdBMNZ-bvdomain_tests
include QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG
include base-4.15.1.0
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-quickcheck-0.10.2-ES145NFQiix2qFtvGD0Mtz
include transformers-0.5.6.2
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
component what4-1.3-9WfPZPAe3PnYEAFa5NQ4G-bvdomain_tests_hh
include base-4.15.1.0
include hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
include transformers-0.5.6.2
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
component what4-1.3-Ij47FUcA4CD6DKPaHuFhWJ-config-test
include base-4.15.1.0
include containers-0.6.4.1
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include prettyprinter-1.7.1-CjS3pJTG0SQB1zZPfT6eT9
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-checklist-1.0.4.0-15KbbZIDviWAExAdwaVsWT
include tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
include text-1.2.5.0
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
component what4-1.3-G9torF8uciI92m7B4FeQ1V-exprs_tests
include base-4.15.1.0
include bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
include hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
include tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
component what4-1.3-G6Gpf7WuMYwGUnbIH5Atiw-iteexprs_tests
include base-4.15.1.0
include bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
include containers-0.6.4.1
include hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
include tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
Linked component graph:
unit what4-1.3-J5gp03oMhw97ZGyJcdZX2N
include async-2.2.4-ENV3fyyU7vj5F6vRqPBI14
include attoparsec-0.14.4-ASUOPk5RpsVDRcb75ybcSE
include base-4.15.1.0
include bifunctors-5.5.13-1JfXYcs46R3LsCtOUKES8
include bimap-0.5.0-B50oOvET6QCIygIVngWxtm
include bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
include bytestring-0.10.12.1
include concurrent-extra-0.7.0.12-2DUIPRe1Ptc6y3qbjqZjlt
include config-value-0.8.3-3pmzeYU8Vb25WTAZFoPyxS
include containers-0.6.4.1
include data-binary-ieee754-0.4.4-6nKeQnWkGoLJGejCHaRaWS
include deepseq-1.4.5.0
include deriving-compat-0.6.1-BvJm7t1p8LhDVq9PKwDa4q
include directory-1.3.6.2
include exceptions-0.10.4
include filepath-1.4.2.1
include fingertree-0.1.5.0-L2JNmhC92H7HHs5JylzREJ
include ghc-prim-0.7.0
include hashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP
include hashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB
include io-streams-1.5.2.2-HsBHXu4neFdkmdfYZmezZ
include lens-5.0.1-B7a1A9BZUsw85zIM1qf1SF
include libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP
include mtl-2.2.2
include panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include prettyprinter-1.7.1-CjS3pJTG0SQB1zZPfT6eT9
include process-1.6.13.2
include scientific-0.3.7.0-7BCpthzRrIo63GoBWzRPfh
include template-haskell-2.17.0.0
include temporary-1.3-FW3rcq7XCDL8cgO9MswHTe
include text-1.2.5.0
include th-abstraction-0.4.5.0-CPrpKcr2W2S31K8QsJKgDp
include th-lift-0.8.2-47INKJD6iIF1IlUc8HcOrC
include th-lift-instances-0.1.20-Fqwt7md6dPvC4rfkPdDBu5
include transformers-0.5.6.2
include unordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR
include utf8-string-1.0.2-Kajwus4hgwzGme7LMFJJhT
include vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
include versions-5.0.3-LaLnGodTPk9JC5w2gnqxVl
include zenc-0.1.2-2Be0TYdV7vMIYA38HkuHod
Test.Verification=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:Test.Verification,What4.BaseTypes=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.BaseTypes,What4.Concrete=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Concrete,What4.Config=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Config,What4.Expr=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr,What4.Expr.Allocator=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.Allocator,What4.Expr.App=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.App,What4.Expr.AppTheory=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.AppTheory,What4.Expr.ArrayUpdateMap=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.ArrayUpdateMap,What4.Expr.BoolMap=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.BoolMap,What4.Expr.Builder=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.Builder,What4.Expr.GroundEval=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.GroundEval,What4.Expr.MATLAB=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.MATLAB,What4.Expr.Simplify=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.Simplify,What4.Expr.StringSeq=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.StringSeq,What4.Expr.UnaryBV=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.UnaryBV,What4.Expr.VarIdentification=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.VarIdentification,What4.Expr.WeightedSum=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Expr.WeightedSum,What4.FloatMode=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.FloatMode,What4.FunctionName=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.FunctionName,What4.IndexLit=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.IndexLit,What4.Interface=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Interface,What4.InterpretedFloatingPoint=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.InterpretedFloatingPoint,What4.LabeledPred=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.LabeledPred,What4.Panic=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Panic,What4.Partial=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Partial,What4.ProblemFeatures=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.ProblemFeatures,What4.ProgramLoc=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.ProgramLoc,What4.Protocol.Online=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.Online,What4.Protocol.PolyRoot=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.PolyRoot,What4.Protocol.ReadDecimal=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.ReadDecimal,What4.Protocol.SExp=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.SExp,What4.Protocol.SMTLib2=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.SMTLib2,What4.Protocol.SMTLib2.Parse=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.SMTLib2.Parse,What4.Protocol.SMTLib2.Response=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.SMTLib2.Response,What4.Protocol.SMTLib2.Syntax=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.SMTLib2.Syntax,What4.Protocol.SMTWriter=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.SMTWriter,What4.Protocol.VerilogWriter=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.VerilogWriter,What4.Protocol.VerilogWriter.ABCVerilog=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.VerilogWriter.ABCVerilog,What4.Protocol.VerilogWriter.AST=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.VerilogWriter.AST,What4.Protocol.VerilogWriter.Backend=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Protocol.VerilogWriter.Backend,What4.SFloat=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.SFloat,What4.SWord=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.SWord,What4.SatResult=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.SatResult,What4.SemiRing=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.SemiRing,What4.Solver=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver,What4.Solver.Adapter=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.Adapter,What4.Solver.Boolector=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.Boolector,What4.Solver.CVC4=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.CVC4,What4.Solver.DReal=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.DReal,What4.Solver.ExternalABC=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.ExternalABC,What4.Solver.STP=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.STP,What4.Solver.Yices=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.Yices,What4.Solver.Z3=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Solver.Z3,What4.SpecialFunctions=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.SpecialFunctions,What4.Symbol=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Symbol,What4.Utils.AbstractDomains=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.AbstractDomains,What4.Utils.AnnotatedMap=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.AnnotatedMap,What4.Utils.Arithmetic=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Arithmetic,What4.Utils.BVDomain=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.BVDomain,What4.Utils.BVDomain.Arith=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.BVDomain.Arith,What4.Utils.BVDomain.Bitwise=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.BVDomain.Bitwise,What4.Utils.BVDomain.XOR=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.BVDomain.XOR,What4.Utils.Complex=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Complex,What4.Utils.Endian=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Endian,What4.Utils.Environment=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Environment,What4.Utils.FloatHelpers=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.FloatHelpers,What4.Utils.HandleReader=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.HandleReader,What4.Utils.IncrHash=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.IncrHash,What4.Utils.LeqMap=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.LeqMap,What4.Utils.MonadST=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.MonadST,What4.Utils.OnlyIntRepr=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.OnlyIntRepr,What4.Utils.Process=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Process,What4.Utils.ResolveBounds.BV=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.ResolveBounds.BV,What4.Utils.Streams=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Streams,What4.Utils.StringLiteral=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.StringLiteral,What4.Utils.Versions=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Versions,What4.Utils.Word16String=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.Utils.Word16String,What4.WordMap=what4-1.3-J5gp03oMhw97ZGyJcdZX2N:What4.WordMap
unit what4-1.3-JkqVutMeEMP2npRd7hGpoF-quickstart
include base-4.15.1.0
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
unit what4-1.3-8xGFFwJ0RpVLx3DxJdBMNZ-bvdomain_tests
include QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG
include base-4.15.1.0
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-quickcheck-0.10.2-ES145NFQiix2qFtvGD0Mtz
include transformers-0.5.6.2
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
unit what4-1.3-9WfPZPAe3PnYEAFa5NQ4G-bvdomain_tests_hh
include base-4.15.1.0
include hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
include transformers-0.5.6.2
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
unit what4-1.3-Ij47FUcA4CD6DKPaHuFhWJ-config-test
include base-4.15.1.0
include containers-0.6.4.1
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include prettyprinter-1.7.1-CjS3pJTG0SQB1zZPfT6eT9
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-checklist-1.0.4.0-15KbbZIDviWAExAdwaVsWT
include tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
include text-1.2.5.0
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
unit what4-1.3-G9torF8uciI92m7B4FeQ1V-exprs_tests
include base-4.15.1.0
include bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
include hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
include tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
unit what4-1.3-G6Gpf7WuMYwGUnbIH5Atiw-iteexprs_tests
include base-4.15.1.0
include bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
include containers-0.6.4.1
include hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
include parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
include tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
include tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
include tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
include what4-1.3-J5gp03oMhw97ZGyJcdZX2N
Ready component graph:
definite what4-1.3-J5gp03oMhw97ZGyJcdZX2N
depends async-2.2.4-ENV3fyyU7vj5F6vRqPBI14
depends attoparsec-0.14.4-ASUOPk5RpsVDRcb75ybcSE
depends base-4.15.1.0
depends bifunctors-5.5.13-1JfXYcs46R3LsCtOUKES8
depends bimap-0.5.0-B50oOvET6QCIygIVngWxtm
depends bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
depends bytestring-0.10.12.1
depends concurrent-extra-0.7.0.12-2DUIPRe1Ptc6y3qbjqZjlt
depends config-value-0.8.3-3pmzeYU8Vb25WTAZFoPyxS
depends containers-0.6.4.1
depends data-binary-ieee754-0.4.4-6nKeQnWkGoLJGejCHaRaWS
depends deepseq-1.4.5.0
depends deriving-compat-0.6.1-BvJm7t1p8LhDVq9PKwDa4q
depends directory-1.3.6.2
depends exceptions-0.10.4
depends filepath-1.4.2.1
depends fingertree-0.1.5.0-L2JNmhC92H7HHs5JylzREJ
depends ghc-prim-0.7.0
depends hashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP
depends hashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB
depends io-streams-1.5.2.2-HsBHXu4neFdkmdfYZmezZ
depends lens-5.0.1-B7a1A9BZUsw85zIM1qf1SF
depends libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP
depends mtl-2.2.2
depends panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends prettyprinter-1.7.1-CjS3pJTG0SQB1zZPfT6eT9
depends process-1.6.13.2
depends scientific-0.3.7.0-7BCpthzRrIo63GoBWzRPfh
depends template-haskell-2.17.0.0
depends temporary-1.3-FW3rcq7XCDL8cgO9MswHTe
depends text-1.2.5.0
depends th-abstraction-0.4.5.0-CPrpKcr2W2S31K8QsJKgDp
depends th-lift-0.8.2-47INKJD6iIF1IlUc8HcOrC
depends th-lift-instances-0.1.20-Fqwt7md6dPvC4rfkPdDBu5
depends transformers-0.5.6.2
depends unordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR
depends utf8-string-1.0.2-Kajwus4hgwzGme7LMFJJhT
depends vector-0.12.3.1-TXkE6leK98EdYcmdk29JF
depends versions-5.0.3-LaLnGodTPk9JC5w2gnqxVl
depends zenc-0.1.2-2Be0TYdV7vMIYA38HkuHod
definite what4-1.3-JkqVutMeEMP2npRd7hGpoF-quickstart
depends base-4.15.1.0
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends what4-1.3-J5gp03oMhw97ZGyJcdZX2N
definite what4-1.3-Ij47FUcA4CD6DKPaHuFhWJ-config-test
depends base-4.15.1.0
depends containers-0.6.4.1
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends prettyprinter-1.7.1-CjS3pJTG0SQB1zZPfT6eT9
depends tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
depends tasty-checklist-1.0.4.0-15KbbZIDviWAExAdwaVsWT
depends tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
depends text-1.2.5.0
depends what4-1.3-J5gp03oMhw97ZGyJcdZX2N
definite what4-1.3-G9torF8uciI92m7B4FeQ1V-exprs_tests
depends base-4.15.1.0
depends bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
depends hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
depends tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
depends tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
depends what4-1.3-J5gp03oMhw97ZGyJcdZX2N
definite what4-1.3-G6Gpf7WuMYwGUnbIH5Atiw-iteexprs_tests
depends base-4.15.1.0
depends bv-sized-1.0.4-3glsFqPCuqwDIjztZAnNC1
depends containers-0.6.4.1
depends hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
depends tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
depends tasty-hunit-0.10.0.3-FakCucTvSaNIoDOmxS2SdO
depends what4-1.3-J5gp03oMhw97ZGyJcdZX2N
definite what4-1.3-9WfPZPAe3PnYEAFa5NQ4G-bvdomain_tests_hh
depends base-4.15.1.0
depends hedgehog-1.0.5-Ksgraf8egUH502kFKwEbMe
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
depends tasty-hedgehog-1.2.0.0-BDEaOWRIEVqBBJk2qt8iGk
depends transformers-0.5.6.2
depends what4-1.3-J5gp03oMhw97ZGyJcdZX2N
definite what4-1.3-8xGFFwJ0RpVLx3DxJdBMNZ-bvdomain_tests
depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG
depends base-4.15.1.0
depends parameterized-utils-2.1.5.0-5TtSvGnj7OJ4VL34SjWqUW
depends tasty-1.4.2.3-2IGFyXvgs0G3UGcyBkgZfP
depends tasty-quickcheck-0.10.2-ES145NFQiix2qFtvGD0Mtz
depends transformers-0.5.6.2
depends what4-1.3-J5gp03oMhw97ZGyJcdZX2N
Using Cabal-3.4.1.0 compiled by ghc-9.0
Using compiler: ghc-9.0.2
Using install prefix: /usr
Executables installed in: /usr/bin
Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2/what4-1.3-J5gp03oMhw97ZGyJcdZX2N
Dynamic Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/i386-linux-ghc-9.0.2
Private executables installed in: /usr/lib/i386-linux-ghc-9.0.2/what4-1.3
Data files installed in: /usr/share/what4
Documentation installed in: /usr/share/doc/i386-linux-ghc-9.0.2/what4-1.3
Configuration files installed in: /usr/etc
No alex found
Using ar found on system at: /usr/bin/i686-linux-gnu-ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 12 found on system at: /usr/bin/i686-linux-gnu-gcc
Using ghc version 9.0.2 found on system at: /usr/bin/ghc
Using ghc-pkg version 9.0.2 found on system at: /usr/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.25.1 found on system at: /usr/bin/haddock
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
Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs
No hscolour found
No jhc found
Using ld found on system at: /usr/bin/i686-linux-gnu-ld.gold
No pkg-config found
Using runghc version 9.0.2 found on system at: /usr/bin/runghc
Using strip version 2.40 found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar
No uhc found
touch configure-ghc-stamp
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
-E 'build_recipe'
Running dh_listpackages
libghc-what4-dev
libghc-what4-prof
libghc-what4-doc
haskell-what4-utils
Preprocessing library for what4-1.3..
Building library for what4-1.3..
[ 1 of 79] Compiling Test.Verification ( src/Test/Verification.hs, dist-ghc/build/Test/Verification.o, dist-ghc/build/Test/Verification.dyn_o )
[ 2 of 79] Compiling What4.BaseTypes ( src/What4/BaseTypes.hs, dist-ghc/build/What4/BaseTypes.o, dist-ghc/build/What4/BaseTypes.dyn_o )
[ 3 of 79] Compiling What4.FloatMode ( src/What4/FloatMode.hs, dist-ghc/build/What4/FloatMode.o, dist-ghc/build/What4/FloatMode.dyn_o )
[ 4 of 79] Compiling What4.FunctionName ( src/What4/FunctionName.hs, dist-ghc/build/What4/FunctionName.o, dist-ghc/build/What4/FunctionName.dyn_o )
[ 5 of 79] Compiling What4.IndexLit ( src/What4/IndexLit.hs, dist-ghc/build/What4/IndexLit.o, dist-ghc/build/What4/IndexLit.dyn_o )
[ 6 of 79] Compiling What4.Panic ( src/What4/Panic.hs, dist-ghc/build/What4/Panic.o, dist-ghc/build/What4/Panic.dyn_o )
[ 7 of 79] Compiling What4.ProblemFeatures ( src/What4/ProblemFeatures.hs, dist-ghc/build/What4/ProblemFeatures.o, dist-ghc/build/What4/ProblemFeatures.dyn_o )
[ 8 of 79] Compiling What4.ProgramLoc ( src/What4/ProgramLoc.hs, dist-ghc/build/What4/ProgramLoc.o, dist-ghc/build/What4/ProgramLoc.dyn_o )
[ 9 of 79] Compiling What4.Protocol.PolyRoot ( src/What4/Protocol/PolyRoot.hs, dist-ghc/build/What4/Protocol/PolyRoot.o, dist-ghc/build/What4/Protocol/PolyRoot.dyn_o )
[10 of 79] Compiling What4.Protocol.ReadDecimal ( src/What4/Protocol/ReadDecimal.hs, dist-ghc/build/What4/Protocol/ReadDecimal.o, dist-ghc/build/What4/Protocol/ReadDecimal.dyn_o )
[11 of 79] Compiling What4.Protocol.SExp ( src/What4/Protocol/SExp.hs, dist-ghc/build/What4/Protocol/SExp.o, dist-ghc/build/What4/Protocol/SExp.dyn_o )
[12 of 79] Compiling What4.Protocol.SMTLib2.Parse ( src/What4/Protocol/SMTLib2/Parse.hs, dist-ghc/build/What4/Protocol/SMTLib2/Parse.o, dist-ghc/build/What4/Protocol/SMTLib2/Parse.dyn_o )
[13 of 79] Compiling What4.Protocol.SMTLib2.Syntax ( src/What4/Protocol/SMTLib2/Syntax.hs, dist-ghc/build/What4/Protocol/SMTLib2/Syntax.o, dist-ghc/build/What4/Protocol/SMTLib2/Syntax.dyn_o )
[14 of 79] Compiling What4.SatResult ( src/What4/SatResult.hs, dist-ghc/build/What4/SatResult.o, dist-ghc/build/What4/SatResult.dyn_o )
[15 of 79] Compiling What4.SemiRing ( src/What4/SemiRing.hs, dist-ghc/build/What4/SemiRing.o, dist-ghc/build/What4/SemiRing.dyn_o )
[16 of 79] Compiling What4.SpecialFunctions ( src/What4/SpecialFunctions.hs, dist-ghc/build/What4/SpecialFunctions.o, dist-ghc/build/What4/SpecialFunctions.dyn_o )
[17 of 79] Compiling What4.Symbol ( src/What4/Symbol.hs, dist-ghc/build/What4/Symbol.o, dist-ghc/build/What4/Symbol.dyn_o )
[18 of 79] Compiling What4.Utils.AnnotatedMap ( src/What4/Utils/AnnotatedMap.hs, dist-ghc/build/What4/Utils/AnnotatedMap.o, dist-ghc/build/What4/Utils/AnnotatedMap.dyn_o )
[19 of 79] Compiling What4.Utils.Arithmetic ( src/What4/Utils/Arithmetic.hs, dist-ghc/build/What4/Utils/Arithmetic.o, dist-ghc/build/What4/Utils/Arithmetic.dyn_o )
[20 of 79] Compiling What4.Utils.BVDomain.Arith ( src/What4/Utils/BVDomain/Arith.hs, dist-ghc/build/What4/Utils/BVDomain/Arith.o, dist-ghc/build/What4/Utils/BVDomain/Arith.dyn_o )
[21 of 79] Compiling What4.Utils.BVDomain.Bitwise ( src/What4/Utils/BVDomain/Bitwise.hs, dist-ghc/build/What4/Utils/BVDomain/Bitwise.o, dist-ghc/build/What4/Utils/BVDomain/Bitwise.dyn_o )
[22 of 79] Compiling What4.Utils.BVDomain.XOR ( src/What4/Utils/BVDomain/XOR.hs, dist-ghc/build/What4/Utils/BVDomain/XOR.o, dist-ghc/build/What4/Utils/BVDomain/XOR.dyn_o )
[23 of 79] Compiling What4.Utils.BVDomain ( src/What4/Utils/BVDomain.hs, dist-ghc/build/What4/Utils/BVDomain.o, dist-ghc/build/What4/Utils/BVDomain.dyn_o )
[24 of 79] Compiling What4.Utils.Complex ( src/What4/Utils/Complex.hs, dist-ghc/build/What4/Utils/Complex.o, dist-ghc/build/What4/Utils/Complex.dyn_o )
[25 of 79] Compiling What4.Utils.Endian ( src/What4/Utils/Endian.hs, dist-ghc/build/What4/Utils/Endian.o, dist-ghc/build/What4/Utils/Endian.dyn_o )
[26 of 79] Compiling What4.Utils.Environment ( src/What4/Utils/Environment.hs, dist-ghc/build/What4/Utils/Environment.o, dist-ghc/build/What4/Utils/Environment.dyn_o )
[27 of 79] Compiling What4.Utils.FloatHelpers ( src/What4/Utils/FloatHelpers.hs, dist-ghc/build/What4/Utils/FloatHelpers.o, dist-ghc/build/What4/Utils/FloatHelpers.dyn_o )
[28 of 79] Compiling What4.Utils.HandleReader ( src/What4/Utils/HandleReader.hs, dist-ghc/build/What4/Utils/HandleReader.o, dist-ghc/build/What4/Utils/HandleReader.dyn_o )
[29 of 79] Compiling What4.Utils.IncrHash ( src/What4/Utils/IncrHash.hs, dist-ghc/build/What4/Utils/IncrHash.o, dist-ghc/build/What4/Utils/IncrHash.dyn_o )
[30 of 79] Compiling What4.Expr.BoolMap ( src/What4/Expr/BoolMap.hs, dist-ghc/build/What4/Expr/BoolMap.o, dist-ghc/build/What4/Expr/BoolMap.dyn_o )
[31 of 79] Compiling What4.Utils.LeqMap ( src/What4/Utils/LeqMap.hs, dist-ghc/build/What4/Utils/LeqMap.o, dist-ghc/build/What4/Utils/LeqMap.dyn_o )
[32 of 79] Compiling What4.Utils.MonadST ( src/What4/Utils/MonadST.hs, dist-ghc/build/What4/Utils/MonadST.o, dist-ghc/build/What4/Utils/MonadST.dyn_o )
[33 of 79] Compiling What4.Utils.OnlyIntRepr ( src/What4/Utils/OnlyIntRepr.hs, dist-ghc/build/What4/Utils/OnlyIntRepr.o, dist-ghc/build/What4/Utils/OnlyIntRepr.dyn_o )
[34 of 79] Compiling What4.Utils.Streams ( src/What4/Utils/Streams.hs, dist-ghc/build/What4/Utils/Streams.o, dist-ghc/build/What4/Utils/Streams.dyn_o )
[35 of 79] Compiling What4.Utils.Versions ( src/What4/Utils/Versions.hs, dist-ghc/build/What4/Utils/Versions.o, dist-ghc/build/What4/Utils/Versions.dyn_o )
[36 of 79] Compiling What4.Utils.Word16String ( src/What4/Utils/Word16String.hs, dist-ghc/build/What4/Utils/Word16String.o, dist-ghc/build/What4/Utils/Word16String.dyn_o )
[37 of 79] Compiling What4.Utils.StringLiteral ( src/What4/Utils/StringLiteral.hs, dist-ghc/build/What4/Utils/StringLiteral.o, dist-ghc/build/What4/Utils/StringLiteral.dyn_o )
[38 of 79] Compiling What4.Utils.AbstractDomains ( src/What4/Utils/AbstractDomains.hs, dist-ghc/build/What4/Utils/AbstractDomains.o, dist-ghc/build/What4/Utils/AbstractDomains.dyn_o )
[39 of 79] Compiling What4.Expr.WeightedSum ( src/What4/Expr/WeightedSum.hs, dist-ghc/build/What4/Expr/WeightedSum.o, dist-ghc/build/What4/Expr/WeightedSum.dyn_o )
[40 of 79] Compiling What4.Expr.ArrayUpdateMap ( src/What4/Expr/ArrayUpdateMap.hs, dist-ghc/build/What4/Expr/ArrayUpdateMap.o, dist-ghc/build/What4/Expr/ArrayUpdateMap.dyn_o )
[41 of 79] Compiling What4.Concrete ( src/What4/Concrete.hs, dist-ghc/build/What4/Concrete.o, dist-ghc/build/What4/Concrete.dyn_o )
[42 of 79] Compiling What4.Config ( src/What4/Config.hs, dist-ghc/build/What4/Config.o, dist-ghc/build/What4/Config.dyn_o )
[43 of 79] Compiling What4.Utils.Process ( src/What4/Utils/Process.hs, dist-ghc/build/What4/Utils/Process.o, dist-ghc/build/What4/Utils/Process.dyn_o )
[44 of 79] Compiling What4.Interface ( src/What4/Interface.hs, dist-ghc/build/What4/Interface.o, dist-ghc/build/What4/Interface.dyn_o )
[45 of 79] Compiling What4.SWord ( src/What4/SWord.hs, dist-ghc/build/What4/SWord.o, dist-ghc/build/What4/SWord.dyn_o )
[46 of 79] Compiling What4.SFloat ( src/What4/SFloat.hs, dist-ghc/build/What4/SFloat.o, dist-ghc/build/What4/SFloat.dyn_o )
[47 of 79] Compiling What4.Partial ( src/What4/Partial.hs, dist-ghc/build/What4/Partial.o, dist-ghc/build/What4/Partial.dyn_o )
[48 of 79] Compiling What4.LabeledPred ( src/What4/LabeledPred.hs, dist-ghc/build/What4/LabeledPred.o, dist-ghc/build/What4/LabeledPred.dyn_o )
[49 of 79] Compiling What4.InterpretedFloatingPoint ( src/What4/InterpretedFloatingPoint.hs, dist-ghc/build/What4/InterpretedFloatingPoint.o, dist-ghc/build/What4/InterpretedFloatingPoint.dyn_o )
[50 of 79] Compiling What4.Expr.UnaryBV ( src/What4/Expr/UnaryBV.hs, dist-ghc/build/What4/Expr/UnaryBV.o, dist-ghc/build/What4/Expr/UnaryBV.dyn_o )
[51 of 79] Compiling What4.Expr.StringSeq ( src/What4/Expr/StringSeq.hs, dist-ghc/build/What4/Expr/StringSeq.o, dist-ghc/build/What4/Expr/StringSeq.dyn_o )
[52 of 79] Compiling What4.Expr.MATLAB ( src/What4/Expr/MATLAB.hs, dist-ghc/build/What4/Expr/MATLAB.o, dist-ghc/build/What4/Expr/MATLAB.dyn_o )
[53 of 79] Compiling What4.Expr.App ( src/What4/Expr/App.hs, dist-ghc/build/What4/Expr/App.o, dist-ghc/build/What4/Expr/App.dyn_o )
[54 of 79] Compiling What4.Expr.AppTheory ( src/What4/Expr/AppTheory.hs, dist-ghc/build/What4/Expr/AppTheory.o, dist-ghc/build/What4/Expr/AppTheory.dyn_o )
[55 of 79] Compiling What4.Expr.VarIdentification ( src/What4/Expr/VarIdentification.hs, dist-ghc/build/What4/Expr/VarIdentification.o, dist-ghc/build/What4/Expr/VarIdentification.dyn_o )
[56 of 79] Compiling What4.Expr.Allocator ( src/What4/Expr/Allocator.hs, dist-ghc/build/What4/Expr/Allocator.o, dist-ghc/build/What4/Expr/Allocator.dyn_o )
[57 of 79] Compiling What4.Expr.Builder ( src/What4/Expr/Builder.hs, dist-ghc/build/What4/Expr/Builder.o, dist-ghc/build/What4/Expr/Builder.dyn_o )
[58 of 79] Compiling What4.Protocol.VerilogWriter.AST ( src/What4/Protocol/VerilogWriter/AST.hs, dist-ghc/build/What4/Protocol/VerilogWriter/AST.o, dist-ghc/build/What4/Protocol/VerilogWriter/AST.dyn_o )
[59 of 79] Compiling What4.Protocol.VerilogWriter.Backend ( src/What4/Protocol/VerilogWriter/Backend.hs, dist-ghc/build/What4/Protocol/VerilogWriter/Backend.o, dist-ghc/build/What4/Protocol/VerilogWriter/Backend.dyn_o )
[60 of 79] Compiling What4.Protocol.VerilogWriter.ABCVerilog ( src/What4/Protocol/VerilogWriter/ABCVerilog.hs, dist-ghc/build/What4/Protocol/VerilogWriter/ABCVerilog.o, dist-ghc/build/What4/Protocol/VerilogWriter/ABCVerilog.dyn_o )
[61 of 79] Compiling What4.Protocol.VerilogWriter ( src/What4/Protocol/VerilogWriter.hs, dist-ghc/build/What4/Protocol/VerilogWriter.o, dist-ghc/build/What4/Protocol/VerilogWriter.dyn_o )
[62 of 79] Compiling What4.Expr.Simplify ( src/What4/Expr/Simplify.hs, dist-ghc/build/What4/Expr/Simplify.o, dist-ghc/build/What4/Expr/Simplify.dyn_o )
[63 of 79] Compiling What4.Expr.GroundEval ( src/What4/Expr/GroundEval.hs, dist-ghc/build/What4/Expr/GroundEval.o, dist-ghc/build/What4/Expr/GroundEval.dyn_o )
[64 of 79] Compiling What4.Solver.Adapter ( src/What4/Solver/Adapter.hs, dist-ghc/build/What4/Solver/Adapter.o, dist-ghc/build/What4/Solver/Adapter.dyn_o )
[65 of 79] Compiling What4.Protocol.SMTWriter ( src/What4/Protocol/SMTWriter.hs, dist-ghc/build/What4/Protocol/SMTWriter.o, dist-ghc/build/What4/Protocol/SMTWriter.dyn_o )
[66 of 79] Compiling What4.Protocol.SMTLib2.Response ( src/What4/Protocol/SMTLib2/Response.hs, dist-ghc/build/What4/Protocol/SMTLib2/Response.o, dist-ghc/build/What4/Protocol/SMTLib2/Response.dyn_o )
[67 of 79] Compiling What4.Expr ( src/What4/Expr.hs, dist-ghc/build/What4/Expr.o, dist-ghc/build/What4/Expr.dyn_o )
[68 of 79] Compiling What4.Protocol.Online ( src/What4/Protocol/Online.hs, dist-ghc/build/What4/Protocol/Online.o, dist-ghc/build/What4/Protocol/Online.dyn_o )
[69 of 79] Compiling What4.Utils.ResolveBounds.BV ( src/What4/Utils/ResolveBounds/BV.hs, dist-ghc/build/What4/Utils/ResolveBounds/BV.o, dist-ghc/build/What4/Utils/ResolveBounds/BV.dyn_o )
[70 of 79] Compiling What4.Protocol.SMTLib2 ( src/What4/Protocol/SMTLib2.hs, dist-ghc/build/What4/Protocol/SMTLib2.o, dist-ghc/build/What4/Protocol/SMTLib2.dyn_o )
[71 of 79] Compiling What4.Solver.Z3 ( src/What4/Solver/Z3.hs, dist-ghc/build/What4/Solver/Z3.o, dist-ghc/build/What4/Solver/Z3.dyn_o )
[72 of 79] Compiling What4.Solver.Yices ( src/What4/Solver/Yices.hs, dist-ghc/build/What4/Solver/Yices.o, dist-ghc/build/What4/Solver/Yices.dyn_o )
[73 of 79] Compiling What4.Solver.STP ( src/What4/Solver/STP.hs, dist-ghc/build/What4/Solver/STP.o, dist-ghc/build/What4/Solver/STP.dyn_o )
[74 of 79] Compiling What4.Solver.ExternalABC ( src/What4/Solver/ExternalABC.hs, dist-ghc/build/What4/Solver/ExternalABC.o, dist-ghc/build/What4/Solver/ExternalABC.dyn_o )
[75 of 79] Compiling What4.Solver.DReal ( src/What4/Solver/DReal.hs, dist-ghc/build/What4/Solver/DReal.o, dist-ghc/build/What4/Solver/DReal.dyn_o )
[76 of 79] Compiling What4.Solver.CVC4 ( src/What4/Solver/CVC4.hs, dist-ghc/build/What4/Solver/CVC4.o, dist-ghc/build/What4/Solver/CVC4.dyn_o )
[77 of 79] Compiling What4.Solver.Boolector ( src/What4/Solver/Boolector.hs, dist-ghc/build/What4/Solver/Boolector.o, dist-ghc/build/What4/Solver/Boolector.dyn_o )
[78 of 79] Compiling What4.Solver ( src/What4/Solver.hs, dist-ghc/build/What4/Solver.o, dist-ghc/build/What4/Solver.dyn_o )
[79 of 79] Compiling What4.WordMap ( src/What4/WordMap.hs, dist-ghc/build/What4/WordMap.o, dist-ghc/build/What4/WordMap.dyn_o )
[ 1 of 79] Compiling Test.Verification ( src/Test/Verification.hs, dist-ghc/build/Test/Verification.p_o )
[ 2 of 79] Compiling What4.BaseTypes ( src/What4/BaseTypes.hs, dist-ghc/build/What4/BaseTypes.p_o )
[ 3 of 79] Compiling What4.FloatMode ( src/What4/FloatMode.hs, dist-ghc/build/What4/FloatMode.p_o )
[ 4 of 79] Compiling What4.FunctionName ( src/What4/FunctionName.hs, dist-ghc/build/What4/FunctionName.p_o )
[ 5 of 79] Compiling What4.IndexLit ( src/What4/IndexLit.hs, dist-ghc/build/What4/IndexLit.p_o )
[ 6 of 79] Compiling What4.Panic ( src/What4/Panic.hs, dist-ghc/build/What4/Panic.p_o )
[ 7 of 79] Compiling What4.ProblemFeatures ( src/What4/ProblemFeatures.hs, dist-ghc/build/What4/ProblemFeatures.p_o )
[ 8 of 79] Compiling What4.ProgramLoc ( src/What4/ProgramLoc.hs, dist-ghc/build/What4/ProgramLoc.p_o )
[ 9 of 79] Compiling What4.Protocol.PolyRoot ( src/What4/Protocol/PolyRoot.hs, dist-ghc/build/What4/Protocol/PolyRoot.p_o )
[10 of 79] Compiling What4.Protocol.ReadDecimal ( src/What4/Protocol/ReadDecimal.hs, dist-ghc/build/What4/Protocol/ReadDecimal.p_o )
[11 of 79] Compiling What4.Protocol.SExp ( src/What4/Protocol/SExp.hs, dist-ghc/build/What4/Protocol/SExp.p_o )
[12 of 79] Compiling What4.Protocol.SMTLib2.Parse ( src/What4/Protocol/SMTLib2/Parse.hs, dist-ghc/build/What4/Protocol/SMTLib2/Parse.p_o )
[13 of 79] Compiling What4.Protocol.SMTLib2.Syntax ( src/What4/Protocol/SMTLib2/Syntax.hs, dist-ghc/build/What4/Protocol/SMTLib2/Syntax.p_o )
[14 of 79] Compiling What4.SatResult ( src/What4/SatResult.hs, dist-ghc/build/What4/SatResult.p_o )
[15 of 79] Compiling What4.SemiRing ( src/What4/SemiRing.hs, dist-ghc/build/What4/SemiRing.p_o )
[16 of 79] Compiling What4.SpecialFunctions ( src/What4/SpecialFunctions.hs, dist-ghc/build/What4/SpecialFunctions.p_o )
[17 of 79] Compiling What4.Symbol ( src/What4/Symbol.hs, dist-ghc/build/What4/Symbol.p_o )
[18 of 79] Compiling What4.Utils.AnnotatedMap ( src/What4/Utils/AnnotatedMap.hs, dist-ghc/build/What4/Utils/AnnotatedMap.p_o )
[19 of 79] Compiling What4.Utils.Arithmetic ( src/What4/Utils/Arithmetic.hs, dist-ghc/build/What4/Utils/Arithmetic.p_o )
[20 of 79] Compiling What4.Utils.BVDomain.Arith ( src/What4/Utils/BVDomain/Arith.hs, dist-ghc/build/What4/Utils/BVDomain/Arith.p_o )
[21 of 79] Compiling What4.Utils.BVDomain.Bitwise ( src/What4/Utils/BVDomain/Bitwise.hs, dist-ghc/build/What4/Utils/BVDomain/Bitwise.p_o )
[22 of 79] Compiling What4.Utils.BVDomain.XOR ( src/What4/Utils/BVDomain/XOR.hs, dist-ghc/build/What4/Utils/BVDomain/XOR.p_o )
[23 of 79] Compiling What4.Utils.BVDomain ( src/What4/Utils/BVDomain.hs, dist-ghc/build/What4/Utils/BVDomain.p_o )
[24 of 79] Compiling What4.Utils.Complex ( src/What4/Utils/Complex.hs, dist-ghc/build/What4/Utils/Complex.p_o )
[25 of 79] Compiling What4.Utils.Endian ( src/What4/Utils/Endian.hs, dist-ghc/build/What4/Utils/Endian.p_o )
[26 of 79] Compiling What4.Utils.Environment ( src/What4/Utils/Environment.hs, dist-ghc/build/What4/Utils/Environment.p_o )
[27 of 79] Compiling What4.Utils.FloatHelpers ( src/What4/Utils/FloatHelpers.hs, dist-ghc/build/What4/Utils/FloatHelpers.p_o )
[28 of 79] Compiling What4.Utils.HandleReader ( src/What4/Utils/HandleReader.hs, dist-ghc/build/What4/Utils/HandleReader.p_o )
[29 of 79] Compiling What4.Utils.IncrHash ( src/What4/Utils/IncrHash.hs, dist-ghc/build/What4/Utils/IncrHash.p_o )
[30 of 79] Compiling What4.Expr.BoolMap ( src/What4/Expr/BoolMap.hs, dist-ghc/build/What4/Expr/BoolMap.p_o )
[31 of 79] Compiling What4.Utils.LeqMap ( src/What4/Utils/LeqMap.hs, dist-ghc/build/What4/Utils/LeqMap.p_o )
[32 of 79] Compiling What4.Utils.MonadST ( src/What4/Utils/MonadST.hs, dist-ghc/build/What4/Utils/MonadST.p_o )
[33 of 79] Compiling What4.Utils.OnlyIntRepr ( src/What4/Utils/OnlyIntRepr.hs, dist-ghc/build/What4/Utils/OnlyIntRepr.p_o )
[34 of 79] Compiling What4.Utils.Streams ( src/What4/Utils/Streams.hs, dist-ghc/build/What4/Utils/Streams.p_o )
[35 of 79] Compiling What4.Utils.Versions ( src/What4/Utils/Versions.hs, dist-ghc/build/What4/Utils/Versions.p_o )
[36 of 79] Compiling What4.Utils.Word16String ( src/What4/Utils/Word16String.hs, dist-ghc/build/What4/Utils/Word16String.p_o )
[37 of 79] Compiling What4.Utils.StringLiteral ( src/What4/Utils/StringLiteral.hs, dist-ghc/build/What4/Utils/StringLiteral.p_o )
[38 of 79] Compiling What4.Utils.AbstractDomains ( src/What4/Utils/AbstractDomains.hs, dist-ghc/build/What4/Utils/AbstractDomains.p_o )
[39 of 79] Compiling What4.Expr.WeightedSum ( src/What4/Expr/WeightedSum.hs, dist-ghc/build/What4/Expr/WeightedSum.p_o )
[40 of 79] Compiling What4.Expr.ArrayUpdateMap ( src/What4/Expr/ArrayUpdateMap.hs, dist-ghc/build/What4/Expr/ArrayUpdateMap.p_o )
[41 of 79] Compiling What4.Concrete ( src/What4/Concrete.hs, dist-ghc/build/What4/Concrete.p_o )
[42 of 79] Compiling What4.Config ( src/What4/Config.hs, dist-ghc/build/What4/Config.p_o )
[43 of 79] Compiling What4.Utils.Process ( src/What4/Utils/Process.hs, dist-ghc/build/What4/Utils/Process.p_o )
[44 of 79] Compiling What4.Interface ( src/What4/Interface.hs, dist-ghc/build/What4/Interface.p_o )
[45 of 79] Compiling What4.SWord ( src/What4/SWord.hs, dist-ghc/build/What4/SWord.p_o )
[46 of 79] Compiling What4.SFloat ( src/What4/SFloat.hs, dist-ghc/build/What4/SFloat.p_o )
[47 of 79] Compiling What4.Partial ( src/What4/Partial.hs, dist-ghc/build/What4/Partial.p_o )
[48 of 79] Compiling What4.LabeledPred ( src/What4/LabeledPred.hs, dist-ghc/build/What4/LabeledPred.p_o )
[49 of 79] Compiling What4.InterpretedFloatingPoint ( src/What4/InterpretedFloatingPoint.hs, dist-ghc/build/What4/InterpretedFloatingPoint.p_o )
[50 of 79] Compiling What4.Expr.UnaryBV ( src/What4/Expr/UnaryBV.hs, dist-ghc/build/What4/Expr/UnaryBV.p_o )
[51 of 79] Compiling What4.Expr.StringSeq ( src/What4/Expr/StringSeq.hs, dist-ghc/build/What4/Expr/StringSeq.p_o )
[52 of 79] Compiling What4.Expr.MATLAB ( src/What4/Expr/MATLAB.hs, dist-ghc/build/What4/Expr/MATLAB.p_o )
[53 of 79] Compiling What4.Expr.App ( src/What4/Expr/App.hs, dist-ghc/build/What4/Expr/App.p_o )
[54 of 79] Compiling What4.Expr.AppTheory ( src/What4/Expr/AppTheory.hs, dist-ghc/build/What4/Expr/AppTheory.p_o )
[55 of 79] Compiling What4.Expr.VarIdentification ( src/What4/Expr/VarIdentification.hs, dist-ghc/build/What4/Expr/VarIdentification.p_o )
[56 of 79] Compiling What4.Expr.Allocator ( src/What4/Expr/Allocator.hs, dist-ghc/build/What4/Expr/Allocator.p_o )
[57 of 79] Compiling What4.Expr.Builder ( src/What4/Expr/Builder.hs, dist-ghc/build/What4/Expr/Builder.p_o )
[58 of 79] Compiling What4.Protocol.VerilogWriter.AST ( src/What4/Protocol/VerilogWriter/AST.hs, dist-ghc/build/What4/Protocol/VerilogWriter/AST.p_o )
[59 of 79] Compiling What4.Protocol.VerilogWriter.Backend ( src/What4/Protocol/VerilogWriter/Backend.hs, dist-ghc/build/What4/Protocol/VerilogWriter/Backend.p_o )
[60 of 79] Compiling What4.Protocol.VerilogWriter.ABCVerilog ( src/What4/Protocol/VerilogWriter/ABCVerilog.hs, dist-ghc/build/What4/Protocol/VerilogWriter/ABCVerilog.p_o )
[61 of 79] Compiling What4.Protocol.VerilogWriter ( src/What4/Protocol/VerilogWriter.hs, dist-ghc/build/What4/Protocol/VerilogWriter.p_o )
[62 of 79] Compiling What4.Expr.Simplify ( src/What4/Expr/Simplify.hs, dist-ghc/build/What4/Expr/Simplify.p_o )
[63 of 79] Compiling What4.Expr.GroundEval ( src/What4/Expr/GroundEval.hs, dist-ghc/build/What4/Expr/GroundEval.p_o )
[64 of 79] Compiling What4.Solver.Adapter ( src/What4/Solver/Adapter.hs, dist-ghc/build/What4/Solver/Adapter.p_o )
[65 of 79] Compiling What4.Protocol.SMTWriter ( src/What4/Protocol/SMTWriter.hs, dist-ghc/build/What4/Protocol/SMTWriter.p_o )
[66 of 79] Compiling What4.Protocol.SMTLib2.Response ( src/What4/Protocol/SMTLib2/Response.hs, dist-ghc/build/What4/Protocol/SMTLib2/Response.p_o )
[67 of 79] Compiling What4.Expr ( src/What4/Expr.hs, dist-ghc/build/What4/Expr.p_o )
[68 of 79] Compiling What4.Protocol.Online ( src/What4/Protocol/Online.hs, dist-ghc/build/What4/Protocol/Online.p_o )
[69 of 79] Compiling What4.Utils.ResolveBounds.BV ( src/What4/Utils/ResolveBounds/BV.hs, dist-ghc/build/What4/Utils/ResolveBounds/BV.p_o )
[70 of 79] Compiling What4.Protocol.SMTLib2 ( src/What4/Protocol/SMTLib2.hs, dist-ghc/build/What4/Protocol/SMTLib2.p_o )
[71 of 79] Compiling What4.Solver.Z3 ( src/What4/Solver/Z3.hs, dist-ghc/build/What4/Solver/Z3.p_o )
[72 of 79] Compiling What4.Solver.Yices ( src/What4/Solver/Yices.hs, dist-ghc/build/What4/Solver/Yices.p_o )
[73 of 79] Compiling What4.Solver.STP ( src/What4/Solver/STP.hs, dist-ghc/build/What4/Solver/STP.p_o )
[74 of 79] Compiling What4.Solver.ExternalABC ( src/What4/Solver/ExternalABC.hs, dist-ghc/build/What4/Solver/ExternalABC.p_o )
[75 of 79] Compiling What4.Solver.DReal ( src/What4/Solver/DReal.hs, dist-ghc/build/What4/Solver/DReal.p_o )
[76 of 79] Compiling What4.Solver.CVC4 ( src/What4/Solver/CVC4.hs, dist-ghc/build/What4/Solver/CVC4.p_o )
[77 of 79] Compiling What4.Solver.Boolector ( src/What4/Solver/Boolector.hs, dist-ghc/build/What4/Solver/Boolector.p_o )
[78 of 79] Compiling What4.Solver ( src/What4/Solver.hs, dist-ghc/build/What4/Solver.p_o )
[79 of 79] Compiling What4.WordMap ( src/What4/WordMap.hs, dist-ghc/build/What4/WordMap.p_o )
Preprocessing executable 'quickstart' for what4-1.3..
Building executable 'quickstart' for what4-1.3..
[1 of 1] Compiling Main ( doc/QuickStart.hs, dist-ghc/build/quickstart/quickstart-tmp/Main.o )
Linking dist-ghc/build/quickstart/quickstart ...
Preprocessing test suite 'config-test' for what4-1.3..
Building test suite 'config-test' for what4-1.3..
[1 of 1] Compiling Main ( test/ConfigTest.hs, dist-ghc/build/config-test/config-test-tmp/Main.o )
Linking dist-ghc/build/config-test/config-test ...
Preprocessing test suite 'exprs_tests' for what4-1.3..
Building test suite 'exprs_tests' for what4-1.3..
[1 of 3] Compiling GenWhat4Expr ( test/GenWhat4Expr.hs, dist-ghc/build/exprs_tests/exprs_tests-tmp/GenWhat4Expr.o )
[2 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist-ghc/build/exprs_tests/exprs_tests-tmp/Test/Tasty/Hedgehog/Alt.o )
[3 of 3] Compiling Main ( test/ExprsTest.hs, dist-ghc/build/exprs_tests/exprs_tests-tmp/Main.o )
Linking dist-ghc/build/exprs_tests/exprs_tests ...
Preprocessing test suite 'iteexprs_tests' for what4-1.3..
Building test suite 'iteexprs_tests' for what4-1.3..
[1 of 3] Compiling GenWhat4Expr ( test/GenWhat4Expr.hs, dist-ghc/build/iteexprs_tests/iteexprs_tests-tmp/GenWhat4Expr.o )
[2 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist-ghc/build/iteexprs_tests/iteexprs_tests-tmp/Test/Tasty/Hedgehog/Alt.o )
[3 of 3] Compiling Main ( test/IteExprs.hs, dist-ghc/build/iteexprs_tests/iteexprs_tests-tmp/Main.o )
Linking dist-ghc/build/iteexprs_tests/iteexprs_tests ...
Preprocessing test suite 'bvdomain_tests_hh' for what4-1.3..
Building test suite 'bvdomain_tests_hh' for what4-1.3..
[1 of 3] Compiling Test.Tasty.Hedgehog.Alt ( test/hedgehog/Test/Tasty/Hedgehog/Alt.hs, dist-ghc/build/bvdomain_tests_hh/bvdomain_tests_hh-tmp/Test/Tasty/Hedgehog/Alt.o )
[2 of 3] Compiling VerifyBindings ( test/HH/VerifyBindings.hs, dist-ghc/build/bvdomain_tests_hh/bvdomain_tests_hh-tmp/VerifyBindings.o )
[3 of 3] Compiling Main ( test/BVDomTests.hs, dist-ghc/build/bvdomain_tests_hh/bvdomain_tests_hh-tmp/Main.o )
Linking dist-ghc/build/bvdomain_tests_hh/bvdomain_tests_hh ...
Preprocessing test suite 'bvdomain_tests' for what4-1.3..
Building test suite 'bvdomain_tests' for what4-1.3..
[1 of 2] Compiling VerifyBindings ( test/QC/VerifyBindings.hs, dist-ghc/build/bvdomain_tests/bvdomain_tests-tmp/VerifyBindings.o )
[2 of 2] Compiling Main ( test/BVDomTests.hs, dist-ghc/build/bvdomain_tests/bvdomain_tests-tmp/Main.o )
Linking dist-ghc/build/bvdomain_tests/bvdomain_tests ...
touch build-ghc-stamp
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-what4-doc.substvars
dh_installdirs -plibghc-what4-doc \
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
-E 'check_recipe'
Running dh_listpackages
libghc-what4-dev
libghc-what4-prof
libghc-what4-doc
haskell-what4-utils
Running 5 test suites...
Test suite config-test: RUNNING...
ConfigTests
Set and get
create multiple options: OK
create conflicting options: OK
create conflicting options at different levels: OK
create duplicate unicode options: OK
get unset value, no default: OK
get unset string opt
get unset integer opt
get unset bool opt
get unset value, with default: OK
get unset default string opt
get unset default integer opt
get unset default bool opt
get set value, with default: OK
set string opt
set bool opt
set integer opt
get string opt
get integer opt
get bool opt
set invalid values: OK
initial defaults
set string opt invalidly
set integer opt invalidly
set real opt invalidly
get and set option values by name: OK
getting with a Some OptionSetter requires type verification
setting using special setting functions
verify set values
cannot set values with wrong types
get multiple values at once: OK
set string opt
set bool opt
set alt int opt
get main config values
get all config values
get specific config value
get unknown config value
Deprecated Configs
deprecation removal (case #1): OK
deprecation rename (case #2): OK
deprecation rename (case #2), wrong order: OK
deprecation rename and re-typed (case #3): OK
deprecation, multiple replacements (case #4): OK
deprecation, multiple + removed/split (case #4,(#1,#3)): OK
Config help
builtin-only config help: OK
three item (1 deprecated) config help: OK
all help
sub help
specific help
specific sub help
All 18 tests passed (0.00s)
Test suite config-test: PASS
Test suite logged to: dist-ghc/test/what4-1.3-config-test.log
Test suite exprs_tests: RUNNING...
What4 Expressions
d <- intDiv sym x y; m <- intMod sym x y ===> y * d + m == x and 0 <= m < y: OK
exprs_tests: <stdout>: commitBuffer: invalid argument (invalid character)
Test suite exprs_tests: FAIL
Test suite logged to: dist-ghc/test/what4-1.3-exprs_tests.log
Test suite iteexprs_tests: RUNNING...
Ite Expressions
Typed pred true
concrete Bool pred true: OK
concrete Integer pred true: OK
concrete BV pred true: OK
concrete Struct pred true: OK
concrete Array pred true: OK
Typed pred false
concrete Bool pred false: OK
concrete Integer pred false: OK
concrete BV pred false: OK
concrete Struct pred false: OK
concrete Array pred false: OK
ConcretePredNegation
Typed not true
concrete Bool not true: OK
concrete Integer not true: OK
concrete BV not true: OK
concrete Struct not true: OK
concrete Array not true: OK
Typed not false
concrete Bool not false: OK
concrete Integer not false: OK
concrete BV not false: OK
concrete Struct not false: OK
concrete Array not false: OK
Typed not not true
concrete Bool not not true: OK
concrete Integer not not true: OK
concrete BV not not true: OK
concrete Struct not not true: OK
concrete Array not not true: OK
Typed not not false
concrete Bool not not false: OK
concrete Integer not not false: OK
concrete BV not not false: OK
concrete Struct not not false: OK
concrete Array not not false: OK
ConcretePredAnd
Typed and true true
concrete Bool and true true: OK
concrete Integer and true true: OK
concrete BV and true true: OK
concrete Struct and true true: OK
concrete Array and true true: OK
Typed and true false
concrete Bool and true false: OK
concrete Integer and true false: OK
concrete BV and true false: OK
concrete Struct and true false: OK
concrete Array and true false: OK
Typed and false true
concrete Bool and false true: OK
concrete Integer and false true: OK
concrete BV and false true: OK
concrete Struct and false true: OK
concrete Array and false true: OK
Typed and false false
concrete Bool and false false: OK
concrete Integer and false false: OK
concrete BV and false false: OK
concrete Struct and false false: OK
concrete Array and false false: OK
Typed and true (not true)
concrete Bool and true (not true): OK
concrete Integer and true (not true): OK
concrete BV and true (not true): OK
concrete Struct and true (not true): OK
concrete Array and true (not true): OK
Typed and (not false) true
concrete Bool and (not false) true: OK
concrete Integer and (not false) true: OK
concrete BV and (not false) true: OK
concrete Struct and (not false) true: OK
concrete Array and (not false) true: OK
Typed not (and false true)
concrete Bool not (and false true): OK
concrete Integer not (and false true): OK
concrete BV not (and false true): OK
concrete Struct not (and false true): OK
concrete Array not (and false true): OK
ConcretePredOr
Typed or true true
concrete Bool or true true: OK
concrete Integer or true true: OK
concrete BV or true true: OK
concrete Struct or true true: OK
concrete Array or true true: OK
Typed or true false
concrete Bool or true false: OK
concrete Integer or true false: OK
concrete BV or true false: OK
concrete Struct or true false: OK
concrete Array or true false: OK
Typed or false true
concrete Bool or false true: OK
concrete Integer or false true: OK
concrete BV or false true: OK
concrete Struct or false true: OK
concrete Array or false true: OK
Typed or false false
concrete Bool or false false: OK
concrete Integer or false false: OK
concrete BV or false false: OK
concrete Struct or false false: OK
concrete Array or false false: OK
Typed or true (not true)
concrete Bool or true (not true): OK
concrete Integer or true (not true): OK
concrete BV or true (not true): OK
concrete Struct or true (not true): OK
concrete Array or true (not true): OK
Typed or (not false) false
concrete Bool or (not false) false: OK
concrete Integer or (not false) false: OK
concrete BV or (not false) false: OK
concrete Struct or (not false) false: OK
concrete Array or (not false) false: OK
Typed not (or false false)
concrete Bool not (or false false): OK
concrete Integer not (or false false): OK
concrete BV not (or false false): OK
concrete Struct not (or false false): OK
concrete Array not (or false false): OK
ConcreteEqPred
Typed equal trues
concrete Bool equal trues: OK
concrete Integer equal trues: OK
concrete BV equal trues: OK
concrete Struct equal trues: OK
concrete Array equal trues: OK
Typed equal falses
concrete Bool equal falses: OK
concrete Integer equal falses: OK
concrete BV equal falses: OK
concrete Struct equal falses: OK
concrete Array equal falses: OK
Typed not equal
concrete Bool not equal: OK
concrete Integer not equal: OK
concrete BV not equal: OK
concrete Struct not equal: OK
concrete Array not equal: OK
Typed eq right neg
concrete Bool eq right neg: OK
concrete Integer eq right neg: OK
concrete BV eq right neg: OK
concrete Struct eq right neg: OK
concrete Array eq right neg: OK
Typed eq left neq
concrete Bool eq left neq: OK
concrete Integer eq left neq: OK
concrete BV eq left neq: OK
concrete Struct eq left neq: OK
concrete Array eq left neq: OK
Typed not (eq false true)
concrete Bool not (eq false true): OK
concrete Integer not (eq false true): OK
concrete BV not (eq false true): OK
concrete Struct not (eq false true): OK
concrete Array not (eq false true): OK
ConcreteXORPred
Typed xor trues
concrete Bool xor trues: OK
concrete Integer xor trues: OK
concrete BV xor trues: OK
concrete Struct xor trues: OK
concrete Array xor trues: OK
Typed xor falses
concrete Bool xor falses: OK
concrete Integer xor falses: OK
concrete BV xor falses: OK
concrete Struct xor falses: OK
concrete Array xor falses: OK
Typed xor t f
concrete Bool xor t f: OK
concrete Integer xor t f: OK
concrete BV xor t f: OK
concrete Struct xor t f: OK
concrete Array xor t f: OK
Typed xor right neg
concrete Bool xor right neg: OK
concrete Integer xor right neg: OK
concrete BV xor right neg: OK
concrete Struct xor right neg: OK
concrete Array xor right neg: OK
Typed xor left neq
concrete Bool xor left neq: OK
concrete Integer xor left neq: OK
concrete BV xor left neq: OK
concrete Struct xor left neq: OK
concrete Array xor left neq: OK
Typed not (xor f t)
concrete Bool not (xor f t): OK
concrete Integer not (xor f t): OK
concrete BV not (xor f t): OK
concrete Struct not (xor f t): OK
concrete Array not (xor f t): OK
generated concrete predicates
bool mux: OK (2.15s)
iteexprs_tests: <stdout>: commitBuffer: invalid argument (invalid character)
Test suite iteexprs_tests: FAIL
Test suite logged to: dist-ghc/test/what4-1.3-iteexprs_tests.log
Test suite bvdomain_tests_hh: RUNNING...
Bitvector Domain
Arith Domain
correct_any: OK (0.19s)
bvdomain_tests_hh: <stdout>: commitBuffer: invalid argument (invalid character)
Test suite bvdomain_tests_hh: FAIL
Test suite logged to: dist-ghc/test/what4-1.3-bvdomain_tests_hh.log
Test suite bvdomain_tests: RUNNING...
Bitvector Domain
Arith Domain
correct_any: OK (0.02s)
+++ OK, passed 5000 tests.
correct_ubounds: OK (0.06s)
+++ OK, passed 5000 tests.
correct_sbounds: OK (0.07s)
+++ OK, passed 5000 tests.
correct_singleton: OK (0.04s)
+++ OK, passed 5000 tests.
correct_overlap: OK (0.22s)
+++ OK, passed 5000 tests; 13918 discarded.
correct_union: OK (0.10s)
+++ OK, passed 5000 tests; 1545 discarded.
correct_zero_ext: OK (0.07s)
+++ OK, passed 5000 tests.
correct_sign_ext: OK (0.08s)
+++ OK, passed 5000 tests.
correct_concat: OK (0.12s)
+++ OK, passed 5000 tests.
correct_shrink: OK (0.07s)
+++ OK, passed 5000 tests.
correct_trunc: OK (0.09s)
+++ OK, passed 5000 tests.
correct_select: OK (0.11s)
+++ OK, passed 5000 tests.
correct_add: OK (0.08s)
+++ OK, passed 5000 tests.
correct_neg: OK (0.06s)
+++ OK, passed 5000 tests.
correct_not: OK (0.06s)
+++ OK, passed 5000 tests.
correct_mul: OK (0.10s)
+++ OK, passed 5000 tests.
correct_scale: OK (0.07s)
+++ OK, passed 5000 tests.
correct_scale_eq: OK (0.07s)
+++ OK, passed 5000 tests.
correct_udiv: OK (0.11s)
+++ OK, passed 5000 tests; 190 discarded.
correct_urem: OK (0.10s)
+++ OK, passed 5000 tests; 183 discarded.
correct_sdiv: OK (0.10s)
+++ OK, passed 5000 tests; 197 discarded.
correct_sdivRange: OK (1.41s)
+++ OK, passed 5000 tests; 149539 discarded.
correct_srem: OK (0.13s)
+++ OK, passed 5000 tests; 166 discarded.
correct_shl: OK (0.11s)
+++ OK, passed 5000 tests.
correct_lshr: OK (0.10s)
+++ OK, passed 5000 tests.
correct_ashr: OK (0.10s)
+++ OK, passed 5000 tests.
correct_eq: OK (0.09s)
+++ OK, passed 5000 tests.
correct_ult: OK (0.09s)
+++ OK, passed 5000 tests.
correct_slt: OK (0.10s)
+++ OK, passed 5000 tests.
correct_unknowns: OK (0.07s)
+++ OK, passed 5000 tests.
correct_bitbounds: OK (0.06s)
+++ OK, passed 5000 tests.
Bitwise Domain
correct_any: OK (0.03s)
+++ OK, passed 5000 tests.
correct_singleton: OK (0.04s)
+++ OK, passed 5000 tests.
correct_overlap: OK (4.96s)
+++ OK, passed 5000 tests; 438710 discarded.
correct_union1: OK (0.09s)
+++ OK, passed 5000 tests.
correct_union2: OK (0.09s)
+++ OK, passed 5000 tests.
correct_intersection: OK (4.95s)
+++ OK, passed 5000 tests; 434702 discarded.
correct_zero_ext: OK (0.08s)
+++ OK, passed 5000 tests.
correct_sign_ext: OK (0.09s)
+++ OK, passed 5000 tests.
correct_concat: OK (0.13s)
+++ OK, passed 5000 tests.
correct_shrink: OK (0.10s)
+++ OK, passed 5000 tests.
correct_trunc: OK (0.11s)
+++ OK, passed 5000 tests.
correct_select: OK (0.13s)
+++ OK, passed 5000 tests.
correct_shl: OK (0.07s)
+++ OK, passed 5000 tests.
correct_lshr: OK (0.08s)
+++ OK, passed 5000 tests.
correct_ashr: OK (0.09s)
+++ OK, passed 5000 tests.
correct_rol: OK (0.09s)
+++ OK, passed 5000 tests.
correct_ror: OK (0.07s)
+++ OK, passed 5000 tests.
correct_eq: OK (0.10s)
+++ OK, passed 5000 tests.
correct_not: OK (0.07s)
+++ OK, passed 5000 tests.
correct_and: OK (0.11s)
+++ OK, passed 5000 tests.
correct_or: OK (0.09s)
+++ OK, passed 5000 tests.
correct_xor: OK (0.10s)
+++ OK, passed 5000 tests.
correct_testBit: OK (0.07s)
+++ OK, passed 5000 tests.
XOR Domain
correct_singleton: OK (0.04s)
+++ OK, passed 5000 tests.
correct_xor: OK (0.10s)
+++ OK, passed 5000 tests.
correct_and: OK (0.11s)
+++ OK, passed 5000 tests.
correct_and_scalar: OK (0.08s)
+++ OK, passed 5000 tests.
correct_bitbounds: OK (0.05s)
+++ OK, passed 5000 tests.
Overall Domain
singleton/union size: OK (3.14s)
+++ OK, passed 5000 tests.
correct_bra1: OK (0.08s)
+++ OK, passed 5000 tests; 4842 discarded.
correct_bra2: OK (1.10s)
+++ OK, passed 5000 tests; 120665 discarded.
correct_brb1: OK (1.61s)
+++ OK, passed 5000 tests; 195168 discarded.
correct_brb2: OK (4.13s)
+++ OK, passed 5000 tests; 434765 discarded.
correct_any: OK (0.03s)
+++ OK, passed 5000 tests.
correct_ubounds: OK (0.07s)
+++ OK, passed 5000 tests.
correct_sbounds: OK (0.08s)
+++ OK, passed 5000 tests.
correct_singleton: OK (0.04s)
+++ OK, passed 5000 tests.
correct_overlap: OK (0.83s)
+++ OK, passed 5000 tests; 55584 discarded.
precise_overlap: OK (0.15s)
+++ OK, passed 5000 tests; 3855 discarded.
correct_union: OK (0.20s)
+++ OK, passed 5000 tests; 5602 discarded.
correct_zero_ext: OK (0.09s)
+++ OK, passed 5000 tests.
correct_sign_ext: OK (0.08s)
+++ OK, passed 5000 tests.
correct_concat: OK (0.15s)
+++ OK, passed 5000 tests.
correct_select: OK (0.14s)
+++ OK, passed 5000 tests.
correct_add: OK (0.13s)
+++ OK, passed 5000 tests.
correct_neg: OK (0.08s)
+++ OK, passed 5000 tests.
correct_scale: OK (0.09s)
+++ OK, passed 5000 tests.
correct_mul: OK (0.14s)
+++ OK, passed 5000 tests.
correct_udiv: OK (0.14s)
+++ OK, passed 5000 tests; 129 discarded.
correct_urem: OK (0.14s)
+++ OK, passed 5000 tests; 138 discarded.
correct_sdiv: OK (0.16s)
+++ OK, passed 5000 tests; 146 discarded.
correct_srem: OK (0.17s)
+++ OK, passed 5000 tests; 147 discarded.
correct_shl: OK (0.14s)
+++ OK, passed 5000 tests.
correct_lshr: OK (0.13s)
+++ OK, passed 5000 tests.
correct_ashr: OK (0.14s)
+++ OK, passed 5000 tests.
correct_rol: OK (0.16s)
+++ OK, passed 5000 tests.
correct_ror: OK (0.16s)
+++ OK, passed 5000 tests.
correct_eq: OK (0.12s)
+++ OK, passed 5000 tests.
correct_ult: OK (0.12s)
+++ OK, passed 5000 tests.
correct_slt: OK (0.12s)
+++ OK, passed 5000 tests.
correct_not: OK (0.07s)
+++ OK, passed 5000 tests.
correct_and: OK (0.13s)
+++ OK, passed 5000 tests.
correct_or: OK (0.13s)
+++ OK, passed 5000 tests.
correct_xor: OK (0.13s)
+++ OK, passed 5000 tests.
correct_testBit: OK (0.08s)
+++ OK, passed 5000 tests.
correct_popcnt: OK (0.06s)
+++ OK, passed 5000 tests.
correct_clz: OK (0.09s)
+++ OK, passed 5000 tests.
correct_ctz: OK (0.09s)
+++ OK, passed 5000 tests.
Transfer
correct_arithToBitwise: OK (0.07s)
+++ OK, passed 5000 tests.
correct_bitwiseToArith: OK (0.05s)
+++ OK, passed 5000 tests.
correct_bitwiseToXorDomain: OK (0.06s)
+++ OK, passed 5000 tests.
correct_arithToXorDomain: OK (0.06s)
+++ OK, passed 5000 tests.
correct_xorToBitwiseDomain: OK (0.07s)
+++ OK, passed 5000 tests.
correct_asXorDomain: OK (0.08s)
+++ OK, passed 5000 tests.
correct_fromXorDomain: OK (0.07s)
+++ OK, passed 5000 tests.
All 106 tests passed (31.71s)
Test suite bvdomain_tests: PASS
Test suite logged to: dist-ghc/test/what4-1.3-bvdomain_tests.log
2 of 5 test suites (2 of 5 test cases) passed.
-e: error: debian/hlibrary.setup test --builddir=dist-ghc --show-details=direct returned exit code 1
at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 880.
Debian::Debhelper::Dh_Lib::error("debian/hlibrary.setup test --builddir=dist-ghc --show-details"...) called at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 610
Debian::Debhelper::Dh_Lib::error_exitcode("debian/hlibrary.setup test --builddir=dist-ghc --show-details"...) called at /usr/share/perl5/Debian/Debhelper/Dh_Lib.pm line 473
Debian::Debhelper::Dh_Lib::doit("debian/hlibrary.setup", "test", "--builddir=dist-ghc", "--show-details=direct") called at /usr/share/perl5/Debian/Debhelper/Buildsystem/Haskell/Recipes.pm line 686
Debian::Debhelper::Buildsystem::Haskell::Recipes::check_recipe() called at -e line 1
make: *** [/usr/share/cdbs/1/class/hlibrary.mk:163: check-ghc-stamp] Error 25
dpkg-buildpackage: error: fakeroot debian/rules binary subprocess returned exit status 2
I: copying local configuration
E: Failed autobuilding of package
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/123849 and its subdirectories