haskell-cryptol →
2.8.0-1+b1 →
armhf → 2020-10-22 04:24:01
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on testwandboard
+==============================================================================+
| haskell-cryptol 2.8.0-1+b1 (armhf) Thu, 22 Oct 2020 01:05:29 +0000 |
+==============================================================================+
Package: haskell-cryptol
Version: 2.8.0-1+b1
Source Version: 2.8.0-1
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-c111a488-638e-4a8b-9c9b-1ec22ff952d1' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.7 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [12.7 MB]
Fetched 24.4 MB in 29s (841 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 bullseye-staging/main haskell-cryptol 2.8.0-1 (dsc) [3547 B]
Get:2 http://172.17.0.1/private bullseye-staging/main haskell-cryptol 2.8.0-1 (tar) [330 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main haskell-cryptol 2.8.0-1 (diff) [4512 B]
Fetched 338 kB in 0s (932 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/haskell-cryptol-12v4JX/haskell-cryptol-2.8.0' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/haskell-cryptol-12v4JX' 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-FHJu8g/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-FHJu8g/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-FHJu8g/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-FHJu8g/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Packages [432 B]
Fetched 2108 B in 1s (2560 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 packages were automatically installed and are no longer required:
bsdextrautils libpam-cap netbase sensible-utils
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 50 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-FHJu8g/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 (20.9 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12520 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-FHJu8g/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-FHJu8g/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Sources [771 B]
Get:5 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ Packages [850 B]
Fetched 2954 B in 1s (3806 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 packages were automatically installed and are no longer required:
libpam-cap netbase
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
alex autoconf automake autopoint autotools-dev binfmt-support 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 libcroco3 libcurl3-gnutls
libdebhelper-perl libedit2 libelf1 libffi-dev
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 libglib2.0-0
libgmp-dev libgmpxx4ldbl libgssapi-krb5-2 libicu67 libk5crypto3 libkeyutils1
libkrb5-3 libkrb5support0 libllvm9 libmagic-mgc libmagic1 libncurses-dev
libncurses5-dev libncurses6 libncursesw6 libnghttp2-14 libpfm4 libpipeline1
libpsl5 librtmp1 libsigsegv2 libssh2-1 libssl1.1 libsub-override-perl
libtinfo6 libtool libuchardet0 libxml2 libz3-4 llvm-9 llvm-9-runtime m4
man-db po-debconf
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 krb5-doc
krb5-user ncurses-doc libtool-doc gfortran | fortran95-compiler gcj-jdk
llvm-9-doc m4-doc apparmor less www-browser libmail-box-perl
Recommended packages:
curl | wget | lynx ca-certificates libarchive-cpio-perl libglib2.0-data
shared-mime-info xdg-user-dirs krb5-locales libgpm2 publicsuffix libltdl-dev
llvm-9-dev libmail-sendmail-perl
The following NEW packages will be installed:
alex autoconf automake autopoint autotools-dev binfmt-support 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 libcroco3 libcurl3-gnutls
libdebhelper-perl libedit2 libelf1 libffi-dev
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 libglib2.0-0
libgmp-dev libgmpxx4ldbl libgssapi-krb5-2 libicu67 libk5crypto3 libkeyutils1
libkrb5-3 libkrb5support0 libllvm9 libmagic-mgc libmagic1 libncurses-dev
libncurses5-dev libncurses6 libnghttp2-14 libpfm4 libpipeline1 libpsl5
librtmp1 libsigsegv2 libssh2-1 libssl1.1 libsub-override-perl libtool
libuchardet0 libxml2 libz3-4 llvm-9 llvm-9-runtime m4 man-db po-debconf
sbuild-build-depends-haskell-cryptol-dummy
The following packages will be upgraded:
libncursesw6 libtinfo6
2 upgraded, 130 newly installed, 0 to remove and 48 not upgraded.
Need to get 292 MB/293 MB of archives.
After this operation, 2488 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-FHJu8g/apt_archive ./ sbuild-build-depends-haskell-cryptol-dummy 0.invalid.0 [1120 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-5 [783 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.3-1 [29.9 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.9.3-2 [1269 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf binfmt-support armhf 2.2.1-1 [55.0 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf libtinfo6 armhf 6.2+20200918-1 [327 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libncursesw6 armhf 6.2+20200918-1 [105 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libedit2 armhf 3.1-20191231-1 [79.2 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf libz3-4 armhf 4.8.9-1 [5548 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf libllvm9 armhf 1:9.0.1-14+rpi1 [13.1 MB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf llvm-9-runtime armhf 1:9.0.1-14+rpi1 [186 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf libpfm4 armhf 4.10.1+git44-ga2909cd-1 [37.0 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf llvm-9 armhf 1:9.0.1-14+rpi1 [4070 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libgmpxx4ldbl armhf 2:6.2.0+dfsg-6 [22.1 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf libgmp-dev armhf 2:6.2.0+dfsg-6 [587 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libffi-dev armhf 3.3-4 [57.9 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libbsd-dev armhf 0.10.0-1 [231 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.2+20200918-1 [79.5 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf libncurses-dev armhf 6.2+20200918-1 [290 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf libncurses5-dev armhf 6.2+20200918-1 [940 B]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf ghc armhf 8.8.4-1+rpi1 [119 MB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.38-5 [262 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.38-5 [113 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.38-5 [67.0 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-10 [117 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf alex armhf 3.2.5-2 [414 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-4 [185 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11.1 [341 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.2-4 [801 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-10 [435 kB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf cdbs all 0.4.162 [82.6 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf dctrl-tools armhf 2.24-3 [94.2 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-14 [513 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf libdebhelper-perl all 13.2.1 [188 kB]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.9.0-1 [25.5 kB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.9.0-1 [15.2 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.181-1 [161 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-5 [142 kB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.66.1-1 [1174 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf libicu67 armhf 67.1-4 [8289 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.10+dfsg-6.1 [578 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-10 [1219 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 13.2.1 [1007 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf dh-buildinfo all 0.11+nmu2 [18.4 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf ghc-prof armhf 8.8.4-1+rpi1 [104 MB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf happy armhf 1.19.12-2 [510 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf libbrotli1 armhf 1.0.9-2 [259 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf libkrb5support0 armhf 1.17-10+b3 [62.0 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf libk5crypto3 armhf 1.17-10+b3 [112 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf libkeyutils1 armhf 1.6.1-2 [14.5 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf libkrb5-3 armhf 1.17-10+b3 [318 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf libgssapi-krb5-2 armhf 1.17-10+b3 [135 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf libnghttp2-14 armhf 1.41.0-3 [63.0 kB]
Get:64 http://172.17.0.1/private bullseye-staging/main armhf libpsl5 armhf 0.21.0-1.1 [54.2 kB]
Get:65 http://172.17.0.1/private bullseye-staging/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [54.2 kB]
Get:66 http://172.17.0.1/private bullseye-staging/main armhf libssh2-1 armhf 1.8.0-2.1 [126 kB]
Get:67 http://172.17.0.1/private bullseye-staging/main armhf libcurl3-gnutls armhf 7.72.0-1 [297 kB]
Get:68 http://172.17.0.1/private bullseye-staging/main armhf html-xml-utils armhf 7.7-1 [201 kB]
Get:69 http://172.17.0.1/private bullseye-staging/main armhf haskell-devscripts-minimal all 0.16.0 [40.8 kB]
Get:70 http://172.17.0.1/private bullseye-staging/main armhf hscolour armhf 1.24.4-3+b2 [344 kB]
Get:71 http://172.17.0.1/private bullseye-staging/main armhf haskell-devscripts all 0.16.0 [17.1 kB]
Get:72 http://172.17.0.1/private bullseye-staging/main armhf libghc-colour-dev armhf 2.3.5-2+b2 [227 kB]
Get:73 http://172.17.0.1/private bullseye-staging/main armhf libghc-ansi-terminal-dev armhf 0.10.3-1+b2 [168 kB]
Get:74 http://172.17.0.1/private bullseye-staging/main armhf libghc-hashable-dev armhf 1.3.0.0-2+b2 [111 kB]
Get:75 http://172.17.0.1/private bullseye-staging/main armhf libghc-async-dev armhf 2.2.2-2+b2 [76.9 kB]
Get:76 http://172.17.0.1/private bullseye-staging/main armhf libghc-hashable-prof armhf 1.3.0.0-2+b2 [96.0 kB]
Get:77 http://172.17.0.1/private bullseye-staging/main armhf libghc-async-prof armhf 2.2.2-2+b2 [69.9 kB]
Get:78 http://172.17.0.1/private bullseye-staging/main armhf libghc-base-compat-dev armhf 0.11.1-1+b2 [85.2 kB]
Get:79 http://172.17.0.1/private bullseye-staging/main armhf libghc-base-compat-prof armhf 0.11.1-1+b2 [66.4 kB]
Get:80 http://172.17.0.1/private bullseye-staging/main armhf libghc-base-orphans-dev armhf 0.8.2-1+b2 [77.1 kB]
Get:81 http://172.17.0.1/private bullseye-staging/main armhf libghc-base-orphans-prof armhf 0.8.2-1+b2 [71.0 kB]
Get:82 http://172.17.0.1/private bullseye-staging/main armhf libghc-blaze-builder-dev armhf 0.4.1.0-4+b2 [105 kB]
Get:83 http://172.17.0.1/private bullseye-staging/main armhf libghc-blaze-builder-prof armhf 0.4.1.0-4+b2 [99.3 kB]
Get:84 http://172.17.0.1/private bullseye-staging/main armhf libghc-blaze-markup-dev armhf 0.8.2.7-1+b1 [135 kB]
Get:85 http://172.17.0.1/private bullseye-staging/main armhf libghc-blaze-html-dev armhf 0.9.1.2-1+b3 [467 kB]
Get:86 http://172.17.0.1/private bullseye-staging/main armhf libghc-blaze-markup-prof armhf 0.8.2.7-1+b1 [130 kB]
Get:87 http://172.17.0.1/private bullseye-staging/main armhf libghc-blaze-html-prof armhf 0.9.1.2-1+b3 [327 kB]
Get:88 http://172.17.0.1/private bullseye-staging/main armhf libghc-floatinghex-dev armhf 0.4-4+b2 [32.6 kB]
Get:89 http://172.17.0.1/private bullseye-staging/main armhf libghc-cracknum-dev armhf 2.3-2+b2 [79.9 kB]
Get:90 http://172.17.0.1/private bullseye-staging/main armhf libghc-floatinghex-prof armhf 0.4-4+b2 [26.3 kB]
Get:91 http://172.17.0.1/private bullseye-staging/main armhf libghc-cracknum-prof armhf 2.3-2+b2 [70.6 kB]
Get:92 http://172.17.0.1/private bullseye-staging/main armhf libghc-cryptohash-sha1-dev armhf 0.11.100.1-6+b1 [28.6 kB]
Get:93 http://172.17.0.1/private bullseye-staging/main armhf libghc-cryptohash-sha1-prof armhf 0.11.100.1-6+b1 [23.9 kB]
Get:94 http://172.17.0.1/private bullseye-staging/main armhf libghc-th-abstraction-dev armhf 0.3.2.0-1+b2 [216 kB]
Get:95 http://172.17.0.1/private bullseye-staging/main armhf libghc-generic-deriving-dev armhf 1.13.1-1+b2 [901 kB]
Get:96 http://172.17.0.1/private bullseye-staging/main armhf libghc-th-abstraction-prof armhf 0.3.2.0-1+b2 [186 kB]
Get:97 http://172.17.0.1/private bullseye-staging/main armhf libghc-generic-deriving-prof armhf 1.13.1-1+b2 [799 kB]
Get:98 http://172.17.0.1/private bullseye-staging/main armhf libghc-gitrev-dev armhf 1.3.1-4+b3 [32.4 kB]
Get:99 http://172.17.0.1/private bullseye-staging/main armhf libghc-gitrev-prof armhf 1.3.1-4+b3 [26.8 kB]
Get:100 http://172.17.0.1/private bullseye-staging/main armhf libghc-graphscc-dev armhf 1.0.4-6+b2 [40.2 kB]
Get:101 http://172.17.0.1/private bullseye-staging/main armhf libghc-graphscc-prof armhf 1.0.4-6+b2 [32.3 kB]
Get:102 http://172.17.0.1/private bullseye-staging/main armhf libghc-heredoc-dev armhf 0.2.0.0-6+b2 [23.0 kB]
Get:103 http://172.17.0.1/private bullseye-staging/main armhf libghc-heredoc-prof armhf 0.2.0.0-6+b2 [18.8 kB]
Get:104 http://172.17.0.1/private bullseye-staging/main armhf libghc-transformers-compat-dev armhf 0.6.5-2+b2 [90.9 kB]
Get:105 http://172.17.0.1/private bullseye-staging/main armhf libghc-transformers-base-dev armhf 0.4.5.2-3+b2 [41.5 kB]
Get:106 http://172.17.0.1/private bullseye-staging/main armhf libghc-monad-control-dev armhf 1.0.2.3-4+b2 [49.4 kB]
Get:107 http://172.17.0.1/private bullseye-staging/main armhf libghc-transformers-compat-prof armhf 0.6.5-2+b2 [77.6 kB]
Get:108 http://172.17.0.1/private bullseye-staging/main armhf libghc-transformers-base-prof armhf 0.4.5.2-3+b2 [38.6 kB]
Get:109 http://172.17.0.1/private bullseye-staging/main armhf libghc-monad-control-prof armhf 1.0.2.3-4+b2 [46.1 kB]
Get:110 http://172.17.0.1/private bullseye-staging/main armhf libghc-monadlib-dev armhf 3.10-1+b2 [226 kB]
Get:111 http://172.17.0.1/private bullseye-staging/main armhf libghc-monadlib-prof armhf 3.10-1+b2 [206 kB]
Get:112 http://172.17.0.1/private bullseye-staging/main armhf libghc-panic-dev armhf 0.4.0.1-2+b2 [26.3 kB]
Get:113 http://172.17.0.1/private bullseye-staging/main armhf libghc-panic-prof armhf 0.4.0.1-2+b2 [22.0 kB]
Get:114 http://172.17.0.1/private bullseye-staging/main armhf libghc-primitive-dev armhf 0.7.0.1-1+b2 [379 kB]
Get:115 http://172.17.0.1/private bullseye-staging/main armhf libghc-primitive-prof armhf 0.7.0.1-1+b2 [316 kB]
Get:116 http://172.17.0.1/private bullseye-staging/main armhf libghc-random-dev armhf 1.1-12+b2 [167 kB]
Get:117 http://172.17.0.1/private bullseye-staging/main armhf libghc-splitmix-dev armhf 0.0.5-1+b1 [61.2 kB]
Get:118 http://172.17.0.1/private bullseye-staging/main armhf libghc-quickcheck2-dev armhf 2.13.2-1+b4 [754 kB]
Get:119 http://172.17.0.1/private bullseye-staging/main armhf libghc-random-prof armhf 1.1-12+b2 [129 kB]
Get:120 http://172.17.0.1/private bullseye-staging/main armhf libghc-splitmix-prof armhf 0.0.5-1+b1 [53.5 kB]
Get:121 http://172.17.0.1/private bullseye-staging/main armhf libghc-quickcheck2-prof armhf 2.13.2-1+b4 [646 kB]
Get:122 http://172.17.0.1/private bullseye-staging/main armhf libghc-syb-dev armhf 0.7.1-2+b2 [124 kB]
Get:123 http://172.17.0.1/private bullseye-staging/main armhf libghc-sbv-dev armhf 8.7-1+b2 [8002 kB]
Get:124 http://172.17.0.1/private bullseye-staging/main armhf libghc-syb-prof armhf 0.7.1-2+b2 [110 kB]
Get:125 http://172.17.0.1/private bullseye-staging/main armhf libghc-sbv-prof armhf 8.7-1+b2 [6245 kB]
Get:126 http://172.17.0.1/private bullseye-staging/main armhf libghc-simple-smt-dev armhf 0.9.5-1+b1 [111 kB]
Get:127 http://172.17.0.1/private bullseye-staging/main armhf libghc-simple-smt-prof armhf 0.9.5-1+b1 [89.4 kB]
Get:128 http://172.17.0.1/private bullseye-staging/main armhf libghc-strict-dev armhf 0.3.2-16+b2 [60.1 kB]
Get:129 http://172.17.0.1/private bullseye-staging/main armhf libghc-strict-prof armhf 0.3.2-16+b2 [51.9 kB]
Get:130 http://172.17.0.1/private bullseye-staging/main armhf libghc-tf-random-dev armhf 0.5-10+b3 [98.5 kB]
Get:131 http://172.17.0.1/private bullseye-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 292 MB in 2min 7s (2306 kB/s)
Selecting previously unselected package libuchardet0:armhf.
(Reading database ... 12520 files and directories currently installed.)
Preparing to unpack .../0-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../1-groff-base_1.22.4-5_armhf.deb ...
Unpacking groff-base (1.22.4-5) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../2-libpipeline1_1.5.3-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../3-man-db_2.9.3-2_armhf.deb ...
Unpacking man-db (2.9.3-2) ...
Selecting previously unselected package binfmt-support.
Preparing to unpack .../4-binfmt-support_2.2.1-1_armhf.deb ...
Unpacking binfmt-support (2.2.1-1) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../5-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Preparing to unpack .../6-libtinfo6_6.2+20200918-1_armhf.deb ...
Unpacking libtinfo6:armhf (6.2+20200918-1) over (6.2-1) ...
Setting up libtinfo6:armhf (6.2+20200918-1) ...
(Reading database ... 13067 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.2+20200918-1_armhf.deb ...
Unpacking libncursesw6:armhf (6.2+20200918-1) over (6.2-1) ...
Setting up libncursesw6:armhf (6.2+20200918-1) ...
Selecting previously unselected package libedit2:armhf.
(Reading database ... 13067 files and directories currently installed.)
Preparing to unpack .../000-libedit2_3.1-20191231-1_armhf.deb ...
Unpacking libedit2:armhf (3.1-20191231-1) ...
Selecting previously unselected package libz3-4:armhf.
Preparing to unpack .../001-libz3-4_4.8.9-1_armhf.deb ...
Unpacking libz3-4:armhf (4.8.9-1) ...
Selecting previously unselected package libllvm9:armhf.
Preparing to unpack .../002-libllvm9_1%3a9.0.1-14+rpi1_armhf.deb ...
Unpacking libllvm9:armhf (1:9.0.1-14+rpi1) ...
Selecting previously unselected package llvm-9-runtime.
Preparing to unpack .../003-llvm-9-runtime_1%3a9.0.1-14+rpi1_armhf.deb ...
Unpacking llvm-9-runtime (1:9.0.1-14+rpi1) ...
Selecting previously unselected package libpfm4:armhf.
Preparing to unpack .../004-libpfm4_4.10.1+git44-ga2909cd-1_armhf.deb ...
Unpacking libpfm4:armhf (4.10.1+git44-ga2909cd-1) ...
Selecting previously unselected package llvm-9.
Preparing to unpack .../005-llvm-9_1%3a9.0.1-14+rpi1_armhf.deb ...
Unpacking llvm-9 (1:9.0.1-14+rpi1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../006-libgmpxx4ldbl_2%3a6.2.0+dfsg-6_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.0+dfsg-6) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../007-libgmp-dev_2%3a6.2.0+dfsg-6_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.0+dfsg-6) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../008-libffi-dev_3.3-4_armhf.deb ...
Unpacking libffi-dev:armhf (3.3-4) ...
Selecting previously unselected package libbsd-dev:armhf.
Preparing to unpack .../009-libbsd-dev_0.10.0-1_armhf.deb ...
Unpacking libbsd-dev:armhf (0.10.0-1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../010-libncurses6_6.2+20200918-1_armhf.deb ...
Unpacking libncurses6:armhf (6.2+20200918-1) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../011-libncurses-dev_6.2+20200918-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.2+20200918-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../012-libncurses5-dev_6.2+20200918-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.2+20200918-1) ...
Selecting previously unselected package ghc.
Preparing to unpack .../013-ghc_8.8.4-1+rpi1_armhf.deb ...
Unpacking ghc (8.8.4-1+rpi1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../014-libmagic-mgc_1%3a5.38-5_armhf.deb ...
Unpacking libmagic-mgc (1:5.38-5) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../015-libmagic1_1%3a5.38-5_armhf.deb ...
Unpacking libmagic1:armhf (1:5.38-5) ...
Selecting previously unselected package file.
Preparing to unpack .../016-file_1%3a5.38-5_armhf.deb ...
Unpacking file (1:5.38-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../017-gettext-base_0.19.8.1-10_armhf.deb ...
Unpacking gettext-base (0.19.8.1-10) ...
Selecting previously unselected package alex.
Preparing to unpack .../018-alex_3.2.5-2_armhf.deb ...
Unpacking alex (3.2.5-2) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../019-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../020-m4_1.4.18-4_armhf.deb ...
Unpacking m4 (1.4.18-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../021-autoconf_2.69-11.1_all.deb ...
Unpacking autoconf (2.69-11.1) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../022-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../023-automake_1%3a1.16.2-4_all.deb ...
Unpacking automake (1:1.16.2-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../024-autopoint_0.19.8.1-10_all.deb ...
Unpacking autopoint (0.19.8.1-10) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../025-cdbs_0.4.162_all.deb ...
Unpacking cdbs (0.4.162) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../026-dctrl-tools_2.24-3_armhf.deb ...
Unpacking dctrl-tools (2.24-3) ...
Selecting previously unselected package libtool.
Preparing to unpack .../027-libtool_2.4.6-14_all.deb ...
Unpacking libtool (2.4.6-14) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../028-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../029-libdebhelper-perl_13.2.1_all.deb ...
Unpacking libdebhelper-perl (13.2.1) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../030-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 .../031-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 .../032-libfile-stripnondeterminism-perl_1.9.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.9.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../033-dh-strip-nondeterminism_1.9.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.9.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../034-libelf1_0.181-1_armhf.deb ...
Unpacking libelf1:armhf (0.181-1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../035-dwz_0.13-5_armhf.deb ...
Unpacking dwz (0.13-5) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../036-libglib2.0-0_2.66.1-1_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.66.1-1) ...
Selecting previously unselected package libicu67:armhf.
Preparing to unpack .../037-libicu67_67.1-4_armhf.deb ...
Unpacking libicu67:armhf (67.1-4) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../038-libxml2_2.9.10+dfsg-6.1_armhf.deb ...
Unpacking libxml2:armhf (2.9.10+dfsg-6.1) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../039-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../040-gettext_0.19.8.1-10_armhf.deb ...
Unpacking gettext (0.19.8.1-10) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../041-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 .../042-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../043-debhelper_13.2.1_all.deb ...
Unpacking debhelper (13.2.1) ...
Selecting previously unselected package dh-buildinfo.
Preparing to unpack .../044-dh-buildinfo_0.11+nmu2_all.deb ...
Unpacking dh-buildinfo (0.11+nmu2) ...
Selecting previously unselected package ghc-prof.
Preparing to unpack .../045-ghc-prof_8.8.4-1+rpi1_armhf.deb ...
Unpacking ghc-prof (8.8.4-1+rpi1) ...
Selecting previously unselected package happy.
Preparing to unpack .../046-happy_1.19.12-2_armhf.deb ...
Unpacking happy (1.19.12-2) ...
Selecting previously unselected package libbrotli1:armhf.
Preparing to unpack .../047-libbrotli1_1.0.9-2_armhf.deb ...
Unpacking libbrotli1:armhf (1.0.9-2) ...
Selecting previously unselected package libkrb5support0:armhf.
Preparing to unpack .../048-libkrb5support0_1.17-10+b3_armhf.deb ...
Unpacking libkrb5support0:armhf (1.17-10+b3) ...
Selecting previously unselected package libk5crypto3:armhf.
Preparing to unpack .../049-libk5crypto3_1.17-10+b3_armhf.deb ...
Unpacking libk5crypto3:armhf (1.17-10+b3) ...
Selecting previously unselected package libkeyutils1:armhf.
Preparing to unpack .../050-libkeyutils1_1.6.1-2_armhf.deb ...
Unpacking libkeyutils1:armhf (1.6.1-2) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../051-libssl1.1_1.1.1g-1_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1g-1) ...
Selecting previously unselected package libkrb5-3:armhf.
Preparing to unpack .../052-libkrb5-3_1.17-10+b3_armhf.deb ...
Unpacking libkrb5-3:armhf (1.17-10+b3) ...
Selecting previously unselected package libgssapi-krb5-2:armhf.
Preparing to unpack .../053-libgssapi-krb5-2_1.17-10+b3_armhf.deb ...
Unpacking libgssapi-krb5-2:armhf (1.17-10+b3) ...
Selecting previously unselected package libnghttp2-14:armhf.
Preparing to unpack .../054-libnghttp2-14_1.41.0-3_armhf.deb ...
Unpacking libnghttp2-14:armhf (1.41.0-3) ...
Selecting previously unselected package libpsl5:armhf.
Preparing to unpack .../055-libpsl5_0.21.0-1.1_armhf.deb ...
Unpacking libpsl5:armhf (0.21.0-1.1) ...
Selecting previously unselected package librtmp1:armhf.
Preparing to unpack .../056-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 .../057-libssh2-1_1.8.0-2.1_armhf.deb ...
Unpacking libssh2-1:armhf (1.8.0-2.1) ...
Selecting previously unselected package libcurl3-gnutls:armhf.
Preparing to unpack .../058-libcurl3-gnutls_7.72.0-1_armhf.deb ...
Unpacking libcurl3-gnutls:armhf (7.72.0-1) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../059-html-xml-utils_7.7-1_armhf.deb ...
Unpacking html-xml-utils (7.7-1) ...
Selecting previously unselected package haskell-devscripts-minimal.
Preparing to unpack .../060-haskell-devscripts-minimal_0.16.0_all.deb ...
Unpacking haskell-devscripts-minimal (0.16.0) ...
Selecting previously unselected package hscolour.
Preparing to unpack .../061-hscolour_1.24.4-3+b2_armhf.deb ...
Unpacking hscolour (1.24.4-3+b2) ...
Selecting previously unselected package haskell-devscripts.
Preparing to unpack .../062-haskell-devscripts_0.16.0_all.deb ...
Unpacking haskell-devscripts (0.16.0) ...
Selecting previously unselected package libghc-colour-dev.
Preparing to unpack .../063-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 .../064-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 .../065-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 .../066-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 .../067-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 .../068-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 .../069-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 .../070-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 .../071-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 .../072-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 .../073-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 .../074-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 .../075-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 .../076-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 .../077-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 .../078-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 .../079-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 .../080-libghc-cracknum-dev_2.3-2+b2_armhf.deb ...
Unpacking libghc-cracknum-dev (2.3-2+b2) ...
Selecting previously unselected package libghc-floatinghex-prof.
Preparing to unpack .../081-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 .../082-libghc-cracknum-prof_2.3-2+b2_armhf.deb ...
Unpacking libghc-cracknum-prof (2.3-2+b2) ...
Selecting previously unselected package libghc-cryptohash-sha1-dev.
Preparing to unpack .../083-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 .../084-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 .../085-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 .../086-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 .../087-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 .../088-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 .../089-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 .../090-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 .../091-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 .../092-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 .../093-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 .../094-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 .../095-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 .../096-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 .../097-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 .../098-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 .../099-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 .../100-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 .../101-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 .../102-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 .../103-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 .../104-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 .../105-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 .../106-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 .../107-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 .../108-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 .../109-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 .../110-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 .../111-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 .../112-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 .../113-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 .../114-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 .../115-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 .../116-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 .../117-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 .../118-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 .../119-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 .../120-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 .../121-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 .../122-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 .../123-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 libkeyutils1:armhf (1.6.1-2) ...
Setting up libpsl5:armhf (0.21.0-1.1) ...
Setting up hscolour (1.24.4-3+b2) ...
Setting up libicu67:armhf (67.1-4) ...
Setting up libmagic-mgc (1:5.38-5) ...
Setting up happy (1.19.12-2) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libglib2.0-0:armhf (2.66.1-1) ...
No schema files found: doing nothing.
Setting up libssl1.1:armhf (1.1.1g-1) ...
Setting up libdebhelper-perl (13.2.1) ...
Setting up libbrotli1:armhf (1.0.9-2) ...
Setting up libnghttp2-14:armhf (1.41.0-3) ...
Setting up libmagic1:armhf (1:5.38-5) ...
Setting up gettext-base (0.19.8.1-10) ...
Setting up file (1:5.38-5) ...
Setting up libffi-dev:armhf (3.3-4) ...
Setting up alex (3.2.5-2) ...
Setting up libkrb5support0:armhf (1.17-10+b3) ...
Setting up autotools-dev (20180224.1) ...
Setting up libz3-4:armhf (4.8.9-1) ...
Setting up libgmpxx4ldbl:armhf (2:6.2.0+dfsg-6) ...
Setting up libpfm4:armhf (4.10.1+git44-ga2909cd-1) ...
Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ...
Setting up libncurses6:armhf (6.2+20200918-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up autopoint (0.19.8.1-10) ...
Setting up binfmt-support (2.2.1-1) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: WARNING: No init system and policy-rc.d missing! Defaulting to block.
Setting up libk5crypto3:armhf (1.17-10+b3) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libssh2-1:armhf (1.8.0-2.1) ...
Setting up libkrb5-3:armhf (1.17-10+b3) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up cdbs (0.4.162) ...
Setting up libelf1:armhf (0.181-1) ...
Setting up libxml2:armhf (2.9.10+dfsg-6.1) ...
Setting up libbsd-dev:armhf (0.10.0-1) ...
Setting up dctrl-tools (2.24-3) ...
Setting up libfile-stripnondeterminism-perl (1.9.0-1) ...
Setting up libncurses-dev:armhf (6.2+20200918-1) ...
Setting up libgmp-dev:armhf (2:6.2.0+dfsg-6) ...
Setting up libtool (2.4.6-14) ...
Setting up libedit2:armhf (3.1-20191231-1) ...
Setting up m4 (1.4.18-4) ...
Setting up libgssapi-krb5-2:armhf (1.17-10+b3) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up autoconf (2.69-11.1) ...
Setting up dh-strip-nondeterminism (1.9.0-1) ...
Setting up dwz (0.13-5) ...
Setting up groff-base (1.22.4-5) ...
Setting up libncurses5-dev:armhf (6.2+20200918-1) ...
Setting up libllvm9:armhf (1:9.0.1-14+rpi1) ...
Setting up automake (1:1.16.2-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up gettext (0.19.8.1-10) ...
Setting up libcurl3-gnutls:armhf (7.72.0-1) ...
Setting up man-db (2.9.3-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up llvm-9-runtime (1:9.0.1-14+rpi1) ...
Setting up html-xml-utils (7.7-1) ...
Setting up po-debconf (1.0.21) ...
Setting up llvm-9 (1:9.0.1-14+rpi1) ...
Setting up ghc (8.8.4-1+rpi1) ...
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 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 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 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-1+rpi1) ...
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 libghc-cracknum-dev (2.3-2+b2) ...
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+b2) ...
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 debhelper (13.2.1) ...
Setting up dh-autoreconf (19) ...
Setting up dh-buildinfo (0.11+nmu2) ...
Setting up haskell-devscripts-minimal (0.16.0) ...
Setting up haskell-devscripts (0.16.0) ...
Setting up sbuild-build-depends-haskell-cryptol-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.31-3+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.6-armmp armhf (armv7l)
Toolchain package versions: binutils_2.35-2+rpi1 dpkg-dev_1.20.5+rpi1 g++-10_10.2.0-5+rpi1 gcc-10_10.2.0-5+rpi1 libc6-dev_2.31-3+rpi1 libstdc++-10-dev_10.2.0-5+rpi1 libstdc++6_10.2.0-5+rpi1 linux-libc-dev_5.7.10-1+rpi1
Package versions: adduser_3.118 alex_3.2.5-2 apt_2.1.10 aptitude_0.8.13-2 aptitude-common_0.8.13-2 autoconf_2.69-11.1 automake_1:1.16.2-4 autopoint_0.19.8.1-10 autotools-dev_20180224.1 base-files_11+rpi1 base-passwd_3.5.47 bash_5.0-7 binfmt-support_2.2.1-1 binutils_2.35-2+rpi1 binutils-arm-linux-gnueabihf_2.35-2+rpi1 binutils-common_2.35-2+rpi1 bsdextrautils_2.36-3 bsdutils_1:2.36-3 build-essential_12.8 bzip2_1.0.8-4 cdbs_0.4.162 coreutils_8.30-3 cpp_4:10.1.0-1+rpi1 cpp-10_10.2.0-5+rpi1 dash_0.5.10.2-7 dctrl-tools_2.24-3 debconf_1.5.74 debhelper_13.2.1 debianutils_4.9.1 dh-autoreconf_19 dh-buildinfo_0.11+nmu2 dh-strip-nondeterminism_1.9.0-1 diffutils_1:3.7-3 dirmngr_2.2.20-1 dpkg_1.20.5+rpi1 dpkg-dev_1.20.5+rpi1 dwz_0.13-5 e2fsprogs_1.45.6-1 fakeroot_1.24-1 fdisk_2.36-3 file_1:5.38-5 findutils_4.7.0-1 g++_4:10.1.0-1+rpi1 g++-10_10.2.0-5+rpi1 gcc_4:10.1.0-1+rpi1 gcc-10_10.2.0-5+rpi1 gcc-10-base_10.2.0-5+rpi1 gettext_0.19.8.1-10 gettext-base_0.19.8.1-10 ghc_8.8.4-1+rpi1 ghc-prof_8.8.4-1+rpi1 gnupg_2.2.20-1 gnupg-l10n_2.2.20-1 gnupg-utils_2.2.20-1 gpg_2.2.20-1 gpg-agent_2.2.20-1 gpg-wks-client_2.2.20-1 gpg-wks-server_2.2.20-1 gpgconf_2.2.20-1 gpgsm_2.2.20-1 gpgv_2.2.20-1 grep_3.4-1 groff-base_1.22.4-5 gzip_1.10-2 happy_1.19.12-2 haskell-devscripts_0.16.0 haskell-devscripts-minimal_0.16.0 hostname_3.23 hscolour_1.24.4-3+b2 html-xml-utils_7.7-1 init-system-helpers_1.58 intltool-debian_0.35.0+20060710.5 iputils-ping_3:20200821-2 libacl1_2.2.53-8 libapt-pkg6.0_2.1.10 libarchive-zip-perl_1.68-1 libasan6_10.2.0-5+rpi1 libassuan0_2.5.3-7.1 libatomic1_10.2.0-5+rpi1 libattr1_1:2.4.48-5 libaudit-common_1:2.8.5-3 libaudit1_1:2.8.5-3 libbinutils_2.35-2+rpi1 libblkid1_2.36-3 libboost-iostreams1.71.0_1.71.0-6+b1 libbrotli1_1.0.9-2 libbsd-dev_0.10.0-1 libbsd0_0.10.0-1 libbz2-1.0_1.0.8-4 libc-bin_2.31-3+rpi1 libc-dev-bin_2.31-3+rpi1 libc6_2.31-3+rpi1 libc6-dev_2.31-3+rpi1 libcap-ng0_0.7.9-2.2 libcap2_1:2.43-1 libcap2-bin_1:2.43-1 libcc1-0_10.2.0-5+rpi1 libcom-err2_1.45.6-1 libcroco3_0.6.13-1 libcrypt-dev_1:4.4.17-1 libcrypt1_1:4.4.17-1 libctf-nobfd0_2.35-2+rpi1 libctf0_2.35-2+rpi1 libcurl3-gnutls_7.72.0-1 libcwidget4_0.5.18-5 libdb5.3_5.3.28+dfsg1-0.6 libdebconfclient0_0.253 libdebhelper-perl_13.2.1 libdpkg-perl_1.20.5+rpi1 libedit2_3.1-20191231-1 libelf1_0.181-1 libext2fs2_1.45.6-1 libfakeroot_1.24-1 libfdisk1_2.36-3 libffi-dev_3.3-4 libffi7_3.3-4 libfile-stripnondeterminism-perl_1.9.0-1 libgcc-10-dev_10.2.0-5+rpi1 libgcc-s1_10.2.0-5+rpi1 libgcrypt20_1.8.6-2 libgdbm-compat4_1.18.1-5.1 libgdbm6_1.18.1-5.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+b2 libghc-cracknum-prof_2.3-2+b2 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 libglib2.0-0_2.66.1-1 libgmp-dev_2:6.2.0+dfsg-6 libgmp10_2:6.2.0+dfsg-6 libgmpxx4ldbl_2:6.2.0+dfsg-6 libgnutls30_3.6.14-2+b1 libgomp1_10.2.0-5+rpi1 libgpg-error0_1.38-2 libgssapi-krb5-2_1.17-10+b3 libhogweed6_3.6-2 libicu67_67.1-4 libidn2-0_2.3.0-1 libisl22_0.22.1-1 libk5crypto3_1.17-10+b3 libkeyutils1_1.6.1-2 libkrb5-3_1.17-10+b3 libkrb5support0_1.17-10+b3 libksba8_1.4.0-2 libldap-2.4-2_2.4.51+dfsg-1 libldap-common_2.4.51+dfsg-1 libllvm9_1:9.0.1-14+rpi1 liblz4-1_1.9.2-2 liblzma5_5.2.4-1 libmagic-mgc_1:5.38-5 libmagic1_1:5.38-5 libmount1_2.36-3 libmpc3_1.2.0~rc1-1 libmpfr6_4.1.0-3 libncurses-dev_6.2+20200918-1 libncurses5-dev_6.2+20200918-1 libncurses6_6.2+20200918-1 libncursesw6_6.2+20200918-1 libnettle8_3.6-2 libnghttp2-14_1.41.0-3 libnpth0_1.6-2 libp11-kit0_0.23.21-2 libpam-cap_1:2.43-1 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre2-8-0_10.34-7 libpcre3_2:8.39-13 libperl5.30_5.30.3-4 libpfm4_4.10.1+git44-ga2909cd-1 libpipeline1_1.5.3-1 libpsl5_0.21.0-1.1 libreadline8_8.0-4 librtmp1_2.4+20151223.gitfa8646d.1-2+b2 librust-rand-core-dev_0.5.1-1 libsasl2-2_2.1.27+dfsg-2 libsasl2-modules-db_2.1.27+dfsg-2 libseccomp2_2.4.3-1+rpi1 libselinux1_3.1-2 libsemanage-common_3.1-1 libsemanage1_3.1-1 libsepol1_3.1-1 libsigc++-2.0-0v5_2.10.2-1 libsigsegv2_2.12-2 libsmartcols1_2.36-3 libsqlite3-0_3.33.0-1 libss2_1.45.6-1 libssh2-1_1.8.0-2.1 libssl1.1_1.1.1g-1 libstdc++-10-dev_10.2.0-5+rpi1 libstdc++6_10.2.0-5+rpi1 libsub-override-perl_0.09-2 libsystemd0_246.2-1+rpi1 libtasn1-6_4.16.0-2 libtinfo6_6.2+20200918-1 libtool_2.4.6-14 libubsan1_10.2.0-5+rpi1 libuchardet0_0.0.7-1 libudev1_246.2-1+rpi1 libunistring2_0.9.10-4 libuuid1_2.36-3 libxapian30_1.4.17-1 libxml2_2.9.10+dfsg-6.1 libz3-4_4.8.9-1 libzstd1_1.4.5+dfsg-4+rpi1 linux-libc-dev_5.7.10-1+rpi1 llvm-9_1:9.0.1-14+rpi1 llvm-9-runtime_1:9.0.1-14+rpi1 login_1:4.8.1-1 logsave_1.45.6-1 lsb-base_11.1.0+rpi1 m4_1.4.18-4 make_4.3-4 man-db_2.9.3-2 mawk_1.3.4.20200120-2 mount_2.36-3 ncurses-base_6.2-1 ncurses-bin_6.2-1 netbase_6.1 passwd_1:4.8.1-1 patch_2.7.6-6 perl_5.30.3-4 perl-base_5.30.3-4 perl-modules-5.30_5.30.3-4 pinentry-curses_1.1.0-4 po-debconf_1.0.21 raspbian-archive-keyring_20120528.2 readline-common_8.0-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-haskell-cryptol-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12+nmu1 sysvinit-utils_2.96-4 tar_1.30+dfsg-7 tzdata_2020a-1 util-linux_2.36-3 xz-utils_5.2.4-1 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.xyBPEqgi/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+b1
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=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-c111a488-638e-4a8b-9c9b-1ec22ff952d1
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package haskell-cryptol
dpkg-buildpackage: info: source version 2.8.0-1+b1
dpkg-buildpackage: info: source distribution bullseye-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.35 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_ap_pp_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 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 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 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 libHSQuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD-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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 libHSghc-boot-th-8.8.4-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+b1_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+b1_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+b1_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../haskell-cryptol_2.8.0-1+b1_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 2020-10-22T04:23:43Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
haskell-cryptol_2.8.0-1+b1_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+b1
Distribution: bullseye-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+b1) bullseye-staging; urgency=low, binary-only=yes
.
* Binary-only non-maintainer upload for armhf; no source changes.
* rebuild due to debcheck failure
Checksums-Sha1:
7d63a39f5ed727bf2fcc3f20114dc7ee88c920ca 3254244 cryptol_2.8.0-1+b1_armhf.deb
321220ecb6235763d2179de29d4f5ffaeedd44ff 9018 haskell-cryptol_2.8.0-1+b1_armhf.buildinfo
c87cdf533037873b305f1aada4c21b78da17fe53 4622876 libghc-cryptol-dev_2.8.0-1+b1_armhf.deb
fbda1ecec72801d0f7a678c3a529bc1abace4700 4404880 libghc-cryptol-prof_2.8.0-1+b1_armhf.deb
Checksums-Sha256:
eb62c7c72a37b58b03b49081aa487f6fde4ac141292fcc5c1b49433cbafae540 3254244 cryptol_2.8.0-1+b1_armhf.deb
332a2d0e8c00ce05dfbf3686efead25277e8ef6053578af08a4e09fd132bbdc5 9018 haskell-cryptol_2.8.0-1+b1_armhf.buildinfo
212822759392da090ac72db8356e29ab671ae0f8d451612d6be76d58502232e7 4622876 libghc-cryptol-dev_2.8.0-1+b1_armhf.deb
fc3cd869afac11ed8285fab3e9d6ad8a16a7dad9a96b6510edcae5e8e1d28ad2 4404880 libghc-cryptol-prof_2.8.0-1+b1_armhf.deb
Files:
fd28d5a4f597b296e0718a9a3fb63c2f 3254244 utils optional cryptol_2.8.0-1+b1_armhf.deb
4e855aa309dcef251e48e83b151c8466 9018 haskell optional haskell-cryptol_2.8.0-1+b1_armhf.buildinfo
bcf5f0f91c7d51b628a3bb4af028a7ba 4622876 haskell optional libghc-cryptol-dev_2.8.0-1+b1_armhf.deb
284544bfd6d8dd8f9d5c54d41231500c 4404880 haskell optional libghc-cryptol-prof_2.8.0-1+b1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
cryptol_2.8.0-1+b1_armhf.deb
----------------------------
new Debian package, version 2.0.
size 3254244 bytes: control archive=892 bytes.
634 bytes, 15 lines control
552 bytes, 8 lines md5sums
Package: cryptol
Source: haskell-cryptol (2.8.0-1)
Version: 2.8.0-1+b1
Architecture: armhf
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 20095
Depends: z3, libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgmp10, 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 20528852 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 4391 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+b1_armhf.deb
---------------------------------------
new Debian package, version 2.0.
size 4622876 bytes: control archive=5984 bytes.
1756 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+b1
Architecture: armhf
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 46471
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
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 20281372 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 11503584 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 4391 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+b1_armhf.deb
----------------------------------------
new Debian package, version 2.0.
size 4404880 bytes: control archive=3752 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+b1
Architecture: armhf
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 40298
Depends: libghc-cryptol-dev (= 2.8.0-1+b1), 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 33083792 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 4391 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: 479340
Build-Time: 10869
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 973
Job: haskell-cryptol_2.8.0-1
Machine Architecture: armhf
Package: haskell-cryptol
Package-Time: 11894
Source-Version: 2.8.0-1
Space: 479340
Status: successful
Version: 2.8.0-1+b1
--------------------------------------------------------------------------------
Finished at 2020-10-22T04:23:43Z
Build needed 03:18:14, 479340k disc space