Raspbian Package Auto-Building

Build log for haskell-cryptol (2.8.0-1+b2) on armhf

haskell-cryptol2.8.0-1+b2armhf → 2021-10-04 06:21:38

sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on bm-wb-03

+==============================================================================+
| haskell-cryptol 2.8.0-1+b2 (armhf)           Mon, 04 Oct 2021 02:54:34 +0000 |
+==============================================================================+

Package: haskell-cryptol
Version: 2.8.0-1+b2
Source Version: 2.8.0-1
Distribution: bookworm-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf

I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bookworm-staging-armhf-sbuild-80cb9c77-9dd7-4e3d-b56a-cbde228cd8f3' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.0.1/private bookworm-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bookworm-staging/main Sources [12.4 MB]
Get:3 http://172.17.0.1/private bookworm-staging/main armhf Packages [13.4 MB]
Fetched 25.8 MB in 26s (1001 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
NOTICE: 'haskell-cryptol' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Please use:
git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 338 kB of source archives.
Get:1 http://172.17.0.1/private bookworm-staging/main haskell-cryptol 2.8.0-1 (dsc) [3547 B]
Get:2 http://172.17.0.1/private bookworm-staging/main haskell-cryptol 2.8.0-1 (tar) [330 kB]
Get:3 http://172.17.0.1/private bookworm-staging/main haskell-cryptol 2.8.0-1 (diff) [4512 B]
Fetched 338 kB in 0s (2594 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/haskell-cryptol-yrvoZ5/haskell-cryptol-2.8.0' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/haskell-cryptol-yrvoZ5' with '<<BUILDDIR>>'

+------------------------------------------------------------------------------+
| Install build-essential                                                      |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-v6x427/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-v6x427/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-v6x427/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg:               imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg:              unchanged: 1
gpg:       secret keys read: 1
gpg:   secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Packages [432 B]
Fetched 2108 B in 1s (2883 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install core build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
  netbase
Use 'apt autoremove' to remove it.
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 22 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (22.4 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12484 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any all)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-graphscc-dev (>= 1.0.4), libghc-graphscc-prof, libghc-base-compat-dev (>= 0.6), libghc-base-compat-dev (<< 0.12), libghc-base-compat-prof, libghc-cryptohash-sha1-dev (>= 0.11), libghc-cryptohash-sha1-dev (<< 0.12), libghc-cryptohash-sha1-prof, libghc-gitrev-dev (>= 1.0), libghc-gitrev-prof, libghc-heredoc-dev (>= 0.2), libghc-heredoc-prof, libghc-monad-control-dev (>= 1.0), libghc-monad-control-prof, libghc-monadlib-dev (>= 3.7.2), libghc-monadlib-prof, libghc-panic-dev (>= 0.3), libghc-panic-prof, libghc-random-dev (>= 1.0.1), libghc-random-prof, libghc-sbv-dev (>= 8.1), libghc-sbv-prof, libghc-simple-smt-dev (>= 0.7.1), libghc-simple-smt-prof, libghc-strict-dev, libghc-strict-prof, libghc-tf-random-dev (>= 0.5), libghc-tf-random-prof, libghc-transformers-base-dev (>= 0.4), libghc-transformers-base-prof, alex, happy, libghc-ansi-terminal-dev, libghc-blaze-html-dev, libghc-blaze-html-prof
Filtered Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-graphscc-dev (>= 1.0.4), libghc-graphscc-prof, libghc-base-compat-dev (>= 0.6), libghc-base-compat-dev (<< 0.12), libghc-base-compat-prof, libghc-cryptohash-sha1-dev (>= 0.11), libghc-cryptohash-sha1-dev (<< 0.12), libghc-cryptohash-sha1-prof, libghc-gitrev-dev (>= 1.0), libghc-gitrev-prof, libghc-heredoc-dev (>= 0.2), libghc-heredoc-prof, libghc-monad-control-dev (>= 1.0), libghc-monad-control-prof, libghc-monadlib-dev (>= 3.7.2), libghc-monadlib-prof, libghc-panic-dev (>= 0.3), libghc-panic-prof, libghc-random-dev (>= 1.0.1), libghc-random-prof, libghc-sbv-dev (>= 8.1), libghc-sbv-prof, libghc-simple-smt-dev (>= 0.7.1), libghc-simple-smt-prof, libghc-strict-dev, libghc-strict-prof, libghc-tf-random-dev (>= 0.5), libghc-tf-random-prof, libghc-transformers-base-dev (>= 0.4), libghc-transformers-base-prof, alex, happy, libghc-ansi-terminal-dev, libghc-blaze-html-dev, libghc-blaze-html-prof
dpkg-deb: building package 'sbuild-build-depends-haskell-cryptol-dummy' in '/<<BUILDDIR>>/resolver-v6x427/apt_archive/sbuild-build-depends-haskell-cryptol-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy sbuild-build-depends-haskell-cryptol-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Sources [771 B]
Get:5 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ Packages [847 B]
Fetched 2951 B in 1s (3982 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...

Install haskell-cryptol build dependencies (apt-based resolver)
---------------------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
  netbase
Use 'apt autoremove' to remove it.
The following additional packages will be installed:
  alex autoconf automake autopoint autotools-dev bsdextrautils cdbs
  dctrl-tools debhelper dh-autoreconf dh-buildinfo dh-strip-nondeterminism dwz
  file gettext gettext-base ghc ghc-prof groff-base happy haskell-devscripts
  haskell-devscripts-minimal hscolour html-xml-utils intltool-debian
  libarchive-zip-perl libbrotli1 libbsd-dev libbsd0 libcurl3-gnutls
  libdebhelper-perl libedit2 libelf1 libffi-dev libffi8
  libfile-stripnondeterminism-perl libghc-ansi-terminal-dev libghc-async-dev
  libghc-async-prof libghc-base-compat-dev libghc-base-compat-prof
  libghc-base-orphans-dev libghc-base-orphans-prof libghc-blaze-builder-dev
  libghc-blaze-builder-prof libghc-blaze-html-dev libghc-blaze-html-prof
  libghc-blaze-markup-dev libghc-blaze-markup-prof libghc-colour-dev
  libghc-cracknum-dev libghc-cracknum-prof libghc-cryptohash-sha1-dev
  libghc-cryptohash-sha1-prof libghc-floatinghex-dev libghc-floatinghex-prof
  libghc-generic-deriving-dev libghc-generic-deriving-prof libghc-gitrev-dev
  libghc-gitrev-prof libghc-graphscc-dev libghc-graphscc-prof
  libghc-hashable-dev libghc-hashable-prof libghc-heredoc-dev
  libghc-heredoc-prof libghc-monad-control-dev libghc-monad-control-prof
  libghc-monadlib-dev libghc-monadlib-prof libghc-panic-dev libghc-panic-prof
  libghc-primitive-dev libghc-primitive-prof libghc-quickcheck2-dev
  libghc-quickcheck2-prof libghc-random-dev libghc-random-prof libghc-sbv-dev
  libghc-sbv-prof libghc-simple-smt-dev libghc-simple-smt-prof
  libghc-splitmix-dev libghc-splitmix-prof libghc-strict-dev
  libghc-strict-prof libghc-syb-dev libghc-syb-prof libghc-tf-random-dev
  libghc-tf-random-prof libghc-th-abstraction-dev libghc-th-abstraction-prof
  libghc-transformers-base-dev libghc-transformers-base-prof
  libghc-transformers-compat-dev libghc-transformers-compat-prof libgmp-dev
  libgmpxx4ldbl libicu67 libllvm11 libmagic-mgc libmagic1 libmd-dev libmd0
  libncurses-dev libncurses5-dev libncurses6 libnghttp2-14 libpfm4
  libpipeline1 libpsl5 librtmp1 libsigsegv2 libssh2-1 libsub-override-perl
  libtool libuchardet0 libxml2 libz3-4 llvm-11 llvm-11-linker-tools
  llvm-11-runtime m4 man-db po-debconf sensible-utils
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc devscripts debtags dh-make
  gettext-doc libasprintf-dev libgettextpo-dev ghc-doc haskell-doc groff
  info-browser libghc-ansi-terminal-doc libghc-ansi-terminal-prof
  libghc-async-doc libghc-base-compat-doc libghc-base-orphans-doc
  libghc-blaze-builder-doc libghc-blaze-html-doc libghc-blaze-markup-doc
  libghc-colour-doc libghc-colour-prof libghc-cracknum-doc
  libghc-cryptohash-sha1-doc libghc-floatinghex-doc
  libghc-generic-deriving-doc libghc-gitrev-doc libghc-graphscc-doc
  libghc-hashable-doc libghc-heredoc-doc libghc-monad-control-doc
  libghc-monadlib-doc libghc-panic-doc libghc-primitive-doc
  libghc-quickcheck2-doc libghc-random-doc libghc-sbv-doc
  libghc-simple-smt-doc libghc-splitmix-doc libghc-strict-doc libghc-syb-doc
  libghc-tf-random-doc libghc-th-abstraction-doc libghc-transformers-base-doc
  libghc-transformers-compat-doc gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk llvm-11-doc m4-doc
  apparmor less www-browser libmail-box-perl
Recommended packages:
  curl | wget | lynx ca-certificates libarchive-cpio-perl libgpm2 publicsuffix
  libltdl-dev llvm-11-dev binfmt-support libmail-sendmail-perl
The following NEW packages will be installed:
  alex autoconf automake autopoint autotools-dev bsdextrautils cdbs
  dctrl-tools debhelper dh-autoreconf dh-buildinfo dh-strip-nondeterminism dwz
  file gettext gettext-base ghc ghc-prof groff-base happy haskell-devscripts
  haskell-devscripts-minimal hscolour html-xml-utils intltool-debian
  libarchive-zip-perl libbrotli1 libbsd-dev libbsd0 libcurl3-gnutls
  libdebhelper-perl libedit2 libelf1 libffi-dev libffi8
  libfile-stripnondeterminism-perl libghc-ansi-terminal-dev libghc-async-dev
  libghc-async-prof libghc-base-compat-dev libghc-base-compat-prof
  libghc-base-orphans-dev libghc-base-orphans-prof libghc-blaze-builder-dev
  libghc-blaze-builder-prof libghc-blaze-html-dev libghc-blaze-html-prof
  libghc-blaze-markup-dev libghc-blaze-markup-prof libghc-colour-dev
  libghc-cracknum-dev libghc-cracknum-prof libghc-cryptohash-sha1-dev
  libghc-cryptohash-sha1-prof libghc-floatinghex-dev libghc-floatinghex-prof
  libghc-generic-deriving-dev libghc-generic-deriving-prof libghc-gitrev-dev
  libghc-gitrev-prof libghc-graphscc-dev libghc-graphscc-prof
  libghc-hashable-dev libghc-hashable-prof libghc-heredoc-dev
  libghc-heredoc-prof libghc-monad-control-dev libghc-monad-control-prof
  libghc-monadlib-dev libghc-monadlib-prof libghc-panic-dev libghc-panic-prof
  libghc-primitive-dev libghc-primitive-prof libghc-quickcheck2-dev
  libghc-quickcheck2-prof libghc-random-dev libghc-random-prof libghc-sbv-dev
  libghc-sbv-prof libghc-simple-smt-dev libghc-simple-smt-prof
  libghc-splitmix-dev libghc-splitmix-prof libghc-strict-dev
  libghc-strict-prof libghc-syb-dev libghc-syb-prof libghc-tf-random-dev
  libghc-tf-random-prof libghc-th-abstraction-dev libghc-th-abstraction-prof
  libghc-transformers-base-dev libghc-transformers-base-prof
  libghc-transformers-compat-dev libghc-transformers-compat-prof libgmp-dev
  libgmpxx4ldbl libicu67 libllvm11 libmagic-mgc libmagic1 libmd-dev libmd0
  libncurses-dev libncurses5-dev libncurses6 libnghttp2-14 libpfm4
  libpipeline1 libpsl5 librtmp1 libsigsegv2 libssh2-1 libsub-override-perl
  libtool libuchardet0 libxml2 libz3-4 llvm-11 llvm-11-linker-tools
  llvm-11-runtime m4 man-db po-debconf
  sbuild-build-depends-haskell-cryptol-dummy sensible-utils
0 upgraded, 127 newly installed, 0 to remove and 22 not upgraded.
Need to get 297 MB of archives.
After this operation, 2479 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-v6x427/apt_archive ./ sbuild-build-depends-haskell-cryptol-dummy 0.invalid.0 [1128 B]
Get:2 http://172.17.0.1/private bookworm-staging/main armhf bsdextrautils armhf 2.37.2-1 [135 kB]
Get:3 http://172.17.0.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:4 http://172.17.0.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-7 [793 kB]
Get:5 http://172.17.0.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.3-1 [29.9 kB]
Get:6 http://172.17.0.1/private bookworm-staging/main armhf man-db armhf 2.9.4-2 [1307 kB]
Get:7 http://172.17.0.1/private bookworm-staging/main armhf libmd0 armhf 1.0.3-3 [27.2 kB]
Get:8 http://172.17.0.1/private bookworm-staging/main armhf libbsd0 armhf 0.11.3-1 [103 kB]
Get:9 http://172.17.0.1/private bookworm-staging/main armhf libedit2 armhf 3.1-20210910-1 [81.2 kB]
Get:10 http://172.17.0.1/private bookworm-staging/main armhf libffi8 armhf 3.4.2-2 [21.2 kB]
Get:11 http://172.17.0.1/private bookworm-staging/main armhf libicu67 armhf 67.1-7 [8291 kB]
Get:12 http://172.17.0.1/private bookworm-staging/main armhf libxml2 armhf 2.9.12+dfsg-5 [584 kB]
Get:13 http://172.17.0.1/private bookworm-staging/main armhf libz3-4 armhf 4.8.12-1 [5758 kB]
Get:14 http://172.17.0.1/private bookworm-staging/main armhf libllvm11 armhf 1:11.1.0-4+rpi1 [15.6 MB]
Get:15 http://172.17.0.1/private bookworm-staging/main armhf llvm-11-runtime armhf 1:11.1.0-4+rpi1 [187 kB]
Get:16 http://172.17.0.1/private bookworm-staging/main armhf llvm-11-linker-tools armhf 1:11.1.0-4+rpi1 [939 kB]
Get:17 http://172.17.0.1/private bookworm-staging/main armhf libpfm4 armhf 4.11.1+git32-gd0b85fb-1 [43.2 kB]
Get:18 http://172.17.0.1/private bookworm-staging/main armhf llvm-11 armhf 1:11.1.0-4+rpi1 [6981 kB]
Get:19 http://172.17.0.1/private bookworm-staging/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg-2 [337 kB]
Get:20 http://172.17.0.1/private bookworm-staging/main armhf libgmp-dev armhf 2:6.2.1+dfsg-2 [583 kB]
Get:21 http://172.17.0.1/private bookworm-staging/main armhf libffi-dev armhf 3.4.2-2 [61.4 kB]
Get:22 http://172.17.0.1/private bookworm-staging/main armhf libmd-dev armhf 1.0.3-3 [45.2 kB]
Get:23 http://172.17.0.1/private bookworm-staging/main armhf libbsd-dev armhf 0.11.3-1 [227 kB]
Get:24 http://172.17.0.1/private bookworm-staging/main armhf libncurses6 armhf 6.2+20201114-4 [79.7 kB]
Get:25 http://172.17.0.1/private bookworm-staging/main armhf libncurses-dev armhf 6.2+20201114-4 [288 kB]
Get:26 http://172.17.0.1/private bookworm-staging/main armhf libncurses5-dev armhf 6.2+20201114-4 [940 B]
Get:27 http://172.17.0.1/private bookworm-staging/main armhf ghc armhf 8.8.4-2+rpi2 [119 MB]
Get:28 http://172.17.0.1/private bookworm-staging/main armhf sensible-utils all 0.0.17 [21.5 kB]
Get:29 http://172.17.0.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB]
Get:30 http://172.17.0.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.39-3 [117 kB]
Get:31 http://172.17.0.1/private bookworm-staging/main armhf file armhf 1:5.39-3 [68.0 kB]
Get:32 http://172.17.0.1/private bookworm-staging/main armhf gettext-base armhf 0.21-4 [171 kB]
Get:33 http://172.17.0.1/private bookworm-staging/main armhf alex armhf 3.2.5-2+b1 [422 kB]
Get:34 http://172.17.0.1/private bookworm-staging/main armhf libsigsegv2 armhf 2.13-1 [34.3 kB]
Get:35 http://172.17.0.1/private bookworm-staging/main armhf m4 armhf 1.4.18-5 [186 kB]
Get:36 http://172.17.0.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:37 http://172.17.0.1/private bookworm-staging/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB]
Get:38 http://172.17.0.1/private bookworm-staging/main armhf automake all 1:1.16.4-2 [819 kB]
Get:39 http://172.17.0.1/private bookworm-staging/main armhf autopoint all 0.21-4 [510 kB]
Get:40 http://172.17.0.1/private bookworm-staging/main armhf cdbs all 0.4.163 [82.6 kB]
Get:41 http://172.17.0.1/private bookworm-staging/main armhf dctrl-tools armhf 2.24-3 [94.2 kB]
Get:42 http://172.17.0.1/private bookworm-staging/main armhf libdebhelper-perl all 13.5.2 [192 kB]
Get:43 http://172.17.0.1/private bookworm-staging/main armhf libtool all 2.4.6-15 [513 kB]
Get:44 http://172.17.0.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:45 http://172.17.0.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:46 http://172.17.0.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:47 http://172.17.0.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB]
Get:48 http://172.17.0.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.12.0-1 [15.4 kB]
Get:49 http://172.17.0.1/private bookworm-staging/main armhf libelf1 armhf 0.185-2 [168 kB]
Get:50 http://172.17.0.1/private bookworm-staging/main armhf dwz armhf 0.14-1 [83.0 kB]
Get:51 http://172.17.0.1/private bookworm-staging/main armhf gettext armhf 0.21-4 [1215 kB]
Get:52 http://172.17.0.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:53 http://172.17.0.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:54 http://172.17.0.1/private bookworm-staging/main armhf debhelper all 13.5.2 [1056 kB]
Get:55 http://172.17.0.1/private bookworm-staging/main armhf dh-buildinfo all 0.11+nmu2 [18.4 kB]
Get:56 http://172.17.0.1/private bookworm-staging/main armhf ghc-prof armhf 8.8.4-2+rpi2 [103 MB]
Get:57 http://172.17.0.1/private bookworm-staging/main armhf happy armhf 1.19.12-2+b1 [520 kB]
Get:58 http://172.17.0.1/private bookworm-staging/main armhf libbrotli1 armhf 1.0.9-2+b1 [261 kB]
Get:59 http://172.17.0.1/private bookworm-staging/main armhf libnghttp2-14 armhf 1.43.0-1 [65.3 kB]
Get:60 http://172.17.0.1/private bookworm-staging/main armhf libpsl5 armhf 0.21.0-1.2 [56.2 kB]
Get:61 http://172.17.0.1/private bookworm-staging/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [54.2 kB]
Get:62 http://172.17.0.1/private bookworm-staging/main armhf libssh2-1 armhf 1.10.0-2 [161 kB]
Get:63 http://172.17.0.1/private bookworm-staging/main armhf libcurl3-gnutls armhf 7.74.0-1.3 [301 kB]
Get:64 http://172.17.0.1/private bookworm-staging/main armhf html-xml-utils armhf 7.7-1.1 [204 kB]
Get:65 http://172.17.0.1/private bookworm-staging/main armhf haskell-devscripts-minimal all 0.16.1 [40.7 kB]
Get:66 http://172.17.0.1/private bookworm-staging/main armhf hscolour armhf 1.24.4-3+b3 [346 kB]
Get:67 http://172.17.0.1/private bookworm-staging/main armhf haskell-devscripts all 0.16.1 [17.2 kB]
Get:68 http://172.17.0.1/private bookworm-staging/main armhf libghc-colour-dev armhf 2.3.5-2+b2 [227 kB]
Get:69 http://172.17.0.1/private bookworm-staging/main armhf libghc-ansi-terminal-dev armhf 0.10.3-1+b2 [168 kB]
Get:70 http://172.17.0.1/private bookworm-staging/main armhf libghc-hashable-dev armhf 1.3.0.0-2+b2 [111 kB]
Get:71 http://172.17.0.1/private bookworm-staging/main armhf libghc-async-dev armhf 2.2.2-2+b2 [76.9 kB]
Get:72 http://172.17.0.1/private bookworm-staging/main armhf libghc-hashable-prof armhf 1.3.0.0-2+b2 [96.0 kB]
Get:73 http://172.17.0.1/private bookworm-staging/main armhf libghc-async-prof armhf 2.2.2-2+b2 [69.9 kB]
Get:74 http://172.17.0.1/private bookworm-staging/main armhf libghc-base-compat-dev armhf 0.11.1-1+b2 [85.2 kB]
Get:75 http://172.17.0.1/private bookworm-staging/main armhf libghc-base-compat-prof armhf 0.11.1-1+b2 [66.4 kB]
Get:76 http://172.17.0.1/private bookworm-staging/main armhf libghc-base-orphans-dev armhf 0.8.2-1+b2 [77.1 kB]
Get:77 http://172.17.0.1/private bookworm-staging/main armhf libghc-base-orphans-prof armhf 0.8.2-1+b2 [71.0 kB]
Get:78 http://172.17.0.1/private bookworm-staging/main armhf libghc-blaze-builder-dev armhf 0.4.1.0-4+b2 [105 kB]
Get:79 http://172.17.0.1/private bookworm-staging/main armhf libghc-blaze-builder-prof armhf 0.4.1.0-4+b2 [99.3 kB]
Get:80 http://172.17.0.1/private bookworm-staging/main armhf libghc-blaze-markup-dev armhf 0.8.2.7-1+b1 [135 kB]
Get:81 http://172.17.0.1/private bookworm-staging/main armhf libghc-blaze-html-dev armhf 0.9.1.2-1+b3 [467 kB]
Get:82 http://172.17.0.1/private bookworm-staging/main armhf libghc-blaze-markup-prof armhf 0.8.2.7-1+b1 [130 kB]
Get:83 http://172.17.0.1/private bookworm-staging/main armhf libghc-blaze-html-prof armhf 0.9.1.2-1+b3 [327 kB]
Get:84 http://172.17.0.1/private bookworm-staging/main armhf libghc-floatinghex-dev armhf 0.4-4+b2 [32.6 kB]
Get:85 http://172.17.0.1/private bookworm-staging/main armhf libghc-cracknum-dev armhf 2.3-2+b3 [80.5 kB]
Get:86 http://172.17.0.1/private bookworm-staging/main armhf libghc-floatinghex-prof armhf 0.4-4+b2 [26.3 kB]
Get:87 http://172.17.0.1/private bookworm-staging/main armhf libghc-cracknum-prof armhf 2.3-2+b3 [70.9 kB]
Get:88 http://172.17.0.1/private bookworm-staging/main armhf libghc-cryptohash-sha1-dev armhf 0.11.100.1-6+b1 [28.6 kB]
Get:89 http://172.17.0.1/private bookworm-staging/main armhf libghc-cryptohash-sha1-prof armhf 0.11.100.1-6+b1 [23.9 kB]
Get:90 http://172.17.0.1/private bookworm-staging/main armhf libghc-th-abstraction-dev armhf 0.3.2.0-1+b2 [216 kB]
Get:91 http://172.17.0.1/private bookworm-staging/main armhf libghc-generic-deriving-dev armhf 1.13.1-1+b2 [901 kB]
Get:92 http://172.17.0.1/private bookworm-staging/main armhf libghc-th-abstraction-prof armhf 0.3.2.0-1+b2 [186 kB]
Get:93 http://172.17.0.1/private bookworm-staging/main armhf libghc-generic-deriving-prof armhf 1.13.1-1+b2 [799 kB]
Get:94 http://172.17.0.1/private bookworm-staging/main armhf libghc-gitrev-dev armhf 1.3.1-4+b3 [32.4 kB]
Get:95 http://172.17.0.1/private bookworm-staging/main armhf libghc-gitrev-prof armhf 1.3.1-4+b3 [26.8 kB]
Get:96 http://172.17.0.1/private bookworm-staging/main armhf libghc-graphscc-dev armhf 1.0.4-6+b2 [40.2 kB]
Get:97 http://172.17.0.1/private bookworm-staging/main armhf libghc-graphscc-prof armhf 1.0.4-6+b2 [32.3 kB]
Get:98 http://172.17.0.1/private bookworm-staging/main armhf libghc-heredoc-dev armhf 0.2.0.0-6+b2 [23.0 kB]
Get:99 http://172.17.0.1/private bookworm-staging/main armhf libghc-heredoc-prof armhf 0.2.0.0-6+b2 [18.8 kB]
Get:100 http://172.17.0.1/private bookworm-staging/main armhf libghc-transformers-compat-dev armhf 0.6.5-2+b2 [90.9 kB]
Get:101 http://172.17.0.1/private bookworm-staging/main armhf libghc-transformers-base-dev armhf 0.4.5.2-3+b2 [41.5 kB]
Get:102 http://172.17.0.1/private bookworm-staging/main armhf libghc-monad-control-dev armhf 1.0.2.3-4+b2 [49.4 kB]
Get:103 http://172.17.0.1/private bookworm-staging/main armhf libghc-transformers-compat-prof armhf 0.6.5-2+b2 [77.6 kB]
Get:104 http://172.17.0.1/private bookworm-staging/main armhf libghc-transformers-base-prof armhf 0.4.5.2-3+b2 [38.6 kB]
Get:105 http://172.17.0.1/private bookworm-staging/main armhf libghc-monad-control-prof armhf 1.0.2.3-4+b2 [46.1 kB]
Get:106 http://172.17.0.1/private bookworm-staging/main armhf libghc-monadlib-dev armhf 3.10-1+b2 [226 kB]
Get:107 http://172.17.0.1/private bookworm-staging/main armhf libghc-monadlib-prof armhf 3.10-1+b2 [206 kB]
Get:108 http://172.17.0.1/private bookworm-staging/main armhf libghc-panic-dev armhf 0.4.0.1-2+b2 [26.3 kB]
Get:109 http://172.17.0.1/private bookworm-staging/main armhf libghc-panic-prof armhf 0.4.0.1-2+b2 [22.0 kB]
Get:110 http://172.17.0.1/private bookworm-staging/main armhf libghc-primitive-dev armhf 0.7.0.1-1+b2 [379 kB]
Get:111 http://172.17.0.1/private bookworm-staging/main armhf libghc-primitive-prof armhf 0.7.0.1-1+b2 [316 kB]
Get:112 http://172.17.0.1/private bookworm-staging/main armhf libghc-random-dev armhf 1.1-12+b2 [167 kB]
Get:113 http://172.17.0.1/private bookworm-staging/main armhf libghc-splitmix-dev armhf 0.0.5-1+b1 [61.2 kB]
Get:114 http://172.17.0.1/private bookworm-staging/main armhf libghc-quickcheck2-dev armhf 2.13.2-1+b4 [754 kB]
Get:115 http://172.17.0.1/private bookworm-staging/main armhf libghc-random-prof armhf 1.1-12+b2 [129 kB]
Get:116 http://172.17.0.1/private bookworm-staging/main armhf libghc-splitmix-prof armhf 0.0.5-1+b1 [53.5 kB]
Get:117 http://172.17.0.1/private bookworm-staging/main armhf libghc-quickcheck2-prof armhf 2.13.2-1+b4 [646 kB]
Get:118 http://172.17.0.1/private bookworm-staging/main armhf libghc-syb-dev armhf 0.7.1-2+b2 [124 kB]
Get:119 http://172.17.0.1/private bookworm-staging/main armhf libghc-sbv-dev armhf 8.7-1+b2 [8002 kB]
Get:120 http://172.17.0.1/private bookworm-staging/main armhf libghc-syb-prof armhf 0.7.1-2+b2 [110 kB]
Get:121 http://172.17.0.1/private bookworm-staging/main armhf libghc-sbv-prof armhf 8.7-1+b2 [6245 kB]
Get:122 http://172.17.0.1/private bookworm-staging/main armhf libghc-simple-smt-dev armhf 0.9.5-1+b1 [111 kB]
Get:123 http://172.17.0.1/private bookworm-staging/main armhf libghc-simple-smt-prof armhf 0.9.5-1+b1 [89.4 kB]
Get:124 http://172.17.0.1/private bookworm-staging/main armhf libghc-strict-dev armhf 0.3.2-16+b2 [60.1 kB]
Get:125 http://172.17.0.1/private bookworm-staging/main armhf libghc-strict-prof armhf 0.3.2-16+b2 [51.9 kB]
Get:126 http://172.17.0.1/private bookworm-staging/main armhf libghc-tf-random-dev armhf 0.5-10+b3 [98.5 kB]
Get:127 http://172.17.0.1/private bookworm-staging/main armhf libghc-tf-random-prof armhf 0.5-10+b3 [85.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 297 MB in 28s (10.6 MB/s)
Selecting previously unselected package bsdextrautils.
(Reading database ... 12484 files and directories currently installed.)
Preparing to unpack .../000-bsdextrautils_2.37.2-1_armhf.deb ...
Unpacking bsdextrautils (2.37.2-1) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../001-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../002-groff-base_1.22.4-7_armhf.deb ...
Unpacking groff-base (1.22.4-7) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../003-libpipeline1_1.5.3-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../004-man-db_2.9.4-2_armhf.deb ...
Unpacking man-db (2.9.4-2) ...
Selecting previously unselected package libmd0:armhf.
Preparing to unpack .../005-libmd0_1.0.3-3_armhf.deb ...
Unpacking libmd0:armhf (1.0.3-3) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../006-libbsd0_0.11.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.3-1) ...
Selecting previously unselected package libedit2:armhf.
Preparing to unpack .../007-libedit2_3.1-20210910-1_armhf.deb ...
Unpacking libedit2:armhf (3.1-20210910-1) ...
Selecting previously unselected package libffi8:armhf.
Preparing to unpack .../008-libffi8_3.4.2-2_armhf.deb ...
Unpacking libffi8:armhf (3.4.2-2) ...
Selecting previously unselected package libicu67:armhf.
Preparing to unpack .../009-libicu67_67.1-7_armhf.deb ...
Unpacking libicu67:armhf (67.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../010-libxml2_2.9.12+dfsg-5_armhf.deb ...
Unpacking libxml2:armhf (2.9.12+dfsg-5) ...
Selecting previously unselected package libz3-4:armhf.
Preparing to unpack .../011-libz3-4_4.8.12-1_armhf.deb ...
Unpacking libz3-4:armhf (4.8.12-1) ...
Selecting previously unselected package libllvm11:armhf.
Preparing to unpack .../012-libllvm11_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking libllvm11:armhf (1:11.1.0-4+rpi1) ...
Selecting previously unselected package llvm-11-runtime.
Preparing to unpack .../013-llvm-11-runtime_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking llvm-11-runtime (1:11.1.0-4+rpi1) ...
Selecting previously unselected package llvm-11-linker-tools.
Preparing to unpack .../014-llvm-11-linker-tools_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking llvm-11-linker-tools (1:11.1.0-4+rpi1) ...
Selecting previously unselected package libpfm4:armhf.
Preparing to unpack .../015-libpfm4_4.11.1+git32-gd0b85fb-1_armhf.deb ...
Unpacking libpfm4:armhf (4.11.1+git32-gd0b85fb-1) ...
Selecting previously unselected package llvm-11.
Preparing to unpack .../016-llvm-11_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking llvm-11 (1:11.1.0-4+rpi1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../017-libgmpxx4ldbl_2%3a6.2.1+dfsg-2_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg-2) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../018-libgmp-dev_2%3a6.2.1+dfsg-2_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.1+dfsg-2) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../019-libffi-dev_3.4.2-2_armhf.deb ...
Unpacking libffi-dev:armhf (3.4.2-2) ...
Selecting previously unselected package libmd-dev:armhf.
Preparing to unpack .../020-libmd-dev_1.0.3-3_armhf.deb ...
Unpacking libmd-dev:armhf (1.0.3-3) ...
Selecting previously unselected package libbsd-dev:armhf.
Preparing to unpack .../021-libbsd-dev_0.11.3-1_armhf.deb ...
Unpacking libbsd-dev:armhf (0.11.3-1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../022-libncurses6_6.2+20201114-4_armhf.deb ...
Unpacking libncurses6:armhf (6.2+20201114-4) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../023-libncurses-dev_6.2+20201114-4_armhf.deb ...
Unpacking libncurses-dev:armhf (6.2+20201114-4) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../024-libncurses5-dev_6.2+20201114-4_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.2+20201114-4) ...
Selecting previously unselected package ghc.
Preparing to unpack .../025-ghc_8.8.4-2+rpi2_armhf.deb ...
Unpacking ghc (8.8.4-2+rpi2) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../026-sensible-utils_0.0.17_all.deb ...
Unpacking sensible-utils (0.0.17) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../027-libmagic-mgc_1%3a5.39-3_armhf.deb ...
Unpacking libmagic-mgc (1:5.39-3) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../028-libmagic1_1%3a5.39-3_armhf.deb ...
Unpacking libmagic1:armhf (1:5.39-3) ...
Selecting previously unselected package file.
Preparing to unpack .../029-file_1%3a5.39-3_armhf.deb ...
Unpacking file (1:5.39-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../030-gettext-base_0.21-4_armhf.deb ...
Unpacking gettext-base (0.21-4) ...
Selecting previously unselected package alex.
Preparing to unpack .../031-alex_3.2.5-2+b1_armhf.deb ...
Unpacking alex (3.2.5-2+b1) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../032-libsigsegv2_2.13-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.13-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../033-m4_1.4.18-5_armhf.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../034-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../035-autotools-dev_20180224.1+nmu1_all.deb ...
Unpacking autotools-dev (20180224.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../036-automake_1%3a1.16.4-2_all.deb ...
Unpacking automake (1:1.16.4-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../037-autopoint_0.21-4_all.deb ...
Unpacking autopoint (0.21-4) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../038-cdbs_0.4.163_all.deb ...
Unpacking cdbs (0.4.163) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../039-dctrl-tools_2.24-3_armhf.deb ...
Unpacking dctrl-tools (2.24-3) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../040-libdebhelper-perl_13.5.2_all.deb ...
Unpacking libdebhelper-perl (13.5.2) ...
Selecting previously unselected package libtool.
Preparing to unpack .../041-libtool_2.4.6-15_all.deb ...
Unpacking libtool (2.4.6-15) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../042-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../043-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 .../044-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../045-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../046-dh-strip-nondeterminism_1.12.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.12.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../047-libelf1_0.185-2_armhf.deb ...
Unpacking libelf1:armhf (0.185-2) ...
Selecting previously unselected package dwz.
Preparing to unpack .../048-dwz_0.14-1_armhf.deb ...
Unpacking dwz (0.14-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../049-gettext_0.21-4_armhf.deb ...
Unpacking gettext (0.21-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../050-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../051-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../052-debhelper_13.5.2_all.deb ...
Unpacking debhelper (13.5.2) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../053-dh-buildinfo_0.11+nmu2_all.deb ...
Unpacking dh-buildinfo (0.11+nmu2) ...
Selecting previously unselected package ghc-prof.
Preparing to unpack .../054-ghc-prof_8.8.4-2+rpi2_armhf.deb ...
Unpacking ghc-prof (8.8.4-2+rpi2) ...
Selecting previously unselected package happy.
Preparing to unpack .../055-happy_1.19.12-2+b1_armhf.deb ...
Unpacking happy (1.19.12-2+b1) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../056-libbrotli1_1.0.9-2+b1_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2+b1) ...
Selecting previously unselected package libnghttp2-14:armhf.
Preparing to unpack .../057-libnghttp2-14_1.43.0-1_armhf.deb ...
Unpacking libnghttp2-14:armhf (1.43.0-1) ...
Selecting previously unselected package libpsl5:armhf.
Preparing to unpack .../058-libpsl5_0.21.0-1.2_armhf.deb ...
Unpacking libpsl5:armhf (0.21.0-1.2) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../059-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_armhf.deb ...
Unpacking librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ...
Selecting previously unselected package libssh2-1:armhf.
Preparing to unpack .../060-libssh2-1_1.10.0-2_armhf.deb ...
Unpacking libssh2-1:armhf (1.10.0-2) ...
Selecting previously unselected package libcurl3-gnutls:armhf.
Preparing to unpack .../061-libcurl3-gnutls_7.74.0-1.3_armhf.deb ...
Unpacking libcurl3-gnutls:armhf (7.74.0-1.3) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../062-html-xml-utils_7.7-1.1_armhf.deb ...
Unpacking html-xml-utils (7.7-1.1) ...
Selecting previously unselected package haskell-devscripts-minimal.
Preparing to unpack .../063-haskell-devscripts-minimal_0.16.1_all.deb ...
Unpacking haskell-devscripts-minimal (0.16.1) ...
Selecting previously unselected package hscolour.
Preparing to unpack .../064-hscolour_1.24.4-3+b3_armhf.deb ...
Unpacking hscolour (1.24.4-3+b3) ...
Selecting previously unselected package haskell-devscripts.
Preparing to unpack .../065-haskell-devscripts_0.16.1_all.deb ...
Unpacking haskell-devscripts (0.16.1) ...
Selecting previously unselected package libghc-colour-dev.
Preparing to unpack .../066-libghc-colour-dev_2.3.5-2+b2_armhf.deb ...
Unpacking libghc-colour-dev (2.3.5-2+b2) ...
Selecting previously unselected package libghc-ansi-terminal-dev.
Preparing to unpack .../067-libghc-ansi-terminal-dev_0.10.3-1+b2_armhf.deb ...
Unpacking libghc-ansi-terminal-dev (0.10.3-1+b2) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../068-libghc-hashable-dev_1.3.0.0-2+b2_armhf.deb ...
Unpacking libghc-hashable-dev (1.3.0.0-2+b2) ...
Selecting previously unselected package libghc-async-dev.
Preparing to unpack .../069-libghc-async-dev_2.2.2-2+b2_armhf.deb ...
Unpacking libghc-async-dev (2.2.2-2+b2) ...
Selecting previously unselected package libghc-hashable-prof.
Preparing to unpack .../070-libghc-hashable-prof_1.3.0.0-2+b2_armhf.deb ...
Unpacking libghc-hashable-prof (1.3.0.0-2+b2) ...
Selecting previously unselected package libghc-async-prof.
Preparing to unpack .../071-libghc-async-prof_2.2.2-2+b2_armhf.deb ...
Unpacking libghc-async-prof (2.2.2-2+b2) ...
Selecting previously unselected package libghc-base-compat-dev.
Preparing to unpack .../072-libghc-base-compat-dev_0.11.1-1+b2_armhf.deb ...
Unpacking libghc-base-compat-dev (0.11.1-1+b2) ...
Selecting previously unselected package libghc-base-compat-prof.
Preparing to unpack .../073-libghc-base-compat-prof_0.11.1-1+b2_armhf.deb ...
Unpacking libghc-base-compat-prof (0.11.1-1+b2) ...
Selecting previously unselected package libghc-base-orphans-dev.
Preparing to unpack .../074-libghc-base-orphans-dev_0.8.2-1+b2_armhf.deb ...
Unpacking libghc-base-orphans-dev (0.8.2-1+b2) ...
Selecting previously unselected package libghc-base-orphans-prof.
Preparing to unpack .../075-libghc-base-orphans-prof_0.8.2-1+b2_armhf.deb ...
Unpacking libghc-base-orphans-prof (0.8.2-1+b2) ...
Selecting previously unselected package libghc-blaze-builder-dev.
Preparing to unpack .../076-libghc-blaze-builder-dev_0.4.1.0-4+b2_armhf.deb ...
Unpacking libghc-blaze-builder-dev (0.4.1.0-4+b2) ...
Selecting previously unselected package libghc-blaze-builder-prof.
Preparing to unpack .../077-libghc-blaze-builder-prof_0.4.1.0-4+b2_armhf.deb ...
Unpacking libghc-blaze-builder-prof (0.4.1.0-4+b2) ...
Selecting previously unselected package libghc-blaze-markup-dev.
Preparing to unpack .../078-libghc-blaze-markup-dev_0.8.2.7-1+b1_armhf.deb ...
Unpacking libghc-blaze-markup-dev (0.8.2.7-1+b1) ...
Selecting previously unselected package libghc-blaze-html-dev.
Preparing to unpack .../079-libghc-blaze-html-dev_0.9.1.2-1+b3_armhf.deb ...
Unpacking libghc-blaze-html-dev (0.9.1.2-1+b3) ...
Selecting previously unselected package libghc-blaze-markup-prof.
Preparing to unpack .../080-libghc-blaze-markup-prof_0.8.2.7-1+b1_armhf.deb ...
Unpacking libghc-blaze-markup-prof (0.8.2.7-1+b1) ...
Selecting previously unselected package libghc-blaze-html-prof.
Preparing to unpack .../081-libghc-blaze-html-prof_0.9.1.2-1+b3_armhf.deb ...
Unpacking libghc-blaze-html-prof (0.9.1.2-1+b3) ...
Selecting previously unselected package libghc-floatinghex-dev.
Preparing to unpack .../082-libghc-floatinghex-dev_0.4-4+b2_armhf.deb ...
Unpacking libghc-floatinghex-dev (0.4-4+b2) ...
Selecting previously unselected package libghc-cracknum-dev.
Preparing to unpack .../083-libghc-cracknum-dev_2.3-2+b3_armhf.deb ...
Unpacking libghc-cracknum-dev (2.3-2+b3) ...
Selecting previously unselected package libghc-floatinghex-prof.
Preparing to unpack .../084-libghc-floatinghex-prof_0.4-4+b2_armhf.deb ...
Unpacking libghc-floatinghex-prof (0.4-4+b2) ...
Selecting previously unselected package libghc-cracknum-prof.
Preparing to unpack .../085-libghc-cracknum-prof_2.3-2+b3_armhf.deb ...
Unpacking libghc-cracknum-prof (2.3-2+b3) ...
Selecting previously unselected package libghc-cryptohash-sha1-dev.
Preparing to unpack .../086-libghc-cryptohash-sha1-dev_0.11.100.1-6+b1_armhf.deb ...
Unpacking libghc-cryptohash-sha1-dev (0.11.100.1-6+b1) ...
Selecting previously unselected package libghc-cryptohash-sha1-prof.
Preparing to unpack .../087-libghc-cryptohash-sha1-prof_0.11.100.1-6+b1_armhf.deb ...
Unpacking libghc-cryptohash-sha1-prof (0.11.100.1-6+b1) ...
Selecting previously unselected package libghc-th-abstraction-dev.
Preparing to unpack .../088-libghc-th-abstraction-dev_0.3.2.0-1+b2_armhf.deb ...
Unpacking libghc-th-abstraction-dev (0.3.2.0-1+b2) ...
Selecting previously unselected package libghc-generic-deriving-dev.
Preparing to unpack .../089-libghc-generic-deriving-dev_1.13.1-1+b2_armhf.deb ...
Unpacking libghc-generic-deriving-dev (1.13.1-1+b2) ...
Selecting previously unselected package libghc-th-abstraction-prof.
Preparing to unpack .../090-libghc-th-abstraction-prof_0.3.2.0-1+b2_armhf.deb ...
Unpacking libghc-th-abstraction-prof (0.3.2.0-1+b2) ...
Selecting previously unselected package libghc-generic-deriving-prof.
Preparing to unpack .../091-libghc-generic-deriving-prof_1.13.1-1+b2_armhf.deb ...
Unpacking libghc-generic-deriving-prof (1.13.1-1+b2) ...
Selecting previously unselected package libghc-gitrev-dev.
Preparing to unpack .../092-libghc-gitrev-dev_1.3.1-4+b3_armhf.deb ...
Unpacking libghc-gitrev-dev (1.3.1-4+b3) ...
Selecting previously unselected package libghc-gitrev-prof.
Preparing to unpack .../093-libghc-gitrev-prof_1.3.1-4+b3_armhf.deb ...
Unpacking libghc-gitrev-prof (1.3.1-4+b3) ...
Selecting previously unselected package libghc-graphscc-dev.
Preparing to unpack .../094-libghc-graphscc-dev_1.0.4-6+b2_armhf.deb ...
Unpacking libghc-graphscc-dev (1.0.4-6+b2) ...
Selecting previously unselected package libghc-graphscc-prof.
Preparing to unpack .../095-libghc-graphscc-prof_1.0.4-6+b2_armhf.deb ...
Unpacking libghc-graphscc-prof (1.0.4-6+b2) ...
Selecting previously unselected package libghc-heredoc-dev.
Preparing to unpack .../096-libghc-heredoc-dev_0.2.0.0-6+b2_armhf.deb ...
Unpacking libghc-heredoc-dev (0.2.0.0-6+b2) ...
Selecting previously unselected package libghc-heredoc-prof.
Preparing to unpack .../097-libghc-heredoc-prof_0.2.0.0-6+b2_armhf.deb ...
Unpacking libghc-heredoc-prof (0.2.0.0-6+b2) ...
Selecting previously unselected package libghc-transformers-compat-dev.
Preparing to unpack .../098-libghc-transformers-compat-dev_0.6.5-2+b2_armhf.deb ...
Unpacking libghc-transformers-compat-dev (0.6.5-2+b2) ...
Selecting previously unselected package libghc-transformers-base-dev.
Preparing to unpack .../099-libghc-transformers-base-dev_0.4.5.2-3+b2_armhf.deb ...
Unpacking libghc-transformers-base-dev (0.4.5.2-3+b2) ...
Selecting previously unselected package libghc-monad-control-dev.
Preparing to unpack .../100-libghc-monad-control-dev_1.0.2.3-4+b2_armhf.deb ...
Unpacking libghc-monad-control-dev (1.0.2.3-4+b2) ...
Selecting previously unselected package libghc-transformers-compat-prof.
Preparing to unpack .../101-libghc-transformers-compat-prof_0.6.5-2+b2_armhf.deb ...
Unpacking libghc-transformers-compat-prof (0.6.5-2+b2) ...
Selecting previously unselected package libghc-transformers-base-prof.
Preparing to unpack .../102-libghc-transformers-base-prof_0.4.5.2-3+b2_armhf.deb ...
Unpacking libghc-transformers-base-prof (0.4.5.2-3+b2) ...
Selecting previously unselected package libghc-monad-control-prof.
Preparing to unpack .../103-libghc-monad-control-prof_1.0.2.3-4+b2_armhf.deb ...
Unpacking libghc-monad-control-prof (1.0.2.3-4+b2) ...
Selecting previously unselected package libghc-monadlib-dev.
Preparing to unpack .../104-libghc-monadlib-dev_3.10-1+b2_armhf.deb ...
Unpacking libghc-monadlib-dev (3.10-1+b2) ...
Selecting previously unselected package libghc-monadlib-prof.
Preparing to unpack .../105-libghc-monadlib-prof_3.10-1+b2_armhf.deb ...
Unpacking libghc-monadlib-prof (3.10-1+b2) ...
Selecting previously unselected package libghc-panic-dev.
Preparing to unpack .../106-libghc-panic-dev_0.4.0.1-2+b2_armhf.deb ...
Unpacking libghc-panic-dev (0.4.0.1-2+b2) ...
Selecting previously unselected package libghc-panic-prof.
Preparing to unpack .../107-libghc-panic-prof_0.4.0.1-2+b2_armhf.deb ...
Unpacking libghc-panic-prof (0.4.0.1-2+b2) ...
Selecting previously unselected package libghc-primitive-dev.
Preparing to unpack .../108-libghc-primitive-dev_0.7.0.1-1+b2_armhf.deb ...
Unpacking libghc-primitive-dev (0.7.0.1-1+b2) ...
Selecting previously unselected package libghc-primitive-prof.
Preparing to unpack .../109-libghc-primitive-prof_0.7.0.1-1+b2_armhf.deb ...
Unpacking libghc-primitive-prof (0.7.0.1-1+b2) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../110-libghc-random-dev_1.1-12+b2_armhf.deb ...
Unpacking libghc-random-dev (1.1-12+b2) ...
Selecting previously unselected package libghc-splitmix-dev.
Preparing to unpack .../111-libghc-splitmix-dev_0.0.5-1+b1_armhf.deb ...
Unpacking libghc-splitmix-dev (0.0.5-1+b1) ...
Selecting previously unselected package libghc-quickcheck2-dev.
Preparing to unpack .../112-libghc-quickcheck2-dev_2.13.2-1+b4_armhf.deb ...
Unpacking libghc-quickcheck2-dev (2.13.2-1+b4) ...
Selecting previously unselected package libghc-random-prof.
Preparing to unpack .../113-libghc-random-prof_1.1-12+b2_armhf.deb ...
Unpacking libghc-random-prof (1.1-12+b2) ...
Selecting previously unselected package libghc-splitmix-prof.
Preparing to unpack .../114-libghc-splitmix-prof_0.0.5-1+b1_armhf.deb ...
Unpacking libghc-splitmix-prof (0.0.5-1+b1) ...
Selecting previously unselected package libghc-quickcheck2-prof.
Preparing to unpack .../115-libghc-quickcheck2-prof_2.13.2-1+b4_armhf.deb ...
Unpacking libghc-quickcheck2-prof (2.13.2-1+b4) ...
Selecting previously unselected package libghc-syb-dev.
Preparing to unpack .../116-libghc-syb-dev_0.7.1-2+b2_armhf.deb ...
Unpacking libghc-syb-dev (0.7.1-2+b2) ...
Selecting previously unselected package libghc-sbv-dev.
Preparing to unpack .../117-libghc-sbv-dev_8.7-1+b2_armhf.deb ...
Unpacking libghc-sbv-dev (8.7-1+b2) ...
Selecting previously unselected package libghc-syb-prof.
Preparing to unpack .../118-libghc-syb-prof_0.7.1-2+b2_armhf.deb ...
Unpacking libghc-syb-prof (0.7.1-2+b2) ...
Selecting previously unselected package libghc-sbv-prof.
Preparing to unpack .../119-libghc-sbv-prof_8.7-1+b2_armhf.deb ...
Unpacking libghc-sbv-prof (8.7-1+b2) ...
Selecting previously unselected package libghc-simple-smt-dev.
Preparing to unpack .../120-libghc-simple-smt-dev_0.9.5-1+b1_armhf.deb ...
Unpacking libghc-simple-smt-dev (0.9.5-1+b1) ...
Selecting previously unselected package libghc-simple-smt-prof.
Preparing to unpack .../121-libghc-simple-smt-prof_0.9.5-1+b1_armhf.deb ...
Unpacking libghc-simple-smt-prof (0.9.5-1+b1) ...
Selecting previously unselected package libghc-strict-dev.
Preparing to unpack .../122-libghc-strict-dev_0.3.2-16+b2_armhf.deb ...
Unpacking libghc-strict-dev (0.3.2-16+b2) ...
Selecting previously unselected package libghc-strict-prof.
Preparing to unpack .../123-libghc-strict-prof_0.3.2-16+b2_armhf.deb ...
Unpacking libghc-strict-prof (0.3.2-16+b2) ...
Selecting previously unselected package libghc-tf-random-dev.
Preparing to unpack .../124-libghc-tf-random-dev_0.5-10+b3_armhf.deb ...
Unpacking libghc-tf-random-dev (0.5-10+b3) ...
Selecting previously unselected package libghc-tf-random-prof.
Preparing to unpack .../125-libghc-tf-random-prof_0.5-10+b3_armhf.deb ...
Unpacking libghc-tf-random-prof (0.5-10+b3) ...
Selecting previously unselected package sbuild-build-depends-haskell-cryptol-dummy.
Preparing to unpack .../126-sbuild-build-depends-haskell-cryptol-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-haskell-cryptol-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.3-1) ...
Setting up libpsl5:armhf (0.21.0-1.2) ...
Setting up bsdextrautils (2.37.2-1) ...
update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode
Setting up libicu67:armhf (67.1-7) ...
Setting up libmagic-mgc (1:5.39-3) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.5.2) ...
Setting up libbrotli1:armhf (1.0.9-2+b1) ...
Setting up libnghttp2-14:armhf (1.43.0-1) ...
Setting up libmagic1:armhf (1:5.39-3) ...
Setting up gettext-base (0.21-4) ...
Setting up file (1:5.39-3) ...
Setting up autotools-dev (20180224.1+nmu1) ...
Setting up libz3-4:armhf (4.8.12-1) ...
Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg-2) ...
Setting up libpfm4:armhf (4.11.1+git32-gd0b85fb-1) ...
Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ...
Setting up libncurses6:armhf (6.2+20201114-4) ...
Setting up libsigsegv2:armhf (2.13-1) ...
Setting up autopoint (0.21-4) ...
Setting up libffi8:armhf (3.4.2-2) ...
Setting up libmd0:armhf (1.0.3-3) ...
Setting up sensible-utils (0.0.17) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libmd-dev:armhf (1.0.3-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libssh2-1:armhf (1.10.0-2) ...
Setting up libbsd0:armhf (0.11.3-1) ...
Setting up cdbs (0.4.163) ...
Setting up libelf1:armhf (0.185-2) ...
Setting up libxml2:armhf (2.9.12+dfsg-5) ...
Setting up libbsd-dev:armhf (0.11.3-1) ...
Setting up dctrl-tools (2.24-3) ...
Setting up libfile-stripnondeterminism-perl (1.12.0-1) ...
Setting up libncurses-dev:armhf (6.2+20201114-4) ...
Setting up gettext (0.21-4) ...
Setting up hscolour (1.24.4-3+b3) ...
Setting up libgmp-dev:armhf (2:6.2.1+dfsg-2) ...
Setting up libtool (2.4.6-15) ...
Setting up happy (1.19.12-2+b1) ...
Setting up libedit2:armhf (3.1-20210910-1) ...
Setting up m4 (1.4.18-5) ...
Setting up libcurl3-gnutls:armhf (7.74.0-1.3) ...
Setting up libffi-dev:armhf (3.4.2-2) ...
Setting up alex (3.2.5-2+b1) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libllvm11:armhf (1:11.1.0-4+rpi1) ...
Setting up autoconf (2.71-2) ...
Setting up llvm-11-linker-tools (1:11.1.0-4+rpi1) ...
Setting up dh-strip-nondeterminism (1.12.0-1) ...
Setting up dwz (0.14-1) ...
Setting up groff-base (1.22.4-7) ...
Setting up libncurses5-dev:armhf (6.2+20201114-4) ...
Setting up automake (1:1.16.4-2) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up llvm-11-runtime (1:11.1.0-4+rpi1) ...
Setting up html-xml-utils (7.7-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up llvm-11 (1:11.1.0-4+rpi1) ...
Setting up man-db (2.9.4-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up dh-autoreconf (20) ...
Setting up ghc (8.8.4-2+rpi2) ...
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-random-dev (1.1-12+b2) ...
Setting up libghc-colour-dev (2.3.5-2+b2) ...
Setting up debhelper (13.5.2) ...
Setting up libghc-strict-dev (0.3.2-16+b2) ...
Setting up libghc-floatinghex-dev (0.4-4+b2) ...
Setting up libghc-graphscc-dev (1.0.4-6+b2) ...
Setting up libghc-base-compat-dev (0.11.1-1+b2) ...
Setting up libghc-simple-smt-dev (0.9.5-1+b1) ...
Setting up libghc-splitmix-dev (0.0.5-1+b1) ...
Setting up libghc-th-abstraction-dev (0.3.2.0-1+b2) ...
Setting up libghc-base-orphans-dev (0.8.2-1+b2) ...
Setting up dh-buildinfo (0.11+nmu2) ...
Setting up libghc-transformers-compat-dev (0.6.5-2+b2) ...
Setting up libghc-cryptohash-sha1-dev (0.11.100.1-6+b1) ...
Setting up libghc-heredoc-dev (0.2.0.0-6+b2) ...
Setting up libghc-syb-dev (0.7.1-2+b2) ...
Setting up libghc-monadlib-dev (3.10-1+b2) ...
Setting up haskell-devscripts-minimal (0.16.1) ...
Setting up libghc-hashable-dev (1.3.0.0-2+b2) ...
Setting up libghc-ansi-terminal-dev (0.10.3-1+b2) ...
Setting up libghc-transformers-base-dev (0.4.5.2-3+b2) ...
Setting up libghc-blaze-builder-dev (0.4.1.0-4+b2) ...
Setting up libghc-primitive-dev (0.7.0.1-1+b2) ...
Setting up ghc-prof (8.8.4-2+rpi2) ...
Setting up libghc-floatinghex-prof (0.4-4+b2) ...
Setting up libghc-cryptohash-sha1-prof (0.11.100.1-6+b1) ...
Setting up libghc-monadlib-prof (3.10-1+b2) ...
Setting up libghc-random-prof (1.1-12+b2) ...
Setting up libghc-primitive-prof (0.7.0.1-1+b2) ...
Setting up libghc-graphscc-prof (1.0.4-6+b2) ...
Setting up libghc-heredoc-prof (0.2.0.0-6+b2) ...
Setting up libghc-base-orphans-prof (0.8.2-1+b2) ...
Setting up libghc-simple-smt-prof (0.9.5-1+b1) ...
Setting up libghc-gitrev-dev (1.3.1-4+b3) ...
Setting up libghc-splitmix-prof (0.0.5-1+b1) ...
Setting up libghc-hashable-prof (1.3.0.0-2+b2) ...
Setting up haskell-devscripts (0.16.1) ...
Setting up libghc-cracknum-dev (2.3-2+b3) ...
Setting up libghc-strict-prof (0.3.2-16+b2) ...
Setting up libghc-quickcheck2-dev (2.13.2-1+b4) ...
Setting up libghc-blaze-builder-prof (0.4.1.0-4+b2) ...
Setting up libghc-th-abstraction-prof (0.3.2.0-1+b2) ...
Setting up libghc-generic-deriving-dev (1.13.1-1+b2) ...
Setting up libghc-blaze-markup-dev (0.8.2.7-1+b1) ...
Setting up libghc-transformers-compat-prof (0.6.5-2+b2) ...
Setting up libghc-async-dev (2.2.2-2+b2) ...
Setting up libghc-blaze-html-dev (0.9.1.2-1+b3) ...
Setting up libghc-cracknum-prof (2.3-2+b3) ...
Setting up libghc-transformers-base-prof (0.4.5.2-3+b2) ...
Setting up libghc-monad-control-dev (1.0.2.3-4+b2) ...
Setting up libghc-base-compat-prof (0.11.1-1+b2) ...
Setting up libghc-panic-dev (0.4.0.1-2+b2) ...
Setting up libghc-tf-random-dev (0.5-10+b3) ...
Setting up libghc-async-prof (2.2.2-2+b2) ...
Setting up libghc-quickcheck2-prof (2.13.2-1+b4) ...
Setting up libghc-monad-control-prof (1.0.2.3-4+b2) ...
Setting up libghc-syb-prof (0.7.1-2+b2) ...
Setting up libghc-generic-deriving-prof (1.13.1-1+b2) ...
Setting up libghc-gitrev-prof (1.3.1-4+b3) ...
Setting up libghc-sbv-dev (8.7-1+b2) ...
Setting up libghc-blaze-markup-prof (0.8.2.7-1+b1) ...
Setting up libghc-tf-random-prof (0.5-10+b3) ...
Setting up libghc-panic-prof (0.4.0.1-2+b2) ...
Setting up libghc-sbv-prof (8.7-1+b2) ...
Setting up libghc-blaze-html-prof (0.9.1.2-1+b3) ...
Setting up sbuild-build-depends-haskell-cryptol-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.32-4+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 4.9.0-0.bpo.2-armmp armhf (armv7l)
Toolchain package versions: binutils_2.37-5+rpi1 dpkg-dev_1.20.9+rpi1 g++-10_10.3.0-9+rpi1 gcc-10_10.3.0-9+rpi1 libc6-dev_2.32-4+rpi1 libstdc++-10-dev_10.3.0-9+rpi1 libstdc++6_11.2.0-4+rpi1 linux-libc-dev_5.10.46-4+rpi1
Package versions: adduser_3.118 alex_3.2.5-2+b1 apt_2.3.9 autoconf_2.71-2 automake_1:1.16.4-2 autopoint_0.21-4 autotools-dev_20180224.1+nmu1 base-files_12+rpi1 base-passwd_3.5.51 bash_5.1-3 binutils_2.37-5+rpi1 binutils-arm-linux-gnueabihf_2.37-5+rpi1 binutils-common_2.37-5+rpi1 bsdextrautils_2.37.2-1 bsdutils_1:2.37.2-1 build-essential_12.9 bzip2_1.0.8-4 cdbs_0.4.163 coreutils_8.32-4 cpp_4:10.2.1-1+rpi1 cpp-10_10.3.0-9+rpi1 dash_0.5.11+git20210120+802ebd4-1 dctrl-tools_2.24-3 debconf_1.5.77 debhelper_13.5.2 debianutils_4.11.2 dh-autoreconf_20 dh-buildinfo_0.11+nmu2 dh-strip-nondeterminism_1.12.0-1 diffutils_1:3.7-5 dirmngr_2.2.27-2 dpkg_1.20.9+rpi1 dpkg-dev_1.20.9+rpi1 dwz_0.14-1 e2fsprogs_1.46.4-1 fakeroot_1.25.3-1.1 file_1:5.39-3 findutils_4.8.0-1 g++_4:10.2.1-1+rpi1 g++-10_10.3.0-9+rpi1 gcc_4:10.2.1-1+rpi1 gcc-10_10.3.0-9+rpi1 gcc-10-base_10.3.0-9+rpi1 gcc-11-base_11.2.0-4+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-7+rpi1 gcc-9-base_9.4.0-2+rpi1 gettext_0.21-4 gettext-base_0.21-4 ghc_8.8.4-2+rpi2 ghc-prof_8.8.4-2+rpi2 gnupg_2.2.27-2 gnupg-l10n_2.2.27-2 gnupg-utils_2.2.27-2 gpg_2.2.27-2 gpg-agent_2.2.27-2 gpg-wks-client_2.2.27-2 gpg-wks-server_2.2.27-2 gpgconf_2.2.27-2 gpgsm_2.2.27-2 gpgv_2.2.27-2 grep_3.7-1 groff-base_1.22.4-7 gzip_1.10-4 happy_1.19.12-2+b1 haskell-devscripts_0.16.1 haskell-devscripts-minimal_0.16.1 hostname_3.23 hscolour_1.24.4-3+b3 html-xml-utils_7.7-1.1 init-system-helpers_1.60 intltool-debian_0.35.0+20060710.5 libacl1_2.3.1-1 libapt-pkg6.0_2.3.9 libarchive-zip-perl_1.68-1 libasan6_11.2.0-4+rpi1 libassuan0_2.5.5-1 libatomic1_11.2.0-4+rpi1 libattr1_1:2.5.1-1 libaudit-common_1:3.0.5-1 libaudit1_1:3.0.5-1 libbinutils_2.37-5+rpi1 libblkid1_2.37.2-1 libbrotli1_1.0.9-2+b1 libbsd-dev_0.11.3-1 libbsd0_0.11.3-1 libbz2-1.0_1.0.8-4 libc-bin_2.32-4+rpi1 libc-dev-bin_2.32-4+rpi1 libc6_2.32-4+rpi1 libc6-dev_2.32-4+rpi1 libcap-ng0_0.7.9-2.2+b1 libcc1-0_11.2.0-4+rpi1 libcom-err2_1.46.4-1 libcrypt-dev_1:4.4.25-2 libcrypt1_1:4.4.25-2 libctf-nobfd0_2.37-5+rpi1 libctf0_2.37-5+rpi1 libcurl3-gnutls_7.74.0-1.3 libdb5.3_5.3.28+dfsg1-0.8 libdebconfclient0_0.260 libdebhelper-perl_13.5.2 libdpkg-perl_1.20.9+rpi1 libedit2_3.1-20210910-1 libelf1_0.185-2 libext2fs2_1.46.4-1 libfakeroot_1.25.3-1.1 libffi-dev_3.4.2-2 libffi7_3.3-6 libffi8_3.4.2-2 libfile-stripnondeterminism-perl_1.12.0-1 libgcc-10-dev_10.3.0-9+rpi1 libgcc-s1_11.2.0-4+rpi1 libgcrypt20_1.9.4-3 libgdbm-compat4_1.21-1 libgdbm6_1.21-1 libghc-ansi-terminal-dev_0.10.3-1+b2 libghc-async-dev_2.2.2-2+b2 libghc-async-prof_2.2.2-2+b2 libghc-base-compat-dev_0.11.1-1+b2 libghc-base-compat-prof_0.11.1-1+b2 libghc-base-orphans-dev_0.8.2-1+b2 libghc-base-orphans-prof_0.8.2-1+b2 libghc-blaze-builder-dev_0.4.1.0-4+b2 libghc-blaze-builder-prof_0.4.1.0-4+b2 libghc-blaze-html-dev_0.9.1.2-1+b3 libghc-blaze-html-prof_0.9.1.2-1+b3 libghc-blaze-markup-dev_0.8.2.7-1+b1 libghc-blaze-markup-prof_0.8.2.7-1+b1 libghc-colour-dev_2.3.5-2+b2 libghc-cracknum-dev_2.3-2+b3 libghc-cracknum-prof_2.3-2+b3 libghc-cryptohash-sha1-dev_0.11.100.1-6+b1 libghc-cryptohash-sha1-prof_0.11.100.1-6+b1 libghc-floatinghex-dev_0.4-4+b2 libghc-floatinghex-prof_0.4-4+b2 libghc-generic-deriving-dev_1.13.1-1+b2 libghc-generic-deriving-prof_1.13.1-1+b2 libghc-gitrev-dev_1.3.1-4+b3 libghc-gitrev-prof_1.3.1-4+b3 libghc-graphscc-dev_1.0.4-6+b2 libghc-graphscc-prof_1.0.4-6+b2 libghc-hashable-dev_1.3.0.0-2+b2 libghc-hashable-prof_1.3.0.0-2+b2 libghc-heredoc-dev_0.2.0.0-6+b2 libghc-heredoc-prof_0.2.0.0-6+b2 libghc-monad-control-dev_1.0.2.3-4+b2 libghc-monad-control-prof_1.0.2.3-4+b2 libghc-monadlib-dev_3.10-1+b2 libghc-monadlib-prof_3.10-1+b2 libghc-panic-dev_0.4.0.1-2+b2 libghc-panic-prof_0.4.0.1-2+b2 libghc-primitive-dev_0.7.0.1-1+b2 libghc-primitive-prof_0.7.0.1-1+b2 libghc-quickcheck2-dev_2.13.2-1+b4 libghc-quickcheck2-prof_2.13.2-1+b4 libghc-random-dev_1.1-12+b2 libghc-random-prof_1.1-12+b2 libghc-sbv-dev_8.7-1+b2 libghc-sbv-prof_8.7-1+b2 libghc-simple-smt-dev_0.9.5-1+b1 libghc-simple-smt-prof_0.9.5-1+b1 libghc-splitmix-dev_0.0.5-1+b1 libghc-splitmix-prof_0.0.5-1+b1 libghc-strict-dev_0.3.2-16+b2 libghc-strict-prof_0.3.2-16+b2 libghc-syb-dev_0.7.1-2+b2 libghc-syb-prof_0.7.1-2+b2 libghc-tf-random-dev_0.5-10+b3 libghc-tf-random-prof_0.5-10+b3 libghc-th-abstraction-dev_0.3.2.0-1+b2 libghc-th-abstraction-prof_0.3.2.0-1+b2 libghc-transformers-base-dev_0.4.5.2-3+b2 libghc-transformers-base-prof_0.4.5.2-3+b2 libghc-transformers-compat-dev_0.6.5-2+b2 libghc-transformers-compat-prof_0.6.5-2+b2 libgmp-dev_2:6.2.1+dfsg-2 libgmp10_2:6.2.1+dfsg-2 libgmpxx4ldbl_2:6.2.1+dfsg-2 libgnutls30_3.7.2-2 libgomp1_11.2.0-4+rpi1 libgpg-error0_1.42-3 libgssapi-krb5-2_1.18.3-7 libhogweed6_3.7.3-1 libicu67_67.1-7 libidn2-0_2.3.2-2 libisl23_0.23-1 libk5crypto3_1.18.3-7 libkeyutils1_1.6.1-2 libkrb5-3_1.18.3-7 libkrb5support0_1.18.3-7 libksba8_1.6.0-2 libldap-2.4-2_2.4.59+dfsg-1 libllvm11_1:11.1.0-4+rpi1 liblocale-gettext-perl_1.07-4+b1 liblz4-1_1.9.3-2 liblzma5_5.2.5-2 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmd-dev_1.0.3-3 libmd0_1.0.3-3 libmount1_2.37.2-1 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libncurses-dev_6.2+20201114-4 libncurses5-dev_6.2+20201114-4 libncurses6_6.2+20201114-4 libncursesw6_6.2+20201114-4 libnettle8_3.7.3-1 libnghttp2-14_1.43.0-1 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libp11-kit0_0.24.0-2 libpam-modules_1.4.0-10 libpam-modules-bin_1.4.0-10 libpam-runtime_1.4.0-10 libpam0g_1.4.0-10 libpcre2-8-0_10.36-2 libpcre3_2:8.39-13 libperl5.32_5.32.1-5 libpfm4_4.11.1+git32-gd0b85fb-1 libpipeline1_1.5.3-1 libpsl5_0.21.0-1.2 libreadline8_8.1-2 librtmp1_2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2_2.1.27+dfsg-2.1 libsasl2-modules-db_2.1.27+dfsg-2.1 libseccomp2_2.5.1-1+rpi1 libselinux1_3.1-3 libsemanage-common_3.1-1 libsemanage1_3.1-1+b1 libsepol1_3.1-1 libsigsegv2_2.13-1 libsmartcols1_2.37.2-1 libsqlite3-0_3.36.0-2 libss2_1.46.4-1 libssh2-1_1.10.0-2 libssl1.1_1.1.1l-1 libstdc++-10-dev_10.3.0-9+rpi1 libstdc++6_11.2.0-4+rpi1 libsub-override-perl_0.09-2 libsystemd0_247.9-1+rpi1 libtasn1-6_4.17.0-2 libtext-charwidth-perl_0.04-10+b1 libtext-iconv-perl_1.7-7+b1 libtinfo6_6.2+20201114-4 libtirpc-common_1.3.2-2 libtirpc-dev_1.3.2-2 libtirpc3_1.3.2-2 libtool_2.4.6-15 libubsan1_11.2.0-4+rpi1 libuchardet0_0.0.7-1 libudev1_247.9-1+rpi1 libunistring2_0.9.10-6 libuuid1_2.37.2-1 libxml2_2.9.12+dfsg-5 libxxhash0_0.8.0-2+rpi1 libz3-4_4.8.12-1 libzstd1_1.4.8+dfsg-2.1+rpi1 linux-libc-dev_5.10.46-4+rpi1 llvm-11_1:11.1.0-4+rpi1 llvm-11-linker-tools_1:11.1.0-4+rpi1 llvm-11-runtime_1:11.1.0-4+rpi1 login_1:4.8.1-1 logsave_1.46.4-1 lsb-base_11.1.0+rpi1 m4_1.4.18-5 make_4.3-4.1 man-db_2.9.4-2 mawk_1.3.4.20200120-2 mount_2.37.2-1 ncurses-base_6.2+20201114-4 ncurses-bin_6.2+20201114-4 netbase_6.3 passwd_1:4.8.1-1 patch_2.7.6-7 perl_5.32.1-5 perl-base_5.32.1-5 perl-modules-5.32_5.32.1-5 pinentry-curses_1.1.0-4 po-debconf_1.0.21+nmu1 raspbian-archive-keyring_20120528.2 readline-common_8.1-2 rpcsvc-proto_1.4.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-haskell-cryptol-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sysvinit-utils_3.00-1 tar_1.34+dfsg-1 tzdata_2021a-1 util-linux_2.37.2-1 xz-utils_5.2.5-2 zlib1g_1:1.2.11.dfsg-2

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.GY2MuPXi/trustedkeys.kbx': General error
gpgv: Signature made Sat Jul 11 00:04:14 2020 UTC
gpgv:                using RSA key 7581EC874053E6C807791B9B5592331E199D38A8
gpgv:                issuer "clint@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./haskell-cryptol_2.8.0-1.dsc
dpkg-source: info: extracting haskell-cryptol in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking haskell-cryptol_2.8.0.orig.tar.gz
dpkg-source: info: unpacking haskell-cryptol_2.8.0-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying newer-deps

Check disc space
----------------

Sufficient free space for build

Hack binNMU version
-------------------

Created changelog entry for binNMU version 2.8.0-1+b2

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-80cb9c77-9dd7-4e3d-b56a-cbde228cd8f3
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package haskell-cryptol
dpkg-buildpackage: info: source version 2.8.0-1+b2
dpkg-buildpackage: info: source distribution bookworm-staging
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 debian/rules clean
test -x debian/rules
dh_clean 
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
clean_recipe
Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\*
Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp
Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs
Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs
Running rm -f debian/hlibrary.Makefile
Running rm -rf debian/dh_haskell_shlibdeps
Running rm -rf debian/tmp-db
 debian/rules binary-arch
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
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
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 ...
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
configure_recipe
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/cryptol-2.8.0/ --datasubdir=cryptol --htmldir=/usr/share/doc/libghc-cryptol-doc/html/ --enable-library-profiling
Using Parsec parser
Configuring cryptol-2.8.0...
Flags chosen: relocatable=True, static=False
Dependency GraphSCC >=1.0.4: using GraphSCC-1.0.4
Dependency array >=0.4: using array-0.5.4.0
Dependency base >=4.8 && <5: using base-4.13.0.0
Dependency base-compat >=0.6 && <0.12: using base-compat-0.11.1
Dependency bytestring >=0.10: using bytestring-0.10.10.1
Dependency containers >=0.5: using containers-0.6.2.1
Dependency cryptohash-sha1 ==0.11.*: using cryptohash-sha1-0.11.100.1
Dependency deepseq >=1.3: using deepseq-1.4.4.0
Dependency directory >=1.2.2.0: using directory-1.3.6.0
Dependency filepath >=1.3: using filepath-1.4.2.1
Dependency gitrev >=1.0: using gitrev-1.3.1
Dependency heredoc >=0.2: using heredoc-0.2.0.0
Dependency monad-control >=1.0: using monad-control-1.0.2.3
Dependency monadLib >=3.7.2: using monadLib-3.10
Dependency mtl >=2.2.1: using mtl-2.2.2
Dependency panic >=0.3: using panic-0.4.0.1
Dependency pretty >=1.1: using pretty-1.1.3.6
Dependency process >=1.2: using process-1.6.9.0
Dependency random >=1.0.1: using random-1.1
Dependency sbv >=8.1: using sbv-8.7
Dependency simple-smt >=0.7.1: using simple-smt-0.9.5
Dependency strict -any: using strict-0.3.2
Dependency text >=1.1: using text-1.2.4.0
Dependency tf-random >=0.5: using tf-random-0.5
Dependency time >=1.6.0.1: using time-1.9.3
Dependency transformers-base >=0.4: using transformers-base-0.4.5.2
Dependency ansi-terminal -any: using ansi-terminal-0.10.3
Dependency base -any: using base-4.13.0.0
Dependency base-compat -any: using base-compat-0.11.1
Dependency containers -any: using containers-0.6.2.1
Dependency cryptol -any: using cryptol-2.8.0
Dependency directory -any: using directory-1.3.6.0
Dependency filepath -any: using filepath-1.4.2.1
Dependency haskeline -any: using haskeline-0.7.5.0
Dependency monad-control -any: using monad-control-1.0.2.3
Dependency text -any: using text-1.2.4.0
Dependency transformers -any: using transformers-0.5.6.2
Dependency base -any: using base-4.13.0.0
Dependency blaze-html -any: using blaze-html-0.9.1.2
Dependency cryptol -any: using cryptol-2.8.0
Dependency text -any: using text-1.2.4.0
Source component graph:
    component lib
    component exe:cryptol dependency lib
    component exe:cryptol-html dependency lib
Configured component graph:
    component cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        include GraphSCC-1.0.4-Lk1VL9u0FOmGbyfcSR5nIy
        include array-0.5.4.0
        include base-4.13.0.0
        include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2
        include bytestring-0.10.10.1
        include containers-0.6.2.1
        include cryptohash-sha1-0.11.100.1-G12X32YUE579QKsgGH9GIz
        include deepseq-1.4.4.0
        include directory-1.3.6.0
        include filepath-1.4.2.1
        include gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f
        include heredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr
        include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr
        include monadLib-3.10-vxb0fjs4p13Fu0YcCVv7A
        include mtl-2.2.2
        include panic-0.4.0.1-3iLZ9kdPU7sJgy5QToBDcP
        include pretty-1.1.3.6
        include process-1.6.9.0
        include random-1.1-CUqV1zxrwrE4K5XCdTZSYy
        include sbv-8.7-9mSEXJN8olRBwPWTmi3EMV
        include simple-smt-0.9.5-IP4XloT5eML6GDMEBYzIK8
        include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU
        include text-1.2.4.0
        include tf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0
        include time-1.9.3
        include transformers-base-0.4.5.2-6aMo9wA8nOkVXDipFrPli
    component cryptol-2.8.0-2NfmikHU1RJI8MBgJKcJoh-cryptol
        include ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L
        include base-4.13.0.0
        include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2
        include containers-0.6.2.1
        include cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        include directory-1.3.6.0
        include filepath-1.4.2.1
        include haskeline-0.7.5.0
        include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr
        include text-1.2.4.0
        include transformers-0.5.6.2
    component cryptol-2.8.0-FJaU5eGNnvoCqUgpHh2S-cryptol-html
        include base-4.13.0.0
        include blaze-html-0.9.1.2-GMt0RJdbDUe9EA8xLw020D
        include cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        include text-1.2.4.0
Linked component graph:
    unit cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        include GraphSCC-1.0.4-Lk1VL9u0FOmGbyfcSR5nIy
        include array-0.5.4.0
        include base-4.13.0.0
        include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2
        include bytestring-0.10.10.1
        include containers-0.6.2.1
        include cryptohash-sha1-0.11.100.1-G12X32YUE579QKsgGH9GIz
        include deepseq-1.4.4.0
        include directory-1.3.6.0
        include filepath-1.4.2.1
        include gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f
        include heredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr
        include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr
        include monadLib-3.10-vxb0fjs4p13Fu0YcCVv7A
        include mtl-2.2.2
        include panic-0.4.0.1-3iLZ9kdPU7sJgy5QToBDcP
        include pretty-1.1.3.6
        include process-1.6.9.0
        include random-1.1-CUqV1zxrwrE4K5XCdTZSYy
        include sbv-8.7-9mSEXJN8olRBwPWTmi3EMV
        include simple-smt-0.9.5-IP4XloT5eML6GDMEBYzIK8
        include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU
        include text-1.2.4.0
        include tf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0
        include time-1.9.3
        include transformers-base-0.4.5.2-6aMo9wA8nOkVXDipFrPli
        Cryptol.Eval=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval,Cryptol.Eval.Arch=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval.Arch,Cryptol.Eval.Env=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval.Env,Cryptol.Eval.Monad=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval.Monad,Cryptol.Eval.Reference=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval.Reference,Cryptol.Eval.Type=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval.Type,Cryptol.Eval.Value=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Eval.Value,Cryptol.IR.FreeVars=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.IR.FreeVars,Cryptol.ModuleSystem=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem,Cryptol.ModuleSystem.Base=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Base,Cryptol.ModuleSystem.Env=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Env,Cryptol.ModuleSystem.Exports=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Exports,Cryptol.ModuleSystem.Fingerprint=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Fingerprint,Cryptol.ModuleSystem.InstantiateModule=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.InstantiateModule,Cryptol.ModuleSystem.Interface=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Interface,Cryptol.ModuleSystem.Monad=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Monad,Cryptol.ModuleSystem.Name=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Name,Cryptol.ModuleSystem.NamingEnv=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.NamingEnv,Cryptol.ModuleSystem.Renamer=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.ModuleSystem.Renamer,Cryptol.Parser=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser,Cryptol.Parser.AST=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.AST,Cryptol.Parser.Fixity=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Fixity,Cryptol.Parser.Lexer=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Lexer,Cryptol.Parser.Name=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Name,Cryptol.Parser.Names=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Names,Cryptol.Parser.NoInclude=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.NoInclude,Cryptol.Parser.NoPat=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.NoPat,Cryptol.Parser.Position=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Position,Cryptol.Parser.Selector=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Selector,Cryptol.Parser.Unlit=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Unlit,Cryptol.Parser.Utils=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Parser.Utils,Cryptol.Prims.Eval=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Prims.Eval,Cryptol.REPL.Command=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.REPL.Command,Cryptol.REPL.Monad=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.REPL.Monad,Cryptol.REPL.Trie=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.REPL.Trie,Cryptol.Symbolic=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Symbolic,Cryptol.Symbolic.Prims=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Symbolic.Prims,Cryptol.Symbolic.Value=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Symbolic.Value,Cryptol.Testing.Concrete=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Testing.Concrete,Cryptol.Testing.Random=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Testing.Random,Cryptol.Transform.AddModParams=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Transform.AddModParams,Cryptol.Transform.MonoValues=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Transform.MonoValues,Cryptol.Transform.Specialize=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Transform.Specialize,Cryptol.TypeCheck=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck,Cryptol.TypeCheck.AST=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.AST,Cryptol.TypeCheck.CheckModuleInstance=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.CheckModuleInstance,Cryptol.TypeCheck.Default=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Default,Cryptol.TypeCheck.Depends=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Depends,Cryptol.TypeCheck.Error=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Error,Cryptol.TypeCheck.Infer=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Infer,Cryptol.TypeCheck.InferTypes=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.InferTypes,Cryptol.TypeCheck.Instantiate=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Instantiate,Cryptol.TypeCheck.Kind=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Kind,Cryptol.TypeCheck.Monad=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Monad,Cryptol.TypeCheck.PP=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.PP,Cryptol.TypeCheck.Parseable=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Parseable,Cryptol.TypeCheck.Sanity=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Sanity,Cryptol.TypeCheck.SimpType=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.SimpType,Cryptol.TypeCheck.SimpleSolver=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.SimpleSolver,Cryptol.TypeCheck.Solve=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solve,Cryptol.TypeCheck.Solver.Class=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Class,Cryptol.TypeCheck.Solver.Improve=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Improve,Cryptol.TypeCheck.Solver.InfNat=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.InfNat,Cryptol.TypeCheck.Solver.Numeric=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Numeric,Cryptol.TypeCheck.Solver.Numeric.Fin=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Numeric.Fin,Cryptol.TypeCheck.Solver.Numeric.Interval=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Numeric.Interval,Cryptol.TypeCheck.Solver.SMT=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.SMT,Cryptol.TypeCheck.Solver.Selector=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Selector,Cryptol.TypeCheck.Solver.Types=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Types,Cryptol.TypeCheck.Solver.Utils=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Solver.Utils,Cryptol.TypeCheck.Subst=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Subst,Cryptol.TypeCheck.TCon=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.TCon,Cryptol.TypeCheck.Type=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Type,Cryptol.TypeCheck.TypeMap=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.TypeMap,Cryptol.TypeCheck.TypeOf=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.TypeOf,Cryptol.TypeCheck.TypePat=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.TypePat,Cryptol.TypeCheck.Unify=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.TypeCheck.Unify,Cryptol.Utils.Debug=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.Debug,Cryptol.Utils.Ident=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.Ident,Cryptol.Utils.Logger=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.Logger,Cryptol.Utils.Misc=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.Misc,Cryptol.Utils.PP=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.PP,Cryptol.Utils.Panic=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.Panic,Cryptol.Utils.Patterns=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Utils.Patterns,Cryptol.Version=cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg:Cryptol.Version
    unit cryptol-2.8.0-2NfmikHU1RJI8MBgJKcJoh-cryptol
        include ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L
        include base-4.13.0.0
        include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2
        include containers-0.6.2.1
        include cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        include directory-1.3.6.0
        include filepath-1.4.2.1
        include haskeline-0.7.5.0
        include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr
        include text-1.2.4.0
        include transformers-0.5.6.2
    unit cryptol-2.8.0-FJaU5eGNnvoCqUgpHh2S-cryptol-html
        include base-4.13.0.0
        include blaze-html-0.9.1.2-GMt0RJdbDUe9EA8xLw020D
        include cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        include text-1.2.4.0
Ready component graph:
    definite cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        depends GraphSCC-1.0.4-Lk1VL9u0FOmGbyfcSR5nIy
        depends array-0.5.4.0
        depends base-4.13.0.0
        depends base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2
        depends bytestring-0.10.10.1
        depends containers-0.6.2.1
        depends cryptohash-sha1-0.11.100.1-G12X32YUE579QKsgGH9GIz
        depends deepseq-1.4.4.0
        depends directory-1.3.6.0
        depends filepath-1.4.2.1
        depends gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f
        depends heredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr
        depends monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr
        depends monadLib-3.10-vxb0fjs4p13Fu0YcCVv7A
        depends mtl-2.2.2
        depends panic-0.4.0.1-3iLZ9kdPU7sJgy5QToBDcP
        depends pretty-1.1.3.6
        depends process-1.6.9.0
        depends random-1.1-CUqV1zxrwrE4K5XCdTZSYy
        depends sbv-8.7-9mSEXJN8olRBwPWTmi3EMV
        depends simple-smt-0.9.5-IP4XloT5eML6GDMEBYzIK8
        depends strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU
        depends text-1.2.4.0
        depends tf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0
        depends time-1.9.3
        depends transformers-base-0.4.5.2-6aMo9wA8nOkVXDipFrPli
    definite cryptol-2.8.0-2NfmikHU1RJI8MBgJKcJoh-cryptol
        depends ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L
        depends base-4.13.0.0
        depends base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2
        depends containers-0.6.2.1
        depends cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        depends directory-1.3.6.0
        depends filepath-1.4.2.1
        depends haskeline-0.7.5.0
        depends monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr
        depends text-1.2.4.0
        depends transformers-0.5.6.2
    definite cryptol-2.8.0-FJaU5eGNnvoCqUgpHh2S-cryptol-html
        depends base-4.13.0.0
        depends blaze-html-0.9.1.2-GMt0RJdbDUe9EA8xLw020D
        depends cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
        depends text-1.2.4.0
Using Cabal-3.0.1.0 compiled by ghc-8.8
Using compiler: ghc-8.8.4
Using install prefix: /usr
Executables installed in: /usr/bin
Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
Dynamic Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4
Private executables installed in: /usr/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0
Data files installed in: /usr/share/cryptol
Documentation installed in: /usr/share/doc/arm-linux-ghc-8.8.4/cryptol-2.8.0
Configuration files installed in: /usr/etc
Using alex version 3.2.5 found on system at: /usr/bin/alex
Using ar found on system at: /usr/bin/arm-linux-gnueabihf-ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 10 found on system at: /usr/bin/arm-linux-gnueabihf-gcc
Using ghc version 8.8.4 found on system at: /usr/bin/ghc
Using ghc-pkg version 8.8.4 found on system at: /usr/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.23.0 found on system at: /usr/bin/haddock
Using happy version 1.19.12 found on system at: /usr/bin/happy
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.67 found on system at: /usr/bin/hpc
Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs
Using hscolour version 1.24 found on system at: /usr/bin/HsColour
No jhc found
Using ld found on system at: /usr/bin/arm-linux-gnueabihf-ld.gold
No pkg-config found
Using runghc version 8.8.4 found on system at: /usr/bin/runghc
Using strip version 2.37 found on system at: /usr/bin/strip
Using tar found on system at: /bin/tar
No uhc found
touch configure-ghc-stamp
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
build_recipe
Running debian/hlibrary.setup build --builddir=dist-ghc
Preprocessing library for cryptol-2.8.0..
Building library for cryptol-2.8.0..
[ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist-ghc/build/Cryptol/Eval/Arch.o )
[ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, dist-ghc/build/Cryptol/ModuleSystem/Fingerprint.o )

src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports]
    The import of `System.IO.Error' is redundant
      except perhaps to import instances from `System.IO.Error'
    To import instances alone, use: import System.IO.Error()
   |
18 | import System.IO.Error          (IOError)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 3 of 90] Compiling Cryptol.Prelude  ( src/Cryptol/Prelude.hs, dist-ghc/build/Cryptol/Prelude.o )
[ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist-ghc/build/Cryptol/Utils/Ident.o )
[ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, dist-ghc/build/Cryptol/Utils/Logger.o )
[ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist-ghc/build/Cryptol/Utils/Misc.o )
[ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist-ghc/build/Cryptol/Utils/PP.o )
[ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist-ghc/build/Cryptol/Utils/Debug.o )
[ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist-ghc/build/Cryptol/TypeCheck/PP.o )
[10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, dist-ghc/build/Cryptol/Parser/Selector.o )
[11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist-ghc/build/Cryptol/Parser/Position.o )
[12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, dist-ghc/build/Cryptol/Parser/Fixity.o )
[13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist-ghc/build/Cryptol/Utils/Panic.o )
[14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/InfNat.o )
[15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist-ghc/build/Cryptol/REPL/Trie.o )
[16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist-ghc/build/Cryptol/Parser/Unlit.o )
[17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist-ghc/build/Cryptol/Parser/Name.o )
[18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist-ghc/build/Cryptol/Parser/AST.o )
[19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist-ghc/build/Cryptol/Parser/Utils.o )
[20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist-ghc/build/Cryptol/Parser/Names.o )
[21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist-ghc/build/Cryptol/Parser/NoPat.o )
[22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, dist-ghc/build/Cryptol/ModuleSystem/Exports.o )
[23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist-ghc/build/Cryptol/Parser/LexerUtils.o )
[24 of 90] Compiling Cryptol.Parser.Lexer ( dist-ghc/build/Cryptol/Parser/Lexer.hs, dist-ghc/build/Cryptol/Parser/Lexer.o )
[25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist-ghc/build/Cryptol/Parser/ParserUtils.o )
[26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist-ghc/build/Cryptol/ModuleSystem/Name.o )
[27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, dist-ghc/build/Cryptol/TypeCheck/TCon.o )
[28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, dist-ghc/build/Cryptol/TypeCheck/Type.o )
[29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist-ghc/build/Cryptol/TypeCheck/AST.o )
[30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist-ghc/build/Cryptol/TypeCheck/TypeMap.o )
[31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Interval.o )
[32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Types.o )
[33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Fin.o )
[34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, dist-ghc/build/Cryptol/TypeCheck/Parseable.o )
[35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, dist-ghc/build/Cryptol/IR/FreeVars.o )
[36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist-ghc/build/Cryptol/Transform/MonoValues.o )
[37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, dist-ghc/build/Cryptol/Transform/AddModParams.o )
[38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist-ghc/build/Cryptol/ModuleSystem/Interface.o )
[39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist-ghc/build/Cryptol/ModuleSystem/NamingEnv.o )
[40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist-ghc/build/Cryptol/ModuleSystem/Renamer.o )
[41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, dist-ghc/build/Cryptol/Eval/Monad.o )
[42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist-ghc/build/Cryptol/Eval/Type.o )
[43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist-ghc/build/Cryptol/Eval/Value.o )
[44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist-ghc/build/Cryptol/Testing/Concrete.o )
[45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist-ghc/build/Cryptol/Symbolic/Value.o )
[46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist-ghc/build/Cryptol/Eval/Env.o )
[47 of 90] Compiling Cryptol.Eval     ( src/Cryptol/Eval.hs, dist-ghc/build/Cryptol/Eval.o )
[48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, dist-ghc/build/Cryptol/Utils/Patterns.o )
[49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, dist-ghc/build/Cryptol/TypeCheck/TypePat.o )
[50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, dist-ghc/build/Cryptol/TypeCheck/SimpType.o )
[51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Utils.o )
[52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Class.o )
[53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist-ghc/build/Cryptol/Testing/Random.o )
[54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist-ghc/build/Cryptol/Prims/Eval.o )
[55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist-ghc/build/Cryptol/Symbolic/Prims.o )
[56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric.o )
[57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, dist-ghc/build/Cryptol/TypeCheck/SimpleSolver.o )
[58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist-ghc/build/Cryptol/TypeCheck/Subst.o )
[59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist-ghc/build/Cryptol/TypeCheck/Unify.o )
[60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist-ghc/build/Cryptol/TypeCheck/TypeOf.o )
[61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, dist-ghc/build/Cryptol/ModuleSystem/InstantiateModule.o )

src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports]
    The import of `Cryptol.ModuleSystem.Exports' is redundant
      except perhaps to import instances from `Cryptol.ModuleSystem.Exports'
    To import instances alone, use: import Cryptol.ModuleSystem.Exports()
   |
15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Improve.o )
[63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist-ghc/build/Cryptol/TypeCheck/InferTypes.o )

src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports]
    The import of `Cryptol.Utils.Patterns' is redundant
      except perhaps to import instances from `Cryptol.Utils.Patterns'
    To import instances alone, use: import Cryptol.Utils.Patterns()
   |
31 | import           Cryptol.Utils.Patterns(matchMaybe)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/SMT.o )
[65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, dist-ghc/build/Cryptol/TypeCheck/Error.o )
[66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist-ghc/build/Cryptol/TypeCheck/Monad.o )
[67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Selector.o )
[68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist-ghc/build/Cryptol/TypeCheck/Sanity.o )
[69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist-ghc/build/Cryptol/TypeCheck/Depends.o )
[70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, dist-ghc/build/Cryptol/TypeCheck/Default.o )
[71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist-ghc/build/Cryptol/TypeCheck/Solve.o )

src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports]
    The import of `Cryptol.Utils.PP' is redundant
      except perhaps to import instances from `Cryptol.Utils.PP'
    To import instances alone, use: import Cryptol.Utils.PP()
   |
37 | import           Cryptol.Utils.PP (text,vcat,(<+>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist-ghc/build/Cryptol/TypeCheck/Kind.o )
[73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist-ghc/build/Cryptol/TypeCheck/Instantiate.o )
[74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist-ghc/build/Cryptol/TypeCheck/Infer.o )
[75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, dist-ghc/build/Cryptol/TypeCheck/CheckModuleInstance.o )

src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports]
    The import of `Name'
    from module `Cryptol.ModuleSystem.Name' is redundant
  |
9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc)
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist-ghc/build/Cryptol/TypeCheck.o )
[77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist-ghc/build/Cryptol/ModuleSystem/Env.o )
[78 of 90] Compiling GitRev           ( src/GitRev.hs, dist-ghc/build/GitRev.o )
[79 of 90] Compiling Paths_cryptol    ( dist-ghc/build/autogen/Paths_cryptol.hs, dist-ghc/build/Paths_cryptol.o )
[80 of 90] Compiling Cryptol.Version  ( src/Cryptol/Version.hs, dist-ghc/build/Cryptol/Version.o )
[81 of 90] Compiling Cryptol.Parser   ( dist-ghc/build/Cryptol/Parser.hs, dist-ghc/build/Cryptol/Parser.o )
[82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist-ghc/build/Cryptol/Parser/NoInclude.o )
[83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist-ghc/build/Cryptol/ModuleSystem/Monad.o )
[84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist-ghc/build/Cryptol/ModuleSystem/Base.o )
[85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist-ghc/build/Cryptol/ModuleSystem.o )
[86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist-ghc/build/Cryptol/Transform/Specialize.o )
[87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist-ghc/build/Cryptol/Symbolic.o )
[88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist-ghc/build/Cryptol/REPL/Monad.o )
[89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, dist-ghc/build/Cryptol/Eval/Reference.o )

src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports]
    The import of `Data.Semigroup' is redundant
      except perhaps to import instances from `Data.Semigroup'
    To import instances alone, use: import Data.Semigroup()
   |
26 | > import Data.Semigroup (Semigroup(..))
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist-ghc/build/Cryptol/REPL/Command.o )

src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports]
    The import of `backticks'
    from module `Cryptol.TypeCheck.PP' is redundant
   |
75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist-ghc/build/Cryptol/Eval/Arch.p_o )
[ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, dist-ghc/build/Cryptol/ModuleSystem/Fingerprint.p_o )

src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports]
    The import of `System.IO.Error' is redundant
      except perhaps to import instances from `System.IO.Error'
    To import instances alone, use: import System.IO.Error()
   |
18 | import System.IO.Error          (IOError)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[ 3 of 90] Compiling Cryptol.Prelude  ( src/Cryptol/Prelude.hs, dist-ghc/build/Cryptol/Prelude.p_o )
[ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist-ghc/build/Cryptol/Utils/Ident.p_o )
[ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, dist-ghc/build/Cryptol/Utils/Logger.p_o )
[ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist-ghc/build/Cryptol/Utils/Misc.p_o )
[ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist-ghc/build/Cryptol/Utils/PP.p_o )
[ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist-ghc/build/Cryptol/Utils/Debug.p_o )
[ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist-ghc/build/Cryptol/TypeCheck/PP.p_o )
[10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, dist-ghc/build/Cryptol/Parser/Selector.p_o )
[11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist-ghc/build/Cryptol/Parser/Position.p_o )
[12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, dist-ghc/build/Cryptol/Parser/Fixity.p_o )
[13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist-ghc/build/Cryptol/Utils/Panic.p_o )
[14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/InfNat.p_o )
[15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist-ghc/build/Cryptol/REPL/Trie.p_o )
[16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist-ghc/build/Cryptol/Parser/Unlit.p_o )
[17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist-ghc/build/Cryptol/Parser/Name.p_o )
[18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist-ghc/build/Cryptol/Parser/AST.p_o )
[19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist-ghc/build/Cryptol/Parser/Utils.p_o )
[20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist-ghc/build/Cryptol/Parser/Names.p_o )
[21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist-ghc/build/Cryptol/Parser/NoPat.p_o )
[22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, dist-ghc/build/Cryptol/ModuleSystem/Exports.p_o )
[23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist-ghc/build/Cryptol/Parser/LexerUtils.p_o )
[24 of 90] Compiling Cryptol.Parser.Lexer ( dist-ghc/build/Cryptol/Parser/Lexer.hs, dist-ghc/build/Cryptol/Parser/Lexer.p_o )
[25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist-ghc/build/Cryptol/Parser/ParserUtils.p_o )
[26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist-ghc/build/Cryptol/ModuleSystem/Name.p_o )
[27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, dist-ghc/build/Cryptol/TypeCheck/TCon.p_o )
[28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, dist-ghc/build/Cryptol/TypeCheck/Type.p_o )
[29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist-ghc/build/Cryptol/TypeCheck/AST.p_o )
[30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist-ghc/build/Cryptol/TypeCheck/TypeMap.p_o )
[31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Interval.p_o )
[32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Types.p_o )
[33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Fin.p_o )
[34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, dist-ghc/build/Cryptol/TypeCheck/Parseable.p_o )
[35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, dist-ghc/build/Cryptol/IR/FreeVars.p_o )
[36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist-ghc/build/Cryptol/Transform/MonoValues.p_o )
[37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, dist-ghc/build/Cryptol/Transform/AddModParams.p_o )
[38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist-ghc/build/Cryptol/ModuleSystem/Interface.p_o )
[39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist-ghc/build/Cryptol/ModuleSystem/NamingEnv.p_o )
[40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist-ghc/build/Cryptol/ModuleSystem/Renamer.p_o )
[41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, dist-ghc/build/Cryptol/Eval/Monad.p_o )
[42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist-ghc/build/Cryptol/Eval/Type.p_o )
[43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist-ghc/build/Cryptol/Eval/Value.p_o )
[44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist-ghc/build/Cryptol/Testing/Concrete.p_o )
[45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist-ghc/build/Cryptol/Symbolic/Value.p_o )
[46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist-ghc/build/Cryptol/Eval/Env.p_o )
[47 of 90] Compiling Cryptol.Eval     ( src/Cryptol/Eval.hs, dist-ghc/build/Cryptol/Eval.p_o )
[48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, dist-ghc/build/Cryptol/Utils/Patterns.p_o )
[49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, dist-ghc/build/Cryptol/TypeCheck/TypePat.p_o )
[50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, dist-ghc/build/Cryptol/TypeCheck/SimpType.p_o )
[51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Utils.p_o )
[52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Class.p_o )
[53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist-ghc/build/Cryptol/Testing/Random.p_o )
[54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist-ghc/build/Cryptol/Prims/Eval.p_o )
[55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist-ghc/build/Cryptol/Symbolic/Prims.p_o )
[56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric.p_o )
[57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, dist-ghc/build/Cryptol/TypeCheck/SimpleSolver.p_o )
[58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist-ghc/build/Cryptol/TypeCheck/Subst.p_o )
[59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist-ghc/build/Cryptol/TypeCheck/Unify.p_o )
[60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist-ghc/build/Cryptol/TypeCheck/TypeOf.p_o )
[61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, dist-ghc/build/Cryptol/ModuleSystem/InstantiateModule.p_o )

src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports]
    The import of `Cryptol.ModuleSystem.Exports' is redundant
      except perhaps to import instances from `Cryptol.ModuleSystem.Exports'
    To import instances alone, use: import Cryptol.ModuleSystem.Exports()
   |
15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Improve.p_o )
[63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist-ghc/build/Cryptol/TypeCheck/InferTypes.p_o )

src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports]
    The import of `Cryptol.Utils.Patterns' is redundant
      except perhaps to import instances from `Cryptol.Utils.Patterns'
    To import instances alone, use: import Cryptol.Utils.Patterns()
   |
31 | import           Cryptol.Utils.Patterns(matchMaybe)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/SMT.p_o )
[65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, dist-ghc/build/Cryptol/TypeCheck/Error.p_o )
[66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist-ghc/build/Cryptol/TypeCheck/Monad.p_o )
[67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Selector.p_o )
[68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist-ghc/build/Cryptol/TypeCheck/Sanity.p_o )
[69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist-ghc/build/Cryptol/TypeCheck/Depends.p_o )
[70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, dist-ghc/build/Cryptol/TypeCheck/Default.p_o )
[71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist-ghc/build/Cryptol/TypeCheck/Solve.p_o )

src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports]
    The import of `Cryptol.Utils.PP' is redundant
      except perhaps to import instances from `Cryptol.Utils.PP'
    To import instances alone, use: import Cryptol.Utils.PP()
   |
37 | import           Cryptol.Utils.PP (text,vcat,(<+>))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist-ghc/build/Cryptol/TypeCheck/Kind.p_o )
[73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist-ghc/build/Cryptol/TypeCheck/Instantiate.p_o )
[74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist-ghc/build/Cryptol/TypeCheck/Infer.p_o )
[75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, dist-ghc/build/Cryptol/TypeCheck/CheckModuleInstance.p_o )

src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports]
    The import of `Name'
    from module `Cryptol.ModuleSystem.Name' is redundant
  |
9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc)
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist-ghc/build/Cryptol/TypeCheck.p_o )
[77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist-ghc/build/Cryptol/ModuleSystem/Env.p_o )
[78 of 90] Compiling GitRev           ( src/GitRev.hs, dist-ghc/build/GitRev.p_o )
[79 of 90] Compiling Paths_cryptol    ( dist-ghc/build/autogen/Paths_cryptol.hs, dist-ghc/build/Paths_cryptol.p_o )
[80 of 90] Compiling Cryptol.Version  ( src/Cryptol/Version.hs, dist-ghc/build/Cryptol/Version.p_o )
[81 of 90] Compiling Cryptol.Parser   ( dist-ghc/build/Cryptol/Parser.hs, dist-ghc/build/Cryptol/Parser.p_o )
[82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist-ghc/build/Cryptol/Parser/NoInclude.p_o )
[83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist-ghc/build/Cryptol/ModuleSystem/Monad.p_o )
[84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist-ghc/build/Cryptol/ModuleSystem/Base.p_o )
[85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist-ghc/build/Cryptol/ModuleSystem.p_o )
[86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist-ghc/build/Cryptol/Transform/Specialize.p_o )
[87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist-ghc/build/Cryptol/Symbolic.p_o )
[88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist-ghc/build/Cryptol/REPL/Monad.p_o )
[89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, dist-ghc/build/Cryptol/Eval/Reference.p_o )

src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports]
    The import of `Data.Semigroup' is redundant
      except perhaps to import instances from `Data.Semigroup'
    To import instances alone, use: import Data.Semigroup()
   |
26 | > import Data.Semigroup (Semigroup(..))
   |   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist-ghc/build/Cryptol/REPL/Command.p_o )

src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports]
    The import of `backticks'
    from module `Cryptol.TypeCheck.PP' is redundant
   |
75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Preprocessing executable 'cryptol' for cryptol-2.8.0..
Building executable 'cryptol' for cryptol-2.8.0..
[1 of 5] Compiling OptParser        ( cryptol/OptParser.hs, dist-ghc/build/cryptol/cryptol-tmp/OptParser.o )

cryptol/OptParser.hs:12: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()
   |
12 | import Data.Monoid (Endo(..))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[2 of 5] Compiling Paths_cryptol    ( dist-ghc/build/cryptol/autogen/Paths_cryptol.hs, dist-ghc/build/cryptol/cryptol-tmp/Paths_cryptol.o )
[3 of 5] Compiling REPL.Haskeline   ( cryptol/REPL/Haskeline.hs, dist-ghc/build/cryptol/cryptol-tmp/REPL/Haskeline.o )
[4 of 5] Compiling REPL.Logo        ( cryptol/REPL/Logo.hs, dist-ghc/build/cryptol/cryptol-tmp/REPL/Logo.o )
[5 of 5] Compiling Main             ( cryptol/Main.hs, dist-ghc/build/cryptol/cryptol-tmp/Main.o )
Linking dist-ghc/build/cryptol/cryptol ...
Preprocessing executable 'cryptol-html' for cryptol-2.8.0..
Building executable 'cryptol-html' for cryptol-2.8.0..
[1 of 1] Compiling Main             ( utils/CryHtml.hs, dist-ghc/build/cryptol-html/cryptol-html-tmp/Main.o )
Linking dist-ghc/build/cryptol-html/cryptol-html ...
touch build-ghc-stamp
DEB_ENABLE_TESTS not set to yes, not running any tests.
touch check-ghc-stamp
Adding cdbs dependencies to debian/libghc-cryptol-dev.substvars
dh_installdirs -plibghc-cryptol-dev \
	
debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc
Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg
Installing executable cryptol in debian/tmp-inst-ghc/usr/bin
Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search
path.
Installing executable cryptol-html in debian/tmp-inst-ghc/usr/bin
Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search
path.
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
extra_depends_recipe ghc
Running dh_haskell_extra_depends ghc cryptol-2.8.0.conf
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
install_dev_recipe "libghc-cryptol-dev"
Running cd debian/tmp-inst-ghc
Running mkdir -p usr/lib/haskell-packages/ghc/lib
Running find usr/lib/haskell-packages/ghc/lib/ \( \! -name \*_p.a \! -name \*.p_hi \! -type d \) -exec install -Dm 644 \{\} ../libghc-cryptol-dev/\{\} \;
Running install -Dm 644 cryptol-2.8.0.conf debian/libghc-cryptol-dev/var/lib/ghc/package.conf.d/cryptol-2.8.0.conf
Running rm -f cryptol-2.8.0.conf
Running dh_haskell_provides -plibghc-cryptol-dev
Running dh_haskell_depends -plibghc-cryptol-dev
Running dh_haskell_shlibdeps -plibghc-cryptol-dev
dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory
dh_haskell_blurbs "ghc" -plibghc-cryptol-dev
Adding cdbs dependencies to debian/libghc-cryptol-prof.substvars
dh_installdirs -plibghc-cryptol-prof \
	
. /usr/share/haskell-devscripts/Dh_Haskell.sh && \
install_prof_recipe "libghc-cryptol-prof"
Running cd debian/tmp-inst-ghc
Running mkdir -p usr/lib/haskell-packages/ghc/lib
Running find usr/lib/haskell-packages/ghc/lib/ \! \( \! -name \*_p.a \! -name \*.p_hi \) -exec install -Dm 644 \{\} ../libghc-cryptol-prof/\{\} \;
Running dh_haskell_provides -plibghc-cryptol-prof
Running dh_haskell_depends -plibghc-cryptol-prof
dh_haskell_blurbs "ghc" -plibghc-cryptol-prof
Adding cdbs dependencies to debian/cryptol.substvars
dh_installdirs -pcryptol \
	
dh_haskell_blurbs "ghc" -pcryptol
dh_installdocs -plibghc-cryptol-dev 
dh_installexamples -plibghc-cryptol-dev 
dh_installman -plibghc-cryptol-dev 
dh_installinfo -plibghc-cryptol-dev 
dh_installmenu -plibghc-cryptol-dev 
dh_installcron -plibghc-cryptol-dev 
dh_systemd_enable -plibghc-cryptol-dev 
dh_installinit -plibghc-cryptol-dev 
dh_installdebconf -plibghc-cryptol-dev 
dh_installemacsen -plibghc-cryptol-dev 
dh_installcatalogs -plibghc-cryptol-dev 
dh_installpam -plibghc-cryptol-dev 
dh_installlogrotate -plibghc-cryptol-dev 
dh_installlogcheck -plibghc-cryptol-dev 
dh_installchangelogs -plibghc-cryptol-dev 
dh_installudev -plibghc-cryptol-dev 
dh_lintian -plibghc-cryptol-dev 
dh_bugfiles -plibghc-cryptol-dev 
dh_install -plibghc-cryptol-dev 
dh_systemd_start -plibghc-cryptol-dev 
dh_link -plibghc-cryptol-dev 
dh_buildinfo -plibghc-cryptol-dev 
dh_installmime -plibghc-cryptol-dev 
dh_installgsettings -plibghc-cryptol-dev 
dh_installdocs -plibghc-cryptol-prof 
dh_installexamples -plibghc-cryptol-prof 
dh_installman -plibghc-cryptol-prof 
dh_installinfo -plibghc-cryptol-prof 
dh_installmenu -plibghc-cryptol-prof 
dh_installcron -plibghc-cryptol-prof 
dh_systemd_enable -plibghc-cryptol-prof 
dh_installinit -plibghc-cryptol-prof 
dh_installdebconf -plibghc-cryptol-prof 
dh_installemacsen -plibghc-cryptol-prof 
dh_installcatalogs -plibghc-cryptol-prof 
dh_installpam -plibghc-cryptol-prof 
dh_installlogrotate -plibghc-cryptol-prof 
dh_installlogcheck -plibghc-cryptol-prof 
dh_installchangelogs -plibghc-cryptol-prof 
dh_installudev -plibghc-cryptol-prof 
dh_lintian -plibghc-cryptol-prof 
dh_bugfiles -plibghc-cryptol-prof 
dh_install -plibghc-cryptol-prof 
dh_systemd_start -plibghc-cryptol-prof 
dh_link -plibghc-cryptol-prof 
dh_buildinfo -plibghc-cryptol-prof 
dh_installmime -plibghc-cryptol-prof 
dh_installgsettings -plibghc-cryptol-prof 
dh_installdocs -pcryptol 
dh_installexamples -pcryptol 
dh_installman -pcryptol 
dh_installinfo -pcryptol 
dh_installmenu -pcryptol 
dh_installcron -pcryptol 
dh_systemd_enable -pcryptol 
dh_installinit -pcryptol 
dh_installdebconf -pcryptol 
dh_installemacsen -pcryptol 
dh_installcatalogs -pcryptol 
dh_installpam -pcryptol 
dh_installlogrotate -pcryptol 
dh_installlogcheck -pcryptol 
dh_installchangelogs -pcryptol 
dh_installudev -pcryptol 
dh_lintian -pcryptol 
dh_bugfiles -pcryptol 
dh_install -pcryptol 
dh_systemd_start -pcryptol 
dh_link -pcryptol 
dh_buildinfo -pcryptol 
dh_installmime -pcryptol 
dh_installgsettings -pcryptol 
dh_strip -plibghc-cryptol-dev  --no-automatic-dbgsym
dh_strip_nondeterminism -plibghc-cryptol-dev 
dh_compress -plibghc-cryptol-dev -X .haddock -X .hs -X .txt
dh_fixperms -plibghc-cryptol-dev 
dh_makeshlibs -plibghc-cryptol-dev -XlibHS 
dh_strip -plibghc-cryptol-prof  --no-automatic-dbgsym
dh_strip_nondeterminism -plibghc-cryptol-prof 
dh_compress -plibghc-cryptol-prof -X .haddock -X .hs -X .txt
dh_fixperms -plibghc-cryptol-prof 
dh_makeshlibs -plibghc-cryptol-prof -XlibHS 
dh_strip -pcryptol  --no-automatic-dbgsym
dh_strip_nondeterminism -pcryptol 
dh_compress -pcryptol -X .haddock -X .hs -X .txt
dh_fixperms -pcryptol 
dh_makeshlibs -pcryptol -XlibHS 
dh_installdeb -plibghc-cryptol-dev 
dh_perl -plibghc-cryptol-dev 
dh_shlibdeps -plibghc-cryptol-dev -- --ignore-missing-info
dpkg-shlibdeps: warning: debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so contains an unresolvable reference to symbol stg_SRT_5_info: it's probably a plugin
dpkg-shlibdeps: warning: 85 other similar warnings have been skipped (use -v to see them all)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSsyb-0.7.1-HZot41yU46FEB2GjLEhNpM-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHStemplate-haskell-2.15.0.0-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSstm-2.5.0.0-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.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-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHScrackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSbinary-0.8.7.0-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSbase-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSgitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSasync-2.2.2-1jIe70QEPH1GVJJWPbuUZ4-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHStransformers-0.5.6.2-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSbase-orphans-0.8.2-1Y1ZqNmIsRFEurBzE3x0AA-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHShashable-1.3.0.0-AOP4LTmShW4Dax9brHgY53-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSarray-0.5.4.0-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSmtl-2.2.2-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against librt.so.1 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSheredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSghc-boot-th-8.8.4-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSFloatingHex-0.4-HBuF3AVXDMJCGHQvWDd2Db-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSsplitmix-0.0.5-j9K9krpGkdGhQ6Sn7hT5L-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libutil.so.1 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSstrict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSth-abstraction-0.3.2.0-D5zRQZUNFcq6kU1WHIrSvs-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libdl.so.2 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHStransformers-compat-0.6.5-A4x1bZ0pdPp2fWbX7DA2EW-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSgeneric-deriving-1.13.1-401x1KvA5C638rgKTLqAa8-ghc8.8.4.so (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so was not linked against libHSQuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD-ghc8.8.4.so (it uses none of the library's symbols)
dh_installdeb -plibghc-cryptol-prof 
dh_perl -plibghc-cryptol-prof 
dh_shlibdeps -plibghc-cryptol-prof -- --ignore-missing-info
dh_installdeb -pcryptol 
dh_perl -pcryptol 
dh_shlibdeps -pcryptol -- --ignore-missing-info
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/cryptol/usr/bin/cryptol was not linked against librt.so.1 (it uses none of the library's symbols)
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/cryptol/usr/bin/cryptol was not linked against libutil.so.1 (it uses none of the library's symbols)
dh_gencontrol -plibghc-cryptol-dev  -- '-DGHC-Package=${haskell:ghc-package}'
dpkg-gencontrol: warning: Conflicts field of package libghc-cryptol-dev: substitution variable ${haskell:Conflicts} used, but is not defined
dpkg-gencontrol: warning: package libghc-cryptol-dev: substitution variable ${haskell:ghc-version} unused, but is defined
dh_md5sums -plibghc-cryptol-dev 
dh_builddeb -plibghc-cryptol-dev 
dpkg-deb: building package 'libghc-cryptol-dev' in '../libghc-cryptol-dev_2.8.0-1+b2_armhf.deb'.
dh_gencontrol -plibghc-cryptol-prof  
dpkg-gencontrol: warning: Conflicts field of package libghc-cryptol-prof: substitution variable ${haskell:Conflicts} used, but is not defined
dpkg-gencontrol: warning: package libghc-cryptol-prof: substitution variable ${haskell:ghc-version} unused, but is defined
dh_md5sums -plibghc-cryptol-prof 
dh_builddeb -plibghc-cryptol-prof 
dpkg-deb: building package 'libghc-cryptol-prof' in '../libghc-cryptol-prof_2.8.0-1+b2_armhf.deb'.
dh_gencontrol -pcryptol  
dpkg-gencontrol: warning: Depends field of package cryptol: substitution variable ${haskell:Depends} used, but is not defined
dpkg-gencontrol: warning: Recommends field of package cryptol: substitution variable ${haskell:Recommends} used, but is not defined
dpkg-gencontrol: warning: Suggests field of package cryptol: substitution variable ${haskell:Suggests} used, but is not defined
dpkg-gencontrol: warning: Conflicts field of package cryptol: substitution variable ${haskell:Conflicts} used, but is not defined
dpkg-gencontrol: warning: Provides field of package cryptol: substitution variable ${haskell:Provides} used, but is not defined
dpkg-gencontrol: warning: package cryptol: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-gencontrol: warning: package cryptol: substitution variable ${haskell:Blurb} used, but is not defined
dpkg-gencontrol: warning: package cryptol: substitution variable ${haskell:ghc-version} unused, but is defined
dh_md5sums -pcryptol 
dh_builddeb -pcryptol 
dpkg-deb: building package 'cryptol' in '../cryptol_2.8.0-1+b2_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../haskell-cryptol_2.8.0-1+b2_armhf.changes
dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined
dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
 dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2021-10-04T06:21:13Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Post Build Chroot                                                            |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


haskell-cryptol_2.8.0-1+b2_armhf.changes:
-----------------------------------------

Format: 1.8
Date: Fri, 10 Jul 2020 18:14:32 -0400
Source: haskell-cryptol (2.8.0-1)
Binary: cryptol libghc-cryptol-dev libghc-cryptol-prof
Binary-Only: yes
Architecture: armhf
Version: 2.8.0-1+b2
Distribution: bookworm-staging
Urgency: low
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Raspbian wandboard test autobuilder <root@raspbian.org>
Description:
 cryptol    -
 libghc-cryptol-dev -
 libghc-cryptol-prof -
Changes:
 haskell-cryptol (2.8.0-1+b2) bookworm-staging; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for armhf; no source changes.
   * rebuild due to debcheck failure
Checksums-Sha1:
 7b9c9e60958fa22784ff052b229ed569e36fdda3 3290348 cryptol_2.8.0-1+b2_armhf.deb
 488a5eb061168a9137275faa069823e4381e665b 9280 haskell-cryptol_2.8.0-1+b2_armhf.buildinfo
 3a11ab526afcc013e5265cd5c640c9d64c8954b6 4632192 libghc-cryptol-dev_2.8.0-1+b2_armhf.deb
 2736952501b60060a4c140bfdad914602d2fd752 4397832 libghc-cryptol-prof_2.8.0-1+b2_armhf.deb
Checksums-Sha256:
 e19a39f231a870e2d791d26a5c7dc4af602719ec0d1cc0cda528dc048061db3e 3290348 cryptol_2.8.0-1+b2_armhf.deb
 557fb62181ec05eeaccb24e7bdac1031ffe580c142ec6aae91f782894722b91b 9280 haskell-cryptol_2.8.0-1+b2_armhf.buildinfo
 10911f5772dbe9a37257434e3418ee0798bb560137e72d23d10de241c929ac84 4632192 libghc-cryptol-dev_2.8.0-1+b2_armhf.deb
 efef0d0a597bbcaf587aaf73dab20b6fd10a7b36fe08181e3af907708bf9e58c 4397832 libghc-cryptol-prof_2.8.0-1+b2_armhf.deb
Files:
 92dceb612923aeddff7914a02ba72539 3290348 utils optional cryptol_2.8.0-1+b2_armhf.deb
 5bfdf1c65d88baa9608e459b44d4e61a 9280 haskell optional haskell-cryptol_2.8.0-1+b2_armhf.buildinfo
 fac92023c06dc48d9830302c06b27671 4632192 haskell optional libghc-cryptol-dev_2.8.0-1+b2_armhf.deb
 2ab191c22025eebf734c5c64262f5c06 4397832 haskell optional libghc-cryptol-prof_2.8.0-1+b2_armhf.deb

+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


cryptol_2.8.0-1+b2_armhf.deb
----------------------------

 new Debian package, version 2.0.
 size 3290348 bytes: control archive=900 bytes.
     643 bytes,    15 lines      control              
     552 bytes,     8 lines      md5sums              
 Package: cryptol
 Source: haskell-cryptol (2.8.0-1)
 Version: 2.8.0-1+b2
 Architecture: armhf
 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
 Installed-Size: 20087
 Depends: z3, libc6 (>= 2.29), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg), libtinfo6 (>= 6)
 Section: utils
 Priority: optional
 Homepage: http://www.cryptol.net/
 Description: domain-specific language of cryptography
  Cryptol is a domain-specific language for specifying cryptographic
  algorithms. A Cryptol implementation of an algorithm resembles its
  mathematical specification more closely than an implementation in
  a general purpose language.

drwxr-xr-x root/root         0 2020-07-10 22:14 ./
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/bin/
-rwxr-xr-x root/root  20520660 2020-07-10 22:14 ./usr/bin/cryptol
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/cryptol/
-rw-r--r-- root/root     23791 2001-09-09 01:46 ./usr/share/cryptol/Cryptol.cry
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/doc/cryptol/
-rw-r--r-- root/root      4537 2020-07-10 22:14 ./usr/share/doc/cryptol/buildinfo_armhf.gz
-rw-r--r-- root/root       227 2020-07-10 22:14 ./usr/share/doc/cryptol/changelog.Debian.armhf.gz
-rw-r--r-- root/root       931 2020-07-10 22:14 ./usr/share/doc/cryptol/changelog.Debian.gz
-rw-r--r-- root/root      2130 2001-09-09 01:46 ./usr/share/doc/cryptol/changelog.gz
-rw-r--r-- root/root      1872 2020-07-10 22:14 ./usr/share/doc/cryptol/copyright
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/lintian/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/lintian/overrides/
-rw-r--r-- root/root        30 2020-02-08 01:58 ./usr/share/lintian/overrides/cryptol


libghc-cryptol-dev_2.8.0-1+b2_armhf.deb
---------------------------------------

 new Debian package, version 2.0.
 size 4632192 bytes: control archive=6000 bytes.
    1774 bytes,    21 lines      control              
   28483 bytes,   189 lines      md5sums              
 Package: libghc-cryptol-dev
 Source: haskell-cryptol (2.8.0-1)
 Version: 2.8.0-1+b2
 Architecture: armhf
 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
 Installed-Size: 46440
 Depends: libghc-graphscc-dev-1.0.4-70f0d, libghc-array-dev-0.5.4.0-0281a, libghc-base-dev-4.13.0.0-5b8ba, libghc-base-compat-dev-0.11.1-cd75a, libghc-bytestring-dev-0.10.10.1-92515, libghc-containers-dev-0.6.2.1-53ee1, libghc-cryptohash-sha1-dev-0.11.100.1-31216, libghc-deepseq-dev-1.4.4.0-5e065, libghc-directory-dev-1.3.6.0-6c350, libghc-filepath-dev-1.4.2.1-8143b, libghc-gitrev-dev-1.3.1-cf49e, libghc-heredoc-dev-0.2.0.0-6aa36, libghc-monad-control-dev-1.0.2.3-6f38c, libghc-monadlib-dev-3.10-bfb4e, libghc-mtl-dev-2.2.2-c5b7a, libghc-panic-dev-0.4.0.1-1f9b2, libghc-pretty-dev-1.1.3.6-96d07, libghc-process-dev-1.6.9.0-83e3e, libghc-random-dev-1.1-406f9, libghc-sbv-dev-8.7-0ec89, libghc-simple-smt-dev-0.9.5-b2dae, libghc-strict-dev-0.3.2-610d6, libghc-text-dev-1.2.4.0-9798c, libghc-tf-random-dev-0.5-f6aad, libghc-time-dev-1.9.3-8c784, libghc-transformers-base-dev-0.4.5.2-0920c, libc6 (>= 2.29), libgmp10 (>= 2:6.2.1+dfsg)
 Suggests: libghc-cryptol-doc, libghc-cryptol-prof
 Provides: libghc-cryptol-dev-2.8.0-59207
 Section: haskell
 Priority: optional
 Homepage: http://www.cryptol.net/
 Description: domain-specific language of cryptography
  Cryptol is a domain-specific language for specifying cryptographic
  algorithms. A Cryptol implementation of an algorithm resembles its
  mathematical specification more closely than an implementation in
  a general purpose language.
  .
  This package provides a library for the Haskell programming language.
  See http://www.haskell.org/ for more information on Haskell.
 Ghc-Package: cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg

drwxr-xr-x root/root         0 2020-07-10 22:14 ./
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/
-rw-r--r-- root/root     28333 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval.dyn_hi
-rw-r--r-- root/root     28321 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/
-rw-r--r-- root/root      2308 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Arch.dyn_hi
-rw-r--r-- root/root      2296 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Arch.hi
-rw-r--r-- root/root     32925 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Env.dyn_hi
-rw-r--r-- root/root     32913 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Env.hi
-rw-r--r-- root/root     57450 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Monad.dyn_hi
-rw-r--r-- root/root     57438 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Monad.hi
-rw-r--r-- root/root     29095 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Reference.dyn_hi
-rw-r--r-- root/root     29083 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Reference.hi
-rw-r--r-- root/root     84227 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Type.dyn_hi
-rw-r--r-- root/root     84215 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Type.hi
-rw-r--r-- root/root    203813 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Value.dyn_hi
-rw-r--r-- root/root    203801 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Value.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/IR/
-rw-r--r-- root/root     38458 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/IR/FreeVars.dyn_hi
-rw-r--r-- root/root     38446 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/IR/FreeVars.hi
-rw-r--r-- root/root     35995 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem.dyn_hi
-rw-r--r-- root/root     35983 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/
-rw-r--r-- root/root     68601 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Base.dyn_hi
-rw-r--r-- root/root     68589 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Base.hi
-rw-r--r-- root/root    123920 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Env.dyn_hi
-rw-r--r-- root/root    123908 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Env.hi
-rw-r--r-- root/root     23287 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Exports.dyn_hi
-rw-r--r-- root/root     23275 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Exports.hi
-rw-r--r-- root/root      9630 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Fingerprint.dyn_hi
-rw-r--r-- root/root      9618 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Fingerprint.hi
-rw-r--r-- root/root     39086 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/InstantiateModule.dyn_hi
-rw-r--r-- root/root     39074 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/InstantiateModule.hi
-rw-r--r-- root/root     81593 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Interface.dyn_hi
-rw-r--r-- root/root     81581 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Interface.hi
-rw-r--r-- root/root    179905 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Monad.dyn_hi
-rw-r--r-- root/root    179893 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Monad.hi
-rw-r--r-- root/root    110990 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Name.dyn_hi
-rw-r--r-- root/root    110978 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Name.hi
-rw-r--r-- root/root     98833 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/NamingEnv.dyn_hi
-rw-r--r-- root/root     98821 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/NamingEnv.hi
-rw-r--r-- root/root    293591 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Renamer.dyn_hi
-rw-r--r-- root/root    293579 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Renamer.hi
-rw-r--r-- root/root    162030 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser.dyn_hi
-rw-r--r-- root/root    162018 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/
-rw-r--r-- root/root    907602 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/AST.dyn_hi
-rw-r--r-- root/root    907590 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/AST.hi
-rw-r--r-- root/root     22727 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Fixity.dyn_hi
-rw-r--r-- root/root     22715 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Fixity.hi
-rw-r--r-- root/root     24217 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Lexer.dyn_hi
-rw-r--r-- root/root     24205 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Lexer.hi
-rw-r--r-- root/root   1046880 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/LexerUtils.dyn_hi
-rw-r--r-- root/root   1046868 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/LexerUtils.hi
-rw-r--r-- root/root     44256 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Name.dyn_hi
-rw-r--r-- root/root     44244 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Name.hi
-rw-r--r-- root/root     26888 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Names.dyn_hi
-rw-r--r-- root/root     26876 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Names.hi
-rw-r--r-- root/root     44837 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/NoInclude.dyn_hi
-rw-r--r-- root/root     44825 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/NoInclude.hi
-rw-r--r-- root/root     97957 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/NoPat.dyn_hi
-rw-r--r-- root/root     97945 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/NoPat.hi
-rw-r--r-- root/root    128380 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/ParserUtils.dyn_hi
-rw-r--r-- root/root    128368 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/ParserUtils.hi
-rw-r--r-- root/root     65620 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Position.dyn_hi
-rw-r--r-- root/root     65608 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Position.hi
-rw-r--r-- root/root     43261 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Selector.dyn_hi
-rw-r--r-- root/root     43249 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Selector.hi
-rw-r--r-- root/root     11235 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Unlit.dyn_hi
-rw-r--r-- root/root     11223 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Unlit.hi
-rw-r--r-- root/root      4901 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Utils.dyn_hi
-rw-r--r-- root/root      4889 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Utils.hi
-rw-r--r-- root/root     35972 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prelude.dyn_hi
-rw-r--r-- root/root     35960 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prelude.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prims/
-rw-r--r-- root/root    210648 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prims/Eval.dyn_hi
-rw-r--r-- root/root    210636 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prims/Eval.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/
-rw-r--r-- root/root    107863 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Command.dyn_hi
-rw-r--r-- root/root    107851 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Command.hi
-rw-r--r-- root/root    129683 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Monad.dyn_hi
-rw-r--r-- root/root    129671 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Monad.hi
-rw-r--r-- root/root     10809 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Trie.dyn_hi
-rw-r--r-- root/root     10797 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Trie.hi
-rw-r--r-- root/root     52621 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic.dyn_hi
-rw-r--r-- root/root     52609 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/
-rw-r--r-- root/root    130602 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/Prims.dyn_hi
-rw-r--r-- root/root    130590 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/Prims.hi
-rw-r--r-- root/root     39701 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/Value.dyn_hi
-rw-r--r-- root/root     39689 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/Value.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/
-rw-r--r-- root/root     18896 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/Concrete.dyn_hi
-rw-r--r-- root/root     18884 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/Concrete.hi
-rw-r--r-- root/root     36457 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/Random.dyn_hi
-rw-r--r-- root/root     36445 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/Random.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/
-rw-r--r-- root/root     32704 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/AddModParams.dyn_hi
-rw-r--r-- root/root     32692 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/AddModParams.hi
-rw-r--r-- root/root     23147 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/MonoValues.dyn_hi
-rw-r--r-- root/root     23135 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/MonoValues.hi
-rw-r--r-- root/root     64421 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/Specialize.dyn_hi
-rw-r--r-- root/root     64409 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/Specialize.hi
-rw-r--r-- root/root     23221 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck.dyn_hi
-rw-r--r-- root/root     23209 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/
-rw-r--r-- root/root    388956 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/AST.dyn_hi
-rw-r--r-- root/root    388944 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/AST.hi
-rw-r--r-- root/root     16176 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/CheckModuleInstance.dyn_hi
-rw-r--r-- root/root     16164 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/CheckModuleInstance.hi
-rw-r--r-- root/root     15540 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Default.dyn_hi
-rw-r--r-- root/root     15528 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Default.hi
-rw-r--r-- root/root     34341 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Depends.dyn_hi
-rw-r--r-- root/root     34329 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Depends.hi
-rw-r--r-- root/root    310405 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Error.dyn_hi
-rw-r--r-- root/root    310393 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Error.hi
-rw-r--r-- root/root     26708 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Infer.dyn_hi
-rw-r--r-- root/root     26696 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Infer.hi
-rw-r--r-- root/root    187647 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/InferTypes.dyn_hi
-rw-r--r-- root/root    187635 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/InferTypes.hi
-rw-r--r-- root/root     13916 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Instantiate.dyn_hi
-rw-r--r-- root/root     13904 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Instantiate.hi
-rw-r--r-- root/root     33613 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Kind.dyn_hi
-rw-r--r-- root/root     33601 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Kind.hi
-rw-r--r-- root/root    227574 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Monad.dyn_hi
-rw-r--r-- root/root    227562 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Monad.hi
-rw-r--r-- root/root     11326 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/PP.dyn_hi
-rw-r--r-- root/root     11314 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/PP.hi
-rw-r--r-- root/root     32146 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Parseable.dyn_hi
-rw-r--r-- root/root     32134 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Parseable.hi
-rw-r--r-- root/root     68644 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Sanity.dyn_hi
-rw-r--r-- root/root     68632 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Sanity.hi
-rw-r--r-- root/root     28877 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/SimpType.dyn_hi
-rw-r--r-- root/root     28865 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/SimpType.hi
-rw-r--r-- root/root      8362 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/SimpleSolver.dyn_hi
-rw-r--r-- root/root      8350 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/SimpleSolver.hi
-rw-r--r-- root/root     22598 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solve.dyn_hi
-rw-r--r-- root/root     22586 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solve.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/
-rw-r--r-- root/root     17085 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Class.dyn_hi
-rw-r--r-- root/root     17073 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Class.hi
-rw-r--r-- root/root      8758 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Improve.dyn_hi
-rw-r--r-- root/root      8746 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Improve.hi
-rw-r--r-- root/root     24642 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/InfNat.dyn_hi
-rw-r--r-- root/root     24630 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/InfNat.hi
-rw-r--r-- root/root      7917 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric.dyn_hi
-rw-r--r-- root/root      7905 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/
-rw-r--r-- root/root      6574 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/Fin.dyn_hi
-rw-r--r-- root/root      6562 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/Fin.hi
-rw-r--r-- root/root     42663 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/Interval.dyn_hi
-rw-r--r-- root/root     42651 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/Interval.hi
-rw-r--r-- root/root     47629 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/SMT.dyn_hi
-rw-r--r-- root/root     47617 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/SMT.hi
-rw-r--r-- root/root      8297 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Selector.dyn_hi
-rw-r--r-- root/root      8285 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Selector.hi
-rw-r--r-- root/root     14967 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Types.dyn_hi
-rw-r--r-- root/root     14955 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Types.hi
-rw-r--r-- root/root      6522 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Utils.dyn_hi
-rw-r--r-- root/root      6510 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Utils.hi
-rw-r--r-- root/root     45136 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Subst.dyn_hi
-rw-r--r-- root/root     45124 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Subst.hi
-rw-r--r-- root/root    420803 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TCon.dyn_hi
-rw-r--r-- root/root    420791 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TCon.hi
-rw-r--r-- root/root    351650 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Type.dyn_hi
-rw-r--r-- root/root    351638 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Type.hi
-rw-r--r-- root/root     43258 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypeMap.dyn_hi
-rw-r--r-- root/root     43246 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypeMap.hi
-rw-r--r-- root/root      7223 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypeOf.dyn_hi
-rw-r--r-- root/root      7211 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypeOf.hi
-rw-r--r-- root/root     34695 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypePat.dyn_hi
-rw-r--r-- root/root     34683 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypePat.hi
-rw-r--r-- root/root     17603 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Unify.dyn_hi
-rw-r--r-- root/root     17591 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Unify.hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/
-rw-r--r-- root/root      3174 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Debug.dyn_hi
-rw-r--r-- root/root      3162 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Debug.hi
-rw-r--r-- root/root     41730 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Ident.dyn_hi
-rw-r--r-- root/root     41718 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Ident.hi
-rw-r--r-- root/root      6585 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Logger.dyn_hi
-rw-r--r-- root/root      6573 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Logger.hi
-rw-r--r-- root/root      9856 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Misc.dyn_hi
-rw-r--r-- root/root      9844 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Misc.hi
-rw-r--r-- root/root     76228 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/PP.dyn_hi
-rw-r--r-- root/root     76216 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/PP.hi
-rw-r--r-- root/root      6498 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Panic.dyn_hi
-rw-r--r-- root/root      6486 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Panic.hi
-rw-r--r-- root/root     36549 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Patterns.dyn_hi
-rw-r--r-- root/root     36537 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Patterns.hi
-rw-r--r-- root/root      3265 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Version.dyn_hi
-rw-r--r-- root/root      3253 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Version.hi
-rw-r--r-- root/root      2926 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/GitRev.dyn_hi
-rw-r--r-- root/root      2914 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/GitRev.hi
-rw-r--r-- root/root     15149 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Paths_cryptol.dyn_hi
-rw-r--r-- root/root     15137 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Paths_cryptol.hi
-rw-r--r-- root/root  20270812 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg.a
-rw-r--r-- root/root  11483104 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg-ghc8.8.4.so
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-dev/
-rw-r--r-- root/root      4537 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-dev/buildinfo_armhf.gz
-rw-r--r-- root/root       227 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-dev/changelog.Debian.armhf.gz
-rw-r--r-- root/root       931 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-dev/changelog.Debian.gz
-rw-r--r-- root/root      2130 2001-09-09 01:46 ./usr/share/doc/libghc-cryptol-dev/changelog.gz
-rw-r--r-- root/root      1872 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-dev/copyright
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/lintian/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/lintian/overrides/
-rw-r--r-- root/root        30 2020-07-10 22:14 ./usr/share/lintian/overrides/libghc-cryptol-dev
drwxr-xr-x root/root         0 2020-07-10 22:14 ./var/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./var/lib/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./var/lib/ghc/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./var/lib/ghc/package.conf.d/
-rw-r--r-- root/root      4585 2020-07-10 22:14 ./var/lib/ghc/package.conf.d/cryptol-2.8.0.conf


libghc-cryptol-prof_2.8.0-1+b2_armhf.deb
----------------------------------------

 new Debian package, version 2.0.
 size 4397832 bytes: control archive=3748 bytes.
    1738 bytes,    19 lines      control              
   14393 bytes,    96 lines      md5sums              
 Package: libghc-cryptol-prof
 Source: haskell-cryptol (2.8.0-1)
 Version: 2.8.0-1+b2
 Architecture: armhf
 Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
 Installed-Size: 40206
 Depends: libghc-cryptol-dev (= 2.8.0-1+b2), libghc-graphscc-prof-1.0.4-70f0d, libghc-array-prof-0.5.4.0-0281a, libghc-base-prof-4.13.0.0-5b8ba, libghc-base-compat-prof-0.11.1-cd75a, libghc-bytestring-prof-0.10.10.1-92515, libghc-containers-prof-0.6.2.1-53ee1, libghc-cryptohash-sha1-prof-0.11.100.1-31216, libghc-deepseq-prof-1.4.4.0-5e065, libghc-directory-prof-1.3.6.0-6c350, libghc-filepath-prof-1.4.2.1-8143b, libghc-gitrev-prof-1.3.1-cf49e, libghc-heredoc-prof-0.2.0.0-6aa36, libghc-monad-control-prof-1.0.2.3-6f38c, libghc-monadlib-prof-3.10-bfb4e, libghc-mtl-prof-2.2.2-c5b7a, libghc-panic-prof-0.4.0.1-1f9b2, libghc-pretty-prof-1.1.3.6-96d07, libghc-process-prof-1.6.9.0-83e3e, libghc-random-prof-1.1-406f9, libghc-sbv-prof-8.7-0ec89, libghc-simple-smt-prof-0.9.5-b2dae, libghc-strict-prof-0.3.2-610d6, libghc-text-prof-1.2.4.0-9798c, libghc-tf-random-prof-0.5-f6aad, libghc-time-prof-1.9.3-8c784, libghc-transformers-base-prof-0.4.5.2-0920c
 Provides: libghc-cryptol-prof-2.8.0-59207
 Section: haskell
 Priority: optional
 Homepage: http://www.cryptol.net/
 Description: domain-specific language of cryptography; profiling libraries
  Cryptol is a domain-specific language for specifying cryptographic
  algorithms. A Cryptol implementation of an algorithm resembles its
  mathematical specification more closely than an implementation in
  a general purpose language.
  .
  This package provides a library for the Haskell programming language, compiled
  for profiling.  See http://www.haskell.org/ for more information on Haskell.

drwxr-xr-x root/root         0 2020-07-10 22:14 ./
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/
-rw-r--r-- root/root     28544 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/
-rw-r--r-- root/root      2327 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Arch.p_hi
-rw-r--r-- root/root     33428 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Env.p_hi
-rw-r--r-- root/root     61133 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Monad.p_hi
-rw-r--r-- root/root     28541 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Reference.p_hi
-rw-r--r-- root/root     87183 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Type.p_hi
-rw-r--r-- root/root    207701 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Eval/Value.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/IR/
-rw-r--r-- root/root     39008 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/IR/FreeVars.p_hi
-rw-r--r-- root/root     20571 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/
-rw-r--r-- root/root     74362 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Base.p_hi
-rw-r--r-- root/root    124694 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Env.p_hi
-rw-r--r-- root/root     23942 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Exports.p_hi
-rw-r--r-- root/root      9675 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Fingerprint.p_hi
-rw-r--r-- root/root     39851 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/InstantiateModule.p_hi
-rw-r--r-- root/root     83708 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Interface.p_hi
-rw-r--r-- root/root    221836 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Monad.p_hi
-rw-r--r-- root/root    117386 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Name.p_hi
-rw-r--r-- root/root    108563 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/NamingEnv.p_hi
-rw-r--r-- root/root    298654 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/ModuleSystem/Renamer.p_hi
-rw-r--r-- root/root    166720 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/
-rw-r--r-- root/root    918178 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/AST.p_hi
-rw-r--r-- root/root     22559 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Fixity.p_hi
-rw-r--r-- root/root     24025 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Lexer.p_hi
-rw-r--r-- root/root   1049001 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/LexerUtils.p_hi
-rw-r--r-- root/root     45326 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Name.p_hi
-rw-r--r-- root/root     28639 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Names.p_hi
-rw-r--r-- root/root     55578 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/NoInclude.p_hi
-rw-r--r-- root/root     93030 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/NoPat.p_hi
-rw-r--r-- root/root    141017 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/ParserUtils.p_hi
-rw-r--r-- root/root     70083 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Position.p_hi
-rw-r--r-- root/root     42070 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Selector.p_hi
-rw-r--r-- root/root     10974 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Unlit.p_hi
-rw-r--r-- root/root      4937 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Parser/Utils.p_hi
-rw-r--r-- root/root     36013 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prelude.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prims/
-rw-r--r-- root/root    243272 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Prims/Eval.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/
-rw-r--r-- root/root    105159 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Command.p_hi
-rw-r--r-- root/root    164857 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Monad.p_hi
-rw-r--r-- root/root     12565 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/REPL/Trie.p_hi
-rw-r--r-- root/root     53776 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/
-rw-r--r-- root/root    139446 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/Prims.p_hi
-rw-r--r-- root/root     39591 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Symbolic/Value.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/
-rw-r--r-- root/root     19336 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/Concrete.p_hi
-rw-r--r-- root/root     36749 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Testing/Random.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/
-rw-r--r-- root/root     32766 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/AddModParams.p_hi
-rw-r--r-- root/root     24733 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/MonoValues.p_hi
-rw-r--r-- root/root     67551 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Transform/Specialize.p_hi
-rw-r--r-- root/root     22945 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/
-rw-r--r-- root/root    396176 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/AST.p_hi
-rw-r--r-- root/root     16237 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/CheckModuleInstance.p_hi
-rw-r--r-- root/root     17153 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Default.p_hi
-rw-r--r-- root/root     39017 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Depends.p_hi
-rw-r--r-- root/root    315208 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Error.p_hi
-rw-r--r-- root/root     22524 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Infer.p_hi
-rw-r--r-- root/root    198116 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/InferTypes.p_hi
-rw-r--r-- root/root     14097 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Instantiate.p_hi
-rw-r--r-- root/root     41397 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Kind.p_hi
-rw-r--r-- root/root    249868 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Monad.p_hi
-rw-r--r-- root/root     11609 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/PP.p_hi
-rw-r--r-- root/root     35383 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Parseable.p_hi
-rw-r--r-- root/root     79159 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Sanity.p_hi
-rw-r--r-- root/root     33136 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/SimpType.p_hi
-rw-r--r-- root/root      8381 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/SimpleSolver.p_hi
-rw-r--r-- root/root     21004 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solve.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/
-rw-r--r-- root/root     17895 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Class.p_hi
-rw-r--r-- root/root      8663 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Improve.p_hi
-rw-r--r-- root/root     25146 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/InfNat.p_hi
-rw-r--r-- root/root      7936 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/
-rw-r--r-- root/root      6620 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/Fin.p_hi
-rw-r--r-- root/root     46549 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Numeric/Interval.p_hi
-rw-r--r-- root/root     44798 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/SMT.p_hi
-rw-r--r-- root/root      8289 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Selector.p_hi
-rw-r--r-- root/root     15867 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Types.p_hi
-rw-r--r-- root/root      6657 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Solver/Utils.p_hi
-rw-r--r-- root/root     46526 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Subst.p_hi
-rw-r--r-- root/root    411663 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TCon.p_hi
-rw-r--r-- root/root    360992 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Type.p_hi
-rw-r--r-- root/root     43989 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypeMap.p_hi
-rw-r--r-- root/root      7215 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypeOf.p_hi
-rw-r--r-- root/root     36840 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/TypePat.p_hi
-rw-r--r-- root/root     17624 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/TypeCheck/Unify.p_hi
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/
-rw-r--r-- root/root      3190 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Debug.p_hi
-rw-r--r-- root/root     40321 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Ident.p_hi
-rw-r--r-- root/root      6971 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Logger.p_hi
-rw-r--r-- root/root      9395 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Misc.p_hi
-rw-r--r-- root/root     79784 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/PP.p_hi
-rw-r--r-- root/root      8141 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Panic.p_hi
-rw-r--r-- root/root     36416 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Utils/Patterns.p_hi
-rw-r--r-- root/root      3365 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Cryptol/Version.p_hi
-rw-r--r-- root/root      2941 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/GitRev.p_hi
-rw-r--r-- root/root     15297 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/Paths_cryptol.p_hi
-rw-r--r-- root/root  32989992 2020-07-10 22:14 ./usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/cryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg/libHScryptol-2.8.0-11Z6ZaBuQbo1UTYpHYMeUg_p.a
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/doc/
drwxr-xr-x root/root         0 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-prof/
-rw-r--r-- root/root      4537 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-prof/buildinfo_armhf.gz
-rw-r--r-- root/root       227 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-prof/changelog.Debian.armhf.gz
-rw-r--r-- root/root       931 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-prof/changelog.Debian.gz
-rw-r--r-- root/root      2130 2001-09-09 01:46 ./usr/share/doc/libghc-cryptol-prof/changelog.gz
-rw-r--r-- root/root      1872 2020-07-10 22:14 ./usr/share/doc/libghc-cryptol-prof/copyright


+------------------------------------------------------------------------------+
| Post Build                                                                   |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build-Space: 478924
Build-Time: 11651
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 697
Job: haskell-cryptol_2.8.0-1
Machine Architecture: armhf
Package: haskell-cryptol
Package-Time: 12399
Source-Version: 2.8.0-1
Space: 478924
Status: successful
Version: 2.8.0-1+b2
--------------------------------------------------------------------------------
Finished at 2021-10-04T06:21:13Z
Build needed 03:26:39, 478924k disc space