I: pbuilder: network access will be disabled during build
I: Current time: Sun Feb  9 01:33:20 -12 2025
I: pbuilder-time-stamp: 1739108000
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: Copying source file
I: copying [haskell-copilot-theorem_3.13-1.dsc]
I: copying [./haskell-copilot-theorem_3.13.orig.tar.gz]
I: copying [./haskell-copilot-theorem_3.13-1.debian.tar.xz]
I: Extracting source
gpgv: Signature made Tue Jan 10 01:04:08 2023 
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-copilot-theorem_3.13-1.dsc: no acceptable signature found
dpkg-source: info: extracting haskell-copilot-theorem in haskell-copilot-theorem-3.13
dpkg-source: info: unpacking haskell-copilot-theorem_3.13.orig.tar.gz
dpkg-source: info: unpacking haskell-copilot-theorem_3.13-1.debian.tar.xz
I: using fakeroot in build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/1529959/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='arm64'
  DEBIAN_FRONTEND='noninteractive'
  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 '
  DISTRIBUTION='bookworm'
  HOME='/root'
  HOST_ARCH='arm64'
  IFS=' 	
  '
  INVOCATION_ID='9ec5ec1f578245c88aebc84359783326'
  LANG='C'
  LANGUAGE='en_US:en'
  LC_ALL='C'
  MAIL='/var/mail/root'
  OPTIND='1'
  PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games'
  PBCURRENTCOMMANDLINEOPERATION='build'
  PBUILDER_OPERATION='build'
  PBUILDER_PKGDATADIR='/usr/share/pbuilder'
  PBUILDER_PKGLIBDIR='/usr/lib/pbuilder'
  PBUILDER_SYSCONFDIR='/etc'
  PPID='1529959'
  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.LEcrOWLg/pbuilderrc_U5bK --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.LEcrOWLg/b1 --logfile b1/build.log haskell-copilot-theorem_3.13-1.dsc'
  SUDO_GID='109'
  SUDO_UID='104'
  SUDO_USER='jenkins'
  TERM='unknown'
  TZ='/usr/share/zoneinfo/Etc/GMT+12'
  USER='root'
  _='/usr/bin/systemd-run'
  http_proxy='http://192.168.101.104:3128'
I: uname -a
  Linux codethink01-arm64 6.1.0-17-cloud-arm64 #1 SMP Debian 6.1.69-1 (2023-12-30) aarch64 GNU/Linux
I: ls -l /bin
  total 7104
  -rwxr-xr-x 1 root root 1346480 Apr 23  2023 bash
  -rwxr-xr-x 3 root root   67728 Sep 19  2022 bunzip2
  -rwxr-xr-x 3 root root   67728 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   67728 Sep 19  2022 bzip2
  -rwxr-xr-x 1 root root   67664 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   68536 Sep 20  2022 cat
  -rwxr-xr-x 1 root root   68616 Sep 20  2022 chgrp
  -rwxr-xr-x 1 root root   68552 Sep 20  2022 chmod
  -rwxr-xr-x 1 root root   68632 Sep 20  2022 chown
  -rwxr-xr-x 1 root root  200264 Sep 20  2022 cp
  -rwxr-xr-x 1 root root  133640 Jan  5  2023 dash
  -rwxr-xr-x 1 root root  134144 Sep 20  2022 date
  -rwxr-xr-x 1 root root  134248 Sep 20  2022 dd
  -rwxr-xr-x 1 root root  134888 Sep 20  2022 df
  -rwxr-xr-x 1 root root  200440 Sep 20  2022 dir
  -rwxr-xr-x 1 root root  141720 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   68408 Sep 20  2022 echo
  -rwxr-xr-x 1 root root      41 Jan 24  2023 egrep
  -rwxr-xr-x 1 root root   68384 Sep 20  2022 false
  -rwxr-xr-x 1 root root      41 Jan 24  2023 fgrep
  -rwxr-xr-x 1 root root  134584 Mar 23  2023 findmnt
  -rwsr-xr-x 1 root root   67744 Mar 23  2023 fusermount
  -rwxr-xr-x 1 root root  198880 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   93752 Apr 10  2022 gzip
  -rwxr-xr-x 1 root root   67592 Dec 19  2022 hostname
  -rwxr-xr-x 1 root root   68664 Sep 20  2022 ln
  -rwxr-xr-x 1 root root   69208 Mar 23  2023 login
  -rwxr-xr-x 1 root root  200440 Sep 20  2022 ls
  -rwxr-xr-x 1 root root  264360 Mar 23  2023 lsblk
  -rwxr-xr-x 1 root root  134384 Sep 20  2022 mkdir
  -rwxr-xr-x 1 root root   68768 Sep 20  2022 mknod
  -rwxr-xr-x 1 root root   68472 Sep 20  2022 mktemp
  -rwxr-xr-x 1 root root   67752 Mar 23  2023 more
  -rwsr-xr-x 1 root root   67744 Mar 23  2023 mount
  -rwxr-xr-x 1 root root   67744 Mar 23  2023 mountpoint
  -rwxr-xr-x 1 root root  134728 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   68496 Sep 20  2022 pwd
  lrwxrwxrwx 1 root root       4 Apr 23  2023 rbash -> bash
  -rwxr-xr-x 1 root root   68456 Sep 20  2022 readlink
  -rwxr-xr-x 1 root root   68592 Sep 20  2022 rm
  -rwxr-xr-x 1 root root   68480 Sep 20  2022 rmdir
  -rwxr-xr-x 1 root root   68392 Jul 28  2023 run-parts
  -rwxr-xr-x 1 root root  134536 Jan  5  2023 sed
  lrwxrwxrwx 1 root root       4 Jan  5  2023 sh -> dash
  -rwxr-xr-x 1 root root   68432 Sep 20  2022 sleep
  -rwxr-xr-x 1 root root  134088 Sep 20  2022 stty
  -rwsr-xr-x 1 root root  133312 Mar 23  2023 su
  -rwxr-xr-x 1 root root   68448 Sep 20  2022 sync
  -rwxr-xr-x 1 root root  539896 Apr  6  2023 tar
  -rwxr-xr-x 1 root root   67904 Jul 28  2023 tempfile
  -rwxr-xr-x 1 root root  134160 Sep 20  2022 touch
  -rwxr-xr-x 1 root root   68384 Sep 20  2022 true
  -rwxr-xr-x 1 root root   67664 Mar 23  2023 ulockmgr_server
  -rwsr-xr-x 1 root root   67744 Mar 23  2023 umount
  -rwxr-xr-x 1 root root   68416 Sep 20  2022 uname
  -rwxr-xr-x 2 root root    2346 Apr 10  2022 uncompress
  -rwxr-xr-x 1 root root  200440 Sep 20  2022 vdir
  -rwxr-xr-x 1 root root  133312 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/1529959/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: arm64
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-bimap-dev, libghc-bimap-prof, libghc-bv-sized-dev (>= 1.0.2), libghc-bv-sized-dev (<< 1.1), libghc-bv-sized-prof, libghc-copilot-core-dev (>= 3.13), libghc-copilot-core-dev (<< 3.14), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.13), libghc-copilot-prettyprinter-dev (<< 3.14), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.8), libghc-data-default-prof, libghc-libbf-dev (>= 0.6.2), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-panic-dev (>= 0.4.0), libghc-panic-dev (<< 0.5), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1.1), libghc-parameterized-utils-dev (<< 2.2), libghc-parameterized-utils-prof, libghc-random-dev (>= 1.1), libghc-random-dev (<< 1.3), libghc-random-prof, libghc-what4-dev (>= 1.3), libghc-what4-dev (<< 1.4), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof, ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-doc, libghc-copilot-prettyprinter-doc, libghc-data-default-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-doc, libghc-xml-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 ... 18171 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-bimap-dev; 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.2); however:
  Package libghc-bv-sized-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-bv-sized-dev (<< 1.1); 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-copilot-core-dev (>= 3.13); however:
  Package libghc-copilot-core-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-copilot-core-dev (<< 3.14); however:
  Package libghc-copilot-core-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-copilot-core-prof; however:
  Package libghc-copilot-core-prof is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-copilot-prettyprinter-dev (>= 3.13); however:
  Package libghc-copilot-prettyprinter-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-copilot-prettyprinter-dev (<< 3.14); however:
  Package libghc-copilot-prettyprinter-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-copilot-prettyprinter-prof; however:
  Package libghc-copilot-prettyprinter-prof is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-data-default-dev (>= 0.7); however:
  Package libghc-data-default-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-data-default-dev (<< 0.8); however:
  Package libghc-data-default-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-data-default-prof; however:
  Package libghc-data-default-prof is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-libbf-dev (>= 0.6.2); 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.4.0); however:
  Package libghc-panic-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-panic-dev (<< 0.5); 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.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-random-dev (>= 1.1); however:
  Package libghc-random-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-random-dev (<< 1.3); however:
  Package libghc-random-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-random-prof; however:
  Package libghc-random-prof is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-what4-dev (>= 1.3); however:
  Package libghc-what4-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-what4-dev (<< 1.4); however:
  Package libghc-what4-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-what4-prof; however:
  Package libghc-what4-prof is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-xml-dev (>= 1.3); however:
  Package libghc-xml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-xml-dev (<< 1.4); however:
  Package libghc-xml-dev is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-xml-prof; however:
  Package libghc-xml-prof is not installed.
 pbuilder-satisfydepends-dummy depends on ghc-doc; however:
  Package ghc-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-copilot-core-doc; however:
  Package libghc-copilot-core-doc is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-copilot-prettyprinter-doc; however:
  Package libghc-copilot-prettyprinter-doc is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-data-default-doc; however:
  Package libghc-data-default-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-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-random-doc; however:
  Package libghc-random-doc is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-what4-doc; however:
  Package libghc-what4-doc is not installed.
 pbuilder-satisfydepends-dummy depends on libghc-xml-doc; however:
  Package libghc-xml-doc is not installed.

Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ...
Reading package lists...
Building dependency tree...
Reading state information...
Initializing package states...
Writing extended state information...
Building tag database...
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0)
The following NEW packages will be installed:
  autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cdbs{a} dctrl-tools{a} debhelper{a} dh-autoreconf{a} dh-buildinfo{a} dh-strip-nondeterminism{a} dwz{a} file{a} fonts-mathjax{a} gettext{a} gettext-base{a} ghc{a} ghc-doc{a} ghc-prof{a} groff-base{a} haskell-devscripts-minimal{a} html-xml-utils{a} intltool-debian{a} libarchive-zip-perl{a} libb-hooks-op-check-perl{a} libbrotli1{a} libbsd-dev{a} libbsd0{a} libconst-fast-perl{a} libcurl3-gnutls{a} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{a} libedit2{a} libelf1{a} libexpat1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libghc-adjunctions-dev{a} libghc-adjunctions-prof{a} libghc-assoc-dev{a} libghc-assoc-prof{a} libghc-async-dev{a} libghc-async-prof{a} libghc-attoparsec-dev{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-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-comonad-dev{a} libghc-comonad-prof{a} libghc-concurrent-extra-dev{a} libghc-concurrent-extra-prof{a} libghc-config-value-dev{a} libghc-config-value-prof{a} libghc-constraints-dev{a} libghc-constraints-prof{a} libghc-contravariant-dev{a} libghc-contravariant-prof{a} libghc-copilot-core-dev{a} libghc-copilot-core-doc{a} libghc-copilot-core-prof{a} libghc-copilot-prettyprinter-dev{a} libghc-copilot-prettyprinter-doc{a} libghc-copilot-prettyprinter-prof{a} libghc-data-binary-ieee754-dev{a} libghc-data-binary-ieee754-prof{a} libghc-data-default-class-dev{a} libghc-data-default-class-prof{a} libghc-data-default-dev{a} libghc-data-default-doc{a} libghc-data-default-instances-containers-dev{a} libghc-data-default-instances-containers-prof{a} libghc-data-default-instances-dlist-dev{a} libghc-data-default-instances-dlist-prof{a} libghc-data-default-instances-old-locale-dev{a} libghc-data-default-instances-old-locale-prof{a} libghc-data-default-prof{a} libghc-deriving-compat-dev{a} libghc-deriving-compat-prof{a} libghc-distributive-dev{a} libghc-distributive-prof{a} libghc-dlist-dev{a} libghc-dlist-prof{a} libghc-fingertree-dev{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-prof{a} libghc-hashtables-dev{a} libghc-hashtables-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-prof{a} libghc-kan-extensions-dev{a} libghc-kan-extensions-prof{a} libghc-lens-dev{a} libghc-lens-prof{a} libghc-libbf-dev{a} libghc-libbf-doc{a} libghc-libbf-prof{a} libghc-megaparsec-dev{a} libghc-megaparsec-prof{a} libghc-network-dev{a} libghc-network-prof{a} libghc-old-locale-dev{a} libghc-old-locale-prof{a} libghc-onetuple-dev{a} libghc-onetuple-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-prettyprinter-dev{a} libghc-prettyprinter-prof{a} libghc-primitive-dev{a} libghc-primitive-prof{a} libghc-profunctors-dev{a} libghc-profunctors-prof{a} libghc-random-dev{a} libghc-random-doc{a} libghc-random-prof{a} libghc-reflection-dev{a} libghc-reflection-prof{a} libghc-scientific-dev{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-temporary-dev{a} libghc-temporary-prof{a} libghc-th-abstraction-dev{a} libghc-th-abstraction-prof{a} libghc-th-lift-dev{a} libghc-th-lift-instances-dev{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-unordered-containers-dev{a} libghc-unordered-containers-prof{a} libghc-utf8-string-dev{a} libghc-utf8-string-prof{a} libghc-vector-dev{a} libghc-vector-prof{a} libghc-versions-dev{a} libghc-versions-prof{a} libghc-void-dev{a} libghc-void-prof{a} libghc-what4-dev{a} libghc-what4-doc{a} libghc-what4-prof{a} libghc-xml-dev{a} libghc-xml-doc{a} libghc-xml-prof{a} libghc-zenc-dev{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} libllvm13{a} libmagic-mgc{a} libmagic1{a} libmd-dev{a} libmodule-implementation-perl{a} libmodule-runtime-perl{a} libncurses-dev{a} libncurses6{a} libnghttp2-14{a} libparams-classify-perl{a} libparams-util-perl{a} libpath-tiny-perl{a} libpfm4{a} libpipeline1{a} libpsl5{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libreadline8{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1{a} libsub-exporter-perl{a} libsub-exporter-progressive-perl{a} libsub-install-perl{a} libsub-override-perl{a} libtimedate-perl{a} libtool{a} libtry-tiny-perl{a} libuchardet0{a} libunicode-utf8-perl{a} libxml2{a} libz3-4{a} llvm-13{a} llvm-13-linker-tools{a} llvm-13-runtime{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} zlib1g-dev{a} 
The following packages are RECOMMENDED but will NOT be installed:
  binfmt-support ca-certificates curl libarchive-cpio-perl libghc-attoparsec-doc libghc-constraints-doc libghc-data-default-class-doc libghc-hashable-doc libghc-hashtables-doc libghc-indexed-traversable-doc libghc-io-streams-doc libghc-lens-doc libghc-prettyprinter-doc libghc-scientific-doc libghc-splitmix-doc libghc-th-abstraction-doc libghc-vector-doc libghc-versions-doc libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules llvm-13-dev lynx publicsuffix systemd wget 
0 packages upgraded, 271 newly installed, 0 to remove and 0 not upgraded.
Need to get 354 MB of archives. After unpacking 3662 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian bookworm/main arm64 libbsd0 arm64 0.11.7-2 [115 kB]
Get: 2 http://deb.debian.org/debian bookworm/main arm64 libedit2 arm64 3.1-20221030-2 [88.1 kB]
Get: 3 http://deb.debian.org/debian bookworm/main arm64 libicu72 arm64 72.1-3 [9204 kB]
Get: 4 http://deb.debian.org/debian bookworm/main arm64 libxml2 arm64 2.9.14+dfsg-1.3~deb12u1 [619 kB]
Get: 5 http://deb.debian.org/debian bookworm/main arm64 libz3-4 arm64 4.8.12-3.1 [6282 kB]
Get: 6 http://deb.debian.org/debian bookworm/main arm64 libllvm13 arm64 1:13.0.1-11+b2 [17.5 MB]
Get: 7 http://deb.debian.org/debian bookworm/main arm64 llvm-13-runtime arm64 1:13.0.1-11+b2 [218 kB]
Get: 8 http://deb.debian.org/debian bookworm/main arm64 llvm-13-linker-tools arm64 1:13.0.1-11+b2 [1023 kB]
Get: 9 http://deb.debian.org/debian bookworm/main arm64 libpfm4 arm64 4.13.0-1 [49.8 kB]
Get: 10 http://deb.debian.org/debian bookworm/main arm64 llvm-13 arm64 1:13.0.1-11+b2 [9201 kB]
Get: 11 http://deb.debian.org/debian bookworm/main arm64 libgmpxx4ldbl arm64 2:6.2.1+dfsg1-1.1 [338 kB]
Get: 12 http://deb.debian.org/debian bookworm/main arm64 libgmp-dev arm64 2:6.2.1+dfsg1-1.1 [622 kB]
Get: 13 http://deb.debian.org/debian bookworm/main arm64 libffi-dev arm64 3.4.4-1 [56.0 kB]
Get: 14 http://deb.debian.org/debian bookworm/main arm64 libmd-dev arm64 1.0.4-2 [47.4 kB]
Get: 15 http://deb.debian.org/debian bookworm/main arm64 libbsd-dev arm64 0.11.7-2 [242 kB]
Get: 16 http://deb.debian.org/debian bookworm/main arm64 libncurses6 arm64 6.4-4 [93.9 kB]
Get: 17 http://deb.debian.org/debian bookworm/main arm64 libncurses-dev arm64 6.4-4 [336 kB]
Get: 18 http://deb.debian.org/debian bookworm/main arm64 ghc arm64 9.0.2-4 [112 MB]
Get: 19 http://deb.debian.org/debian bookworm/main arm64 fonts-mathjax all 2.7.9+dfsg-1 [2210 kB]
Get: 20 http://deb.debian.org/debian bookworm/main arm64 libjs-mathjax all 2.7.9+dfsg-1 [5667 kB]
Get: 21 http://deb.debian.org/debian bookworm/main arm64 ghc-doc all 9.0.2-4 [18.1 MB]
Get: 22 http://deb.debian.org/debian bookworm/main arm64 libpython3.11-minimal arm64 3.11.2-6 [806 kB]
Get: 23 http://deb.debian.org/debian bookworm/main arm64 libexpat1 arm64 2.5.0-1 [84.8 kB]
Get: 24 http://deb.debian.org/debian bookworm/main arm64 python3.11-minimal arm64 3.11.2-6 [1858 kB]
Get: 25 http://deb.debian.org/debian bookworm/main arm64 python3-minimal arm64 3.11.2-1+b1 [26.3 kB]
Get: 26 http://deb.debian.org/debian bookworm/main arm64 media-types all 10.0.0 [26.1 kB]
Get: 27 http://deb.debian.org/debian bookworm/main arm64 readline-common all 8.2-1.3 [69.0 kB]
Get: 28 http://deb.debian.org/debian bookworm/main arm64 libreadline8 arm64 8.2-1.3 [155 kB]
Get: 29 http://deb.debian.org/debian bookworm/main arm64 libpython3.11-stdlib arm64 3.11.2-6 [1747 kB]
Get: 30 http://deb.debian.org/debian bookworm/main arm64 python3.11 arm64 3.11.2-6 [572 kB]
Get: 31 http://deb.debian.org/debian bookworm/main arm64 libpython3-stdlib arm64 3.11.2-1+b1 [9296 B]
Get: 32 http://deb.debian.org/debian bookworm/main arm64 python3 arm64 3.11.2-1+b1 [26.3 kB]
Get: 33 http://deb.debian.org/debian bookworm/main arm64 sgml-base all 1.31 [15.4 kB]
Get: 34 http://deb.debian.org/debian bookworm/main arm64 sensible-utils all 0.0.17+nmu1 [19.0 kB]
Get: 35 http://deb.debian.org/debian bookworm/main arm64 libmagic-mgc arm64 1:5.44-3 [305 kB]
Get: 36 http://deb.debian.org/debian bookworm/main arm64 libmagic1 arm64 1:5.44-3 [98.5 kB]
Get: 37 http://deb.debian.org/debian bookworm/main arm64 file arm64 1:5.44-3 [42.5 kB]
Get: 38 http://deb.debian.org/debian bookworm/main arm64 gettext-base arm64 0.21-12 [159 kB]
Get: 39 http://deb.debian.org/debian bookworm/main arm64 libuchardet0 arm64 0.0.7-1 [67.9 kB]
Get: 40 http://deb.debian.org/debian bookworm/main arm64 groff-base arm64 1.22.4-10 [861 kB]
Get: 41 http://deb.debian.org/debian bookworm/main arm64 bsdextrautils arm64 2.38.1-5+b1 [86.9 kB]
Get: 42 http://deb.debian.org/debian bookworm/main arm64 libpipeline1 arm64 1.5.7-1 [36.4 kB]
Get: 43 http://deb.debian.org/debian bookworm/main arm64 man-db arm64 2.11.2-2 [1369 kB]
Get: 44 http://deb.debian.org/debian bookworm/main arm64 m4 arm64 1.4.19-3 [276 kB]
Get: 45 http://deb.debian.org/debian bookworm/main arm64 autoconf all 2.71-3 [332 kB]
Get: 46 http://deb.debian.org/debian bookworm/main arm64 autotools-dev all 20220109.1 [51.6 kB]
Get: 47 http://deb.debian.org/debian bookworm/main arm64 automake all 1:1.16.5-1.3 [823 kB]
Get: 48 http://deb.debian.org/debian bookworm/main arm64 autopoint all 0.21-12 [495 kB]
Get: 49 http://deb.debian.org/debian bookworm/main arm64 python3-six all 1.16.0-4 [17.5 kB]
Get: 50 http://deb.debian.org/debian bookworm/main arm64 python3-pkg-resources all 66.1.1-1 [296 kB]
Get: 51 http://deb.debian.org/debian bookworm/main arm64 python3-scour all 0.38.2-2 [58.0 kB]
Get: 52 http://deb.debian.org/debian bookworm/main arm64 scour all 0.38.2-2 [19.3 kB]
Get: 53 http://deb.debian.org/debian bookworm/main arm64 cdbs all 0.4.166 [47.3 kB]
Get: 54 http://deb.debian.org/debian bookworm/main arm64 dctrl-tools arm64 2.24-3 [101 kB]
Get: 55 http://deb.debian.org/debian bookworm/main arm64 libdebhelper-perl all 13.11.4 [81.2 kB]
Get: 56 http://deb.debian.org/debian bookworm/main arm64 libtool all 2.4.7-5 [517 kB]
Get: 57 http://deb.debian.org/debian bookworm/main arm64 dh-autoreconf all 20 [17.1 kB]
Get: 58 http://deb.debian.org/debian bookworm/main arm64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 59 http://deb.debian.org/debian bookworm/main arm64 libsub-override-perl all 0.09-4 [9304 B]
Get: 60 http://deb.debian.org/debian bookworm/main arm64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get: 61 http://deb.debian.org/debian bookworm/main arm64 dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get: 62 http://deb.debian.org/debian bookworm/main arm64 libelf1 arm64 0.188-2.1 [173 kB]
Get: 63 http://deb.debian.org/debian bookworm/main arm64 dwz arm64 0.15-1 [101 kB]
Get: 64 http://deb.debian.org/debian bookworm/main arm64 gettext arm64 0.21-12 [1248 kB]
Get: 65 http://deb.debian.org/debian bookworm/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 66 http://deb.debian.org/debian bookworm/main arm64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 67 http://deb.debian.org/debian bookworm/main arm64 debhelper all 13.11.4 [942 kB]
Get: 68 http://deb.debian.org/debian bookworm/main arm64 dh-buildinfo all 0.11+nmu2 [18.4 kB]
Get: 69 http://deb.debian.org/debian bookworm/main arm64 ghc-prof arm64 9.0.2-4 [97.4 MB]
Get: 70 http://deb.debian.org/debian bookworm/main arm64 libbrotli1 arm64 1.0.9-2+b6 [269 kB]
Get: 71 http://deb.debian.org/debian bookworm/main arm64 libsasl2-modules-db arm64 2.1.28+dfsg-10 [20.8 kB]
Get: 72 http://deb.debian.org/debian bookworm/main arm64 libsasl2-2 arm64 2.1.28+dfsg-10 [58.0 kB]
Get: 73 http://deb.debian.org/debian bookworm/main arm64 libldap-2.5-0 arm64 2.5.13+dfsg-5 [171 kB]
Get: 74 http://deb.debian.org/debian bookworm/main arm64 libnghttp2-14 arm64 1.52.0-1+deb12u1 [68.3 kB]
Get: 75 http://deb.debian.org/debian bookworm/main arm64 libpsl5 arm64 0.21.2-1 [58.6 kB]
Get: 76 http://deb.debian.org/debian bookworm/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b2 [59.4 kB]
Get: 77 http://deb.debian.org/debian bookworm/main arm64 libssh2-1 arm64 1.10.0-3+b1 [172 kB]
Get: 78 http://deb.debian.org/debian bookworm/main arm64 libcurl3-gnutls arm64 7.88.1-10+deb12u4 [361 kB]
Get: 79 http://deb.debian.org/debian bookworm/main arm64 html-xml-utils arm64 7.7-1.1 [299 kB]
Get: 80 http://deb.debian.org/debian bookworm/main arm64 libparams-util-perl arm64 1.102-2+b1 [24.2 kB]
Get: 81 http://deb.debian.org/debian bookworm/main arm64 libsub-install-perl all 0.929-1 [10.5 kB]
Get: 82 http://deb.debian.org/debian bookworm/main arm64 libdata-optlist-perl all 0.113-1 [10.6 kB]
Get: 83 http://deb.debian.org/debian bookworm/main arm64 libsub-exporter-perl all 0.989-1 [50.5 kB]
Get: 84 http://deb.debian.org/debian bookworm/main arm64 libsub-exporter-progressive-perl all 0.001013-3 [7496 B]
Get: 85 http://deb.debian.org/debian bookworm/main arm64 libconst-fast-perl all 0.014-2 [8792 B]
Get: 86 http://deb.debian.org/debian bookworm/main arm64 libdevel-confess-perl all 0.009004-3 [19.6 kB]
Get: 87 http://deb.debian.org/debian bookworm/main arm64 libipc-run3-perl all 0.048-3 [33.2 kB]
Get: 88 http://deb.debian.org/debian bookworm/main arm64 libb-hooks-op-check-perl arm64 0.22-2+b1 [10.4 kB]
Get: 89 http://deb.debian.org/debian bookworm/main arm64 libdynaloader-functions-perl all 0.003-3 [12.7 kB]
Get: 90 http://deb.debian.org/debian bookworm/main arm64 libdevel-callchecker-perl arm64 0.008-2 [15.9 kB]
Get: 91 http://deb.debian.org/debian bookworm/main arm64 libparams-classify-perl arm64 0.015-2+b1 [22.9 kB]
Get: 92 http://deb.debian.org/debian bookworm/main arm64 libmodule-runtime-perl all 0.016-2 [19.6 kB]
Get: 93 http://deb.debian.org/debian bookworm/main arm64 libtry-tiny-perl all 0.31-2 [22.6 kB]
Get: 94 http://deb.debian.org/debian bookworm/main arm64 libmodule-implementation-perl all 0.09-2 [12.6 kB]
Get: 95 http://deb.debian.org/debian bookworm/main arm64 liblist-someutils-perl all 0.59-1 [37.1 kB]
Get: 96 http://deb.debian.org/debian bookworm/main arm64 libpath-tiny-perl all 0.144-1 [56.4 kB]
Get: 97 http://deb.debian.org/debian bookworm/main arm64 libtimedate-perl all 2.3300-2 [39.3 kB]
Get: 98 http://deb.debian.org/debian bookworm/main arm64 libunicode-utf8-perl arm64 0.62-2 [19.9 kB]
Get: 99 http://deb.debian.org/debian bookworm/main arm64 haskell-devscripts-minimal all 0.16.29 [65.6 kB]
Get: 100 http://deb.debian.org/debian bookworm/main arm64 libghc-base-orphans-dev arm64 0.8.7-1 [94.4 kB]
Get: 101 http://deb.debian.org/debian bookworm/main arm64 libghc-tagged-dev arm64 0.8.6.1-1+b2 [95.5 kB]
Get: 102 http://deb.debian.org/debian bookworm/main arm64 libghc-distributive-dev arm64 0.6.2.1-1+b4 [63.2 kB]
Get: 103 http://deb.debian.org/debian bookworm/main arm64 libghc-indexed-traversable-dev arm64 0.1.2-2+b1 [180 kB]
Get: 104 http://deb.debian.org/debian bookworm/main arm64 libghc-transformers-compat-dev arm64 0.6.6-1+b2 [113 kB]
Get: 105 http://deb.debian.org/debian bookworm/main arm64 libghc-comonad-dev arm64 5.0.8-1+b2 [170 kB]
Get: 106 http://deb.debian.org/debian bookworm/main arm64 libghc-statevar-dev arm64 1.2.2-1+b2 [32.8 kB]
Get: 107 http://deb.debian.org/debian bookworm/main arm64 libghc-contravariant-dev arm64 1.5.5-1+b2 [102 kB]
Get: 108 http://deb.debian.org/debian bookworm/main arm64 libghc-th-abstraction-dev arm64 0.4.5.0-1 [294 kB]
Get: 109 http://deb.debian.org/debian bookworm/main arm64 libghc-bifunctors-dev arm64 5.5.13-1 [678 kB]
Get: 110 http://deb.debian.org/debian bookworm/main arm64 libghc-profunctors-dev arm64 5.6.2-1+b3 [487 kB]
Get: 111 http://deb.debian.org/debian bookworm/main arm64 libghc-hashable-dev arm64 1.3.5.0-2+b2 [153 kB]
Get: 112 http://deb.debian.org/debian bookworm/main arm64 libghc-unordered-containers-dev arm64 0.2.17.0-2+b2 [356 kB]
Get: 113 http://deb.debian.org/debian bookworm/main arm64 libghc-semigroupoids-dev arm64 5.3.7-1+b3 [612 kB]
Get: 114 http://deb.debian.org/debian bookworm/main arm64 libghc-transformers-base-dev arm64 0.4.6-1+b3 [39.0 kB]
Get: 115 http://deb.debian.org/debian bookworm/main arm64 libghc-free-dev arm64 5.1.9-1+b4 [991 kB]
Get: 116 http://deb.debian.org/debian bookworm/main arm64 libghc-semigroups-dev arm64 0.19.2-1+b2 [24.8 kB]
Get: 117 http://deb.debian.org/debian bookworm/main arm64 libghc-void-dev arm64 0.7.3-3+b1 [11.9 kB]
Get: 118 http://deb.debian.org/debian bookworm/main arm64 libghc-adjunctions-dev arm64 4.4.2-1+b2 [288 kB]
Get: 119 http://deb.debian.org/debian bookworm/main arm64 libghc-base-orphans-prof arm64 0.8.7-1 [88.7 kB]
Get: 120 http://deb.debian.org/debian bookworm/main arm64 libghc-tagged-prof arm64 0.8.6.1-1+b2 [96.0 kB]
Get: 121 http://deb.debian.org/debian bookworm/main arm64 libghc-distributive-prof arm64 0.6.2.1-1+b4 [64.7 kB]
Get: 122 http://deb.debian.org/debian bookworm/main arm64 libghc-indexed-traversable-prof arm64 0.1.2-2+b1 [177 kB]
Get: 123 http://deb.debian.org/debian bookworm/main arm64 libghc-transformers-compat-prof arm64 0.6.6-1+b2 [107 kB]
Get: 124 http://deb.debian.org/debian bookworm/main arm64 libghc-comonad-prof arm64 5.0.8-1+b2 [172 kB]
Get: 125 http://deb.debian.org/debian bookworm/main arm64 libghc-statevar-prof arm64 1.2.2-1+b2 [30.9 kB]
Get: 126 http://deb.debian.org/debian bookworm/main arm64 libghc-contravariant-prof arm64 1.5.5-1+b2 [96.2 kB]
Get: 127 http://deb.debian.org/debian bookworm/main arm64 libghc-th-abstraction-prof arm64 0.4.5.0-1 [285 kB]
Get: 128 http://deb.debian.org/debian bookworm/main arm64 libghc-bifunctors-prof arm64 5.5.13-1 [685 kB]
Get: 129 http://deb.debian.org/debian bookworm/main arm64 libghc-profunctors-prof arm64 5.6.2-1+b3 [491 kB]
Get: 130 http://deb.debian.org/debian bookworm/main arm64 libghc-hashable-prof arm64 1.3.5.0-2+b2 [147 kB]
Get: 131 http://deb.debian.org/debian bookworm/main arm64 libghc-unordered-containers-prof arm64 0.2.17.0-2+b2 [427 kB]
Get: 132 http://deb.debian.org/debian bookworm/main arm64 libghc-semigroupoids-prof arm64 5.3.7-1+b3 [606 kB]
Get: 133 http://deb.debian.org/debian bookworm/main arm64 libghc-transformers-base-prof arm64 0.4.6-1+b3 [37.9 kB]
Get: 134 http://deb.debian.org/debian bookworm/main arm64 libghc-free-prof arm64 5.1.9-1+b4 [999 kB]
Get: 135 http://deb.debian.org/debian bookworm/main arm64 libghc-semigroups-prof arm64 0.19.2-1+b2 [23.1 kB]
Get: 136 http://deb.debian.org/debian bookworm/main arm64 libghc-void-prof arm64 0.7.3-3+b1 [10.7 kB]
Get: 137 http://deb.debian.org/debian bookworm/main arm64 libghc-adjunctions-prof arm64 4.4.2-1+b2 [307 kB]
Get: 138 http://deb.debian.org/debian bookworm/main arm64 libghc-assoc-dev arm64 1.0.2-3+b3 [26.3 kB]
Get: 139 http://deb.debian.org/debian bookworm/main arm64 libghc-assoc-prof arm64 1.0.2-3+b3 [24.1 kB]
Get: 140 http://deb.debian.org/debian bookworm/main arm64 libghc-async-dev arm64 2.2.4-1+b2 [92.9 kB]
Get: 141 http://deb.debian.org/debian bookworm/main arm64 libghc-async-prof arm64 2.2.4-1+b2 [91.9 kB]
Get: 142 http://deb.debian.org/debian bookworm/main arm64 libghc-integer-logarithms-dev arm64 1.0.3.1-2+b2 [48.1 kB]
Get: 143 http://deb.debian.org/debian bookworm/main arm64 libghc-primitive-dev arm64 0.7.3.0-1+b2 [433 kB]
Get: 144 http://deb.debian.org/debian bookworm/main arm64 libghc-scientific-dev arm64 0.3.7.0-1+b2 [207 kB]
Get: 145 http://deb.debian.org/debian bookworm/main arm64 libghc-attoparsec-dev arm64 0.14.4-2+b1 [670 kB]
Get: 146 http://deb.debian.org/debian bookworm/main arm64 libghc-integer-logarithms-prof arm64 1.0.3.1-2+b2 [45.9 kB]
Get: 147 http://deb.debian.org/debian bookworm/main arm64 libghc-primitive-prof arm64 0.7.3.0-1+b2 [421 kB]
Get: 148 http://deb.debian.org/debian bookworm/main arm64 libghc-scientific-prof arm64 0.3.7.0-1+b2 [204 kB]
Get: 149 http://deb.debian.org/debian bookworm/main arm64 libghc-attoparsec-prof arm64 0.14.4-2+b1 [666 kB]
Get: 150 http://deb.debian.org/debian bookworm/main arm64 libghc-base-compat-dev arm64 0.11.2-1+b2 [87.1 kB]
Get: 151 http://deb.debian.org/debian bookworm/main arm64 libghc-base-compat-prof arm64 0.11.2-1+b2 [71.3 kB]
Get: 152 http://deb.debian.org/debian bookworm/main arm64 libghc-bimap-dev arm64 0.5.0-1+b1 [67.4 kB]
Get: 153 http://deb.debian.org/debian bookworm/main arm64 libghc-bimap-doc all 0.5.0-1 [61.5 kB]
Get: 154 http://deb.debian.org/debian bookworm/main arm64 libghc-bimap-prof arm64 0.5.0-1+b1 [69.7 kB]
Get: 155 http://deb.debian.org/debian bookworm/main arm64 libghc-bitwise-dev arm64 1.0.0.1-2+b1 [193 kB]
Get: 156 http://deb.debian.org/debian bookworm/main arm64 libghc-bitwise-prof arm64 1.0.0.1-2+b1 [205 kB]
Get: 157 http://deb.debian.org/debian bookworm/main arm64 libghc-gitrev-dev arm64 1.3.1-5+b1 [38.1 kB]
Get: 158 http://deb.debian.org/debian bookworm/main arm64 libghc-panic-dev arm64 0.4.0.1-3+b1 [31.6 kB]
Get: 159 http://deb.debian.org/debian bookworm/main arm64 libghc-type-equality-dev arm64 1-3+b2 [10.7 kB]
Get: 160 http://deb.debian.org/debian bookworm/main arm64 libghc-constraints-dev arm64 0.13.4-1+b2 [337 kB]
Get: 161 http://deb.debian.org/debian bookworm/main arm64 libghc-vector-dev arm64 0.12.3.1-1+b2 [2493 kB]
Get: 162 http://deb.debian.org/debian bookworm/main arm64 libghc-hashtables-dev arm64 1.2.4.2-1+b2 [260 kB]
Get: 163 http://deb.debian.org/debian bookworm/main arm64 libghc-call-stack-dev arm64 0.4.0-1+b2 [27.5 kB]
Get: 164 http://deb.debian.org/debian bookworm/main arm64 libghc-onetuple-dev arm64 0.3.1-1+b3 [14.3 kB]
Get: 165 http://deb.debian.org/debian bookworm/main arm64 libghc-indexed-traversable-instances-dev arm64 0.1.1.1-1 [37.8 kB]
Get: 166 http://deb.debian.org/debian bookworm/main arm64 libghc-invariant-dev arm64 0.5.6-1+b3 [271 kB]
Get: 167 http://deb.debian.org/debian bookworm/main arm64 libghc-kan-extensions-dev arm64 5.2.5-1+b3 [299 kB]
Get: 168 http://deb.debian.org/debian bookworm/main arm64 libghc-parallel-dev arm64 3.2.2.0-4+b2 [68.6 kB]
Get: 169 http://deb.debian.org/debian bookworm/main arm64 libghc-reflection-dev arm64 2.1.6-2+b2 [301 kB]
Get: 170 http://deb.debian.org/debian bookworm/main arm64 libghc-these-dev arm64 1.1.1.1-2+b3 [163 kB]
Get: 171 http://deb.debian.org/debian bookworm/main arm64 libghc-strict-dev arm64 0.4.0.1-1+b3 [293 kB]
Get: 172 http://deb.debian.org/debian bookworm/main arm64 libghc-lens-dev arm64 5.0.1-2+b4 [2637 kB]
Get: 173 http://deb.debian.org/debian bookworm/main arm64 libghc-parameterized-utils-dev arm64 2.1.5.0-2+b4 [978 kB]
Get: 174 http://deb.debian.org/debian bookworm/main arm64 libghc-splitmix-dev arm64 0.1.0.4-1+b2 [66.2 kB]
Get: 175 http://deb.debian.org/debian bookworm/main arm64 libghc-random-dev arm64 1.2.1.1-2+b2 [415 kB]
Get: 176 http://deb.debian.org/debian bookworm/main arm64 libghc-th-lift-dev arm64 0.8.2-1+b3 [73.7 kB]
Get: 177 http://deb.debian.org/debian bookworm/main arm64 libghc-bv-sized-dev arm64 1.0.4-2+b3 [230 kB]
Get: 178 http://deb.debian.org/debian bookworm/main arm64 libghc-bv-sized-doc all 1.0.4-2 [98.4 kB]
Get: 179 http://deb.debian.org/debian bookworm/main arm64 libghc-gitrev-prof arm64 1.3.1-5+b1 [34.1 kB]
Get: 180 http://deb.debian.org/debian bookworm/main arm64 libghc-panic-prof arm64 0.4.0.1-3+b1 [29.6 kB]
Get: 181 http://deb.debian.org/debian bookworm/main arm64 libghc-type-equality-prof arm64 1-3+b2 [8784 B]
Get: 182 http://deb.debian.org/debian bookworm/main arm64 libghc-constraints-prof arm64 0.13.4-1+b2 [316 kB]
Get: 183 http://deb.debian.org/debian bookworm/main arm64 libghc-vector-prof arm64 0.12.3.1-1+b2 [2378 kB]
Get: 184 http://deb.debian.org/debian bookworm/main arm64 libghc-hashtables-prof arm64 1.2.4.2-1+b2 [265 kB]
Get: 185 http://deb.debian.org/debian bookworm/main arm64 libghc-call-stack-prof arm64 0.4.0-1+b2 [24.2 kB]
Get: 186 http://deb.debian.org/debian bookworm/main arm64 libghc-onetuple-prof arm64 0.3.1-1+b3 [12.7 kB]
Get: 187 http://deb.debian.org/debian bookworm/main arm64 libghc-indexed-traversable-instances-prof arm64 0.1.1.1-1 [37.7 kB]
Get: 188 http://deb.debian.org/debian bookworm/main arm64 libghc-invariant-prof arm64 0.5.6-1+b3 [275 kB]
Get: 189 http://deb.debian.org/debian bookworm/main arm64 libghc-kan-extensions-prof arm64 5.2.5-1+b3 [312 kB]
Get: 190 http://deb.debian.org/debian bookworm/main arm64 libghc-parallel-prof arm64 3.2.2.0-4+b2 [76.1 kB]
Get: 191 http://deb.debian.org/debian bookworm/main arm64 libghc-reflection-prof arm64 2.1.6-2+b2 [256 kB]
Get: 192 http://deb.debian.org/debian bookworm/main arm64 libghc-these-prof arm64 1.1.1.1-2+b3 [159 kB]
Get: 193 http://deb.debian.org/debian bookworm/main arm64 libghc-strict-prof arm64 0.4.0.1-1+b3 [279 kB]
Get: 194 http://deb.debian.org/debian bookworm/main arm64 libghc-lens-prof arm64 5.0.1-2+b4 [2631 kB]
Get: 195 http://deb.debian.org/debian bookworm/main arm64 libghc-parameterized-utils-prof arm64 2.1.5.0-2+b4 [988 kB]
Get: 196 http://deb.debian.org/debian bookworm/main arm64 libghc-splitmix-prof arm64 0.1.0.4-1+b2 [62.2 kB]
Get: 197 http://deb.debian.org/debian bookworm/main arm64 libghc-random-prof arm64 1.2.1.1-2+b2 [403 kB]
Get: 198 http://deb.debian.org/debian bookworm/main arm64 libghc-th-lift-prof arm64 0.8.2-1+b3 [72.5 kB]
Get: 199 http://deb.debian.org/debian bookworm/main arm64 libghc-bv-sized-prof arm64 1.0.4-2+b3 [231 kB]
Get: 200 http://deb.debian.org/debian bookworm/main arm64 libghc-case-insensitive-dev arm64 1.2.1.0-3+b2 [57.9 kB]
Get: 201 http://deb.debian.org/debian bookworm/main arm64 libghc-case-insensitive-prof arm64 1.2.1.0-3+b2 [57.4 kB]
Get: 202 http://deb.debian.org/debian bookworm/main arm64 libghc-unbounded-delays-dev arm64 0.1.1.1-1+b2 [23.3 kB]
Get: 203 http://deb.debian.org/debian bookworm/main arm64 libghc-concurrent-extra-dev arm64 0.7.0.12-2+b1 [102 kB]
Get: 204 http://deb.debian.org/debian bookworm/main arm64 libghc-unbounded-delays-prof arm64 0.1.1.1-1+b2 [21.3 kB]
Get: 205 http://deb.debian.org/debian bookworm/main arm64 libghc-concurrent-extra-prof arm64 0.7.0.12-2+b1 [93.2 kB]
Get: 206 http://deb.debian.org/debian bookworm/main arm64 libghc-config-value-dev arm64 0.8.3-1 [512 kB]
Get: 207 http://deb.debian.org/debian bookworm/main arm64 libghc-config-value-prof arm64 0.8.3-1 [502 kB]
Get: 208 http://deb.debian.org/debian bookworm/main arm64 libghc-copilot-core-dev arm64 3.13-1 [259 kB]
Get: 209 http://deb.debian.org/debian bookworm/main arm64 libghc-copilot-core-doc all 3.13-1 [99.8 kB]
Get: 210 http://deb.debian.org/debian bookworm/main arm64 libghc-copilot-core-prof arm64 3.13-1 [244 kB]
Get: 211 http://deb.debian.org/debian bookworm/main arm64 libghc-copilot-prettyprinter-dev arm64 3.13-1 [54.0 kB]
Get: 212 http://deb.debian.org/debian bookworm/main arm64 libghc-copilot-prettyprinter-doc all 3.13-1 [44.1 kB]
Get: 213 http://deb.debian.org/debian bookworm/main arm64 libghc-copilot-prettyprinter-prof arm64 3.13-1 [53.0 kB]
Get: 214 http://deb.debian.org/debian bookworm/main arm64 libghc-data-binary-ieee754-dev arm64 0.4.4-11+b3 [32.2 kB]
Get: 215 http://deb.debian.org/debian bookworm/main arm64 libghc-data-binary-ieee754-prof arm64 0.4.4-11+b3 [31.8 kB]
Get: 216 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-class-dev arm64 0.1.2.0-6+b3 [23.1 kB]
Get: 217 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-class-prof arm64 0.1.2.0-6+b3 [20.1 kB]
Get: 218 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-instances-containers-dev arm64 0.0.1-12+b2 [12.6 kB]
Get: 219 http://deb.debian.org/debian bookworm/main arm64 libghc-dlist-dev arm64 1.0-2+b3 [95.2 kB]
Get: 220 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-instances-dlist-dev arm64 0.0.1-11+b2 [11.6 kB]
Get: 221 http://deb.debian.org/debian bookworm/main arm64 libghc-old-locale-dev arm64 1.0.0.7-10+b2 [44.3 kB]
Get: 222 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-instances-old-locale-dev arm64 0.0.1-11+b2 [11.4 kB]
Get: 223 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-dev arm64 0.7.1.1-6+b2 [11.8 kB]
Get: 224 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-doc all 0.7.1.1-6 [39.2 kB]
Get: 225 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-instances-containers-prof arm64 0.0.1-12+b2 [10.8 kB]
Get: 226 http://deb.debian.org/debian bookworm/main arm64 libghc-dlist-prof arm64 1.0-2+b3 [94.4 kB]
Get: 227 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-instances-dlist-prof arm64 0.0.1-11+b2 [9808 B]
Get: 228 http://deb.debian.org/debian bookworm/main arm64 libghc-old-locale-prof arm64 1.0.0.7-10+b2 [39.0 kB]
Get: 229 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-instances-old-locale-prof arm64 0.0.1-11+b2 [9608 B]
Get: 230 http://deb.debian.org/debian bookworm/main arm64 libghc-data-default-prof arm64 0.7.1.1-6+b2 [9976 B]
Get: 231 http://deb.debian.org/debian bookworm/main arm64 libghc-deriving-compat-dev arm64 0.6.1-1+b3 [700 kB]
Get: 232 http://deb.debian.org/debian bookworm/main arm64 libghc-deriving-compat-prof arm64 0.6.1-1+b3 [741 kB]
Get: 233 http://deb.debian.org/debian bookworm/main arm64 libghc-fingertree-dev arm64 0.1.5.0-1+b2 [318 kB]
Get: 234 http://deb.debian.org/debian bookworm/main arm64 libghc-fingertree-prof arm64 0.1.5.0-1+b2 [347 kB]
Get: 235 http://deb.debian.org/debian bookworm/main arm64 libghc-network-dev arm64 3.1.2.7-1+b2 [483 kB]
Get: 236 http://deb.debian.org/debian bookworm/main arm64 zlib1g-dev arm64 1:1.2.13.dfsg-1 [913 kB]
Get: 237 http://deb.debian.org/debian bookworm/main arm64 libghc-zlib-dev arm64 0.6.3.0-1+b2 [246 kB]
Get: 238 http://deb.debian.org/debian bookworm/main arm64 libghc-zlib-bindings-dev arm64 0.1.1.5-11+b1 [66.0 kB]
Get: 239 http://deb.debian.org/debian bookworm/main arm64 libghc-io-streams-dev arm64 1.5.2.2-1 [323 kB]
Get: 240 http://deb.debian.org/debian bookworm/main arm64 libghc-network-prof arm64 3.1.2.7-1+b2 [458 kB]
Get: 241 http://deb.debian.org/debian bookworm/main arm64 libghc-zlib-prof arm64 0.6.3.0-1+b2 [220 kB]
Get: 242 http://deb.debian.org/debian bookworm/main arm64 libghc-zlib-bindings-prof arm64 0.1.1.5-11+b1 [58.9 kB]
Get: 243 http://deb.debian.org/debian bookworm/main arm64 libghc-io-streams-prof arm64 1.5.2.2-1 [329 kB]
Get: 244 http://deb.debian.org/debian bookworm/main arm64 libghc-libbf-dev arm64 0.6.5.1-1 [189 kB]
Get: 245 http://deb.debian.org/debian bookworm/main arm64 libghc-libbf-doc all 0.6.5.1-1 [82.6 kB]
Get: 246 http://deb.debian.org/debian bookworm/main arm64 libghc-libbf-prof arm64 0.6.5.1-1 [169 kB]
Get: 247 http://deb.debian.org/debian bookworm/main arm64 libghc-parser-combinators-dev arm64 1.3.0-1+b1 [94.5 kB]
Get: 248 http://deb.debian.org/debian bookworm/main arm64 libghc-megaparsec-dev arm64 9.2.2-1 [696 kB]
Get: 249 http://deb.debian.org/debian bookworm/main arm64 libghc-parser-combinators-prof arm64 1.3.0-1+b1 [98.3 kB]
Get: 250 http://deb.debian.org/debian bookworm/main arm64 libghc-megaparsec-prof arm64 9.2.2-1 [700 kB]
Get: 251 http://deb.debian.org/debian bookworm/main arm64 libghc-panic-doc all 0.4.0.1-3 [40.2 kB]
Get: 252 http://deb.debian.org/debian bookworm/main arm64 libghc-parameterized-utils-doc all 2.1.5.0-2 [420 kB]
Get: 253 http://deb.debian.org/debian bookworm/main arm64 libghc-prettyprinter-dev arm64 1.7.1-1+b2 [364 kB]
Get: 254 http://deb.debian.org/debian bookworm/main arm64 libghc-prettyprinter-prof arm64 1.7.1-1+b2 [377 kB]
Get: 255 http://deb.debian.org/debian bookworm/main arm64 libghc-random-doc all 1.2.1.1-2 [143 kB]
Get: 256 http://deb.debian.org/debian bookworm/main arm64 libghc-temporary-dev arm64 1.3-3+b2 [31.8 kB]
Get: 257 http://deb.debian.org/debian bookworm/main arm64 libghc-temporary-prof arm64 1.3-3+b2 [30.3 kB]
Get: 258 http://deb.debian.org/debian bookworm/main arm64 libghc-th-lift-instances-dev arm64 0.1.20-1+b1 [79.5 kB]
Get: 259 http://deb.debian.org/debian bookworm/main arm64 libghc-th-lift-instances-prof arm64 0.1.20-1+b1 [78.9 kB]
Get: 260 http://deb.debian.org/debian bookworm/main arm64 libghc-utf8-string-dev arm64 1.0.2-1+b1 [133 kB]
Get: 261 http://deb.debian.org/debian bookworm/main arm64 libghc-utf8-string-prof arm64 1.0.2-1+b1 [125 kB]
Get: 262 http://deb.debian.org/debian bookworm/main arm64 libghc-versions-dev arm64 5.0.3-3+b2 [333 kB]
Get: 263 http://deb.debian.org/debian bookworm/main arm64 libghc-versions-prof arm64 5.0.3-3+b2 [314 kB]
Get: 264 http://deb.debian.org/debian bookworm/main arm64 libghc-zenc-dev arm64 0.1.2-2+b1 [24.8 kB]
Get: 265 http://deb.debian.org/debian bookworm/main arm64 libghc-what4-dev arm64 1.3-4+b2 [5517 kB]
Get: 266 http://deb.debian.org/debian bookworm/main arm64 libghc-what4-doc all 1.3-4 [1433 kB]
Get: 267 http://deb.debian.org/debian bookworm/main arm64 libghc-zenc-prof arm64 0.1.2-2+b1 [23.6 kB]
Get: 268 http://deb.debian.org/debian bookworm/main arm64 libghc-what4-prof arm64 1.3-4+b2 [5069 kB]
Get: 269 http://deb.debian.org/debian bookworm/main arm64 libghc-xml-dev arm64 1.3.14-11+b2 [261 kB]
Get: 270 http://deb.debian.org/debian bookworm/main arm64 libghc-xml-doc all 1.3.14-11 [89.8 kB]
Get: 271 http://deb.debian.org/debian bookworm/main arm64 libghc-xml-prof arm64 1.3.14-11+b2 [254 kB]
Fetched 354 MB in 2s (213 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libbsd0:arm64.
(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 ... 18171 files and directories currently installed.)
Preparing to unpack .../00-libbsd0_0.11.7-2_arm64.deb ...
Unpacking libbsd0:arm64 (0.11.7-2) ...
Selecting previously unselected package libedit2:arm64.
Preparing to unpack .../01-libedit2_3.1-20221030-2_arm64.deb ...
Unpacking libedit2:arm64 (3.1-20221030-2) ...
Selecting previously unselected package libicu72:arm64.
Preparing to unpack .../02-libicu72_72.1-3_arm64.deb ...
Unpacking libicu72:arm64 (72.1-3) ...
Selecting previously unselected package libxml2:arm64.
Preparing to unpack .../03-libxml2_2.9.14+dfsg-1.3~deb12u1_arm64.deb ...
Unpacking libxml2:arm64 (2.9.14+dfsg-1.3~deb12u1) ...
Selecting previously unselected package libz3-4:arm64.
Preparing to unpack .../04-libz3-4_4.8.12-3.1_arm64.deb ...
Unpacking libz3-4:arm64 (4.8.12-3.1) ...
Selecting previously unselected package libllvm13:arm64.
Preparing to unpack .../05-libllvm13_1%3a13.0.1-11+b2_arm64.deb ...
Unpacking libllvm13:arm64 (1:13.0.1-11+b2) ...
Selecting previously unselected package llvm-13-runtime.
Preparing to unpack .../06-llvm-13-runtime_1%3a13.0.1-11+b2_arm64.deb ...
Unpacking llvm-13-runtime (1:13.0.1-11+b2) ...
Selecting previously unselected package llvm-13-linker-tools.
Preparing to unpack .../07-llvm-13-linker-tools_1%3a13.0.1-11+b2_arm64.deb ...
Unpacking llvm-13-linker-tools (1:13.0.1-11+b2) ...
Selecting previously unselected package libpfm4:arm64.
Preparing to unpack .../08-libpfm4_4.13.0-1_arm64.deb ...
Unpacking libpfm4:arm64 (4.13.0-1) ...
Selecting previously unselected package llvm-13.
Preparing to unpack .../09-llvm-13_1%3a13.0.1-11+b2_arm64.deb ...
Unpacking llvm-13 (1:13.0.1-11+b2) ...
Selecting previously unselected package libgmpxx4ldbl:arm64.
Preparing to unpack .../10-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_arm64.deb ...
Unpacking libgmpxx4ldbl:arm64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libgmp-dev:arm64.
Preparing to unpack .../11-libgmp-dev_2%3a6.2.1+dfsg1-1.1_arm64.deb ...
Unpacking libgmp-dev:arm64 (2:6.2.1+dfsg1-1.1) ...
Selecting previously unselected package libffi-dev:arm64.
Preparing to unpack .../12-libffi-dev_3.4.4-1_arm64.deb ...
Unpacking libffi-dev:arm64 (3.4.4-1) ...
Selecting previously unselected package libmd-dev:arm64.
Preparing to unpack .../13-libmd-dev_1.0.4-2_arm64.deb ...
Unpacking libmd-dev:arm64 (1.0.4-2) ...
Selecting previously unselected package libbsd-dev:arm64.
Preparing to unpack .../14-libbsd-dev_0.11.7-2_arm64.deb ...
Unpacking libbsd-dev:arm64 (0.11.7-2) ...
Selecting previously unselected package libncurses6:arm64.
Preparing to unpack .../15-libncurses6_6.4-4_arm64.deb ...
Unpacking libncurses6:arm64 (6.4-4) ...
Selecting previously unselected package libncurses-dev:arm64.
Preparing to unpack .../16-libncurses-dev_6.4-4_arm64.deb ...
Unpacking libncurses-dev:arm64 (6.4-4) ...
Selecting previously unselected package ghc.
Preparing to unpack .../17-ghc_9.0.2-4_arm64.deb ...
Unpacking ghc (9.0.2-4) ...
Selecting previously unselected package fonts-mathjax.
Preparing to unpack .../18-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 .../19-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 .../20-ghc-doc_9.0.2-4_all.deb ...
Unpacking ghc-doc (9.0.2-4) ...
Selecting previously unselected package libpython3.11-minimal:arm64.
Preparing to unpack .../21-libpython3.11-minimal_3.11.2-6_arm64.deb ...
Unpacking libpython3.11-minimal:arm64 (3.11.2-6) ...
Selecting previously unselected package libexpat1:arm64.
Preparing to unpack .../22-libexpat1_2.5.0-1_arm64.deb ...
Unpacking libexpat1:arm64 (2.5.0-1) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../23-python3.11-minimal_3.11.2-6_arm64.deb ...
Unpacking python3.11-minimal (3.11.2-6) ...
Setting up libpython3.11-minimal:arm64 (3.11.2-6) ...
Setting up libexpat1:arm64 (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 ... 31398 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_arm64.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:arm64.
Preparing to unpack .../3-libreadline8_8.2-1.3_arm64.deb ...
Unpacking libreadline8:arm64 (8.2-1.3) ...
Selecting previously unselected package libpython3.11-stdlib:arm64.
Preparing to unpack .../4-libpython3.11-stdlib_3.11.2-6_arm64.deb ...
Unpacking libpython3.11-stdlib:arm64 (3.11.2-6) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../5-python3.11_3.11.2-6_arm64.deb ...
Unpacking python3.11 (3.11.2-6) ...
Selecting previously unselected package libpython3-stdlib:arm64.
Preparing to unpack .../6-libpython3-stdlib_3.11.2-1+b1_arm64.deb ...
Unpacking libpython3-stdlib:arm64 (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 ... 31832 files and directories currently installed.)
Preparing to unpack .../000-python3_3.11.2-1+b1_arm64.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_arm64.deb ...
Unpacking libmagic-mgc (1:5.44-3) ...
Selecting previously unselected package libmagic1:arm64.
Preparing to unpack .../004-libmagic1_1%3a5.44-3_arm64.deb ...
Unpacking libmagic1:arm64 (1:5.44-3) ...
Selecting previously unselected package file.
Preparing to unpack .../005-file_1%3a5.44-3_arm64.deb ...
Unpacking file (1:5.44-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../006-gettext-base_0.21-12_arm64.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package libuchardet0:arm64.
Preparing to unpack .../007-libuchardet0_0.0.7-1_arm64.deb ...
Unpacking libuchardet0:arm64 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../008-groff-base_1.22.4-10_arm64.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../009-bsdextrautils_2.38.1-5+b1_arm64.deb ...
Unpacking bsdextrautils (2.38.1-5+b1) ...
Selecting previously unselected package libpipeline1:arm64.
Preparing to unpack .../010-libpipeline1_1.5.7-1_arm64.deb ...
Unpacking libpipeline1:arm64 (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../011-man-db_2.11.2-2_arm64.deb ...
Unpacking man-db (2.11.2-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../012-m4_1.4.19-3_arm64.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 dctrl-tools.
Preparing to unpack .../022-dctrl-tools_2.24-3_arm64.deb ...
Unpacking dctrl-tools (2.24-3) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../023-libdebhelper-perl_13.11.4_all.deb ...
Unpacking libdebhelper-perl (13.11.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../024-libtool_2.4.7-5_all.deb ...
Unpacking libtool (2.4.7-5) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../025-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../026-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 .../027-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 .../028-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 .../029-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:arm64.
Preparing to unpack .../030-libelf1_0.188-2.1_arm64.deb ...
Unpacking libelf1:arm64 (0.188-2.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../031-dwz_0.15-1_arm64.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../032-gettext_0.21-12_arm64.deb ...
Unpacking gettext (0.21-12) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../033-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 .../034-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../035-debhelper_13.11.4_all.deb ...
Unpacking debhelper (13.11.4) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../036-dh-buildinfo_0.11+nmu2_all.deb ...
Unpacking dh-buildinfo (0.11+nmu2) ...
Selecting previously unselected package ghc-prof.
Preparing to unpack .../037-ghc-prof_9.0.2-4_arm64.deb ...
Unpacking ghc-prof (9.0.2-4) ...
Selecting previously unselected package libbrotli1:arm64.
Preparing to unpack .../038-libbrotli1_1.0.9-2+b6_arm64.deb ...
Unpacking libbrotli1:arm64 (1.0.9-2+b6) ...
Selecting previously unselected package libsasl2-modules-db:arm64.
Preparing to unpack .../039-libsasl2-modules-db_2.1.28+dfsg-10_arm64.deb ...
Unpacking libsasl2-modules-db:arm64 (2.1.28+dfsg-10) ...
Selecting previously unselected package libsasl2-2:arm64.
Preparing to unpack .../040-libsasl2-2_2.1.28+dfsg-10_arm64.deb ...
Unpacking libsasl2-2:arm64 (2.1.28+dfsg-10) ...
Selecting previously unselected package libldap-2.5-0:arm64.
Preparing to unpack .../041-libldap-2.5-0_2.5.13+dfsg-5_arm64.deb ...
Unpacking libldap-2.5-0:arm64 (2.5.13+dfsg-5) ...
Selecting previously unselected package libnghttp2-14:arm64.
Preparing to unpack .../042-libnghttp2-14_1.52.0-1+deb12u1_arm64.deb ...
Unpacking libnghttp2-14:arm64 (1.52.0-1+deb12u1) ...
Selecting previously unselected package libpsl5:arm64.
Preparing to unpack .../043-libpsl5_0.21.2-1_arm64.deb ...
Unpacking libpsl5:arm64 (0.21.2-1) ...
Selecting previously unselected package librtmp1:arm64.
Preparing to unpack .../044-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_arm64.deb ...
Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ...
Selecting previously unselected package libssh2-1:arm64.
Preparing to unpack .../045-libssh2-1_1.10.0-3+b1_arm64.deb ...
Unpacking libssh2-1:arm64 (1.10.0-3+b1) ...
Selecting previously unselected package libcurl3-gnutls:arm64.
Preparing to unpack .../046-libcurl3-gnutls_7.88.1-10+deb12u4_arm64.deb ...
Unpacking libcurl3-gnutls:arm64 (7.88.1-10+deb12u4) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../047-html-xml-utils_7.7-1.1_arm64.deb ...
Unpacking html-xml-utils (7.7-1.1) ...
Selecting previously unselected package libparams-util-perl.
Preparing to unpack .../048-libparams-util-perl_1.102-2+b1_arm64.deb ...
Unpacking libparams-util-perl (1.102-2+b1) ...
Selecting previously unselected package libsub-install-perl.
Preparing to unpack .../049-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 .../050-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 .../051-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 .../052-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 .../053-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 .../054-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 .../055-libipc-run3-perl_0.048-3_all.deb ...
Unpacking libipc-run3-perl (0.048-3) ...
Selecting previously unselected package libb-hooks-op-check-perl:arm64.
Preparing to unpack .../056-libb-hooks-op-check-perl_0.22-2+b1_arm64.deb ...
Unpacking libb-hooks-op-check-perl:arm64 (0.22-2+b1) ...
Selecting previously unselected package libdynaloader-functions-perl.
Preparing to unpack .../057-libdynaloader-functions-perl_0.003-3_all.deb ...
Unpacking libdynaloader-functions-perl (0.003-3) ...
Selecting previously unselected package libdevel-callchecker-perl:arm64.
Preparing to unpack .../058-libdevel-callchecker-perl_0.008-2_arm64.deb ...
Unpacking libdevel-callchecker-perl:arm64 (0.008-2) ...
Selecting previously unselected package libparams-classify-perl:arm64.
Preparing to unpack .../059-libparams-classify-perl_0.015-2+b1_arm64.deb ...
Unpacking libparams-classify-perl:arm64 (0.015-2+b1) ...
Selecting previously unselected package libmodule-runtime-perl.
Preparing to unpack .../060-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 .../061-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 .../062-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 .../063-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 .../064-libpath-tiny-perl_0.144-1_all.deb ...
Unpacking libpath-tiny-perl (0.144-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../065-libtimedate-perl_2.3300-2_all.deb ...
Unpacking libtimedate-perl (2.3300-2) ...
Selecting previously unselected package libunicode-utf8-perl.
Preparing to unpack .../066-libunicode-utf8-perl_0.62-2_arm64.deb ...
Unpacking libunicode-utf8-perl (0.62-2) ...
Selecting previously unselected package haskell-devscripts-minimal.
Preparing to unpack .../067-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 .../068-libghc-base-orphans-dev_0.8.7-1_arm64.deb ...
Unpacking libghc-base-orphans-dev (0.8.7-1) ...
Selecting previously unselected package libghc-tagged-dev.
Preparing to unpack .../069-libghc-tagged-dev_0.8.6.1-1+b2_arm64.deb ...
Unpacking libghc-tagged-dev (0.8.6.1-1+b2) ...
Selecting previously unselected package libghc-distributive-dev.
Preparing to unpack .../070-libghc-distributive-dev_0.6.2.1-1+b4_arm64.deb ...
Unpacking libghc-distributive-dev (0.6.2.1-1+b4) ...
Selecting previously unselected package libghc-indexed-traversable-dev.
Preparing to unpack .../071-libghc-indexed-traversable-dev_0.1.2-2+b1_arm64.deb ...
Unpacking libghc-indexed-traversable-dev (0.1.2-2+b1) ...
Selecting previously unselected package libghc-transformers-compat-dev.
Preparing to unpack .../072-libghc-transformers-compat-dev_0.6.6-1+b2_arm64.deb ...
Unpacking libghc-transformers-compat-dev (0.6.6-1+b2) ...
Selecting previously unselected package libghc-comonad-dev.
Preparing to unpack .../073-libghc-comonad-dev_5.0.8-1+b2_arm64.deb ...
Unpacking libghc-comonad-dev (5.0.8-1+b2) ...
Selecting previously unselected package libghc-statevar-dev.
Preparing to unpack .../074-libghc-statevar-dev_1.2.2-1+b2_arm64.deb ...
Unpacking libghc-statevar-dev (1.2.2-1+b2) ...
Selecting previously unselected package libghc-contravariant-dev.
Preparing to unpack .../075-libghc-contravariant-dev_1.5.5-1+b2_arm64.deb ...
Unpacking libghc-contravariant-dev (1.5.5-1+b2) ...
Selecting previously unselected package libghc-th-abstraction-dev.
Preparing to unpack .../076-libghc-th-abstraction-dev_0.4.5.0-1_arm64.deb ...
Unpacking libghc-th-abstraction-dev (0.4.5.0-1) ...
Selecting previously unselected package libghc-bifunctors-dev.
Preparing to unpack .../077-libghc-bifunctors-dev_5.5.13-1_arm64.deb ...
Unpacking libghc-bifunctors-dev (5.5.13-1) ...
Selecting previously unselected package libghc-profunctors-dev.
Preparing to unpack .../078-libghc-profunctors-dev_5.6.2-1+b3_arm64.deb ...
Unpacking libghc-profunctors-dev (5.6.2-1+b3) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../079-libghc-hashable-dev_1.3.5.0-2+b2_arm64.deb ...
Unpacking libghc-hashable-dev (1.3.5.0-2+b2) ...
Selecting previously unselected package libghc-unordered-containers-dev.
Preparing to unpack .../080-libghc-unordered-containers-dev_0.2.17.0-2+b2_arm64.deb ...
Unpacking libghc-unordered-containers-dev (0.2.17.0-2+b2) ...
Selecting previously unselected package libghc-semigroupoids-dev.
Preparing to unpack .../081-libghc-semigroupoids-dev_5.3.7-1+b3_arm64.deb ...
Unpacking libghc-semigroupoids-dev (5.3.7-1+b3) ...
Selecting previously unselected package libghc-transformers-base-dev.
Preparing to unpack .../082-libghc-transformers-base-dev_0.4.6-1+b3_arm64.deb ...
Unpacking libghc-transformers-base-dev (0.4.6-1+b3) ...
Selecting previously unselected package libghc-free-dev.
Preparing to unpack .../083-libghc-free-dev_5.1.9-1+b4_arm64.deb ...
Unpacking libghc-free-dev (5.1.9-1+b4) ...
Selecting previously unselected package libghc-semigroups-dev.
Preparing to unpack .../084-libghc-semigroups-dev_0.19.2-1+b2_arm64.deb ...
Unpacking libghc-semigroups-dev (0.19.2-1+b2) ...
Selecting previously unselected package libghc-void-dev.
Preparing to unpack .../085-libghc-void-dev_0.7.3-3+b1_arm64.deb ...
Unpacking libghc-void-dev (0.7.3-3+b1) ...
Selecting previously unselected package libghc-adjunctions-dev.
Preparing to unpack .../086-libghc-adjunctions-dev_4.4.2-1+b2_arm64.deb ...
Unpacking libghc-adjunctions-dev (4.4.2-1+b2) ...
Selecting previously unselected package libghc-base-orphans-prof.
Preparing to unpack .../087-libghc-base-orphans-prof_0.8.7-1_arm64.deb ...
Unpacking libghc-base-orphans-prof (0.8.7-1) ...
Selecting previously unselected package libghc-tagged-prof.
Preparing to unpack .../088-libghc-tagged-prof_0.8.6.1-1+b2_arm64.deb ...
Unpacking libghc-tagged-prof (0.8.6.1-1+b2) ...
Selecting previously unselected package libghc-distributive-prof.
Preparing to unpack .../089-libghc-distributive-prof_0.6.2.1-1+b4_arm64.deb ...
Unpacking libghc-distributive-prof (0.6.2.1-1+b4) ...
Selecting previously unselected package libghc-indexed-traversable-prof.
Preparing to unpack .../090-libghc-indexed-traversable-prof_0.1.2-2+b1_arm64.deb ...
Unpacking libghc-indexed-traversable-prof (0.1.2-2+b1) ...
Selecting previously unselected package libghc-transformers-compat-prof.
Preparing to unpack .../091-libghc-transformers-compat-prof_0.6.6-1+b2_arm64.deb ...
Unpacking libghc-transformers-compat-prof (0.6.6-1+b2) ...
Selecting previously unselected package libghc-comonad-prof.
Preparing to unpack .../092-libghc-comonad-prof_5.0.8-1+b2_arm64.deb ...
Unpacking libghc-comonad-prof (5.0.8-1+b2) ...
Selecting previously unselected package libghc-statevar-prof.
Preparing to unpack .../093-libghc-statevar-prof_1.2.2-1+b2_arm64.deb ...
Unpacking libghc-statevar-prof (1.2.2-1+b2) ...
Selecting previously unselected package libghc-contravariant-prof.
Preparing to unpack .../094-libghc-contravariant-prof_1.5.5-1+b2_arm64.deb ...
Unpacking libghc-contravariant-prof (1.5.5-1+b2) ...
Selecting previously unselected package libghc-th-abstraction-prof.
Preparing to unpack .../095-libghc-th-abstraction-prof_0.4.5.0-1_arm64.deb ...
Unpacking libghc-th-abstraction-prof (0.4.5.0-1) ...
Selecting previously unselected package libghc-bifunctors-prof.
Preparing to unpack .../096-libghc-bifunctors-prof_5.5.13-1_arm64.deb ...
Unpacking libghc-bifunctors-prof (5.5.13-1) ...
Selecting previously unselected package libghc-profunctors-prof.
Preparing to unpack .../097-libghc-profunctors-prof_5.6.2-1+b3_arm64.deb ...
Unpacking libghc-profunctors-prof (5.6.2-1+b3) ...
Selecting previously unselected package libghc-hashable-prof.
Preparing to unpack .../098-libghc-hashable-prof_1.3.5.0-2+b2_arm64.deb ...
Unpacking libghc-hashable-prof (1.3.5.0-2+b2) ...
Selecting previously unselected package libghc-unordered-containers-prof.
Preparing to unpack .../099-libghc-unordered-containers-prof_0.2.17.0-2+b2_arm64.deb ...
Unpacking libghc-unordered-containers-prof (0.2.17.0-2+b2) ...
Selecting previously unselected package libghc-semigroupoids-prof.
Preparing to unpack .../100-libghc-semigroupoids-prof_5.3.7-1+b3_arm64.deb ...
Unpacking libghc-semigroupoids-prof (5.3.7-1+b3) ...
Selecting previously unselected package libghc-transformers-base-prof.
Preparing to unpack .../101-libghc-transformers-base-prof_0.4.6-1+b3_arm64.deb ...
Unpacking libghc-transformers-base-prof (0.4.6-1+b3) ...
Selecting previously unselected package libghc-free-prof.
Preparing to unpack .../102-libghc-free-prof_5.1.9-1+b4_arm64.deb ...
Unpacking libghc-free-prof (5.1.9-1+b4) ...
Selecting previously unselected package libghc-semigroups-prof.
Preparing to unpack .../103-libghc-semigroups-prof_0.19.2-1+b2_arm64.deb ...
Unpacking libghc-semigroups-prof (0.19.2-1+b2) ...
Selecting previously unselected package libghc-void-prof.
Preparing to unpack .../104-libghc-void-prof_0.7.3-3+b1_arm64.deb ...
Unpacking libghc-void-prof (0.7.3-3+b1) ...
Selecting previously unselected package libghc-adjunctions-prof.
Preparing to unpack .../105-libghc-adjunctions-prof_4.4.2-1+b2_arm64.deb ...
Unpacking libghc-adjunctions-prof (4.4.2-1+b2) ...
Selecting previously unselected package libghc-assoc-dev.
Preparing to unpack .../106-libghc-assoc-dev_1.0.2-3+b3_arm64.deb ...
Unpacking libghc-assoc-dev (1.0.2-3+b3) ...
Selecting previously unselected package libghc-assoc-prof.
Preparing to unpack .../107-libghc-assoc-prof_1.0.2-3+b3_arm64.deb ...
Unpacking libghc-assoc-prof (1.0.2-3+b3) ...
Selecting previously unselected package libghc-async-dev.
Preparing to unpack .../108-libghc-async-dev_2.2.4-1+b2_arm64.deb ...
Unpacking libghc-async-dev (2.2.4-1+b2) ...
Selecting previously unselected package libghc-async-prof.
Preparing to unpack .../109-libghc-async-prof_2.2.4-1+b2_arm64.deb ...
Unpacking libghc-async-prof (2.2.4-1+b2) ...
Selecting previously unselected package libghc-integer-logarithms-dev.
Preparing to unpack .../110-libghc-integer-logarithms-dev_1.0.3.1-2+b2_arm64.deb ...
Unpacking libghc-integer-logarithms-dev (1.0.3.1-2+b2) ...
Selecting previously unselected package libghc-primitive-dev.
Preparing to unpack .../111-libghc-primitive-dev_0.7.3.0-1+b2_arm64.deb ...
Unpacking libghc-primitive-dev (0.7.3.0-1+b2) ...
Selecting previously unselected package libghc-scientific-dev.
Preparing to unpack .../112-libghc-scientific-dev_0.3.7.0-1+b2_arm64.deb ...
Unpacking libghc-scientific-dev (0.3.7.0-1+b2) ...
Selecting previously unselected package libghc-attoparsec-dev.
Preparing to unpack .../113-libghc-attoparsec-dev_0.14.4-2+b1_arm64.deb ...
Unpacking libghc-attoparsec-dev (0.14.4-2+b1) ...
Selecting previously unselected package libghc-integer-logarithms-prof.
Preparing to unpack .../114-libghc-integer-logarithms-prof_1.0.3.1-2+b2_arm64.deb ...
Unpacking libghc-integer-logarithms-prof (1.0.3.1-2+b2) ...
Selecting previously unselected package libghc-primitive-prof.
Preparing to unpack .../115-libghc-primitive-prof_0.7.3.0-1+b2_arm64.deb ...
Unpacking libghc-primitive-prof (0.7.3.0-1+b2) ...
Selecting previously unselected package libghc-scientific-prof.
Preparing to unpack .../116-libghc-scientific-prof_0.3.7.0-1+b2_arm64.deb ...
Unpacking libghc-scientific-prof (0.3.7.0-1+b2) ...
Selecting previously unselected package libghc-attoparsec-prof.
Preparing to unpack .../117-libghc-attoparsec-prof_0.14.4-2+b1_arm64.deb ...
Unpacking libghc-attoparsec-prof (0.14.4-2+b1) ...
Selecting previously unselected package libghc-base-compat-dev.
Preparing to unpack .../118-libghc-base-compat-dev_0.11.2-1+b2_arm64.deb ...
Unpacking libghc-base-compat-dev (0.11.2-1+b2) ...
Selecting previously unselected package libghc-base-compat-prof.
Preparing to unpack .../119-libghc-base-compat-prof_0.11.2-1+b2_arm64.deb ...
Unpacking libghc-base-compat-prof (0.11.2-1+b2) ...
Selecting previously unselected package libghc-bimap-dev.
Preparing to unpack .../120-libghc-bimap-dev_0.5.0-1+b1_arm64.deb ...
Unpacking libghc-bimap-dev (0.5.0-1+b1) ...
Selecting previously unselected package libghc-bimap-doc.
Preparing to unpack .../121-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 .../122-libghc-bimap-prof_0.5.0-1+b1_arm64.deb ...
Unpacking libghc-bimap-prof (0.5.0-1+b1) ...
Selecting previously unselected package libghc-bitwise-dev.
Preparing to unpack .../123-libghc-bitwise-dev_1.0.0.1-2+b1_arm64.deb ...
Unpacking libghc-bitwise-dev (1.0.0.1-2+b1) ...
Selecting previously unselected package libghc-bitwise-prof.
Preparing to unpack .../124-libghc-bitwise-prof_1.0.0.1-2+b1_arm64.deb ...
Unpacking libghc-bitwise-prof (1.0.0.1-2+b1) ...
Selecting previously unselected package libghc-gitrev-dev.
Preparing to unpack .../125-libghc-gitrev-dev_1.3.1-5+b1_arm64.deb ...
Unpacking libghc-gitrev-dev (1.3.1-5+b1) ...
Selecting previously unselected package libghc-panic-dev.
Preparing to unpack .../126-libghc-panic-dev_0.4.0.1-3+b1_arm64.deb ...
Unpacking libghc-panic-dev (0.4.0.1-3+b1) ...
Selecting previously unselected package libghc-type-equality-dev.
Preparing to unpack .../127-libghc-type-equality-dev_1-3+b2_arm64.deb ...
Unpacking libghc-type-equality-dev (1-3+b2) ...
Selecting previously unselected package libghc-constraints-dev.
Preparing to unpack .../128-libghc-constraints-dev_0.13.4-1+b2_arm64.deb ...
Unpacking libghc-constraints-dev (0.13.4-1+b2) ...
Selecting previously unselected package libghc-vector-dev.
Preparing to unpack .../129-libghc-vector-dev_0.12.3.1-1+b2_arm64.deb ...
Unpacking libghc-vector-dev (0.12.3.1-1+b2) ...
Selecting previously unselected package libghc-hashtables-dev.
Preparing to unpack .../130-libghc-hashtables-dev_1.2.4.2-1+b2_arm64.deb ...
Unpacking libghc-hashtables-dev (1.2.4.2-1+b2) ...
Selecting previously unselected package libghc-call-stack-dev.
Preparing to unpack .../131-libghc-call-stack-dev_0.4.0-1+b2_arm64.deb ...
Unpacking libghc-call-stack-dev (0.4.0-1+b2) ...
Selecting previously unselected package libghc-onetuple-dev.
Preparing to unpack .../132-libghc-onetuple-dev_0.3.1-1+b3_arm64.deb ...
Unpacking libghc-onetuple-dev (0.3.1-1+b3) ...
Selecting previously unselected package libghc-indexed-traversable-instances-dev.
Preparing to unpack .../133-libghc-indexed-traversable-instances-dev_0.1.1.1-1_arm64.deb ...
Unpacking libghc-indexed-traversable-instances-dev (0.1.1.1-1) ...
Selecting previously unselected package libghc-invariant-dev.
Preparing to unpack .../134-libghc-invariant-dev_0.5.6-1+b3_arm64.deb ...
Unpacking libghc-invariant-dev (0.5.6-1+b3) ...
Selecting previously unselected package libghc-kan-extensions-dev.
Preparing to unpack .../135-libghc-kan-extensions-dev_5.2.5-1+b3_arm64.deb ...
Unpacking libghc-kan-extensions-dev (5.2.5-1+b3) ...
Selecting previously unselected package libghc-parallel-dev.
Preparing to unpack .../136-libghc-parallel-dev_3.2.2.0-4+b2_arm64.deb ...
Unpacking libghc-parallel-dev (3.2.2.0-4+b2) ...
Selecting previously unselected package libghc-reflection-dev.
Preparing to unpack .../137-libghc-reflection-dev_2.1.6-2+b2_arm64.deb ...
Unpacking libghc-reflection-dev (2.1.6-2+b2) ...
Selecting previously unselected package libghc-these-dev.
Preparing to unpack .../138-libghc-these-dev_1.1.1.1-2+b3_arm64.deb ...
Unpacking libghc-these-dev (1.1.1.1-2+b3) ...
Selecting previously unselected package libghc-strict-dev.
Preparing to unpack .../139-libghc-strict-dev_0.4.0.1-1+b3_arm64.deb ...
Unpacking libghc-strict-dev (0.4.0.1-1+b3) ...
Selecting previously unselected package libghc-lens-dev.
Preparing to unpack .../140-libghc-lens-dev_5.0.1-2+b4_arm64.deb ...
Unpacking libghc-lens-dev (5.0.1-2+b4) ...
Selecting previously unselected package libghc-parameterized-utils-dev.
Preparing to unpack .../141-libghc-parameterized-utils-dev_2.1.5.0-2+b4_arm64.deb ...
Unpacking libghc-parameterized-utils-dev (2.1.5.0-2+b4) ...
Selecting previously unselected package libghc-splitmix-dev.
Preparing to unpack .../142-libghc-splitmix-dev_0.1.0.4-1+b2_arm64.deb ...
Unpacking libghc-splitmix-dev (0.1.0.4-1+b2) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../143-libghc-random-dev_1.2.1.1-2+b2_arm64.deb ...
Unpacking libghc-random-dev (1.2.1.1-2+b2) ...
Selecting previously unselected package libghc-th-lift-dev.
Preparing to unpack .../144-libghc-th-lift-dev_0.8.2-1+b3_arm64.deb ...
Unpacking libghc-th-lift-dev (0.8.2-1+b3) ...
Selecting previously unselected package libghc-bv-sized-dev.
Preparing to unpack .../145-libghc-bv-sized-dev_1.0.4-2+b3_arm64.deb ...
Unpacking libghc-bv-sized-dev (1.0.4-2+b3) ...
Selecting previously unselected package libghc-bv-sized-doc.
Preparing to unpack .../146-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 .../147-libghc-gitrev-prof_1.3.1-5+b1_arm64.deb ...
Unpacking libghc-gitrev-prof (1.3.1-5+b1) ...
Selecting previously unselected package libghc-panic-prof.
Preparing to unpack .../148-libghc-panic-prof_0.4.0.1-3+b1_arm64.deb ...
Unpacking libghc-panic-prof (0.4.0.1-3+b1) ...
Selecting previously unselected package libghc-type-equality-prof.
Preparing to unpack .../149-libghc-type-equality-prof_1-3+b2_arm64.deb ...
Unpacking libghc-type-equality-prof (1-3+b2) ...
Selecting previously unselected package libghc-constraints-prof.
Preparing to unpack .../150-libghc-constraints-prof_0.13.4-1+b2_arm64.deb ...
Unpacking libghc-constraints-prof (0.13.4-1+b2) ...
Selecting previously unselected package libghc-vector-prof.
Preparing to unpack .../151-libghc-vector-prof_0.12.3.1-1+b2_arm64.deb ...
Unpacking libghc-vector-prof (0.12.3.1-1+b2) ...
Selecting previously unselected package libghc-hashtables-prof.
Preparing to unpack .../152-libghc-hashtables-prof_1.2.4.2-1+b2_arm64.deb ...
Unpacking libghc-hashtables-prof (1.2.4.2-1+b2) ...
Selecting previously unselected package libghc-call-stack-prof.
Preparing to unpack .../153-libghc-call-stack-prof_0.4.0-1+b2_arm64.deb ...
Unpacking libghc-call-stack-prof (0.4.0-1+b2) ...
Selecting previously unselected package libghc-onetuple-prof.
Preparing to unpack .../154-libghc-onetuple-prof_0.3.1-1+b3_arm64.deb ...
Unpacking libghc-onetuple-prof (0.3.1-1+b3) ...
Selecting previously unselected package libghc-indexed-traversable-instances-prof.
Preparing to unpack .../155-libghc-indexed-traversable-instances-prof_0.1.1.1-1_arm64.deb ...
Unpacking libghc-indexed-traversable-instances-prof (0.1.1.1-1) ...
Selecting previously unselected package libghc-invariant-prof.
Preparing to unpack .../156-libghc-invariant-prof_0.5.6-1+b3_arm64.deb ...
Unpacking libghc-invariant-prof (0.5.6-1+b3) ...
Selecting previously unselected package libghc-kan-extensions-prof.
Preparing to unpack .../157-libghc-kan-extensions-prof_5.2.5-1+b3_arm64.deb ...
Unpacking libghc-kan-extensions-prof (5.2.5-1+b3) ...
Selecting previously unselected package libghc-parallel-prof.
Preparing to unpack .../158-libghc-parallel-prof_3.2.2.0-4+b2_arm64.deb ...
Unpacking libghc-parallel-prof (3.2.2.0-4+b2) ...
Selecting previously unselected package libghc-reflection-prof.
Preparing to unpack .../159-libghc-reflection-prof_2.1.6-2+b2_arm64.deb ...
Unpacking libghc-reflection-prof (2.1.6-2+b2) ...
Selecting previously unselected package libghc-these-prof.
Preparing to unpack .../160-libghc-these-prof_1.1.1.1-2+b3_arm64.deb ...
Unpacking libghc-these-prof (1.1.1.1-2+b3) ...
Selecting previously unselected package libghc-strict-prof.
Preparing to unpack .../161-libghc-strict-prof_0.4.0.1-1+b3_arm64.deb ...
Unpacking libghc-strict-prof (0.4.0.1-1+b3) ...
Selecting previously unselected package libghc-lens-prof.
Preparing to unpack .../162-libghc-lens-prof_5.0.1-2+b4_arm64.deb ...
Unpacking libghc-lens-prof (5.0.1-2+b4) ...
Selecting previously unselected package libghc-parameterized-utils-prof.
Preparing to unpack .../163-libghc-parameterized-utils-prof_2.1.5.0-2+b4_arm64.deb ...
Unpacking libghc-parameterized-utils-prof (2.1.5.0-2+b4) ...
Selecting previously unselected package libghc-splitmix-prof.
Preparing to unpack .../164-libghc-splitmix-prof_0.1.0.4-1+b2_arm64.deb ...
Unpacking libghc-splitmix-prof (0.1.0.4-1+b2) ...
Selecting previously unselected package libghc-random-prof.
Preparing to unpack .../165-libghc-random-prof_1.2.1.1-2+b2_arm64.deb ...
Unpacking libghc-random-prof (1.2.1.1-2+b2) ...
Selecting previously unselected package libghc-th-lift-prof.
Preparing to unpack .../166-libghc-th-lift-prof_0.8.2-1+b3_arm64.deb ...
Unpacking libghc-th-lift-prof (0.8.2-1+b3) ...
Selecting previously unselected package libghc-bv-sized-prof.
Preparing to unpack .../167-libghc-bv-sized-prof_1.0.4-2+b3_arm64.deb ...
Unpacking libghc-bv-sized-prof (1.0.4-2+b3) ...
Selecting previously unselected package libghc-case-insensitive-dev.
Preparing to unpack .../168-libghc-case-insensitive-dev_1.2.1.0-3+b2_arm64.deb ...
Unpacking libghc-case-insensitive-dev (1.2.1.0-3+b2) ...
Selecting previously unselected package libghc-case-insensitive-prof.
Preparing to unpack .../169-libghc-case-insensitive-prof_1.2.1.0-3+b2_arm64.deb ...
Unpacking libghc-case-insensitive-prof (1.2.1.0-3+b2) ...
Selecting previously unselected package libghc-unbounded-delays-dev.
Preparing to unpack .../170-libghc-unbounded-delays-dev_0.1.1.1-1+b2_arm64.deb ...
Unpacking libghc-unbounded-delays-dev (0.1.1.1-1+b2) ...
Selecting previously unselected package libghc-concurrent-extra-dev.
Preparing to unpack .../171-libghc-concurrent-extra-dev_0.7.0.12-2+b1_arm64.deb ...
Unpacking libghc-concurrent-extra-dev (0.7.0.12-2+b1) ...
Selecting previously unselected package libghc-unbounded-delays-prof.
Preparing to unpack .../172-libghc-unbounded-delays-prof_0.1.1.1-1+b2_arm64.deb ...
Unpacking libghc-unbounded-delays-prof (0.1.1.1-1+b2) ...
Selecting previously unselected package libghc-concurrent-extra-prof.
Preparing to unpack .../173-libghc-concurrent-extra-prof_0.7.0.12-2+b1_arm64.deb ...
Unpacking libghc-concurrent-extra-prof (0.7.0.12-2+b1) ...
Selecting previously unselected package libghc-config-value-dev.
Preparing to unpack .../174-libghc-config-value-dev_0.8.3-1_arm64.deb ...
Unpacking libghc-config-value-dev (0.8.3-1) ...
Selecting previously unselected package libghc-config-value-prof.
Preparing to unpack .../175-libghc-config-value-prof_0.8.3-1_arm64.deb ...
Unpacking libghc-config-value-prof (0.8.3-1) ...
Selecting previously unselected package libghc-copilot-core-dev.
Preparing to unpack .../176-libghc-copilot-core-dev_3.13-1_arm64.deb ...
Unpacking libghc-copilot-core-dev (3.13-1) ...
Selecting previously unselected package libghc-copilot-core-doc.
Preparing to unpack .../177-libghc-copilot-core-doc_3.13-1_all.deb ...
Unpacking libghc-copilot-core-doc (3.13-1) ...
Selecting previously unselected package libghc-copilot-core-prof.
Preparing to unpack .../178-libghc-copilot-core-prof_3.13-1_arm64.deb ...
Unpacking libghc-copilot-core-prof (3.13-1) ...
Selecting previously unselected package libghc-copilot-prettyprinter-dev.
Preparing to unpack .../179-libghc-copilot-prettyprinter-dev_3.13-1_arm64.deb ...
Unpacking libghc-copilot-prettyprinter-dev (3.13-1) ...
Selecting previously unselected package libghc-copilot-prettyprinter-doc.
Preparing to unpack .../180-libghc-copilot-prettyprinter-doc_3.13-1_all.deb ...
Unpacking libghc-copilot-prettyprinter-doc (3.13-1) ...
Selecting previously unselected package libghc-copilot-prettyprinter-prof.
Preparing to unpack .../181-libghc-copilot-prettyprinter-prof_3.13-1_arm64.deb ...
Unpacking libghc-copilot-prettyprinter-prof (3.13-1) ...
Selecting previously unselected package libghc-data-binary-ieee754-dev.
Preparing to unpack .../182-libghc-data-binary-ieee754-dev_0.4.4-11+b3_arm64.deb ...
Unpacking libghc-data-binary-ieee754-dev (0.4.4-11+b3) ...
Selecting previously unselected package libghc-data-binary-ieee754-prof.
Preparing to unpack .../183-libghc-data-binary-ieee754-prof_0.4.4-11+b3_arm64.deb ...
Unpacking libghc-data-binary-ieee754-prof (0.4.4-11+b3) ...
Selecting previously unselected package libghc-data-default-class-dev.
Preparing to unpack .../184-libghc-data-default-class-dev_0.1.2.0-6+b3_arm64.deb ...
Unpacking libghc-data-default-class-dev (0.1.2.0-6+b3) ...
Selecting previously unselected package libghc-data-default-class-prof.
Preparing to unpack .../185-libghc-data-default-class-prof_0.1.2.0-6+b3_arm64.deb ...
Unpacking libghc-data-default-class-prof (0.1.2.0-6+b3) ...
Selecting previously unselected package libghc-data-default-instances-containers-dev.
Preparing to unpack .../186-libghc-data-default-instances-containers-dev_0.0.1-12+b2_arm64.deb ...
Unpacking libghc-data-default-instances-containers-dev (0.0.1-12+b2) ...
Selecting previously unselected package libghc-dlist-dev.
Preparing to unpack .../187-libghc-dlist-dev_1.0-2+b3_arm64.deb ...
Unpacking libghc-dlist-dev (1.0-2+b3) ...
Selecting previously unselected package libghc-data-default-instances-dlist-dev.
Preparing to unpack .../188-libghc-data-default-instances-dlist-dev_0.0.1-11+b2_arm64.deb ...
Unpacking libghc-data-default-instances-dlist-dev (0.0.1-11+b2) ...
Selecting previously unselected package libghc-old-locale-dev.
Preparing to unpack .../189-libghc-old-locale-dev_1.0.0.7-10+b2_arm64.deb ...
Unpacking libghc-old-locale-dev (1.0.0.7-10+b2) ...
Selecting previously unselected package libghc-data-default-instances-old-locale-dev.
Preparing to unpack .../190-libghc-data-default-instances-old-locale-dev_0.0.1-11+b2_arm64.deb ...
Unpacking libghc-data-default-instances-old-locale-dev (0.0.1-11+b2) ...
Selecting previously unselected package libghc-data-default-dev.
Preparing to unpack .../191-libghc-data-default-dev_0.7.1.1-6+b2_arm64.deb ...
Unpacking libghc-data-default-dev (0.7.1.1-6+b2) ...
Selecting previously unselected package libghc-data-default-doc.
Preparing to unpack .../192-libghc-data-default-doc_0.7.1.1-6_all.deb ...
Unpacking libghc-data-default-doc (0.7.1.1-6) ...
Selecting previously unselected package libghc-data-default-instances-containers-prof.
Preparing to unpack .../193-libghc-data-default-instances-containers-prof_0.0.1-12+b2_arm64.deb ...
Unpacking libghc-data-default-instances-containers-prof (0.0.1-12+b2) ...
Selecting previously unselected package libghc-dlist-prof.
Preparing to unpack .../194-libghc-dlist-prof_1.0-2+b3_arm64.deb ...
Unpacking libghc-dlist-prof (1.0-2+b3) ...
Selecting previously unselected package libghc-data-default-instances-dlist-prof.
Preparing to unpack .../195-libghc-data-default-instances-dlist-prof_0.0.1-11+b2_arm64.deb ...
Unpacking libghc-data-default-instances-dlist-prof (0.0.1-11+b2) ...
Selecting previously unselected package libghc-old-locale-prof.
Preparing to unpack .../196-libghc-old-locale-prof_1.0.0.7-10+b2_arm64.deb ...
Unpacking libghc-old-locale-prof (1.0.0.7-10+b2) ...
Selecting previously unselected package libghc-data-default-instances-old-locale-prof.
Preparing to unpack .../197-libghc-data-default-instances-old-locale-prof_0.0.1-11+b2_arm64.deb ...
Unpacking libghc-data-default-instances-old-locale-prof (0.0.1-11+b2) ...
Selecting previously unselected package libghc-data-default-prof.
Preparing to unpack .../198-libghc-data-default-prof_0.7.1.1-6+b2_arm64.deb ...
Unpacking libghc-data-default-prof (0.7.1.1-6+b2) ...
Selecting previously unselected package libghc-deriving-compat-dev.
Preparing to unpack .../199-libghc-deriving-compat-dev_0.6.1-1+b3_arm64.deb ...
Unpacking libghc-deriving-compat-dev (0.6.1-1+b3) ...
Selecting previously unselected package libghc-deriving-compat-prof.
Preparing to unpack .../200-libghc-deriving-compat-prof_0.6.1-1+b3_arm64.deb ...
Unpacking libghc-deriving-compat-prof (0.6.1-1+b3) ...
Selecting previously unselected package libghc-fingertree-dev.
Preparing to unpack .../201-libghc-fingertree-dev_0.1.5.0-1+b2_arm64.deb ...
Unpacking libghc-fingertree-dev (0.1.5.0-1+b2) ...
Selecting previously unselected package libghc-fingertree-prof.
Preparing to unpack .../202-libghc-fingertree-prof_0.1.5.0-1+b2_arm64.deb ...
Unpacking libghc-fingertree-prof (0.1.5.0-1+b2) ...
Selecting previously unselected package libghc-network-dev.
Preparing to unpack .../203-libghc-network-dev_3.1.2.7-1+b2_arm64.deb ...
Unpacking libghc-network-dev (3.1.2.7-1+b2) ...
Selecting previously unselected package zlib1g-dev:arm64.
Preparing to unpack .../204-zlib1g-dev_1%3a1.2.13.dfsg-1_arm64.deb ...
Unpacking zlib1g-dev:arm64 (1:1.2.13.dfsg-1) ...
Selecting previously unselected package libghc-zlib-dev.
Preparing to unpack .../205-libghc-zlib-dev_0.6.3.0-1+b2_arm64.deb ...
Unpacking libghc-zlib-dev (0.6.3.0-1+b2) ...
Selecting previously unselected package libghc-zlib-bindings-dev.
Preparing to unpack .../206-libghc-zlib-bindings-dev_0.1.1.5-11+b1_arm64.deb ...
Unpacking libghc-zlib-bindings-dev (0.1.1.5-11+b1) ...
Selecting previously unselected package libghc-io-streams-dev.
Preparing to unpack .../207-libghc-io-streams-dev_1.5.2.2-1_arm64.deb ...
Unpacking libghc-io-streams-dev (1.5.2.2-1) ...
Selecting previously unselected package libghc-network-prof.
Preparing to unpack .../208-libghc-network-prof_3.1.2.7-1+b2_arm64.deb ...
Unpacking libghc-network-prof (3.1.2.7-1+b2) ...
Selecting previously unselected package libghc-zlib-prof.
Preparing to unpack .../209-libghc-zlib-prof_0.6.3.0-1+b2_arm64.deb ...
Unpacking libghc-zlib-prof (0.6.3.0-1+b2) ...
Selecting previously unselected package libghc-zlib-bindings-prof.
Preparing to unpack .../210-libghc-zlib-bindings-prof_0.1.1.5-11+b1_arm64.deb ...
Unpacking libghc-zlib-bindings-prof (0.1.1.5-11+b1) ...
Selecting previously unselected package libghc-io-streams-prof.
Preparing to unpack .../211-libghc-io-streams-prof_1.5.2.2-1_arm64.deb ...
Unpacking libghc-io-streams-prof (1.5.2.2-1) ...
Selecting previously unselected package libghc-libbf-dev.
Preparing to unpack .../212-libghc-libbf-dev_0.6.5.1-1_arm64.deb ...
Unpacking libghc-libbf-dev (0.6.5.1-1) ...
Selecting previously unselected package libghc-libbf-doc.
Preparing to unpack .../213-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 .../214-libghc-libbf-prof_0.6.5.1-1_arm64.deb ...
Unpacking libghc-libbf-prof (0.6.5.1-1) ...
Selecting previously unselected package libghc-parser-combinators-dev.
Preparing to unpack .../215-libghc-parser-combinators-dev_1.3.0-1+b1_arm64.deb ...
Unpacking libghc-parser-combinators-dev (1.3.0-1+b1) ...
Selecting previously unselected package libghc-megaparsec-dev.
Preparing to unpack .../216-libghc-megaparsec-dev_9.2.2-1_arm64.deb ...
Unpacking libghc-megaparsec-dev (9.2.2-1) ...
Selecting previously unselected package libghc-parser-combinators-prof.
Preparing to unpack .../217-libghc-parser-combinators-prof_1.3.0-1+b1_arm64.deb ...
Unpacking libghc-parser-combinators-prof (1.3.0-1+b1) ...
Selecting previously unselected package libghc-megaparsec-prof.
Preparing to unpack .../218-libghc-megaparsec-prof_9.2.2-1_arm64.deb ...
Unpacking libghc-megaparsec-prof (9.2.2-1) ...
Selecting previously unselected package libghc-panic-doc.
Preparing to unpack .../219-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 .../220-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-dev.
Preparing to unpack .../221-libghc-prettyprinter-dev_1.7.1-1+b2_arm64.deb ...
Unpacking libghc-prettyprinter-dev (1.7.1-1+b2) ...
Selecting previously unselected package libghc-prettyprinter-prof.
Preparing to unpack .../222-libghc-prettyprinter-prof_1.7.1-1+b2_arm64.deb ...
Unpacking libghc-prettyprinter-prof (1.7.1-1+b2) ...
Selecting previously unselected package libghc-random-doc.
Preparing to unpack .../223-libghc-random-doc_1.2.1.1-2_all.deb ...
Unpacking libghc-random-doc (1.2.1.1-2) ...
Selecting previously unselected package libghc-temporary-dev.
Preparing to unpack .../224-libghc-temporary-dev_1.3-3+b2_arm64.deb ...
Unpacking libghc-temporary-dev (1.3-3+b2) ...
Selecting previously unselected package libghc-temporary-prof.
Preparing to unpack .../225-libghc-temporary-prof_1.3-3+b2_arm64.deb ...
Unpacking libghc-temporary-prof (1.3-3+b2) ...
Selecting previously unselected package libghc-th-lift-instances-dev.
Preparing to unpack .../226-libghc-th-lift-instances-dev_0.1.20-1+b1_arm64.deb ...
Unpacking libghc-th-lift-instances-dev (0.1.20-1+b1) ...
Selecting previously unselected package libghc-th-lift-instances-prof.
Preparing to unpack .../227-libghc-th-lift-instances-prof_0.1.20-1+b1_arm64.deb ...
Unpacking libghc-th-lift-instances-prof (0.1.20-1+b1) ...
Selecting previously unselected package libghc-utf8-string-dev.
Preparing to unpack .../228-libghc-utf8-string-dev_1.0.2-1+b1_arm64.deb ...
Unpacking libghc-utf8-string-dev (1.0.2-1+b1) ...
Selecting previously unselected package libghc-utf8-string-prof.
Preparing to unpack .../229-libghc-utf8-string-prof_1.0.2-1+b1_arm64.deb ...
Unpacking libghc-utf8-string-prof (1.0.2-1+b1) ...
Selecting previously unselected package libghc-versions-dev.
Preparing to unpack .../230-libghc-versions-dev_5.0.3-3+b2_arm64.deb ...
Unpacking libghc-versions-dev (5.0.3-3+b2) ...
Selecting previously unselected package libghc-versions-prof.
Preparing to unpack .../231-libghc-versions-prof_5.0.3-3+b2_arm64.deb ...
Unpacking libghc-versions-prof (5.0.3-3+b2) ...
Selecting previously unselected package libghc-zenc-dev.
Preparing to unpack .../232-libghc-zenc-dev_0.1.2-2+b1_arm64.deb ...
Unpacking libghc-zenc-dev (0.1.2-2+b1) ...
Selecting previously unselected package libghc-what4-dev.
Preparing to unpack .../233-libghc-what4-dev_1.3-4+b2_arm64.deb ...
Unpacking libghc-what4-dev (1.3-4+b2) ...
Selecting previously unselected package libghc-what4-doc.
Preparing to unpack .../234-libghc-what4-doc_1.3-4_all.deb ...
Unpacking libghc-what4-doc (1.3-4) ...
Selecting previously unselected package libghc-zenc-prof.
Preparing to unpack .../235-libghc-zenc-prof_0.1.2-2+b1_arm64.deb ...
Unpacking libghc-zenc-prof (0.1.2-2+b1) ...
Selecting previously unselected package libghc-what4-prof.
Preparing to unpack .../236-libghc-what4-prof_1.3-4+b2_arm64.deb ...
Unpacking libghc-what4-prof (1.3-4+b2) ...
Selecting previously unselected package libghc-xml-dev.
Preparing to unpack .../237-libghc-xml-dev_1.3.14-11+b2_arm64.deb ...
Unpacking libghc-xml-dev (1.3.14-11+b2) ...
Selecting previously unselected package libghc-xml-doc.
Preparing to unpack .../238-libghc-xml-doc_1.3.14-11_all.deb ...
Unpacking libghc-xml-doc (1.3.14-11) ...
Selecting previously unselected package libghc-xml-prof.
Preparing to unpack .../239-libghc-xml-prof_1.3.14-11+b2_arm64.deb ...
Unpacking libghc-xml-prof (1.3.14-11+b2) ...
Setting up media-types (10.0.0) ...
Setting up libpipeline1:arm64 (1.5.7-1) ...
Setting up libpsl5:arm64 (0.21.2-1) ...
Setting up libunicode-utf8-perl (0.62-2) ...
Setting up fonts-mathjax (2.7.9+dfsg-1) ...
Setting up libicu72:arm64 (72.1-3) ...
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:arm64 (1.0.9-2+b6) ...
Setting up libtry-tiny-perl (0.31-2) ...
Setting up libnghttp2-14:arm64 (1.52.0-1+deb12u1) ...
Setting up libmagic1:arm64 (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:arm64 (3.4.4-1) ...
Setting up libsub-install-perl (0.929-1) ...
Setting up libsasl2-modules-db:arm64 (2.1.28+dfsg-10) ...
Setting up autotools-dev (20220109.1) ...
Setting up libz3-4:arm64 (4.8.12-3.1) ...
Setting up libgmpxx4ldbl:arm64 (2:6.2.1+dfsg1-1.1) ...
Setting up libpfm4:arm64 (4.13.0-1) ...
Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b2) ...
Setting up libncurses6:arm64 (6.4-4) ...
Setting up autopoint (0.21-12) ...
Setting up libb-hooks-op-check-perl:arm64 (0.22-2+b1) ...
Setting up libparams-util-perl (1.102-2+b1) ...
Setting up libsasl2-2:arm64 (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:arm64 (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:arm64 (0.0.7-1) ...
Setting up libmd-dev:arm64 (1.0.4-2) ...
Setting up libipc-run3-perl (0.048-3) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libssh2-1:arm64 (1.10.0-3+b1) ...
Setting up sgml-base (1.31) ...
Setting up libbsd0:arm64 (0.11.7-2) ...
Setting up libelf1:arm64 (0.188-2.1) ...
Setting up readline-common (8.2-1.3) ...
Setting up libxml2:arm64 (2.9.14+dfsg-1.3~deb12u1) ...
Setting up libbsd-dev:arm64 (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:arm64 (6.4-4) ...
Setting up gettext (0.21-12) ...
Setting up libgmp-dev:arm64 (2:6.2.1+dfsg1-1.1) ...
Setting up libtool (2.4.7-5) ...
Setting up libedit2:arm64 (3.1-20221030-2) ...
Setting up libreadline8:arm64 (8.2-1.3) ...
Setting up libdevel-callchecker-perl:arm64 (0.008-2) ...
Setting up libldap-2.5-0:arm64 (2.5.13+dfsg-5) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libdata-optlist-perl (0.113-1) ...
Setting up libllvm13:arm64 (1:13.0.1-11+b2) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up groff-base (1.22.4-10) ...
Setting up llvm-13-runtime (1:13.0.1-11+b2) ...
Setting up libsub-exporter-perl (0.989-1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libpython3.11-stdlib:arm64 (3.11.2-6) ...
Setting up libparams-classify-perl:arm64 (0.015-2+b1) ...
Setting up libcurl3-gnutls:arm64 (7.88.1-10+deb12u4) ...
Setting up man-db (2.11.2-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up llvm-13-linker-tools (1:13.0.1-11+b2) ...
Setting up libmodule-runtime-perl (0.016-2) ...
Setting up libconst-fast-perl (0.014-2) ...
Setting up libpython3-stdlib:arm64 (3.11.2-1+b1) ...
Setting up python3.11 (3.11.2-6) ...
Setting up html-xml-utils (7.7-1.1) ...
Setting up libmodule-implementation-perl (0.09-2) ...
Setting up llvm-13 (1:13.0.1-11+b2) ...
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-what4-doc (1.3-4) ...
Setting up libghc-panic-doc (0.4.0.1-3) ...
Setting up libghc-bv-sized-doc (1.0.4-2) ...
Setting up liblist-someutils-perl (0.59-1) ...
Setting up libghc-data-default-doc (0.7.1.1-6) ...
Setting up debhelper (13.11.4) ...
Setting up libghc-fingertree-dev (0.1.5.0-1+b2) ...
Setting up python3 (3.11.2-1+b1) ...
Setting up libghc-bimap-dev (0.5.0-1+b1) ...
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 libghc-libbf-doc (0.6.5.1-1) ...
Setting up libghc-unbounded-delays-dev (0.1.1.1-1+b2) ...
Setting up libghc-data-default-class-dev (0.1.2.0-6+b3) ...
Setting up python3-six (1.16.0-4) ...
Setting up libghc-xml-doc (1.3.14-11) ...
Setting up libghc-type-equality-dev (1-3+b2) ...
Setting up libghc-bitwise-dev (1.0.0.1-2+b1) ...
Setting up libghc-base-compat-dev (0.11.2-1+b2) ...
Setting up libghc-copilot-core-doc (3.13-1) ...
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-prettyprinter-dev (1.7.1-1+b2) ...
Setting up libghc-statevar-dev (1.2.2-1+b2) ...
Setting up libghc-old-locale-dev (1.0.0.7-10+b2) ...
Setting up libghc-th-abstraction-dev (0.4.5.0-1) ...
Setting up libghc-base-orphans-dev (0.8.7-1) ...
Setting up dh-buildinfo (0.11+nmu2) ...
Setting up libghc-integer-logarithms-dev (1.0.3.1-2+b2) ...
Setting up libghc-transformers-compat-dev (0.6.6-1+b2) ...
Setting up libghc-config-value-dev (0.8.3-1) ...
Setting up libghc-zlib-dev (0.6.3.0-1+b2) ...
Setting up libghc-dlist-dev (1.0-2+b3) ...
Setting up libghc-network-dev (3.1.2.7-1+b2) ...
Setting up libghc-copilot-prettyprinter-doc (3.13-1) ...
Setting up libghc-copilot-core-dev (3.13-1) ...
Setting up libghc-utf8-string-dev (1.0.2-1+b1) ...
Setting up libghc-copilot-prettyprinter-dev (3.13-1) ...
Setting up libghc-tagged-dev (0.8.6.1-1+b2) ...
Setting up libghc-onetuple-dev (0.3.1-1+b3) ...
Setting up libghc-random-doc (1.2.1.1-2) ...
Setting up python3-pkg-resources (66.1.1-1) ...
Setting up libghc-parameterized-utils-doc (2.1.5.0-2) ...
Setting up libghc-distributive-dev (0.6.2.1-1+b4) ...
Setting up libghc-hashable-dev (1.3.5.0-2+b2) ...
Setting up libghc-transformers-base-dev (0.4.6-1+b3) ...
Setting up libghc-call-stack-dev (0.4.0-1+b2) ...
Setting up libghc-xml-dev (1.3.14-11+b2) ...
Setting up libghc-semigroups-dev (0.19.2-1+b2) ...
Setting up libghc-primitive-dev (0.7.3.0-1+b2) ...
Setting up libghc-parser-combinators-dev (1.3.0-1+b1) ...
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-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-dlist-prof (1.0-2+b3) ...
Setting up libghc-random-dev (1.2.1.1-2+b2) ...
Setting up libghc-bitwise-prof (1.0.0.1-2+b1) ...
Setting up libghc-fingertree-prof (0.1.5.0-1+b2) ...
Setting up libghc-constraints-dev (0.13.4-1+b2) ...
Setting up libghc-prettyprinter-prof (1.7.1-1+b2) ...
Setting up libghc-data-default-instances-containers-dev (0.0.1-12+b2) ...
Setting up libghc-primitive-prof (0.7.3.0-1+b2) ...
Setting up libghc-void-prof (0.7.3-3+b1) ...
Setting up libghc-data-default-class-prof (0.1.2.0-6+b3) ...
Setting up libghc-semigroups-prof (0.19.2-1+b2) ...
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 libghc-gitrev-dev (1.3.1-5+b1) ...
Setting up libghc-splitmix-prof (0.1.0.4-1+b2) ...
Setting up libghc-data-default-instances-containers-prof (0.0.1-12+b2) ...
Setting up libghc-scientific-dev (0.3.7.0-1+b2) ...
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-copilot-core-prof (3.13-1) ...
Setting up libghc-xml-prof (1.3.14-11+b2) ...
Setting up libghc-contravariant-dev (1.5.5-1+b2) ...
Setting up libghc-data-default-instances-old-locale-dev (0.0.1-11+b2) ...
Setting up libghc-case-insensitive-dev (1.2.1.0-3+b2) ...
Setting up libghc-utf8-string-prof (1.0.2-1+b1) ...
Setting up libghc-copilot-prettyprinter-prof (3.13-1) ...
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+b2) ...
Setting up libghc-unordered-containers-dev (0.2.17.0-2+b2) ...
Setting up libghc-old-locale-prof (1.0.0.7-10+b2) ...
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-data-default-instances-dlist-dev (0.0.1-11+b2) ...
Setting up libghc-integer-logarithms-prof (1.0.3.1-2+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+b2) ...
Setting up libghc-transformers-compat-prof (0.6.6-1+b2) ...
Setting up libghc-versions-dev (5.0.3-3+b2) ...
Setting up libghc-case-insensitive-prof (1.2.1.0-3+b2) ...
Setting up libghc-tagged-prof (0.8.6.1-1+b2) ...
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-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+b2) ...
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 python3-scour (0.38.2-2) ...
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-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+b2) ...
Setting up libghc-data-default-instances-dlist-prof (0.0.1-11+b2) ...
Setting up libghc-data-default-instances-old-locale-prof (0.0.1-11+b2) ...
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-unordered-containers-prof (0.2.17.0-2+b2) ...
Setting up libghc-async-prof (2.2.4-1+b2) ...
Setting up libghc-onetuple-prof (0.3.1-1+b3) ...
Setting up libghc-data-default-dev (0.7.1.1-6+b2) ...
Setting up libghc-invariant-dev (0.5.6-1+b3) ...
Setting up libghc-constraints-prof (0.13.4-1+b2) ...
Setting up libghc-gitrev-prof (1.3.1-5+b1) ...
Setting up libghc-random-prof (1.2.1.1-2+b2) ...
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+b4) ...
Setting up libghc-attoparsec-prof (0.14.4-2+b1) ...
Setting up libghc-libbf-prof (0.6.5.1-1) ...
Setting up libghc-temporary-prof (1.3-3+b2) ...
Setting up libghc-vector-prof (0.12.3.1-1+b2) ...
Setting up libghc-th-lift-prof (0.8.2-1+b3) ...
Setting up libghc-megaparsec-prof (9.2.2-1) ...
Setting up libghc-panic-prof (0.4.0.1-3+b1) ...
Setting up libghc-these-dev (1.1.1.1-2+b3) ...
Setting up scour (0.38.2-2) ...
Setting up libghc-hashtables-dev (1.2.4.2-1+b2) ...
Setting up libghc-io-streams-dev (1.5.2.2-1) ...
Setting up libghc-data-default-prof (0.7.1.1-6+b2) ...
Setting up libghc-indexed-traversable-instances-dev (0.1.1.1-1) ...
Setting up cdbs (0.4.166) ...
Setting up haskell-devscripts-minimal (0.16.29) ...
Setting up libghc-versions-prof (5.0.3-3+b2) ...
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-comonad-prof (5.0.8-1+b2) ...
Setting up libghc-th-lift-instances-prof (0.1.20-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+b2) ...
Setting up libghc-bifunctors-prof (5.5.13-1) ...
Setting up libghc-profunctors-prof (5.6.2-1+b3) ...
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-strict-prof (0.4.0.1-1+b3) ...
Setting up libghc-free-prof (5.1.9-1+b4) ...
Setting up libghc-invariant-prof (0.5.6-1+b3) ...
Setting up libghc-lens-dev (5.0.1-2+b4) ...
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+b4) ...
Setting up libghc-bv-sized-dev (1.0.4-2+b3) ...
Setting up libghc-what4-dev (1.3-4+b2) ...
Setting up libghc-parameterized-utils-prof (2.1.5.0-2+b4) ...
Setting up libghc-bv-sized-prof (1.0.4-2+b3) ...
Setting up libghc-what4-prof (1.3-4+b2) ...
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-copilot-theorem-3.13/ && 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-copilot-theorem_3.13-1_source.changes
dpkg-buildpackage: info: source package haskell-copilot-theorem
dpkg-buildpackage: info: source version 3.13-1
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 arm64
 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
 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-copilot-theorem-doc.substvars
dh_installdirs -plibghc-copilot-theorem-doc \
	
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
	-E 'make_setup_recipe'
Running ghc --make Setup.hs -o debian/hlibrary.setup
[1 of 1] Compiling Main             ( Setup.hs, Setup.o )
Linking debian/hlibrary.setup ...
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
	-E 'configure_recipe'
Running find . ! -newer /tmp/PWXZAYPThp -exec touch -d 1998-01-01 UTC {} ;
Running dh_listpackages
libghc-copilot-theorem-dev
libghc-copilot-theorem-prof
libghc-copilot-theorem-doc
Running dh_listpackages
libghc-copilot-theorem-dev
libghc-copilot-theorem-prof
libghc-copilot-theorem-doc
Running dpkg-buildflags --get LDFLAGS
-Wl,-z,relro
Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl,-z,relro --haddockdir=/usr/lib/ghc-doc/haddock/copilot-theorem-3.13/ --datasubdir=copilot-theorem --htmldir=/usr/share/doc/libghc-copilot-theorem-doc/html/ --enable-library-profiling --enable-tests
Using Parsec parser
Configuring copilot-theorem-3.13...
Dependency base >=4.9 && <5: using base-4.15.1.0
Dependency bimap >=0.3 && <0.4 || >=0.5 && <0.6: using bimap-0.5.0
Dependency bv-sized >=1.0.2 && <1.1: using bv-sized-1.0.4
Dependency containers >=0.4 && <0.7: using containers-0.6.4.1
Dependency copilot-core >=3.13 && <3.14: using copilot-core-3.13
Dependency copilot-prettyprinter >=3.13 && <3.14: using
copilot-prettyprinter-3.13
Dependency data-default >=0.7 && <0.8: using data-default-0.7.1.1
Dependency directory >=1.3 && <1.4: using directory-1.3.6.2
Dependency libBF >=0.6.2 && <0.7: using libBF-0.6.5.1
Dependency mtl >=2.0 && <2.4: using mtl-2.2.2
Dependency panic >=0.4.0 && <0.5: using panic-0.4.0.1
Dependency parameterized-utils >=2.1.1 && <2.2: using
parameterized-utils-2.1.5.0
Dependency parsec >=2.0 && <3.2: using parsec-3.1.14.0
Dependency pretty >=1.0 && <1.2: using pretty-1.1.3.6
Dependency process >=1.6 && <1.7: using process-1.6.13.2
Dependency random >=1.1 && <1.3: using random-1.2.1.1
Dependency transformers >=0.5 && <0.7: using transformers-0.5.6.2
Dependency what4 >=1.3 && <1.4: using what4-1.3
Dependency xml >=1.3 && <1.4: using xml-1.3.14
Source component graph: component lib
Configured component graph:
    component copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
        include base-4.15.1.0
        include bimap-0.5.0-B50oOvET6QCIygIVngWxtm
        include bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV
        include containers-0.6.4.1
        include copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv
        include copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY
        include data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo
        include directory-1.3.6.2
        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-6agrgCWlsSDFSIjuxyecv3
        include parsec-3.1.14.0
        include pretty-1.1.3.6
        include process-1.6.13.2
        include random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba
        include transformers-0.5.6.2
        include what4-1.3-Elb7rjT5ytGFJOLuRoWDMD
        include xml-1.3.14-6hlhhPBptprHwK7nsE7OzM
Linked component graph:
    unit copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
        include base-4.15.1.0
        include bimap-0.5.0-B50oOvET6QCIygIVngWxtm
        include bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV
        include containers-0.6.4.1
        include copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv
        include copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY
        include data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo
        include directory-1.3.6.2
        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-6agrgCWlsSDFSIjuxyecv3
        include parsec-3.1.14.0
        include pretty-1.1.3.6
        include process-1.6.13.2
        include random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba
        include transformers-0.5.6.2
        include what4-1.3-Elb7rjT5ytGFJOLuRoWDMD
        include xml-1.3.14-6hlhhPBptprHwK7nsE7OzM
        Copilot.Theorem=copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC:Copilot.Theorem,Copilot.Theorem.Kind2=copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC:Copilot.Theorem.Kind2,Copilot.Theorem.Kind2.Prover=copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC:Copilot.Theorem.Kind2.Prover,Copilot.Theorem.Prove=copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC:Copilot.Theorem.Prove,Copilot.Theorem.Prover.SMT=copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC:Copilot.Theorem.Prover.SMT,Copilot.Theorem.What4=copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC:Copilot.Theorem.What4
Ready component graph:
    definite copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
        depends base-4.15.1.0
        depends bimap-0.5.0-B50oOvET6QCIygIVngWxtm
        depends bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV
        depends containers-0.6.4.1
        depends copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv
        depends copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY
        depends data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo
        depends directory-1.3.6.2
        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-6agrgCWlsSDFSIjuxyecv3
        depends parsec-3.1.14.0
        depends pretty-1.1.3.6
        depends process-1.6.13.2
        depends random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba
        depends transformers-0.5.6.2
        depends what4-1.3-Elb7rjT5ytGFJOLuRoWDMD
        depends xml-1.3.14-6hlhhPBptprHwK7nsE7OzM
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/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
Dynamic Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2
Private executables installed in:
/usr/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13
Data files installed in: /usr/share/copilot-theorem
Documentation installed in:
/usr/share/doc/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13
Configuration files installed in: /usr/etc
No alex found
Using ar found on system at: /usr/bin/aarch64-linux-gnu-ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 12 found on system at: /usr/bin/aarch64-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/aarch64-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-copilot-theorem-dev
libghc-copilot-theorem-prof
libghc-copilot-theorem-doc
Preprocessing library for copilot-theorem-3.13..
Building library for copilot-theorem-3.13..

on the commandline: warning:
    -fcontext-stack=100 is deprecated: use -freduction-depth=100 instead
[ 1 of 34] Compiling Copilot.Theorem.IL.Spec ( src/Copilot/Theorem/IL/Spec.hs, dist-ghc/build/Copilot/Theorem/IL/Spec.o, dist-ghc/build/Copilot/Theorem/IL/Spec.dyn_o )
[ 2 of 34] Compiling Copilot.Theorem.IL.PrettyPrint ( src/Copilot/Theorem/IL/PrettyPrint.hs, dist-ghc/build/Copilot/Theorem/IL/PrettyPrint.o, dist-ghc/build/Copilot/Theorem/IL/PrettyPrint.dyn_o )
[ 3 of 34] Compiling Copilot.Theorem.IL.Transform ( src/Copilot/Theorem/IL/Transform.hs, dist-ghc/build/Copilot/Theorem/IL/Transform.o, dist-ghc/build/Copilot/Theorem/IL/Transform.dyn_o )
[ 4 of 34] Compiling Copilot.Theorem.IL.Translate ( src/Copilot/Theorem/IL/Translate.hs, dist-ghc/build/Copilot/Theorem/IL/Translate.o, dist-ghc/build/Copilot/Theorem/IL/Translate.dyn_o )

src/Copilot/Theorem/IL/Translate.hs:186:15: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Array _
            C.Struct _
    |
186 | trConst t v = case t of
    |               ^^^^^^^^^...

src/Copilot/Theorem/IL/Translate.hs:267:10: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Array _
            C.Struct _
    |
267 | trType = \case
    |          ^^^^^...
[ 5 of 34] Compiling Copilot.Theorem.IL ( src/Copilot/Theorem/IL.hs, dist-ghc/build/Copilot/Theorem/IL.o, dist-ghc/build/Copilot/Theorem/IL.dyn_o )
[ 6 of 34] Compiling Copilot.Theorem.Kind2.AST ( src/Copilot/Theorem/Kind2/AST.hs, dist-ghc/build/Copilot/Theorem/Kind2/AST.o, dist-ghc/build/Copilot/Theorem/Kind2/AST.dyn_o )
[ 7 of 34] Compiling Copilot.Theorem.Misc.Error ( src/Copilot/Theorem/Misc/Error.hs, dist-ghc/build/Copilot/Theorem/Misc/Error.o, dist-ghc/build/Copilot/Theorem/Misc/Error.dyn_o )
[ 8 of 34] Compiling Copilot.Theorem.Misc.SExpr ( src/Copilot/Theorem/Misc/SExpr.hs, dist-ghc/build/Copilot/Theorem/Misc/SExpr.o, dist-ghc/build/Copilot/Theorem/Misc/SExpr.dyn_o )
[ 9 of 34] Compiling Copilot.Theorem.Kind2.PrettyPrint ( src/Copilot/Theorem/Kind2/PrettyPrint.hs, dist-ghc/build/Copilot/Theorem/Kind2/PrettyPrint.o, dist-ghc/build/Copilot/Theorem/Kind2/PrettyPrint.dyn_o )
[10 of 34] Compiling Copilot.Theorem.Misc.Utils ( src/Copilot/Theorem/Misc/Utils.hs, dist-ghc/build/Copilot/Theorem/Misc/Utils.o, dist-ghc/build/Copilot/Theorem/Misc/Utils.dyn_o )

src/Copilot/Theorem/Misc/Utils.hs:12:1: warning: [-Wunused-imports]
    The import of `Control.Applicative' is redundant
      except perhaps to import instances from `Control.Applicative'
    To import instances alone, use: import Control.Applicative()
   |
12 | import Control.Applicative ((<$>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[11 of 34] Compiling Copilot.Theorem.Prove ( src/Copilot/Theorem/Prove.hs, dist-ghc/build/Copilot/Theorem/Prove.o, dist-ghc/build/Copilot/Theorem/Prove.dyn_o )
[12 of 34] Compiling Copilot.Theorem.Kind2.Output ( src/Copilot/Theorem/Kind2/Output.hs, dist-ghc/build/Copilot/Theorem/Kind2/Output.o, dist-ghc/build/Copilot/Theorem/Kind2/Output.dyn_o )
[13 of 34] Compiling Copilot.Theorem.Prover.Backend ( src/Copilot/Theorem/Prover/Backend.hs, dist-ghc/build/Copilot/Theorem/Prover/Backend.o, dist-ghc/build/Copilot/Theorem/Prover/Backend.dyn_o )
[14 of 34] Compiling Copilot.Theorem.Prover.SMTIO ( src/Copilot/Theorem/Prover/SMTIO.hs, dist-ghc/build/Copilot/Theorem/Prover/SMTIO.o, dist-ghc/build/Copilot/Theorem/Prover/SMTIO.dyn_o )
[15 of 34] Compiling Copilot.Theorem.Prover.SMTLib ( src/Copilot/Theorem/Prover/SMTLib.hs, dist-ghc/build/Copilot/Theorem/Prover/SMTLib.o, dist-ghc/build/Copilot/Theorem/Prover/SMTLib.dyn_o )
[16 of 34] Compiling Copilot.Theorem.Prover.TPTP ( src/Copilot/Theorem/Prover/TPTP.hs, dist-ghc/build/Copilot/Theorem/Prover/TPTP.o, dist-ghc/build/Copilot/Theorem/Prover/TPTP.dyn_o )
[17 of 34] Compiling Copilot.Theorem.Prover.SMT ( src/Copilot/Theorem/Prover/SMT.hs, dist-ghc/build/Copilot/Theorem/Prover/SMT.o, dist-ghc/build/Copilot/Theorem/Prover/SMT.dyn_o )

src/Copilot/Theorem/Prover/SMT.hs:6:14: warning: [-Wtrustworthy-safe]
    `Copilot.Theorem.Prover.SMT' is marked as Trustworthy but has been inferred as safe!
  |
6 | {-# LANGUAGE Trustworthy       #-}
  |              ^^^^^^^^^^^
[18 of 34] Compiling Copilot.Theorem.Tactics ( src/Copilot/Theorem/Tactics.hs, dist-ghc/build/Copilot/Theorem/Tactics.o, dist-ghc/build/Copilot/Theorem/Tactics.dyn_o )
[19 of 34] Compiling Copilot.Theorem  ( src/Copilot/Theorem.hs, dist-ghc/build/Copilot/Theorem.o, dist-ghc/build/Copilot/Theorem.dyn_o )
[20 of 34] Compiling Copilot.Theorem.TransSys.Invariants ( src/Copilot/Theorem/TransSys/Invariants.hs, dist-ghc/build/Copilot/Theorem/TransSys/Invariants.o, dist-ghc/build/Copilot/Theorem/TransSys/Invariants.dyn_o )
[21 of 34] Compiling Copilot.Theorem.TransSys.Type ( src/Copilot/Theorem/TransSys/Type.hs, dist-ghc/build/Copilot/Theorem/TransSys/Type.o, dist-ghc/build/Copilot/Theorem/TransSys/Type.dyn_o )
[22 of 34] Compiling Copilot.Theorem.TransSys.Cast ( src/Copilot/Theorem/TransSys/Cast.hs, dist-ghc/build/Copilot/Theorem/TransSys/Cast.o, dist-ghc/build/Copilot/Theorem/TransSys/Cast.dyn_o )

src/Copilot/Theorem/TransSys/Cast.hs:30:16: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            Array _
            Struct _
   |
30 | castedType t = case t of
   |                ^^^^^^^^^...
[23 of 34] Compiling Copilot.Theorem.TransSys.Operators ( src/Copilot/Theorem/TransSys/Operators.hs, dist-ghc/build/Copilot/Theorem/TransSys/Operators.o, dist-ghc/build/Copilot/Theorem/TransSys/Operators.dyn_o )

src/Copilot/Theorem/TransSys/Operators.hs:138:54: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Ceiling _
            C.Floor _
            C.GetField _ _ _
    |
138 | handleOp1 resT (op, e) handleExpr notHandledF mkOp = case op of
    |                                                      ^^^^^^^^^^...

src/Copilot/Theorem/TransSys/Operators.hs:224:65: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Atan2 _
            C.Index _
    |
224 | handleOp2 resT (op, e1, e2) handleExpr notHandledF mkOp notOp = case op of
    |                                                                 ^^^^^^^^^^...
[24 of 34] Compiling Copilot.Theorem.TransSys.Spec ( src/Copilot/Theorem/TransSys/Spec.hs, dist-ghc/build/Copilot/Theorem/TransSys/Spec.o, dist-ghc/build/Copilot/Theorem/TransSys/Spec.dyn_o )

src/Copilot/Theorem/TransSys/Spec.hs:37:1: warning: [-Wunused-imports]
    The import of `Data.Monoid' is redundant
      except perhaps to import instances from `Data.Monoid'
    To import instances alone, use: import Data.Monoid()
   |
37 | import Data.Monoid ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[25 of 34] Compiling Copilot.Theorem.TransSys.Translate ( src/Copilot/Theorem/TransSys/Translate.hs, dist-ghc/build/Copilot/Theorem/TransSys/Translate.o, dist-ghc/build/Copilot/Theorem/TransSys/Translate.dyn_o )
[26 of 34] Compiling Copilot.Theorem.TransSys.Renaming ( src/Copilot/Theorem/TransSys/Renaming.hs, dist-ghc/build/Copilot/Theorem/TransSys/Renaming.o, dist-ghc/build/Copilot/Theorem/TransSys/Renaming.dyn_o )
[27 of 34] Compiling Copilot.Theorem.TransSys.Transform ( src/Copilot/Theorem/TransSys/Transform.hs, dist-ghc/build/Copilot/Theorem/TransSys/Transform.o, dist-ghc/build/Copilot/Theorem/TransSys/Transform.dyn_o )
[28 of 34] Compiling Copilot.Theorem.TransSys.PrettyPrint ( src/Copilot/Theorem/TransSys/PrettyPrint.hs, dist-ghc/build/Copilot/Theorem/TransSys/PrettyPrint.o, dist-ghc/build/Copilot/Theorem/TransSys/PrettyPrint.dyn_o )
[29 of 34] Compiling Copilot.Theorem.TransSys ( src/Copilot/Theorem/TransSys.hs, dist-ghc/build/Copilot/Theorem/TransSys.o, dist-ghc/build/Copilot/Theorem/TransSys.dyn_o )
[30 of 34] Compiling Copilot.Theorem.Kind2.Translate ( src/Copilot/Theorem/Kind2/Translate.hs, dist-ghc/build/Copilot/Theorem/Kind2/Translate.o, dist-ghc/build/Copilot/Theorem/Kind2/Translate.dyn_o )
[31 of 34] Compiling Copilot.Theorem.Kind2.Prover ( src/Copilot/Theorem/Kind2/Prover.hs, dist-ghc/build/Copilot/Theorem/Kind2/Prover.o, dist-ghc/build/Copilot/Theorem/Kind2/Prover.dyn_o )

src/Copilot/Theorem/Kind2/Prover.hs:2:14: warning: [-Wtrustworthy-safe]
    `Copilot.Theorem.Kind2.Prover' is marked as Trustworthy but has been inferred as safe!
  |
2 | {-# LANGUAGE Trustworthy #-}
  |              ^^^^^^^^^^^
[32 of 34] Compiling Copilot.Theorem.Kind2 ( src/Copilot/Theorem/Kind2.hs, dist-ghc/build/Copilot/Theorem/Kind2.o, dist-ghc/build/Copilot/Theorem/Kind2.dyn_o )
[33 of 34] Compiling Copilot.Theorem.What4.Translate ( src/Copilot/Theorem/What4/Translate.hs, dist-ghc/build/Copilot/Theorem/What4/Translate.o, dist-ghc/build/Copilot/Theorem/What4/Translate.dyn_o )
[34 of 34] Compiling Copilot.Theorem.What4 ( src/Copilot/Theorem/What4.hs, dist-ghc/build/Copilot/Theorem/What4.o, dist-ghc/build/Copilot/Theorem/What4.dyn_o )

on the commandline: warning:
    -fcontext-stack=100 is deprecated: use -freduction-depth=100 instead
[ 1 of 34] Compiling Copilot.Theorem.IL.Spec ( src/Copilot/Theorem/IL/Spec.hs, dist-ghc/build/Copilot/Theorem/IL/Spec.p_o )
[ 2 of 34] Compiling Copilot.Theorem.IL.PrettyPrint ( src/Copilot/Theorem/IL/PrettyPrint.hs, dist-ghc/build/Copilot/Theorem/IL/PrettyPrint.p_o )
[ 3 of 34] Compiling Copilot.Theorem.IL.Transform ( src/Copilot/Theorem/IL/Transform.hs, dist-ghc/build/Copilot/Theorem/IL/Transform.p_o )
[ 4 of 34] Compiling Copilot.Theorem.IL.Translate ( src/Copilot/Theorem/IL/Translate.hs, dist-ghc/build/Copilot/Theorem/IL/Translate.p_o )

src/Copilot/Theorem/IL/Translate.hs:186:15: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Array _
            C.Struct _
    |
186 | trConst t v = case t of
    |               ^^^^^^^^^...

src/Copilot/Theorem/IL/Translate.hs:267:10: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Array _
            C.Struct _
    |
267 | trType = \case
    |          ^^^^^...
[ 5 of 34] Compiling Copilot.Theorem.IL ( src/Copilot/Theorem/IL.hs, dist-ghc/build/Copilot/Theorem/IL.p_o )
[ 6 of 34] Compiling Copilot.Theorem.Kind2.AST ( src/Copilot/Theorem/Kind2/AST.hs, dist-ghc/build/Copilot/Theorem/Kind2/AST.p_o )
[ 7 of 34] Compiling Copilot.Theorem.Misc.Error ( src/Copilot/Theorem/Misc/Error.hs, dist-ghc/build/Copilot/Theorem/Misc/Error.p_o )
[ 8 of 34] Compiling Copilot.Theorem.Misc.SExpr ( src/Copilot/Theorem/Misc/SExpr.hs, dist-ghc/build/Copilot/Theorem/Misc/SExpr.p_o )
[ 9 of 34] Compiling Copilot.Theorem.Kind2.PrettyPrint ( src/Copilot/Theorem/Kind2/PrettyPrint.hs, dist-ghc/build/Copilot/Theorem/Kind2/PrettyPrint.p_o )
[10 of 34] Compiling Copilot.Theorem.Misc.Utils ( src/Copilot/Theorem/Misc/Utils.hs, dist-ghc/build/Copilot/Theorem/Misc/Utils.p_o )

src/Copilot/Theorem/Misc/Utils.hs:12:1: warning: [-Wunused-imports]
    The import of `Control.Applicative' is redundant
      except perhaps to import instances from `Control.Applicative'
    To import instances alone, use: import Control.Applicative()
   |
12 | import Control.Applicative ((<$>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[11 of 34] Compiling Copilot.Theorem.Prove ( src/Copilot/Theorem/Prove.hs, dist-ghc/build/Copilot/Theorem/Prove.p_o )
[12 of 34] Compiling Copilot.Theorem.Kind2.Output ( src/Copilot/Theorem/Kind2/Output.hs, dist-ghc/build/Copilot/Theorem/Kind2/Output.p_o )
[13 of 34] Compiling Copilot.Theorem.Prover.Backend ( src/Copilot/Theorem/Prover/Backend.hs, dist-ghc/build/Copilot/Theorem/Prover/Backend.p_o )
[14 of 34] Compiling Copilot.Theorem.Prover.SMTIO ( src/Copilot/Theorem/Prover/SMTIO.hs, dist-ghc/build/Copilot/Theorem/Prover/SMTIO.p_o )
[15 of 34] Compiling Copilot.Theorem.Prover.SMTLib ( src/Copilot/Theorem/Prover/SMTLib.hs, dist-ghc/build/Copilot/Theorem/Prover/SMTLib.p_o )
[16 of 34] Compiling Copilot.Theorem.Prover.TPTP ( src/Copilot/Theorem/Prover/TPTP.hs, dist-ghc/build/Copilot/Theorem/Prover/TPTP.p_o )
[17 of 34] Compiling Copilot.Theorem.Prover.SMT ( src/Copilot/Theorem/Prover/SMT.hs, dist-ghc/build/Copilot/Theorem/Prover/SMT.p_o )

src/Copilot/Theorem/Prover/SMT.hs:6:14: warning: [-Wtrustworthy-safe]
    `Copilot.Theorem.Prover.SMT' is marked as Trustworthy but has been inferred as safe!
  |
6 | {-# LANGUAGE Trustworthy       #-}
  |              ^^^^^^^^^^^
[18 of 34] Compiling Copilot.Theorem.Tactics ( src/Copilot/Theorem/Tactics.hs, dist-ghc/build/Copilot/Theorem/Tactics.p_o )
[19 of 34] Compiling Copilot.Theorem  ( src/Copilot/Theorem.hs, dist-ghc/build/Copilot/Theorem.p_o )
[20 of 34] Compiling Copilot.Theorem.TransSys.Invariants ( src/Copilot/Theorem/TransSys/Invariants.hs, dist-ghc/build/Copilot/Theorem/TransSys/Invariants.p_o )
[21 of 34] Compiling Copilot.Theorem.TransSys.Type ( src/Copilot/Theorem/TransSys/Type.hs, dist-ghc/build/Copilot/Theorem/TransSys/Type.p_o )
[22 of 34] Compiling Copilot.Theorem.TransSys.Cast ( src/Copilot/Theorem/TransSys/Cast.hs, dist-ghc/build/Copilot/Theorem/TransSys/Cast.p_o )

src/Copilot/Theorem/TransSys/Cast.hs:30:16: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            Array _
            Struct _
   |
30 | castedType t = case t of
   |                ^^^^^^^^^...
[23 of 34] Compiling Copilot.Theorem.TransSys.Operators ( src/Copilot/Theorem/TransSys/Operators.hs, dist-ghc/build/Copilot/Theorem/TransSys/Operators.p_o )

src/Copilot/Theorem/TransSys/Operators.hs:138:54: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Ceiling _
            C.Floor _
            C.GetField _ _ _
    |
138 | handleOp1 resT (op, e) handleExpr notHandledF mkOp = case op of
    |                                                      ^^^^^^^^^^...

src/Copilot/Theorem/TransSys/Operators.hs:224:65: warning: [-Wincomplete-patterns]
    Pattern match(es) are non-exhaustive
    In a case alternative:
        Patterns not matched:
            C.Atan2 _
            C.Index _
    |
224 | handleOp2 resT (op, e1, e2) handleExpr notHandledF mkOp notOp = case op of
    |                                                                 ^^^^^^^^^^...
[24 of 34] Compiling Copilot.Theorem.TransSys.Spec ( src/Copilot/Theorem/TransSys/Spec.hs, dist-ghc/build/Copilot/Theorem/TransSys/Spec.p_o )

src/Copilot/Theorem/TransSys/Spec.hs:37:1: warning: [-Wunused-imports]
    The import of `Data.Monoid' is redundant
      except perhaps to import instances from `Data.Monoid'
    To import instances alone, use: import Data.Monoid()
   |
37 | import Data.Monoid ((<>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^
[25 of 34] Compiling Copilot.Theorem.TransSys.Translate ( src/Copilot/Theorem/TransSys/Translate.hs, dist-ghc/build/Copilot/Theorem/TransSys/Translate.p_o )
[26 of 34] Compiling Copilot.Theorem.TransSys.Renaming ( src/Copilot/Theorem/TransSys/Renaming.hs, dist-ghc/build/Copilot/Theorem/TransSys/Renaming.p_o )
[27 of 34] Compiling Copilot.Theorem.TransSys.Transform ( src/Copilot/Theorem/TransSys/Transform.hs, dist-ghc/build/Copilot/Theorem/TransSys/Transform.p_o )
[28 of 34] Compiling Copilot.Theorem.TransSys.PrettyPrint ( src/Copilot/Theorem/TransSys/PrettyPrint.hs, dist-ghc/build/Copilot/Theorem/TransSys/PrettyPrint.p_o )
[29 of 34] Compiling Copilot.Theorem.TransSys ( src/Copilot/Theorem/TransSys.hs, dist-ghc/build/Copilot/Theorem/TransSys.p_o )
[30 of 34] Compiling Copilot.Theorem.Kind2.Translate ( src/Copilot/Theorem/Kind2/Translate.hs, dist-ghc/build/Copilot/Theorem/Kind2/Translate.p_o )
[31 of 34] Compiling Copilot.Theorem.Kind2.Prover ( src/Copilot/Theorem/Kind2/Prover.hs, dist-ghc/build/Copilot/Theorem/Kind2/Prover.p_o )

src/Copilot/Theorem/Kind2/Prover.hs:2:14: warning: [-Wtrustworthy-safe]
    `Copilot.Theorem.Kind2.Prover' is marked as Trustworthy but has been inferred as safe!
  |
2 | {-# LANGUAGE Trustworthy #-}
  |              ^^^^^^^^^^^
[32 of 34] Compiling Copilot.Theorem.Kind2 ( src/Copilot/Theorem/Kind2.hs, dist-ghc/build/Copilot/Theorem/Kind2.p_o )
[33 of 34] Compiling Copilot.Theorem.What4.Translate ( src/Copilot/Theorem/What4/Translate.hs, dist-ghc/build/Copilot/Theorem/What4/Translate.p_o )
[34 of 34] Compiling Copilot.Theorem.What4 ( src/Copilot/Theorem/What4.hs, dist-ghc/build/Copilot/Theorem/What4.p_o )
touch build-ghc-stamp
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
	-E 'check_recipe'
Running dh_listpackages
libghc-copilot-theorem-dev
libghc-copilot-theorem-prof
libghc-copilot-theorem-doc
Package has no test suites.
touch check-ghc-stamp
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
	-E 'haddock_recipe'
Running dh_listpackages
libghc-copilot-theorem-dev
libghc-copilot-theorem-prof
libghc-copilot-theorem-doc
Running debian/hlibrary.setup haddock --builddir=dist-ghc --with-haddock=/usr/bin/haddock --with-ghc=ghc --verbose=2 --html --hoogle --haddock-options="--mathjax=file:///usr/share/javascript/mathjax/MathJax.js" --hyperlink-source
/usr/bin/haddock --version
/usr/bin/ghc --numeric-version
/usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js'
/usr/bin/ghc --print-libdir
/usr/bin/ghc-pkg init dist-ghc/package.conf.inplace
creating dist-ghc/build
creating dist-ghc/build/autogen
creating dist-ghc/build/autogen
Preprocessing library for copilot-theorem-3.13..
Running Haddock on library for copilot-theorem-3.13..
creating dist-ghc/doc/html/copilot-theorem
creating dist-ghc/doc/html
creating dist-ghc/doc
creating dist-ghc/doc/html
creating dist-ghc/doc/html/copilot-theorem
/usr/bin/haddock '@dist-ghc/doc/html/copilot-theorem/haddock-response1670069-1.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js'
Warning: 'Int8' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Int16' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% ( 15 / 15) in 'Copilot.Theorem.Prove'
Warning: Couldn't find .haddock for export Default
  95% ( 20 / 21) in 'Copilot.Theorem.Prover.SMT'
  Missing documentation for:
    Default
 100% (  9 /  9) in 'Copilot.Theorem'
Warning: 'm' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'resT' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'expr' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Expr' is ambiguous. It is defined
    * at src/Copilot/Theorem/TransSys/Spec.hs:93:29
    * at src/Copilot/Theorem/TransSys/Spec.hs:96:1
    You may be able to disambiguate the identifier by qualifying it or
    by specifying the type/value namespace explicitly.
    Defaulting to the one defined at src/Copilot/Theorem/TransSys/Spec.hs:96:1
Warning: 'fib' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
 100% (  4 /  4) in 'Copilot.Theorem.Kind2.Prover'
 100% ( 13 / 13) in 'Copilot.Theorem.Kind2'
 100% ( 11 / 11) in 'Copilot.Theorem.What4'
Warning: Copilot.Theorem.Prover.SMT: could not find link destinations for:

	- Copilot.Theorem.Prover.Backend.push
	- Copilot.Theorem.Prover.Backend.pop
	- Copilot.Theorem.Prover.Backend.checkSat
	- Copilot.Theorem.Prover.Backend.setLogic
	- Copilot.Theorem.Prover.Backend.declFun
	- Copilot.Theorem.IL.Spec.Type
	- Copilot.Theorem.Prover.Backend.assert
	- Copilot.Theorem.IL.Spec.Expr
Warning: Copilot.Theorem.Kind2: could not find link destinations for:

	- Copilot.Theorem.TransSys.Spec.PropId
	- Copilot.Theorem.TransSys.Spec.TransSys
Warning: Copilot.Theorem.What4: could not find link destinations for:

	- What4.InterpretedFloatingPoint.IsInterpretedFloatSymExprBuilder
	- Data.Parameterized.Some.Some
	- What4.Interface.Pred
	- What4.Interface.SymExpr
	- What4.BaseTypes.BaseBoolType
	- What4.BaseTypes.BaseBVType
	- What4.InterpretedFloatingPoint.SymInterpretedFloatType
	- What4.InterpretedFloatingPoint.SingleFloat
	- What4.InterpretedFloatingPoint.DoubleFloat
	- Data.Parameterized.Vector.Vector
	- What4.Interface.IsExprBuilder
	- Copilot.Theorem.What4.Translate.panic
Documentation created: dist-ghc/doc/html/copilot-theorem/index.html,
dist-ghc/doc/html/copilot-theorem/copilot-theorem.txt
touch build-haddock-stamp
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
	-E 'install_recipe($ARGV[0])' "debian/tmp-inst-ghc"
Running dh_listpackages
libghc-copilot-theorem-dev
libghc-copilot-theorem-prof
libghc-copilot-theorem-doc
Running debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc
Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp
:
dh_haskell_install_htmldocs --package=libghc-copilot-theorem-doc --source-dir="debian/tmp-inst-ghc"
Running find ./usr/share/doc/libghc-copilot-theorem-doc/html/ ! -name *.haddock ! -type d -exec install -D --mode=644 {} /build/reproducible-path/haskell-copilot-theorem-3.13/debian/libghc-copilot-theorem-doc/{} ;
Running mkdir --parents debian/libghc-copilot-theorem-doc/usr/lib/ghc-doc/hoogle
Running ln --symbolic --relative --no-target-directory debian/libghc-copilot-theorem-doc/usr/share/doc/libghc-copilot-theorem-doc/html//copilot-theorem.txt debian/libghc-copilot-theorem-doc/usr/lib/ghc-doc/hoogle/libghc-copilot-theorem-doc.txt
dh_haskell_install_haddock --package=libghc-copilot-theorem-doc --source-dir="debian/tmp-inst-ghc"
Running mkdir --parents debian/libghc-copilot-theorem-doc/usr/lib/ghc-doc/haddock/copilot-theorem-3.13/
Running cp --recursive debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/copilot-theorem-3.13/copilot-theorem.haddock debian/libghc-copilot-theorem-doc/usr/lib/ghc-doc/haddock/copilot-theorem-3.13/
dh_haskell_depends_haddock --package=libghc-copilot-theorem-doc
Running haddock --interface-version
38
dh_haskell_recommends_documentation_references --package=libghc-copilot-theorem-doc
Finding all links in the documentation in installable libghc-copilot-theorem-doc.
dh_haskell_suggests --package=libghc-copilot-theorem-doc
dh_haskell_blurbs --package=libghc-copilot-theorem-doc --type=doc
dh_haskell_description --package=libghc-copilot-theorem-doc
Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control
Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control
k-induction for Copilot.
 Some tools to prove properties on Copilot programs with k-induction model
 checking.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
dh_haskell_compiler --package=libghc-copilot-theorem-doc
Running dpkg-query --showformat=${Version} --show ghc
9.0.2-4
dh_installdocs -plibghc-copilot-theorem-doc 
dh_installexamples -plibghc-copilot-theorem-doc 
dh_installman -plibghc-copilot-theorem-doc 
dh_installinfo -plibghc-copilot-theorem-doc 
dh_installmenu -plibghc-copilot-theorem-doc 
dh_installcron -plibghc-copilot-theorem-doc 
dh_systemd_enable -plibghc-copilot-theorem-doc 
dh_installinit -plibghc-copilot-theorem-doc 
dh_installdebconf -plibghc-copilot-theorem-doc 
dh_installemacsen -plibghc-copilot-theorem-doc 
dh_installcatalogs -plibghc-copilot-theorem-doc 
dh_installpam -plibghc-copilot-theorem-doc 
dh_installlogrotate -plibghc-copilot-theorem-doc 
dh_installlogcheck -plibghc-copilot-theorem-doc 
dh_installchangelogs -plibghc-copilot-theorem-doc ./CHANGELOG
dh_installudev -plibghc-copilot-theorem-doc 
dh_lintian -plibghc-copilot-theorem-doc 
dh_bugfiles -plibghc-copilot-theorem-doc 
dh_install -plibghc-copilot-theorem-doc 
dh_systemd_start -plibghc-copilot-theorem-doc 
dh_link -plibghc-copilot-theorem-doc 
dh_buildinfo -plibghc-copilot-theorem-doc 
dh_installmime -plibghc-copilot-theorem-doc 
dh_installgsettings -plibghc-copilot-theorem-doc 
dh_strip -plibghc-copilot-theorem-doc  --no-automatic-dbgsym
dh_strip_nondeterminism -plibghc-copilot-theorem-doc 
dh_compress -plibghc-copilot-theorem-doc -X .haddock -X .hs -X .txt
dh_fixperms -plibghc-copilot-theorem-doc 
dh_makeshlibs -plibghc-copilot-theorem-doc -XlibHS 
dh_installdeb -plibghc-copilot-theorem-doc 
dh_perl -plibghc-copilot-theorem-doc 
dh_shlibdeps -plibghc-copilot-theorem-doc -- --ignore-missing-info
dh_gencontrol -plibghc-copilot-theorem-doc  
dpkg-gencontrol: warning: Conflicts field of package libghc-copilot-theorem-doc: substitution variable ${haskell:Conflicts} used, but is not defined
dpkg-gencontrol: warning: package libghc-copilot-theorem-doc: substitution variable ${haskell:ghc-version} unused, but is defined
# only call dh_scour for packages in main
if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-copilot-theorem-doc ; fi
dh_md5sums -plibghc-copilot-theorem-doc 
dh_builddeb -plibghc-copilot-theorem-doc 
dpkg-deb: building package 'libghc-copilot-theorem-doc' in '../libghc-copilot-theorem-doc_3.13-1_all.deb'.
Adding cdbs dependencies to debian/libghc-copilot-theorem-dev.substvars
dh_installdirs -plibghc-copilot-theorem-dev \
	
:
dh_haskell_install_ghc_registration --package=libghc-copilot-theorem-dev
Running install -D --mode=644 copilot-theorem-3.13.conf debian/libghc-copilot-theorem-dev/var/lib/ghc/package.conf.d/copilot-theorem-3.13.conf
/usr/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist-ghc/build -odir dist-ghc/build -hidir dist-ghc/build -stubdir dist-ghc/build -i -idist-ghc/build -isrc -idist-ghc/build/autogen -idist-ghc/build/global-autogen -Idist-ghc/build/autogen -Idist-ghc/build/global-autogen -Idist-ghc/build -optP-include -optPdist-ghc/build/autogen/cabal_macros.h -this-unit-id copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Copilot.Theorem Copilot.Theorem.Prove Copilot.Theorem.Kind2 Copilot.Theorem.Prover.SMT Copilot.Theorem.Kind2.Prover Copilot.Theorem.What4 -Wall -fno-warn-name-shadowing -fno-warn-unused-binds -fno-warn-missing-signatures '-fcontext-stack=100' -optl-Wl,-z,relro
name:                 copilot-theorem
version:              3.13
visibility:           public
id:                   copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
key:                  copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
license:              BSD-3-Clause
maintainer:           Ivan Perez <ivan.perezdominguez@nasa.gov>
author:               Jonathan Laurent
stability:            Experimental
homepage:             https://copilot-language.github.io
synopsis:             k-induction for Copilot.
description:
    Some tools to prove properties on Copilot programs with k-induction model
    checking.

    Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
    Haskell that compiles into embedded C.  Copilot contains an interpreter,
    multiple back-end compilers, and other verification tools.

    A tutorial, examples, and other information are available at
    <https://copilot-language.github.io>.

category:             Language, Embedded
abi:                  ab797101fdfe52d00591bf2dcedc7900
exposed:              True
exposed-modules:
    Copilot.Theorem Copilot.Theorem.Kind2 Copilot.Theorem.Kind2.Prover
    Copilot.Theorem.Prove Copilot.Theorem.Prover.SMT
    Copilot.Theorem.What4

hidden-modules:
    Copilot.Theorem.Tactics Copilot.Theorem.IL
    Copilot.Theorem.IL.PrettyPrint Copilot.Theorem.IL.Spec
    Copilot.Theorem.IL.Translate Copilot.Theorem.IL.Transform
    Copilot.Theorem.Kind2.AST Copilot.Theorem.Kind2.Output
    Copilot.Theorem.Kind2.PrettyPrint Copilot.Theorem.Kind2.Translate
    Copilot.Theorem.Prover.SMTIO Copilot.Theorem.Prover.SMTLib
    Copilot.Theorem.Prover.TPTP Copilot.Theorem.Prover.Backend
    Copilot.Theorem.Misc.Error Copilot.Theorem.Misc.SExpr
    Copilot.Theorem.Misc.Utils Copilot.Theorem.TransSys
    Copilot.Theorem.TransSys.Cast Copilot.Theorem.TransSys.PrettyPrint
    Copilot.Theorem.TransSys.Renaming Copilot.Theorem.TransSys.Spec
    Copilot.Theorem.TransSys.Transform
    Copilot.Theorem.TransSys.Translate
    Copilot.Theorem.TransSys.Invariants
    Copilot.Theorem.TransSys.Operators Copilot.Theorem.TransSys.Type
    Copilot.Theorem.What4.Translate

import-dirs:
    /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC

library-dirs:
    /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC

dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2
data-dir:             /usr/share/copilot-theorem
hs-libraries:         HScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
depends:
    base-4.15.1.0 bimap-0.5.0-B50oOvET6QCIygIVngWxtm
    bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV containers-0.6.4.1
    copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv
    copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY
    data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo directory-1.3.6.2
    libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2
    panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ
    parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 parsec-3.1.14.0
    pretty-1.1.3.6 process-1.6.13.2
    random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba transformers-0.5.6.2
    what4-1.3-Elb7rjT5ytGFJOLuRoWDMD xml-1.3.14-6hlhhPBptprHwK7nsE7OzM

haddock-interfaces:
    /usr/lib/ghc-doc/haddock/copilot-theorem-3.13/copilot-theorem.haddock

haddock-html:         /usr/share/doc/libghc-copilot-theorem-doc/html/
Creating package registration file: copilot-theorem-3.13.conf

Running rm -rf copilot-theorem-3.13.conf
dh_haskell_install_development_libs --package=libghc-copilot-theorem-dev --source-dir="debian/tmp-inst-ghc"
Running find ./usr/lib/haskell-packages/ghc/lib ( ! -name *_p.a ! -name *.p_hi ! -type d ) -exec install -D --mode=644 {} /build/reproducible-path/haskell-copilot-theorem-3.13/debian/libghc-copilot-theorem-dev/{} ;
dh_haskell_provides_ghc --package=libghc-copilot-theorem-dev
Running cp debian/libghc-copilot-theorem-dev/var/lib/ghc/package.conf.d/copilot-theorem-3.13.conf debian/tmp-db
Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 id
copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC name
copilot-theorem
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC version
3.13
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC abi
ab797101fdfe52d00591bf2dcedc7900
dh_haskell_depends_cabal --package=libghc-copilot-theorem-dev
Running cp debian/libghc-copilot-theorem-dev/var/lib/ghc/package.conf.d/copilot-theorem-3.13.conf debian/tmp-db
Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 depends
base-4.15.1.0 bimap-0.5.0-B50oOvET6QCIygIVngWxtm bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV containers-0.6.4.1 copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo directory-1.3.6.2 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 parsec-3.1.14.0 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba transformers-0.5.6.2 what4-1.3-Elb7rjT5ytGFJOLuRoWDMD xml-1.3.14-6hlhhPBptprHwK7nsE7OzM
Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 name
base
Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 version
4.15.1.0
Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 abi
78aa1b5d55f743e2d0f838c482bc13af
Running ghc-pkg --global --simple-output --unit-id field bimap-0.5.0-B50oOvET6QCIygIVngWxtm name
bimap
Running ghc-pkg --global --simple-output --unit-id field bimap-0.5.0-B50oOvET6QCIygIVngWxtm version
0.5.0
Running ghc-pkg --global --simple-output --unit-id field bimap-0.5.0-B50oOvET6QCIygIVngWxtm abi
b3b694dfb542dea5df0213cd8ee61246
Running ghc-pkg --global --simple-output --unit-id field bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV name
bv-sized
Running ghc-pkg --global --simple-output --unit-id field bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV version
1.0.4
Running ghc-pkg --global --simple-output --unit-id field bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV abi
727406c39eec74e5ab597874f5935605
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 name
containers
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 version
0.6.4.1
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 abi
567e5f13bba9e5f8e5d36bacef095912
Running ghc-pkg --global --simple-output --unit-id field copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv name
copilot-core
Running ghc-pkg --global --simple-output --unit-id field copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv version
3.13
Running ghc-pkg --global --simple-output --unit-id field copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv abi
3f73891458bf8a085c235c5fd3be8f51
Running ghc-pkg --global --simple-output --unit-id field copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY name
copilot-prettyprinter
Running ghc-pkg --global --simple-output --unit-id field copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY version
3.13
Running ghc-pkg --global --simple-output --unit-id field copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY abi
86bbe7f11272f523a8c8442f5e4eeb61
Running ghc-pkg --global --simple-output --unit-id field data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo name
data-default
Running ghc-pkg --global --simple-output --unit-id field data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo version
0.7.1.1
Running ghc-pkg --global --simple-output --unit-id field data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo abi
2a149fb2326a9349dba4bdb7b2c047ff
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 name
directory
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 version
1.3.6.2
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 abi
fe5246a3ae342423c40ce713b63861c4
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP name
libBF
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP version
0.6.5.1
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP abi
b80adec3269bdf9f4132f7df22e27f34
Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 name
mtl
Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 version
2.2.2
Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 abi
e3bae7a758436eac83f48d31694b7e28
Running ghc-pkg --global --simple-output --unit-id field panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ name
panic
Running ghc-pkg --global --simple-output --unit-id field panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ version
0.4.0.1
Running ghc-pkg --global --simple-output --unit-id field panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ abi
2a72503d815d020a5735495226c83a12
Running ghc-pkg --global --simple-output --unit-id field parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 name
parameterized-utils
Running ghc-pkg --global --simple-output --unit-id field parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 version
2.1.5.0
Running ghc-pkg --global --simple-output --unit-id field parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 abi
afefd187f162cb5517106168303aba5d
Running ghc-pkg --global --simple-output --unit-id field parsec-3.1.14.0 name
parsec
Running ghc-pkg --global --simple-output --unit-id field parsec-3.1.14.0 version
3.1.14.0
Running ghc-pkg --global --simple-output --unit-id field parsec-3.1.14.0 abi
e513a68f2992c2f05dd2c5268716cbbe
Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 name
pretty
Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 version
1.1.3.6
Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 abi
f6ce8619efbba1a75fbcf7d71f32a8ac
Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 name
process
Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 version
1.6.13.2
Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 abi
7cc26c4838aedc2eb87ee97a7b12d053
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba name
random
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba version
1.2.1.1
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba abi
25f0124ab874fd66fa0bbdb74201ff03
Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 name
transformers
Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 version
0.5.6.2
Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 abi
fc6f3732b26827c3900eee6a1e2a12d7
Running ghc-pkg --global --simple-output --unit-id field what4-1.3-Elb7rjT5ytGFJOLuRoWDMD name
what4
Running ghc-pkg --global --simple-output --unit-id field what4-1.3-Elb7rjT5ytGFJOLuRoWDMD version
1.3
Running ghc-pkg --global --simple-output --unit-id field what4-1.3-Elb7rjT5ytGFJOLuRoWDMD abi
95026aa909e127b080ffed8853be6661
Running ghc-pkg --global --simple-output --unit-id field xml-1.3.14-6hlhhPBptprHwK7nsE7OzM name
xml
Running ghc-pkg --global --simple-output --unit-id field xml-1.3.14-6hlhhPBptprHwK7nsE7OzM version
1.3.14
Running ghc-pkg --global --simple-output --unit-id field xml-1.3.14-6hlhhPBptprHwK7nsE7OzM abi
37bc90dd4d2e92009d1e023dea02eb94
dh_haskell_extra_depends_ghc --package=libghc-copilot-theorem-dev --type=dev
Running cp copilot-theorem-3.13.conf debian/tmp-db
/usr/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist-ghc/build -odir dist-ghc/build -hidir dist-ghc/build -stubdir dist-ghc/build -i -idist-ghc/build -isrc -idist-ghc/build/autogen -idist-ghc/build/global-autogen -Idist-ghc/build/autogen -Idist-ghc/build/global-autogen -Idist-ghc/build -optP-include -optPdist-ghc/build/autogen/cabal_macros.h -this-unit-id copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Copilot.Theorem Copilot.Theorem.Prove Copilot.Theorem.Kind2 Copilot.Theorem.Prover.SMT Copilot.Theorem.Kind2.Prover Copilot.Theorem.What4 -Wall -fno-warn-name-shadowing -fno-warn-unused-binds -fno-warn-missing-signatures '-fcontext-stack=100' -optl-Wl,-z,relro
name:                 copilot-theorem
version:              3.13
visibility:           public
id:                   copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
key:                  copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
license:              BSD-3-Clause
maintainer:           Ivan Perez <ivan.perezdominguez@nasa.gov>
author:               Jonathan Laurent
stability:            Experimental
homepage:             https://copilot-language.github.io
synopsis:             k-induction for Copilot.
description:
    Some tools to prove properties on Copilot programs with k-induction model
    checking.

    Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
    Haskell that compiles into embedded C.  Copilot contains an interpreter,
    multiple back-end compilers, and other verification tools.

    A tutorial, examples, and other information are available at
    <https://copilot-language.github.io>.

category:             Language, Embedded
abi:                  ab797101fdfe52d00591bf2dcedc7900
exposed:              True
exposed-modules:
    Copilot.Theorem Copilot.Theorem.Kind2 Copilot.Theorem.Kind2.Prover
    Copilot.Theorem.Prove Copilot.Theorem.Prover.SMT
    Copilot.Theorem.What4

hidden-modules:
    Copilot.Theorem.Tactics Copilot.Theorem.IL
    Copilot.Theorem.IL.PrettyPrint Copilot.Theorem.IL.Spec
    Copilot.Theorem.IL.Translate Copilot.Theorem.IL.Transform
    Copilot.Theorem.Kind2.AST Copilot.Theorem.Kind2.Output
    Copilot.Theorem.Kind2.PrettyPrint Copilot.Theorem.Kind2.Translate
    Copilot.Theorem.Prover.SMTIO Copilot.Theorem.Prover.SMTLib
    Copilot.Theorem.Prover.TPTP Copilot.Theorem.Prover.Backend
    Copilot.Theorem.Misc.Error Copilot.Theorem.Misc.SExpr
    Copilot.Theorem.Misc.Utils Copilot.Theorem.TransSys
    Copilot.Theorem.TransSys.Cast Copilot.Theorem.TransSys.PrettyPrint
    Copilot.Theorem.TransSys.Renaming Copilot.Theorem.TransSys.Spec
    Copilot.Theorem.TransSys.Transform
    Copilot.Theorem.TransSys.Translate
    Copilot.Theorem.TransSys.Invariants
    Copilot.Theorem.TransSys.Operators Copilot.Theorem.TransSys.Type
    Copilot.Theorem.What4.Translate

import-dirs:
    /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC

library-dirs:
    /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC

dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2
data-dir:             /usr/share/copilot-theorem
hs-libraries:         HScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
depends:
    base-4.15.1.0 bimap-0.5.0-B50oOvET6QCIygIVngWxtm
    bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV containers-0.6.4.1
    copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv
    copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY
    data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo directory-1.3.6.2
    libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2
    panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ
    parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 parsec-3.1.14.0
    pretty-1.1.3.6 process-1.6.13.2
    random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba transformers-0.5.6.2
    what4-1.3-Elb7rjT5ytGFJOLuRoWDMD xml-1.3.14-6hlhhPBptprHwK7nsE7OzM

haddock-interfaces:
    /usr/lib/ghc-doc/haddock/copilot-theorem-3.13/copilot-theorem.haddock

haddock-html:         /usr/share/doc/libghc-copilot-theorem-doc/html/
Creating package registration file: copilot-theorem-3.13.conf

Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 depends
base-4.15.1.0 bimap-0.5.0-B50oOvET6QCIygIVngWxtm bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV containers-0.6.4.1 copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo directory-1.3.6.2 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 parsec-3.1.14.0 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba transformers-0.5.6.2 what4-1.3-Elb7rjT5ytGFJOLuRoWDMD xml-1.3.14-6hlhhPBptprHwK7nsE7OzM
Running rm -rf copilot-theorem-3.13.conf
dh_haskell_shlibdeps --package=libghc-copilot-theorem-dev
Running cp debian/libghc-copilot-theorem-dev/var/lib/ghc/package.conf.d/copilot-theorem-3.13.conf debian/tmp-db
Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 library-dirs
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 extra-libraries
Running gcc -L/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe
Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-copilot-theorem-dev.substvars debian/dh_haskell_shlibdeps/probe
dh_haskell_blurbs --package=libghc-copilot-theorem-dev --type=dev
dh_haskell_description --package=libghc-copilot-theorem-dev
Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control
Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control
k-induction for Copilot.
 Some tools to prove properties on Copilot programs with k-induction model
 checking.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
dh_haskell_compiler --package=libghc-copilot-theorem-dev
Running dpkg-query --showformat=${Version} --show ghc
9.0.2-4
Adding cdbs dependencies to debian/libghc-copilot-theorem-prof.substvars
dh_installdirs -plibghc-copilot-theorem-prof \
	
dh_haskell_install_profiling_libs --package=libghc-copilot-theorem-prof --source-dir="debian/tmp-inst-ghc"
Running find ./usr/lib/haskell-packages/ghc/lib ( -name *_p.a -o -name *.p_hi ) -exec install -D --mode=644 {} /build/reproducible-path/haskell-copilot-theorem-3.13/debian/libghc-copilot-theorem-prof/{} ;
dh_haskell_provides_ghc --package=libghc-copilot-theorem-prof --config-shipper="libghc-copilot-theorem-dev"
Running cp debian/libghc-copilot-theorem-dev/var/lib/ghc/package.conf.d/copilot-theorem-3.13.conf debian/tmp-db
Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 id
copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC name
copilot-theorem
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC version
3.13
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC abi
ab797101fdfe52d00591bf2dcedc7900
dh_haskell_depends_cabal --package=libghc-copilot-theorem-prof --config-shipper="libghc-copilot-theorem-dev"
Running cp debian/libghc-copilot-theorem-dev/var/lib/ghc/package.conf.d/copilot-theorem-3.13.conf debian/tmp-db
Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-theorem-3.13 depends
base-4.15.1.0 bimap-0.5.0-B50oOvET6QCIygIVngWxtm bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV containers-0.6.4.1 copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo directory-1.3.6.2 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 parsec-3.1.14.0 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba transformers-0.5.6.2 what4-1.3-Elb7rjT5ytGFJOLuRoWDMD xml-1.3.14-6hlhhPBptprHwK7nsE7OzM
Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 name
base
Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 version
4.15.1.0
Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 abi
78aa1b5d55f743e2d0f838c482bc13af
Running ghc-pkg --global --simple-output --unit-id field bimap-0.5.0-B50oOvET6QCIygIVngWxtm name
bimap
Running ghc-pkg --global --simple-output --unit-id field bimap-0.5.0-B50oOvET6QCIygIVngWxtm version
0.5.0
Running ghc-pkg --global --simple-output --unit-id field bimap-0.5.0-B50oOvET6QCIygIVngWxtm abi
b3b694dfb542dea5df0213cd8ee61246
Running ghc-pkg --global --simple-output --unit-id field bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV name
bv-sized
Running ghc-pkg --global --simple-output --unit-id field bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV version
1.0.4
Running ghc-pkg --global --simple-output --unit-id field bv-sized-1.0.4-3tcHb6fMaTCCQHYw6LFIvV abi
727406c39eec74e5ab597874f5935605
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 name
containers
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 version
0.6.4.1
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 abi
567e5f13bba9e5f8e5d36bacef095912
Running ghc-pkg --global --simple-output --unit-id field copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv name
copilot-core
Running ghc-pkg --global --simple-output --unit-id field copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv version
3.13
Running ghc-pkg --global --simple-output --unit-id field copilot-core-3.13-GZQKgTYrIqn5cIaJlwkQHv abi
3f73891458bf8a085c235c5fd3be8f51
Running ghc-pkg --global --simple-output --unit-id field copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY name
copilot-prettyprinter
Running ghc-pkg --global --simple-output --unit-id field copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY version
3.13
Running ghc-pkg --global --simple-output --unit-id field copilot-prettyprinter-3.13-GtvtbfumdeGGqnqRyCj5FY abi
86bbe7f11272f523a8c8442f5e4eeb61
Running ghc-pkg --global --simple-output --unit-id field data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo name
data-default
Running ghc-pkg --global --simple-output --unit-id field data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo version
0.7.1.1
Running ghc-pkg --global --simple-output --unit-id field data-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo abi
2a149fb2326a9349dba4bdb7b2c047ff
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 name
directory
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 version
1.3.6.2
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 abi
fe5246a3ae342423c40ce713b63861c4
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP name
libBF
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP version
0.6.5.1
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP abi
b80adec3269bdf9f4132f7df22e27f34
Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 name
mtl
Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 version
2.2.2
Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 abi
e3bae7a758436eac83f48d31694b7e28
Running ghc-pkg --global --simple-output --unit-id field panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ name
panic
Running ghc-pkg --global --simple-output --unit-id field panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ version
0.4.0.1
Running ghc-pkg --global --simple-output --unit-id field panic-0.4.0.1-7VSW7zpNHsQDXzZzjAj8ZQ abi
2a72503d815d020a5735495226c83a12
Running ghc-pkg --global --simple-output --unit-id field parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 name
parameterized-utils
Running ghc-pkg --global --simple-output --unit-id field parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 version
2.1.5.0
Running ghc-pkg --global --simple-output --unit-id field parameterized-utils-2.1.5.0-6agrgCWlsSDFSIjuxyecv3 abi
afefd187f162cb5517106168303aba5d
Running ghc-pkg --global --simple-output --unit-id field parsec-3.1.14.0 name
parsec
Running ghc-pkg --global --simple-output --unit-id field parsec-3.1.14.0 version
3.1.14.0
Running ghc-pkg --global --simple-output --unit-id field parsec-3.1.14.0 abi
e513a68f2992c2f05dd2c5268716cbbe
Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 name
pretty
Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 version
1.1.3.6
Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 abi
f6ce8619efbba1a75fbcf7d71f32a8ac
Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 name
process
Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 version
1.6.13.2
Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 abi
7cc26c4838aedc2eb87ee97a7b12d053
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba name
random
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba version
1.2.1.1
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba abi
25f0124ab874fd66fa0bbdb74201ff03
Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 name
transformers
Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 version
0.5.6.2
Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 abi
fc6f3732b26827c3900eee6a1e2a12d7
Running ghc-pkg --global --simple-output --unit-id field what4-1.3-Elb7rjT5ytGFJOLuRoWDMD name
what4
Running ghc-pkg --global --simple-output --unit-id field what4-1.3-Elb7rjT5ytGFJOLuRoWDMD version
1.3
Running ghc-pkg --global --simple-output --unit-id field what4-1.3-Elb7rjT5ytGFJOLuRoWDMD abi
95026aa909e127b080ffed8853be6661
Running ghc-pkg --global --simple-output --unit-id field xml-1.3.14-6hlhhPBptprHwK7nsE7OzM name
xml
Running ghc-pkg --global --simple-output --unit-id field xml-1.3.14-6hlhhPBptprHwK7nsE7OzM version
1.3.14
Running ghc-pkg --global --simple-output --unit-id field xml-1.3.14-6hlhhPBptprHwK7nsE7OzM abi
37bc90dd4d2e92009d1e023dea02eb94
dh_haskell_blurbs --package=libghc-copilot-theorem-prof --type=prof
dh_haskell_description --package=libghc-copilot-theorem-prof
Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control
Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control
k-induction for Copilot.
 Some tools to prove properties on Copilot programs with k-induction model
 checking.
 .
 Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in
 Haskell that compiles into embedded C.  Copilot contains an interpreter,
 multiple back-end compilers, and other verification tools.
 .
 A tutorial, examples, and other information are available at
 <https://copilot-language.github.io>.
dh_haskell_compiler --package=libghc-copilot-theorem-prof
Running dpkg-query --showformat=${Version} --show ghc
9.0.2-4
dh_installdocs -plibghc-copilot-theorem-dev 
dh_installexamples -plibghc-copilot-theorem-dev 
dh_installman -plibghc-copilot-theorem-dev 
dh_installinfo -plibghc-copilot-theorem-dev 
dh_installmenu -plibghc-copilot-theorem-dev 
dh_installcron -plibghc-copilot-theorem-dev 
dh_systemd_enable -plibghc-copilot-theorem-dev 
dh_installinit -plibghc-copilot-theorem-dev 
dh_installdebconf -plibghc-copilot-theorem-dev 
dh_installemacsen -plibghc-copilot-theorem-dev 
dh_installcatalogs -plibghc-copilot-theorem-dev 
dh_installpam -plibghc-copilot-theorem-dev 
dh_installlogrotate -plibghc-copilot-theorem-dev 
dh_installlogcheck -plibghc-copilot-theorem-dev 
dh_installchangelogs -plibghc-copilot-theorem-dev ./CHANGELOG
dh_installudev -plibghc-copilot-theorem-dev 
dh_lintian -plibghc-copilot-theorem-dev 
dh_bugfiles -plibghc-copilot-theorem-dev 
dh_install -plibghc-copilot-theorem-dev 
dh_systemd_start -plibghc-copilot-theorem-dev 
dh_link -plibghc-copilot-theorem-dev 
dh_buildinfo -plibghc-copilot-theorem-dev 
dh_installmime -plibghc-copilot-theorem-dev 
dh_installgsettings -plibghc-copilot-theorem-dev 
dh_installdocs -plibghc-copilot-theorem-prof 
dh_installexamples -plibghc-copilot-theorem-prof 
dh_installman -plibghc-copilot-theorem-prof 
dh_installinfo -plibghc-copilot-theorem-prof 
dh_installmenu -plibghc-copilot-theorem-prof 
dh_installcron -plibghc-copilot-theorem-prof 
dh_systemd_enable -plibghc-copilot-theorem-prof 
dh_installinit -plibghc-copilot-theorem-prof 
dh_installdebconf -plibghc-copilot-theorem-prof 
dh_installemacsen -plibghc-copilot-theorem-prof 
dh_installcatalogs -plibghc-copilot-theorem-prof 
dh_installpam -plibghc-copilot-theorem-prof 
dh_installlogrotate -plibghc-copilot-theorem-prof 
dh_installlogcheck -plibghc-copilot-theorem-prof 
dh_installchangelogs -plibghc-copilot-theorem-prof ./CHANGELOG
dh_installudev -plibghc-copilot-theorem-prof 
dh_lintian -plibghc-copilot-theorem-prof 
dh_bugfiles -plibghc-copilot-theorem-prof 
dh_install -plibghc-copilot-theorem-prof 
dh_systemd_start -plibghc-copilot-theorem-prof 
dh_link -plibghc-copilot-theorem-prof 
dh_buildinfo -plibghc-copilot-theorem-prof 
dh_installmime -plibghc-copilot-theorem-prof 
dh_installgsettings -plibghc-copilot-theorem-prof 
dh_strip -plibghc-copilot-theorem-dev  --no-automatic-dbgsym
dh_strip_nondeterminism -plibghc-copilot-theorem-dev 
dh_compress -plibghc-copilot-theorem-dev -X .haddock -X .hs -X .txt
dh_fixperms -plibghc-copilot-theorem-dev 
dh_makeshlibs -plibghc-copilot-theorem-dev -XlibHS 
dh_strip -plibghc-copilot-theorem-prof  --no-automatic-dbgsym
dh_strip_nondeterminism -plibghc-copilot-theorem-prof 
dh_compress -plibghc-copilot-theorem-prof -X .haddock -X .hs -X .txt
dh_fixperms -plibghc-copilot-theorem-prof 
dh_makeshlibs -plibghc-copilot-theorem-prof -XlibHS 
dh_installdeb -plibghc-copilot-theorem-dev 
dh_perl -plibghc-copilot-theorem-dev 
dh_shlibdeps -plibghc-copilot-theorem-dev -- --ignore-missing-info
dpkg-shlibdeps: warning: debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so contains an unresolvable reference to symbol stg_INTLIKE_closure: it's probably a plugin
dpkg-shlibdeps: warning: 64 other similar warnings have been skipped (use -v to see them all)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdlist-1.0-9xW5LAwZRkJL6y4M05H3am-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSgitrev-1.3.1-DL6HQMF5o0t9xxa7xNdCBo-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdistributive-0.6.2.1-Y3Pl9VRJ6t2RfItLeLjpH-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSinteger-logarithms-1.0.3.1-A7ca3pMsPzD94LoqpVnbSC-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSparser-combinators-1.3.0-JBh3utkC0FyAW5G6mzT617-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdata-default-instances-dlist-0.0.1-3pcg422vIXrG7gqfTActrc-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSattoparsec-0.14.4-ASUOPk5RpsVDRcb75ybcSE-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdata-default-class-0.1.2.0-1lWnrGpXldTHOImBy3kQfz-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSmegaparsec-9.2.2-3EBrrI62a7PCWOiUMOtprJ-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHScase-insensitive-1.2.1.0-6AEjagGsVsfBXOZaw6mNnF-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSth-lift-instances-0.1.20-Fqwt7md6dPvC4rfkPdDBu5-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSassoc-1.0.2-87v7VHnDfl7GFFrLkq2OEm-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSzenc-0.1.2-2Be0TYdV7vMIYA38HkuHod-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSnetwork-3.1.2.7-C10aP9ji1JSEkrMzxI8sEf-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSzlib-bindings-0.1.1.5-Cfu7eYcdWsZ3xpQw68ooyF-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStagged-0.8.6.1-9t8o6kROHdID2iuxhcKOSf-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHScontravariant-1.5.5-7FzU8ppH6inKHw7R14HsGb-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSfingertree-0.1.5.0-L2JNmhC92H7HHs5JylzREJ-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSsemigroups-0.19.2-DhZ5K6Dr0vCIEWSNZ95Eyj-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSstm-2.5.0.0-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSindexed-traversable-0.1.2-55rCITp0bj2K4TSTU28RrG-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libm.so.6 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStime-1.9.3-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSarray-0.5.4.0-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSunordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSbytestring-0.10.12.1-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStransformers-base-0.4.6-CV0iV2eXTiz2OnTRDcTNKm-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSinvariant-0.5.6-P3poXoqicpJ0hZr5qggVP-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSbase-orphans-0.8.7-Fv7GgNnP2lxgFraeUU97L-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSprimitive-0.7.3.0-EikPDi9CXNiB9f5MDJybeY-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStransformers-compat-0.6.6-4gHuCBhj4Y85EW694aldIg-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSthese-1.1.1.1-31bn7arcKWP19FNqcVKhob-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdata-default-instances-old-locale-0.0.1-EqYAdkLuYyI2L8GdGiZq7d-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSprofunctors-5.6.2-EzLvL5HeqqSCTPJHiza4k6-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHShashtables-1.2.4.2-GqjCcQNANkGFCRwtQlKQNB-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSstrict-0.4.0.1-Ea4amCg8WDe8GyT6LOvusk-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSconstraints-0.13.4-JhNFPrIW2uzAF7HE6tAAdY-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSth-abstraction-0.4.5.0-CPrpKcr2W2S31K8QsJKgDp-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHShashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSkan-extensions-5.2.5-EowXjTN1nLu2RMiDzZjLSG-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSadjunctions-4.4.2-2bSFhHYf1cpAwpxMJbgB6Z-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStemplate-haskell-2.17.0.0-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSio-streams-1.5.2.2-HsBHXu4neFdkmdfYZmezZ-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSbifunctors-5.5.13-1JfXYcs46R3LsCtOUKES8-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSutf8-string-1.0.2-Kajwus4hgwzGme7LMFJJhT-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSbitwise-1.0.0.1-K0ropRiURLiDa72tnKdcpV-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSsemigroupoids-5.3.7-H2SxTBJDR5jIF7bI5WCt70-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libgmp.so.10 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSOneTuple-0.3.1-Cr5t7A51yy2CfYwn88FKiy-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSfilepath-1.4.2.1-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdata-default-instances-containers-0.0.1-L4J5qsXYbIJ194TNgWSMyQ-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStype-equality-1-LChjcnrhNt95Zw0nihMDH4-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSexceptions-0.10.4-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSconfig-value-0.8.3-3pmzeYU8Vb25WTAZFoPyxS-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSscientific-0.3.7.0-7BCpthzRrIo63GoBWzRPfh-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSbinary-0.8.8.0-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSasync-2.2.4-ENV3fyyU7vj5F6vRqPBI14-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSunbounded-delays-0.1.1.1-KU4Jg1KyC6i76f9JqBmZ6Z-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSlens-5.0.1-AoCTUgbk72lLKSz1I2VTsj-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSvoid-0.7.3-GmxSAOb2hT1BrKUj5EEqvM-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHStemporary-1.3-FW3rcq7XCDL8cgO9MswHTe-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHScall-stack-0.4.0-ID3kKdTCcbqKwRuR8t49ME-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSlibBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSold-locale-1.0.0.7-B94o3sNLYrV8oE3WO2rqHh-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSghc-boot-th-9.0.2-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSreflection-2.1.6-ArDd5bragP1BtvzfNPA73-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSindexed-traversable-instances-0.1.1.1-JmysdQjSRRoKrXlogAbhtX-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHScomonad-5.0.8-AsLQLRdaSxBH0vwbLoyXw5-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdata-binary-ieee754-0.4.4-6nKeQnWkGoLJGejCHaRaWS-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSparallel-3.2.2.0-D2aleEa2VnPBr164BdKnms-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSfree-5.1.9-HsiB5IVK0Rs893YhCnMFnW-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSbase-compat-0.11.2-D5DT1MGmUKa4Ww8Uu5S4h5-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSStateVar-1.2.2-GxMRs6UXIRXHYwZG2fj94o-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libz.so.1 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSzlib-0.6.3.0-97jFkHsGvA6I2qA97PyPH1-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdata-default-0.7.1.1-2oomw3KKtyj2e0GcZqJJjo-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSversions-5.0.3-LaLnGodTPk9JC5w2gnqxVl-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSdeepseq-1.4.5.0-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSth-lift-0.8.2-47INKJD6iIF1IlUc8HcOrC-ghc9.0.2.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-theorem-dev/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.0.2/libHScopilot-theorem-3.13-1wBSLVGdUcHDq1dZuKHwZC-ghc9.0.2.so was not linked against libHSderiving-compat-0.6.1-BvJm7t1p8LhDVq9PKwDa4q-ghc9.0.2.so (it uses none of the library's symbols)
dh_installdeb -plibghc-copilot-theorem-prof 
dh_perl -plibghc-copilot-theorem-prof 
dh_shlibdeps -plibghc-copilot-theorem-prof -- --ignore-missing-info
dh_gencontrol -plibghc-copilot-theorem-dev  -- '-DGHC-Package=${haskell:ghc-package}'
dpkg-gencontrol: warning: Recommends field of package libghc-copilot-theorem-dev: substitution variable ${haskell:Recommends} used, but is not defined
dpkg-gencontrol: warning: Suggests field of package libghc-copilot-theorem-dev: substitution variable ${haskell:Suggests} used, but is not defined
dpkg-gencontrol: warning: Conflicts field of package libghc-copilot-theorem-dev: substitution variable ${haskell:Conflicts} used, but is not defined
dpkg-gencontrol: warning: package libghc-copilot-theorem-dev: substitution variable ${haskell:ghc-version} unused, but is defined
# only call dh_scour for packages in main
if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-copilot-theorem-dev ; fi
dh_md5sums -plibghc-copilot-theorem-dev 
dh_builddeb -plibghc-copilot-theorem-dev 
dpkg-deb: building package 'libghc-copilot-theorem-dev' in '../libghc-copilot-theorem-dev_3.13-1_arm64.deb'.
dh_gencontrol -plibghc-copilot-theorem-prof  
dpkg-gencontrol: warning: Recommends field of package libghc-copilot-theorem-prof: substitution variable ${haskell:Recommends} used, but is not defined
dpkg-gencontrol: warning: Suggests field of package libghc-copilot-theorem-prof: substitution variable ${haskell:Suggests} used, but is not defined
dpkg-gencontrol: warning: Conflicts field of package libghc-copilot-theorem-prof: substitution variable ${haskell:Conflicts} used, but is not defined
dpkg-gencontrol: warning: package libghc-copilot-theorem-prof: substitution variable ${haskell:ghc-package} unused, but is defined
dpkg-gencontrol: warning: package libghc-copilot-theorem-prof: substitution variable ${haskell:ghc-version} unused, but is defined
# only call dh_scour for packages in main
if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-copilot-theorem-prof ; fi
dh_md5sums -plibghc-copilot-theorem-prof 
dh_builddeb -plibghc-copilot-theorem-prof 
dpkg-deb: building package 'libghc-copilot-theorem-prof' in '../libghc-copilot-theorem-prof_3.13-1_arm64.deb'.
 dpkg-genbuildinfo --build=binary -O../haskell-copilot-theorem_3.13-1_arm64.buildinfo
 dpkg-genchanges --build=binary -O../haskell-copilot-theorem_3.13-1_arm64.changes
dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-genchanges: info: binary-only upload (no source code included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: including full source code in upload
I: copying local configuration
I: 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/1529959 and its subdirectories
I: Current time: Sun Feb  9 01:38:42 -12 2025
I: pbuilder-time-stamp: 1739108322