I: pbuilder: network access will be disabled during build I: Current time: Fri Aug 20 09:40:50 -12 2021 I: pbuilder-time-stamp: 1629495650 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [haskell-cryptol_2.8.0-1.dsc] I: copying [./haskell-cryptol_2.8.0.orig.tar.gz] I: copying [./haskell-cryptol_2.8.0-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.nVoOZx1t/trustedkeys.kbx': General error gpgv: Signature made Fri Jul 10 12:04:14 2020 -12 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 haskell-cryptol-2.8.0 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 I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/10448/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=3' DISTRIBUTION='' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='620397c35b89427bb3ccd814a5e04b5e' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='10448' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.AkUiUVHaLE/pbuilderrc_YYR6 --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.AkUiUVHaLE/b1 --logfile b1/build.log haskell-cryptol_2.8.0-1.dsc' SUDO_GID='114' SUDO_UID='108' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:8000/' I: uname -a Linux jtx1c 5.10.0-8-arm64 #1 SMP Debian 5.10.46-4 (2021-08-03) aarch64 GNU/Linux I: ls -l /bin total 3580 -rwxr-xr-x 1 root root 816764 Aug 4 08:25 bash -rwxr-xr-x 3 root root 26052 Jul 20 2020 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 20 2020 bzcat lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep -rwxr-xr-x 3 root root 26052 Jul 20 2020 bzip2 -rwxr-xr-x 1 root root 9636 Jul 20 2020 bzip2recover lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore -rwxr-xr-x 1 root root 26668 Sep 22 2020 cat -rwxr-xr-x 1 root root 43104 Sep 22 2020 chgrp -rwxr-xr-x 1 root root 38984 Sep 22 2020 chmod -rwxr-xr-x 1 root root 43112 Sep 22 2020 chown -rwxr-xr-x 1 root root 92616 Sep 22 2020 cp -rwxr-xr-x 1 root root 75524 Dec 10 2020 dash -rwxr-xr-x 1 root root 75880 Sep 22 2020 date -rwxr-xr-x 1 root root 55436 Sep 22 2020 dd -rwxr-xr-x 1 root root 59912 Sep 22 2020 df -rwxr-xr-x 1 root root 96764 Sep 22 2020 dir -rwxr-xr-x 1 root root 55012 Jul 28 07:09 dmesg lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname -rwxr-xr-x 1 root root 22508 Sep 22 2020 echo -rwxr-xr-x 1 root root 28 Nov 9 2020 egrep -rwxr-xr-x 1 root root 22496 Sep 22 2020 false -rwxr-xr-x 1 root root 28 Nov 9 2020 fgrep -rwxr-xr-x 1 root root 47492 Jul 28 07:09 findmnt -rwsr-xr-x 1 root root 26076 Feb 26 04:12 fusermount -rwxr-xr-x 1 root root 124508 Nov 9 2020 grep -rwxr-xr-x 2 root root 2346 Mar 2 11:30 gunzip -rwxr-xr-x 1 root root 6376 Mar 2 11:30 gzexe -rwxr-xr-x 1 root root 64212 Mar 2 11:30 gzip -rwxr-xr-x 1 root root 13784 Nov 6 2019 hostname -rwxr-xr-x 1 root root 43180 Sep 22 2020 ln -rwxr-xr-x 1 root root 35068 Feb 7 2020 login -rwxr-xr-x 1 root root 96764 Sep 22 2020 ls -rwxr-xr-x 1 root root 99940 Jul 28 07:09 lsblk -rwxr-xr-x 1 root root 51408 Sep 22 2020 mkdir -rwxr-xr-x 1 root root 43184 Sep 22 2020 mknod -rwxr-xr-x 1 root root 30780 Sep 22 2020 mktemp -rwxr-xr-x 1 root root 34408 Jul 28 07:09 more -rwsr-xr-x 1 root root 34400 Jul 28 07:09 mount -rwxr-xr-x 1 root root 9824 Jul 28 07:09 mountpoint -rwxr-xr-x 1 root root 88524 Sep 22 2020 mv lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 18 03:38 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 26652 Sep 22 2020 pwd lrwxrwxrwx 1 root root 4 Aug 4 08:25 rbash -> bash -rwxr-xr-x 1 root root 30740 Sep 22 2020 readlink -rwxr-xr-x 1 root root 43104 Sep 22 2020 rm -rwxr-xr-x 1 root root 30732 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 14144 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Aug 15 21:26 sh -> dash -rwxr-xr-x 1 root root 22532 Sep 22 2020 sleep -rwxr-xr-x 1 root root 55360 Sep 22 2020 stty -rwsr-xr-x 1 root root 46704 Jul 28 07:09 su -rwxr-xr-x 1 root root 22532 Sep 22 2020 sync -rwxr-xr-x 1 root root 340872 Feb 16 2021 tar -rwxr-xr-x 1 root root 9808 Sep 27 2020 tempfile -rwxr-xr-x 1 root root 67696 Sep 22 2020 touch -rwxr-xr-x 1 root root 22496 Sep 22 2020 true -rwxr-xr-x 1 root root 9636 Feb 26 04:12 ulockmgr_server -rwsr-xr-x 1 root root 22108 Jul 28 07:09 umount -rwxr-xr-x 1 root root 22520 Sep 22 2020 uname -rwxr-xr-x 2 root root 2346 Mar 2 11:30 uncompress -rwxr-xr-x 1 root root 96764 Sep 22 2020 vdir -rwxr-xr-x 1 root root 38512 Jul 28 07:09 wdctl lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Mar 2 11:30 zcat -rwxr-xr-x 1 root root 1678 Mar 2 11:30 zcmp -rwxr-xr-x 1 root root 5880 Mar 2 11:30 zdiff -rwxr-xr-x 1 root root 29 Mar 2 11:30 zegrep -rwxr-xr-x 1 root root 29 Mar 2 11:30 zfgrep -rwxr-xr-x 1 root root 2081 Mar 2 11:30 zforce -rwxr-xr-x 1 root root 7585 Mar 2 11:30 zgrep -rwxr-xr-x 1 root root 2206 Mar 2 11:30 zless -rwxr-xr-x 1 root root 1842 Mar 2 11:30 zmore -rwxr-xr-x 1 root root 4553 Mar 2 11:30 znew I: user script /srv/workspace/pbuilder/10448/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: 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, ghc-doc, libghc-graphscc-doc, libghc-base-compat-doc, libghc-cryptohash-sha1-doc, libghc-gitrev-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-strict-doc, libghc-tf-random-doc, libghc-transformers-base-doc dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19398 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on cdbs; however: Package cdbs is not installed. pbuilder-satisfydepends-dummy depends on debhelper (>= 10); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on ghc (>= 8.4.3); however: Package ghc is not installed. pbuilder-satisfydepends-dummy depends on ghc-prof; however: Package ghc-prof is not installed. pbuilder-satisfydepends-dummy depends on haskell-devscripts (>= 0.13); however: Package haskell-devscripts is not installed. pbuilder-satisfydepends-dummy depends on libghc-graphscc-dev (>= 1.0.4); however: Package libghc-graphscc-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-graphscc-prof; however: Package libghc-graphscc-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-base-compat-dev (>= 0.6); however: Package libghc-base-compat-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-base-compat-dev (<< 0.12); however: Package libghc-base-compat-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-base-compat-prof; however: Package libghc-base-compat-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-cryptohash-sha1-dev (>= 0.11); however: Package libghc-cryptohash-sha1-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-cryptohash-sha1-dev (<< 0.12); however: Package libghc-cryptohash-sha1-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-cryptohash-sha1-prof; however: Package libghc-cryptohash-sha1-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-gitrev-dev (>= 1.0); however: Package libghc-gitrev-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-gitrev-prof; however: Package libghc-gitrev-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-heredoc-dev (>= 0.2); however: Package libghc-heredoc-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-heredoc-prof; however: Package libghc-heredoc-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-monad-control-dev (>= 1.0); however: Package libghc-monad-control-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-monad-control-prof; however: Package libghc-monad-control-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-monadlib-dev (>= 3.7.2); however: Package libghc-monadlib-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-monadlib-prof; however: Package libghc-monadlib-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-panic-dev (>= 0.3); however: Package libghc-panic-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-panic-prof; however: Package libghc-panic-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-random-dev (>= 1.0.1); however: Package libghc-random-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-random-prof; however: Package libghc-random-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-sbv-dev (>= 8.1); however: Package libghc-sbv-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-sbv-prof; however: Package libghc-sbv-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-simple-smt-dev (>= 0.7.1); however: Package libghc-simple-smt-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-simple-smt-prof; however: Package libghc-simple-smt-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-strict-dev; however: Package libghc-strict-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-strict-prof; however: Package libghc-strict-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-tf-random-dev (>= 0.5); however: Package libghc-tf-random-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-tf-random-prof; however: Package libghc-tf-random-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-transformers-base-dev (>= 0.4); however: Package libghc-transformers-base-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-transformers-base-prof; however: Package libghc-transformers-base-prof is not installed. pbuilder-satisfydepends-dummy depends on alex; however: Package alex is not installed. pbuilder-satisfydepends-dummy depends on happy; however: Package happy is not installed. pbuilder-satisfydepends-dummy depends on libghc-ansi-terminal-dev; however: Package libghc-ansi-terminal-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-blaze-html-dev; however: Package libghc-blaze-html-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-blaze-html-prof; however: Package libghc-blaze-html-prof is not installed. pbuilder-satisfydepends-dummy depends on ghc-doc; however: Package ghc-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-graphscc-doc; however: Package libghc-graphscc-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-base-compat-doc; however: Package libghc-base-compat-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-cryptohash-sha1-doc; however: Package libghc-cryptohash-sha1-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-gitrev-doc; however: Package libghc-gitrev-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-heredoc-doc; however: Package libghc-heredoc-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-monad-control-doc; however: Package libghc-monad-control-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-monadlib-doc; however: Package libghc-monadlib-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-panic-doc; however: Package libghc-panic-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-random-doc; however: Package libghc-random-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-sbv-doc; however: Package libghc-sbv-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-simple-smt-doc; however: Package libghc-simple-smt-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-strict-doc; however: Package libghc-strict-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-tf-random-doc; however: Package libghc-tf-random-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-transformers-base-doc; however: Package libghc-transformers-base-doc is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: alex{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cdbs{a} dctrl-tools{a} debhelper{a} dh-autoreconf{a} dh-buildinfo{a} dh-strip-nondeterminism{a} dwz{a} file{a} fonts-mathjax{a} gettext{a} gettext-base{a} ghc{a} ghc-doc{a} ghc-prof{a} groff-base{a} happy{a} haskell-devscripts{a} haskell-devscripts-minimal{a} hscolour{a} html-xml-utils{a} intltool-debian{a} libarchive-zip-perl{a} libbrotli1{a} libbsd-dev{a} libbsd0{a} libcurl3-gnutls{a} libdebhelper-perl{a} libedit2{a} libelf1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libghc-ansi-terminal-dev{a} libghc-async-dev{a} libghc-async-prof{a} libghc-base-compat-dev{a} libghc-base-compat-doc{a} libghc-base-compat-prof{a} libghc-base-orphans-dev{a} libghc-base-orphans-prof{a} libghc-blaze-builder-dev{a} libghc-blaze-builder-prof{a} libghc-blaze-html-dev{a} libghc-blaze-html-prof{a} libghc-blaze-markup-dev{a} libghc-blaze-markup-prof{a} libghc-colour-dev{a} libghc-cracknum-dev{a} libghc-cracknum-prof{a} libghc-cryptohash-sha1-dev{a} libghc-cryptohash-sha1-doc{a} libghc-cryptohash-sha1-prof{a} libghc-floatinghex-dev{a} libghc-floatinghex-prof{a} libghc-generic-deriving-dev{a} libghc-generic-deriving-prof{a} libghc-gitrev-dev{a} libghc-gitrev-doc{a} libghc-gitrev-prof{a} libghc-graphscc-dev{a} libghc-graphscc-doc{a} libghc-graphscc-prof{a} libghc-hashable-dev{a} libghc-hashable-prof{a} libghc-heredoc-dev{a} libghc-heredoc-doc{a} libghc-heredoc-prof{a} libghc-monad-control-dev{a} libghc-monad-control-doc{a} libghc-monad-control-prof{a} libghc-monadlib-dev{a} libghc-monadlib-doc{a} libghc-monadlib-prof{a} libghc-panic-dev{a} libghc-panic-doc{a} libghc-panic-prof{a} libghc-primitive-dev{a} libghc-primitive-prof{a} libghc-quickcheck2-dev{a} libghc-quickcheck2-prof{a} libghc-random-dev{a} libghc-random-doc{a} libghc-random-prof{a} libghc-sbv-dev{a} libghc-sbv-doc{a} libghc-sbv-prof{a} libghc-simple-smt-dev{a} libghc-simple-smt-doc{a} libghc-simple-smt-prof{a} libghc-splitmix-dev{a} libghc-splitmix-prof{a} libghc-strict-dev{a} libghc-strict-doc{a} libghc-strict-prof{a} libghc-syb-dev{a} libghc-syb-prof{a} libghc-tf-random-dev{a} libghc-tf-random-doc{a} libghc-tf-random-prof{a} libghc-th-abstraction-dev{a} libghc-th-abstraction-prof{a} libghc-transformers-base-dev{a} libghc-transformers-base-doc{a} libghc-transformers-base-prof{a} libghc-transformers-compat-dev{a} libghc-transformers-compat-prof{a} libgmp-dev{a} libgmpxx4ldbl{a} libicu67{a} libjs-mathjax{a} libldap-2.4-2{a} libllvm11{a} libmagic-mgc{a} libmagic1{a} libmd-dev{a} libmd0{a} libncurses-dev{a} libncurses5-dev{a} libncurses6{a} libnghttp2-14{a} libpfm4{a} libpipeline1{a} libpsl5{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libsigsegv2{a} libssh2-1{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libxml2{a} libz3-4{a} llvm-11{a} llvm-11-runtime{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} The following packages are RECOMMENDED but will NOT be installed: binfmt-support ca-certificates curl libarchive-cpio-perl libghc-generic-deriving-doc libgpm2 libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules llvm-11-dev lynx publicsuffix wget 0 packages upgraded, 144 newly installed, 0 to remove and 0 not upgraded. Need to get 324 MB of archives. After unpacking 2848 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bullseye/main armhf bsdextrautils armhf 2.36.1-8 [138 kB] Get: 2 http://deb.debian.org/debian bullseye/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB] Get: 3 http://deb.debian.org/debian bullseye/main armhf groff-base armhf 1.22.4-6 [847 kB] Get: 4 http://deb.debian.org/debian bullseye/main armhf libpipeline1 armhf 1.5.3-1 [30.1 kB] Get: 5 http://deb.debian.org/debian bullseye/main armhf man-db armhf 2.9.4-2 [1319 kB] Get: 6 http://deb.debian.org/debian bullseye/main armhf libmd0 armhf 1.0.3-3 [27.4 kB] Get: 7 http://deb.debian.org/debian bullseye/main armhf libbsd0 armhf 0.11.3-1 [103 kB] Get: 8 http://deb.debian.org/debian bullseye/main armhf libedit2 armhf 3.1-20191231-2+b1 [81.1 kB] Get: 9 http://deb.debian.org/debian bullseye/main armhf libz3-4 armhf 4.8.10-1 [5959 kB] Get: 10 http://deb.debian.org/debian bullseye/main armhf libllvm11 armhf 1:11.0.1-2 [15.4 MB] Get: 11 http://deb.debian.org/debian bullseye/main armhf llvm-11-runtime armhf 1:11.0.1-2 [185 kB] Get: 12 http://deb.debian.org/debian bullseye/main armhf libpfm4 armhf 4.11.1+git32-gd0b85fb-1 [43.3 kB] Get: 13 http://deb.debian.org/debian bullseye/main armhf llvm-11 armhf 1:11.0.1-2 [6882 kB] Get: 14 http://deb.debian.org/debian bullseye/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg-1 [336 kB] Get: 15 http://deb.debian.org/debian bullseye/main armhf libgmp-dev armhf 2:6.2.1+dfsg-1 [593 kB] Get: 16 http://deb.debian.org/debian bullseye/main armhf libffi-dev armhf 3.3-6 [52.8 kB] Get: 17 http://deb.debian.org/debian bullseye/main armhf libmd-dev armhf 1.0.3-3 [45.7 kB] Get: 18 http://deb.debian.org/debian bullseye/main armhf libbsd-dev armhf 0.11.3-1 [229 kB] Get: 19 http://deb.debian.org/debian bullseye/main armhf libncurses6 armhf 6.2+20201114-2 [80.5 kB] Get: 20 http://deb.debian.org/debian bullseye/main armhf libncurses-dev armhf 6.2+20201114-2 [308 kB] Get: 21 http://deb.debian.org/debian bullseye/main armhf libncurses5-dev armhf 6.2+20201114-2 [936 B] Get: 22 http://deb.debian.org/debian bullseye/main armhf ghc armhf 8.8.4-2 [119 MB] Get: 23 http://deb.debian.org/debian bullseye/main armhf fonts-mathjax all 2.7.9+dfsg-1 [2210 kB] Get: 24 http://deb.debian.org/debian bullseye/main armhf libjs-mathjax all 2.7.9+dfsg-1 [5667 kB] Get: 25 http://deb.debian.org/debian bullseye/main armhf ghc-doc all 8.8.4-2 [15.9 MB] Get: 26 http://deb.debian.org/debian bullseye/main armhf sensible-utils all 0.0.14 [14.8 kB] Get: 27 http://deb.debian.org/debian bullseye/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB] Get: 28 http://deb.debian.org/debian bullseye/main armhf libmagic1 armhf 1:5.39-3 [117 kB] Get: 29 http://deb.debian.org/debian bullseye/main armhf file armhf 1:5.39-3 [68.1 kB] Get: 30 http://deb.debian.org/debian bullseye/main armhf gettext-base armhf 0.21-4 [171 kB] Get: 31 http://deb.debian.org/debian bullseye/main armhf alex armhf 3.2.5-2 [416 kB] Get: 32 http://deb.debian.org/debian bullseye/main armhf libsigsegv2 armhf 2.13-1 [34.0 kB] Get: 33 http://deb.debian.org/debian bullseye/main armhf m4 armhf 1.4.18-5 [192 kB] Get: 34 http://deb.debian.org/debian bullseye/main armhf autoconf all 2.69-14 [313 kB] Get: 35 http://deb.debian.org/debian bullseye/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 36 http://deb.debian.org/debian bullseye/main armhf automake all 1:1.16.3-2 [814 kB] Get: 37 http://deb.debian.org/debian bullseye/main armhf autopoint all 0.21-4 [510 kB] Get: 38 http://deb.debian.org/debian bullseye/main armhf cdbs all 0.4.163 [82.6 kB] Get: 39 http://deb.debian.org/debian bullseye/main armhf dctrl-tools armhf 2.24-3 [96.0 kB] Get: 40 http://deb.debian.org/debian bullseye/main armhf libdebhelper-perl all 13.3.4 [189 kB] Get: 41 http://deb.debian.org/debian bullseye/main armhf libtool all 2.4.6-15 [513 kB] Get: 42 http://deb.debian.org/debian bullseye/main armhf dh-autoreconf all 20 [17.1 kB] Get: 43 http://deb.debian.org/debian bullseye/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 44 http://deb.debian.org/debian bullseye/main armhf libsub-override-perl all 0.09-2 [10.2 kB] Get: 45 http://deb.debian.org/debian bullseye/main armhf libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB] Get: 46 http://deb.debian.org/debian bullseye/main armhf dh-strip-nondeterminism all 1.12.0-1 [15.4 kB] Get: 47 http://deb.debian.org/debian bullseye/main armhf libelf1 armhf 0.183-1 [161 kB] Get: 48 http://deb.debian.org/debian bullseye/main armhf dwz armhf 0.13+20210201-1 [179 kB] Get: 49 http://deb.debian.org/debian bullseye/main armhf libicu67 armhf 67.1-7 [8319 kB] Get: 50 http://deb.debian.org/debian bullseye/main armhf libxml2 armhf 2.9.10+dfsg-6.7 [602 kB] Get: 51 http://deb.debian.org/debian bullseye/main armhf gettext armhf 0.21-4 [1243 kB] Get: 52 http://deb.debian.org/debian bullseye/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 53 http://deb.debian.org/debian bullseye/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 54 http://deb.debian.org/debian bullseye/main armhf debhelper all 13.3.4 [1049 kB] Get: 55 http://deb.debian.org/debian bullseye/main armhf dh-buildinfo all 0.11+nmu2 [18.4 kB] Get: 56 http://deb.debian.org/debian bullseye/main armhf ghc-prof armhf 8.8.4-2 [104 MB] Get: 57 http://deb.debian.org/debian bullseye/main armhf happy armhf 1.19.12-2 [514 kB] Get: 58 http://deb.debian.org/debian bullseye/main armhf libbrotli1 armhf 1.0.9-2+b2 [262 kB] Get: 59 http://deb.debian.org/debian bullseye/main armhf libsasl2-modules-db armhf 2.1.27+dfsg-2.1 [67.6 kB] Get: 60 http://deb.debian.org/debian bullseye/main armhf libsasl2-2 armhf 2.1.27+dfsg-2.1 [99.1 kB] Get: 61 http://deb.debian.org/debian bullseye/main armhf libldap-2.4-2 armhf 2.4.57+dfsg-3 [210 kB] Get: 62 http://deb.debian.org/debian bullseye/main armhf libnghttp2-14 armhf 1.43.0-1 [65.6 kB] Get: 63 http://deb.debian.org/debian bullseye/main armhf libpsl5 armhf 0.21.0-1.2 [56.1 kB] Get: 64 http://deb.debian.org/debian bullseye/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [55.2 kB] Get: 65 http://deb.debian.org/debian bullseye/main armhf libssh2-1 armhf 1.9.0-2 [143 kB] Get: 66 http://deb.debian.org/debian bullseye/main armhf libcurl3-gnutls armhf 7.74.0-1.3+b1 [306 kB] Get: 67 http://deb.debian.org/debian bullseye/main armhf html-xml-utils armhf 7.7-1.1 [233 kB] Get: 68 http://deb.debian.org/debian bullseye/main armhf haskell-devscripts-minimal all 0.16.0 [40.8 kB] Get: 69 http://deb.debian.org/debian bullseye/main armhf hscolour armhf 1.24.4-3+b1 [342 kB] Get: 70 http://deb.debian.org/debian bullseye/main armhf haskell-devscripts all 0.16.0 [17.1 kB] Get: 71 http://deb.debian.org/debian bullseye/main armhf libghc-colour-dev armhf 2.3.5-2+b1 [227 kB] Get: 72 http://deb.debian.org/debian bullseye/main armhf libghc-ansi-terminal-dev armhf 0.10.3-1+b1 [166 kB] Get: 73 http://deb.debian.org/debian bullseye/main armhf libghc-hashable-dev armhf 1.3.0.0-2+b1 [111 kB] Get: 74 http://deb.debian.org/debian bullseye/main armhf libghc-async-dev armhf 2.2.2-2+b1 [77.8 kB] Get: 75 http://deb.debian.org/debian bullseye/main armhf libghc-hashable-prof armhf 1.3.0.0-2+b1 [96.2 kB] Get: 76 http://deb.debian.org/debian bullseye/main armhf libghc-async-prof armhf 2.2.2-2+b1 [71.2 kB] Get: 77 http://deb.debian.org/debian bullseye/main armhf libghc-base-compat-dev armhf 0.11.1-1+b1 [85.3 kB] Get: 78 http://deb.debian.org/debian bullseye/main armhf libghc-base-compat-doc all 0.11.1-1 [139 kB] Get: 79 http://deb.debian.org/debian bullseye/main armhf libghc-base-compat-prof armhf 0.11.1-1+b1 [66.6 kB] Get: 80 http://deb.debian.org/debian bullseye/main armhf libghc-base-orphans-dev armhf 0.8.2-1+b1 [77.5 kB] Get: 81 http://deb.debian.org/debian bullseye/main armhf libghc-base-orphans-prof armhf 0.8.2-1+b1 [71.7 kB] Get: 82 http://deb.debian.org/debian bullseye/main armhf libghc-blaze-builder-dev armhf 0.4.1.0-4+b1 [106 kB] Get: 83 http://deb.debian.org/debian bullseye/main armhf libghc-blaze-builder-prof armhf 0.4.1.0-4+b1 [99.6 kB] Get: 84 http://deb.debian.org/debian bullseye/main armhf libghc-blaze-markup-dev armhf 0.8.2.7-1 [135 kB] Get: 85 http://deb.debian.org/debian bullseye/main armhf libghc-blaze-html-dev armhf 0.9.1.2-1+b2 [470 kB] Get: 86 http://deb.debian.org/debian bullseye/main armhf libghc-blaze-markup-prof armhf 0.8.2.7-1 [133 kB] Get: 87 http://deb.debian.org/debian bullseye/main armhf libghc-blaze-html-prof armhf 0.9.1.2-1+b2 [326 kB] Get: 88 http://deb.debian.org/debian bullseye/main armhf libghc-floatinghex-dev armhf 0.4-4+b1 [32.8 kB] Get: 89 http://deb.debian.org/debian bullseye/main armhf libghc-cracknum-dev armhf 2.3-2+b1 [79.9 kB] Get: 90 http://deb.debian.org/debian bullseye/main armhf libghc-floatinghex-prof armhf 0.4-4+b1 [26.4 kB] Get: 91 http://deb.debian.org/debian bullseye/main armhf libghc-cracknum-prof armhf 2.3-2+b1 [70.7 kB] Get: 92 http://deb.debian.org/debian bullseye/main armhf libghc-th-abstraction-dev armhf 0.3.2.0-1+b1 [215 kB] Get: 93 http://deb.debian.org/debian bullseye/main armhf libghc-generic-deriving-dev armhf 1.13.1-1+b1 [898 kB] Get: 94 http://deb.debian.org/debian bullseye/main armhf libghc-th-abstraction-prof armhf 0.3.2.0-1+b1 [189 kB] Get: 95 http://deb.debian.org/debian bullseye/main armhf libghc-generic-deriving-prof armhf 1.13.1-1+b1 [798 kB] Get: 96 http://deb.debian.org/debian bullseye/main armhf libghc-gitrev-dev armhf 1.3.1-4+b1 [32.4 kB] Get: 97 http://deb.debian.org/debian bullseye/main armhf libghc-gitrev-doc all 1.3.1-4 [42.1 kB] Get: 98 http://deb.debian.org/debian bullseye/main armhf libghc-gitrev-prof armhf 1.3.1-4+b1 [27.1 kB] Get: 99 http://deb.debian.org/debian bullseye/main armhf libghc-graphscc-dev armhf 1.0.4-6+b1 [40.3 kB] Get: 100 http://deb.debian.org/debian bullseye/main armhf libghc-graphscc-doc all 1.0.4-6 [43.1 kB] Get: 101 http://deb.debian.org/debian bullseye/main armhf libghc-graphscc-prof armhf 1.0.4-6+b1 [32.5 kB] Get: 102 http://deb.debian.org/debian bullseye/main armhf libghc-heredoc-dev armhf 0.2.0.0-6+b1 [23.0 kB] Get: 103 http://deb.debian.org/debian bullseye/main armhf libghc-heredoc-doc all 0.2.0.0-6 [39.2 kB] Get: 104 http://deb.debian.org/debian bullseye/main armhf libghc-heredoc-prof armhf 0.2.0.0-6+b1 [18.9 kB] Get: 105 http://deb.debian.org/debian bullseye/main armhf libghc-transformers-compat-dev armhf 0.6.5-2+b1 [90.8 kB] Get: 106 http://deb.debian.org/debian bullseye/main armhf libghc-transformers-base-dev armhf 0.4.5.2-3+b1 [41.6 kB] Get: 107 http://deb.debian.org/debian bullseye/main armhf libghc-monad-control-dev armhf 1.0.2.3-4+b1 [49.5 kB] Get: 108 http://deb.debian.org/debian bullseye/main armhf libghc-monad-control-doc all 1.0.2.3-4 [73.3 kB] Get: 109 http://deb.debian.org/debian bullseye/main armhf libghc-transformers-compat-prof armhf 0.6.5-2+b1 [77.7 kB] Get: 110 http://deb.debian.org/debian bullseye/main armhf libghc-transformers-base-prof armhf 0.4.5.2-3+b1 [38.0 kB] Get: 111 http://deb.debian.org/debian bullseye/main armhf libghc-monad-control-prof armhf 1.0.2.3-4+b1 [46.0 kB] Get: 112 http://deb.debian.org/debian bullseye/main armhf libghc-monadlib-dev armhf 3.10-1+b1 [228 kB] Get: 113 http://deb.debian.org/debian bullseye/main armhf libghc-monadlib-doc all 3.10-1 [94.1 kB] Get: 114 http://deb.debian.org/debian bullseye/main armhf libghc-monadlib-prof armhf 3.10-1+b1 [205 kB] Get: 115 http://deb.debian.org/debian bullseye/main armhf libghc-panic-dev armhf 0.4.0.1-2+b1 [26.4 kB] Get: 116 http://deb.debian.org/debian bullseye/main armhf libghc-panic-doc all 0.4.0.1-2 [39.5 kB] Get: 117 http://deb.debian.org/debian bullseye/main armhf libghc-panic-prof armhf 0.4.0.1-2+b1 [22.1 kB] Get: 118 http://deb.debian.org/debian bullseye/main armhf libghc-primitive-dev armhf 0.7.0.1-1+b1 [381 kB] Get: 119 http://deb.debian.org/debian bullseye/main armhf libghc-primitive-prof armhf 0.7.0.1-1+b1 [317 kB] Get: 120 http://deb.debian.org/debian bullseye/main armhf libghc-random-dev armhf 1.1-12+b1 [165 kB] Get: 121 http://deb.debian.org/debian bullseye/main armhf libghc-splitmix-dev armhf 0.0.5-1 [60.9 kB] Get: 122 http://deb.debian.org/debian bullseye/main armhf libghc-quickcheck2-dev armhf 2.13.2-1+b2 [756 kB] Get: 123 http://deb.debian.org/debian bullseye/main armhf libghc-random-prof armhf 1.1-12+b1 [126 kB] Get: 124 http://deb.debian.org/debian bullseye/main armhf libghc-splitmix-prof armhf 0.0.5-1 [53.4 kB] Get: 125 http://deb.debian.org/debian bullseye/main armhf libghc-quickcheck2-prof armhf 2.13.2-1+b2 [647 kB] Get: 126 http://deb.debian.org/debian bullseye/main armhf libghc-random-doc all 1.1-12 [61.5 kB] Get: 127 http://deb.debian.org/debian bullseye/main armhf libghc-syb-dev armhf 0.7.1-2+b1 [125 kB] Get: 128 http://deb.debian.org/debian bullseye/main armhf libghc-sbv-dev armhf 8.7-1+b1 [7997 kB] Get: 129 http://deb.debian.org/debian bullseye/main armhf libghc-sbv-doc all 8.7-1 [1645 kB] Get: 130 http://deb.debian.org/debian bullseye/main armhf libghc-syb-prof armhf 0.7.1-2+b1 [110 kB] Get: 131 http://deb.debian.org/debian bullseye/main armhf libghc-sbv-prof armhf 8.7-1+b1 [6254 kB] Get: 132 http://deb.debian.org/debian bullseye/main armhf libghc-simple-smt-dev armhf 0.9.5-1 [110 kB] Get: 133 http://deb.debian.org/debian bullseye/main armhf libghc-simple-smt-doc all 0.9.5-1 [69.9 kB] Get: 134 http://deb.debian.org/debian bullseye/main armhf libghc-simple-smt-prof armhf 0.9.5-1 [89.9 kB] Get: 135 http://deb.debian.org/debian bullseye/main armhf libghc-strict-dev armhf 0.3.2-16+b1 [60.1 kB] Get: 136 http://deb.debian.org/debian bullseye/main armhf libghc-strict-doc all 0.3.2-16 [49.0 kB] Get: 137 http://deb.debian.org/debian bullseye/main armhf libghc-strict-prof armhf 0.3.2-16+b1 [52.1 kB] Get: 138 http://deb.debian.org/debian bullseye/main armhf libghc-tf-random-dev armhf 0.5-10+b1 [98.5 kB] Get: 139 http://deb.debian.org/debian bullseye/main armhf libghc-tf-random-doc all 0.5-10 [62.4 kB] Get: 140 http://deb.debian.org/debian bullseye/main armhf libghc-tf-random-prof armhf 0.5-10+b1 [85.9 kB] Get: 141 http://deb.debian.org/debian bullseye/main armhf libghc-transformers-base-doc all 0.4.5.2-3 [40.0 kB] Get: 142 http://deb.debian.org/debian bullseye/main armhf libghc-cryptohash-sha1-dev armhf 0.11.100.1-6+b1 [28.7 kB] Get: 143 http://deb.debian.org/debian bullseye/main armhf libghc-cryptohash-sha1-doc all 0.11.100.1-6 [46.0 kB] Get: 144 http://deb.debian.org/debian bullseye/main armhf libghc-cryptohash-sha1-prof armhf 0.11.100.1-6+b1 [24.1 kB] Fetched 324 MB in 1min 20s (4024 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19398 files and directories currently installed.) Preparing to unpack .../000-bsdextrautils_2.36.1-8_armhf.deb ... Unpacking bsdextrautils (2.36.1-8) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../001-libuchardet0_0.0.7-1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../002-groff-base_1.22.4-6_armhf.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../003-libpipeline1_1.5.3-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../004-man-db_2.9.4-2_armhf.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libmd0:armhf. Preparing to unpack .../005-libmd0_1.0.3-3_armhf.deb ... Unpacking libmd0:armhf (1.0.3-3) ... Selecting previously unselected package libbsd0:armhf. Preparing to unpack .../006-libbsd0_0.11.3-1_armhf.deb ... Unpacking libbsd0:armhf (0.11.3-1) ... Selecting previously unselected package libedit2:armhf. Preparing to unpack .../007-libedit2_3.1-20191231-2+b1_armhf.deb ... Unpacking libedit2:armhf (3.1-20191231-2+b1) ... Selecting previously unselected package libz3-4:armhf. Preparing to unpack .../008-libz3-4_4.8.10-1_armhf.deb ... Unpacking libz3-4:armhf (4.8.10-1) ... Selecting previously unselected package libllvm11:armhf. Preparing to unpack .../009-libllvm11_1%3a11.0.1-2_armhf.deb ... Unpacking libllvm11:armhf (1:11.0.1-2) ... Selecting previously unselected package llvm-11-runtime. Preparing to unpack .../010-llvm-11-runtime_1%3a11.0.1-2_armhf.deb ... Unpacking llvm-11-runtime (1:11.0.1-2) ... Selecting previously unselected package libpfm4:armhf. Preparing to unpack .../011-libpfm4_4.11.1+git32-gd0b85fb-1_armhf.deb ... Unpacking libpfm4:armhf (4.11.1+git32-gd0b85fb-1) ... Selecting previously unselected package llvm-11. Preparing to unpack .../012-llvm-11_1%3a11.0.1-2_armhf.deb ... Unpacking llvm-11 (1:11.0.1-2) ... Selecting previously unselected package libgmpxx4ldbl:armhf. Preparing to unpack .../013-libgmpxx4ldbl_2%3a6.2.1+dfsg-1_armhf.deb ... Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg-1) ... Selecting previously unselected package libgmp-dev:armhf. Preparing to unpack .../014-libgmp-dev_2%3a6.2.1+dfsg-1_armhf.deb ... Unpacking libgmp-dev:armhf (2:6.2.1+dfsg-1) ... Selecting previously unselected package libffi-dev:armhf. Preparing to unpack .../015-libffi-dev_3.3-6_armhf.deb ... Unpacking libffi-dev:armhf (3.3-6) ... Selecting previously unselected package libmd-dev:armhf. Preparing to unpack .../016-libmd-dev_1.0.3-3_armhf.deb ... Unpacking libmd-dev:armhf (1.0.3-3) ... Selecting previously unselected package libbsd-dev:armhf. Preparing to unpack .../017-libbsd-dev_0.11.3-1_armhf.deb ... Unpacking libbsd-dev:armhf (0.11.3-1) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../018-libncurses6_6.2+20201114-2_armhf.deb ... Unpacking libncurses6:armhf (6.2+20201114-2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../019-libncurses-dev_6.2+20201114-2_armhf.deb ... Unpacking libncurses-dev:armhf (6.2+20201114-2) ... Selecting previously unselected package libncurses5-dev:armhf. Preparing to unpack .../020-libncurses5-dev_6.2+20201114-2_armhf.deb ... Unpacking libncurses5-dev:armhf (6.2+20201114-2) ... Selecting previously unselected package ghc. Preparing to unpack .../021-ghc_8.8.4-2_armhf.deb ... Unpacking ghc (8.8.4-2) ... Selecting previously unselected package fonts-mathjax. Preparing to unpack .../022-fonts-mathjax_2.7.9+dfsg-1_all.deb ... Unpacking fonts-mathjax (2.7.9+dfsg-1) ... Selecting previously unselected package libjs-mathjax. Preparing to unpack .../023-libjs-mathjax_2.7.9+dfsg-1_all.deb ... Unpacking libjs-mathjax (2.7.9+dfsg-1) ... Selecting previously unselected package ghc-doc. Preparing to unpack .../024-ghc-doc_8.8.4-2_all.deb ... Unpacking ghc-doc (8.8.4-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../025-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../026-libmagic-mgc_1%3a5.39-3_armhf.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../027-libmagic1_1%3a5.39-3_armhf.deb ... Unpacking libmagic1:armhf (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../028-file_1%3a5.39-3_armhf.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../029-gettext-base_0.21-4_armhf.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package alex. Preparing to unpack .../030-alex_3.2.5-2_armhf.deb ... Unpacking alex (3.2.5-2) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../031-libsigsegv2_2.13-1_armhf.deb ... Unpacking libsigsegv2:armhf (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../032-m4_1.4.18-5_armhf.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../033-autoconf_2.69-14_all.deb ... Unpacking autoconf (2.69-14) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../034-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../035-automake_1%3a1.16.3-2_all.deb ... Unpacking automake (1:1.16.3-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../036-autopoint_0.21-4_all.deb ... Unpacking autopoint (0.21-4) ... Selecting previously unselected package cdbs. Preparing to unpack .../037-cdbs_0.4.163_all.deb ... Unpacking cdbs (0.4.163) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../038-dctrl-tools_2.24-3_armhf.deb ... Unpacking dctrl-tools (2.24-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../039-libdebhelper-perl_13.3.4_all.deb ... Unpacking libdebhelper-perl (13.3.4) ... Selecting previously unselected package libtool. Preparing to unpack .../040-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../041-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../042-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 .../043-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 .../044-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../045-dh-strip-nondeterminism_1.12.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.12.0-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../046-libelf1_0.183-1_armhf.deb ... Unpacking libelf1:armhf (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../047-dwz_0.13+20210201-1_armhf.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package libicu67:armhf. Preparing to unpack .../048-libicu67_67.1-7_armhf.deb ... Unpacking libicu67:armhf (67.1-7) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../049-libxml2_2.9.10+dfsg-6.7_armhf.deb ... Unpacking libxml2:armhf (2.9.10+dfsg-6.7) ... Selecting previously unselected package gettext. Preparing to unpack .../050-gettext_0.21-4_armhf.deb ... Unpacking gettext (0.21-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../051-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 .../052-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../053-debhelper_13.3.4_all.deb ... Unpacking debhelper (13.3.4) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../054-dh-buildinfo_0.11+nmu2_all.deb ... Unpacking dh-buildinfo (0.11+nmu2) ... Selecting previously unselected package ghc-prof. Preparing to unpack .../055-ghc-prof_8.8.4-2_armhf.deb ... Unpacking ghc-prof (8.8.4-2) ... Selecting previously unselected package happy. Preparing to unpack .../056-happy_1.19.12-2_armhf.deb ... Unpacking happy (1.19.12-2) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../057-libbrotli1_1.0.9-2+b2_armhf.deb ... Unpacking libbrotli1:armhf (1.0.9-2+b2) ... Selecting previously unselected package libsasl2-modules-db:armhf. Preparing to unpack .../058-libsasl2-modules-db_2.1.27+dfsg-2.1_armhf.deb ... Unpacking libsasl2-modules-db:armhf (2.1.27+dfsg-2.1) ... Selecting previously unselected package libsasl2-2:armhf. Preparing to unpack .../059-libsasl2-2_2.1.27+dfsg-2.1_armhf.deb ... Unpacking libsasl2-2:armhf (2.1.27+dfsg-2.1) ... Selecting previously unselected package libldap-2.4-2:armhf. Preparing to unpack .../060-libldap-2.4-2_2.4.57+dfsg-3_armhf.deb ... Unpacking libldap-2.4-2:armhf (2.4.57+dfsg-3) ... Selecting previously unselected package libnghttp2-14:armhf. Preparing to unpack .../061-libnghttp2-14_1.43.0-1_armhf.deb ... Unpacking libnghttp2-14:armhf (1.43.0-1) ... Selecting previously unselected package libpsl5:armhf. Preparing to unpack .../062-libpsl5_0.21.0-1.2_armhf.deb ... Unpacking libpsl5:armhf (0.21.0-1.2) ... Selecting previously unselected package librtmp1:armhf. Preparing to unpack .../063-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 .../064-libssh2-1_1.9.0-2_armhf.deb ... Unpacking libssh2-1:armhf (1.9.0-2) ... Selecting previously unselected package libcurl3-gnutls:armhf. Preparing to unpack .../065-libcurl3-gnutls_7.74.0-1.3+b1_armhf.deb ... Unpacking libcurl3-gnutls:armhf (7.74.0-1.3+b1) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../066-html-xml-utils_7.7-1.1_armhf.deb ... Unpacking html-xml-utils (7.7-1.1) ... Selecting previously unselected package haskell-devscripts-minimal. Preparing to unpack .../067-haskell-devscripts-minimal_0.16.0_all.deb ... Unpacking haskell-devscripts-minimal (0.16.0) ... Selecting previously unselected package hscolour. Preparing to unpack .../068-hscolour_1.24.4-3+b1_armhf.deb ... Unpacking hscolour (1.24.4-3+b1) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../069-haskell-devscripts_0.16.0_all.deb ... Unpacking haskell-devscripts (0.16.0) ... Selecting previously unselected package libghc-colour-dev. Preparing to unpack .../070-libghc-colour-dev_2.3.5-2+b1_armhf.deb ... Unpacking libghc-colour-dev (2.3.5-2+b1) ... Selecting previously unselected package libghc-ansi-terminal-dev. Preparing to unpack .../071-libghc-ansi-terminal-dev_0.10.3-1+b1_armhf.deb ... Unpacking libghc-ansi-terminal-dev (0.10.3-1+b1) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../072-libghc-hashable-dev_1.3.0.0-2+b1_armhf.deb ... Unpacking libghc-hashable-dev (1.3.0.0-2+b1) ... Selecting previously unselected package libghc-async-dev. Preparing to unpack .../073-libghc-async-dev_2.2.2-2+b1_armhf.deb ... Unpacking libghc-async-dev (2.2.2-2+b1) ... Selecting previously unselected package libghc-hashable-prof. Preparing to unpack .../074-libghc-hashable-prof_1.3.0.0-2+b1_armhf.deb ... Unpacking libghc-hashable-prof (1.3.0.0-2+b1) ... Selecting previously unselected package libghc-async-prof. Preparing to unpack .../075-libghc-async-prof_2.2.2-2+b1_armhf.deb ... Unpacking libghc-async-prof (2.2.2-2+b1) ... Selecting previously unselected package libghc-base-compat-dev. Preparing to unpack .../076-libghc-base-compat-dev_0.11.1-1+b1_armhf.deb ... Unpacking libghc-base-compat-dev (0.11.1-1+b1) ... Selecting previously unselected package libghc-base-compat-doc. Preparing to unpack .../077-libghc-base-compat-doc_0.11.1-1_all.deb ... Unpacking libghc-base-compat-doc (0.11.1-1) ... Selecting previously unselected package libghc-base-compat-prof. Preparing to unpack .../078-libghc-base-compat-prof_0.11.1-1+b1_armhf.deb ... Unpacking libghc-base-compat-prof (0.11.1-1+b1) ... Selecting previously unselected package libghc-base-orphans-dev. Preparing to unpack .../079-libghc-base-orphans-dev_0.8.2-1+b1_armhf.deb ... Unpacking libghc-base-orphans-dev (0.8.2-1+b1) ... Selecting previously unselected package libghc-base-orphans-prof. Preparing to unpack .../080-libghc-base-orphans-prof_0.8.2-1+b1_armhf.deb ... Unpacking libghc-base-orphans-prof (0.8.2-1+b1) ... Selecting previously unselected package libghc-blaze-builder-dev. Preparing to unpack .../081-libghc-blaze-builder-dev_0.4.1.0-4+b1_armhf.deb ... Unpacking libghc-blaze-builder-dev (0.4.1.0-4+b1) ... Selecting previously unselected package libghc-blaze-builder-prof. Preparing to unpack .../082-libghc-blaze-builder-prof_0.4.1.0-4+b1_armhf.deb ... Unpacking libghc-blaze-builder-prof (0.4.1.0-4+b1) ... Selecting previously unselected package libghc-blaze-markup-dev. Preparing to unpack .../083-libghc-blaze-markup-dev_0.8.2.7-1_armhf.deb ... Unpacking libghc-blaze-markup-dev (0.8.2.7-1) ... Selecting previously unselected package libghc-blaze-html-dev. Preparing to unpack .../084-libghc-blaze-html-dev_0.9.1.2-1+b2_armhf.deb ... Unpacking libghc-blaze-html-dev (0.9.1.2-1+b2) ... Selecting previously unselected package libghc-blaze-markup-prof. Preparing to unpack .../085-libghc-blaze-markup-prof_0.8.2.7-1_armhf.deb ... Unpacking libghc-blaze-markup-prof (0.8.2.7-1) ... Selecting previously unselected package libghc-blaze-html-prof. Preparing to unpack .../086-libghc-blaze-html-prof_0.9.1.2-1+b2_armhf.deb ... Unpacking libghc-blaze-html-prof (0.9.1.2-1+b2) ... Selecting previously unselected package libghc-floatinghex-dev. Preparing to unpack .../087-libghc-floatinghex-dev_0.4-4+b1_armhf.deb ... Unpacking libghc-floatinghex-dev (0.4-4+b1) ... Selecting previously unselected package libghc-cracknum-dev. Preparing to unpack .../088-libghc-cracknum-dev_2.3-2+b1_armhf.deb ... Unpacking libghc-cracknum-dev (2.3-2+b1) ... Selecting previously unselected package libghc-floatinghex-prof. Preparing to unpack .../089-libghc-floatinghex-prof_0.4-4+b1_armhf.deb ... Unpacking libghc-floatinghex-prof (0.4-4+b1) ... Selecting previously unselected package libghc-cracknum-prof. Preparing to unpack .../090-libghc-cracknum-prof_2.3-2+b1_armhf.deb ... Unpacking libghc-cracknum-prof (2.3-2+b1) ... Selecting previously unselected package libghc-th-abstraction-dev. Preparing to unpack .../091-libghc-th-abstraction-dev_0.3.2.0-1+b1_armhf.deb ... Unpacking libghc-th-abstraction-dev (0.3.2.0-1+b1) ... Selecting previously unselected package libghc-generic-deriving-dev. Preparing to unpack .../092-libghc-generic-deriving-dev_1.13.1-1+b1_armhf.deb ... Unpacking libghc-generic-deriving-dev (1.13.1-1+b1) ... Selecting previously unselected package libghc-th-abstraction-prof. Preparing to unpack .../093-libghc-th-abstraction-prof_0.3.2.0-1+b1_armhf.deb ... Unpacking libghc-th-abstraction-prof (0.3.2.0-1+b1) ... Selecting previously unselected package libghc-generic-deriving-prof. Preparing to unpack .../094-libghc-generic-deriving-prof_1.13.1-1+b1_armhf.deb ... Unpacking libghc-generic-deriving-prof (1.13.1-1+b1) ... Selecting previously unselected package libghc-gitrev-dev. Preparing to unpack .../095-libghc-gitrev-dev_1.3.1-4+b1_armhf.deb ... Unpacking libghc-gitrev-dev (1.3.1-4+b1) ... Selecting previously unselected package libghc-gitrev-doc. Preparing to unpack .../096-libghc-gitrev-doc_1.3.1-4_all.deb ... Unpacking libghc-gitrev-doc (1.3.1-4) ... Selecting previously unselected package libghc-gitrev-prof. Preparing to unpack .../097-libghc-gitrev-prof_1.3.1-4+b1_armhf.deb ... Unpacking libghc-gitrev-prof (1.3.1-4+b1) ... Selecting previously unselected package libghc-graphscc-dev. Preparing to unpack .../098-libghc-graphscc-dev_1.0.4-6+b1_armhf.deb ... Unpacking libghc-graphscc-dev (1.0.4-6+b1) ... Selecting previously unselected package libghc-graphscc-doc. Preparing to unpack .../099-libghc-graphscc-doc_1.0.4-6_all.deb ... Unpacking libghc-graphscc-doc (1.0.4-6) ... Selecting previously unselected package libghc-graphscc-prof. Preparing to unpack .../100-libghc-graphscc-prof_1.0.4-6+b1_armhf.deb ... Unpacking libghc-graphscc-prof (1.0.4-6+b1) ... Selecting previously unselected package libghc-heredoc-dev. Preparing to unpack .../101-libghc-heredoc-dev_0.2.0.0-6+b1_armhf.deb ... Unpacking libghc-heredoc-dev (0.2.0.0-6+b1) ... Selecting previously unselected package libghc-heredoc-doc. Preparing to unpack .../102-libghc-heredoc-doc_0.2.0.0-6_all.deb ... Unpacking libghc-heredoc-doc (0.2.0.0-6) ... Selecting previously unselected package libghc-heredoc-prof. Preparing to unpack .../103-libghc-heredoc-prof_0.2.0.0-6+b1_armhf.deb ... Unpacking libghc-heredoc-prof (0.2.0.0-6+b1) ... Selecting previously unselected package libghc-transformers-compat-dev. Preparing to unpack .../104-libghc-transformers-compat-dev_0.6.5-2+b1_armhf.deb ... Unpacking libghc-transformers-compat-dev (0.6.5-2+b1) ... Selecting previously unselected package libghc-transformers-base-dev. Preparing to unpack .../105-libghc-transformers-base-dev_0.4.5.2-3+b1_armhf.deb ... Unpacking libghc-transformers-base-dev (0.4.5.2-3+b1) ... Selecting previously unselected package libghc-monad-control-dev. Preparing to unpack .../106-libghc-monad-control-dev_1.0.2.3-4+b1_armhf.deb ... Unpacking libghc-monad-control-dev (1.0.2.3-4+b1) ... Selecting previously unselected package libghc-monad-control-doc. Preparing to unpack .../107-libghc-monad-control-doc_1.0.2.3-4_all.deb ... Unpacking libghc-monad-control-doc (1.0.2.3-4) ... Selecting previously unselected package libghc-transformers-compat-prof. Preparing to unpack .../108-libghc-transformers-compat-prof_0.6.5-2+b1_armhf.deb ... Unpacking libghc-transformers-compat-prof (0.6.5-2+b1) ... Selecting previously unselected package libghc-transformers-base-prof. Preparing to unpack .../109-libghc-transformers-base-prof_0.4.5.2-3+b1_armhf.deb ... Unpacking libghc-transformers-base-prof (0.4.5.2-3+b1) ... Selecting previously unselected package libghc-monad-control-prof. Preparing to unpack .../110-libghc-monad-control-prof_1.0.2.3-4+b1_armhf.deb ... Unpacking libghc-monad-control-prof (1.0.2.3-4+b1) ... Selecting previously unselected package libghc-monadlib-dev. Preparing to unpack .../111-libghc-monadlib-dev_3.10-1+b1_armhf.deb ... Unpacking libghc-monadlib-dev (3.10-1+b1) ... Selecting previously unselected package libghc-monadlib-doc. Preparing to unpack .../112-libghc-monadlib-doc_3.10-1_all.deb ... Unpacking libghc-monadlib-doc (3.10-1) ... Selecting previously unselected package libghc-monadlib-prof. Preparing to unpack .../113-libghc-monadlib-prof_3.10-1+b1_armhf.deb ... Unpacking libghc-monadlib-prof (3.10-1+b1) ... Selecting previously unselected package libghc-panic-dev. Preparing to unpack .../114-libghc-panic-dev_0.4.0.1-2+b1_armhf.deb ... Unpacking libghc-panic-dev (0.4.0.1-2+b1) ... Selecting previously unselected package libghc-panic-doc. Preparing to unpack .../115-libghc-panic-doc_0.4.0.1-2_all.deb ... Unpacking libghc-panic-doc (0.4.0.1-2) ... Selecting previously unselected package libghc-panic-prof. Preparing to unpack .../116-libghc-panic-prof_0.4.0.1-2+b1_armhf.deb ... Unpacking libghc-panic-prof (0.4.0.1-2+b1) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../117-libghc-primitive-dev_0.7.0.1-1+b1_armhf.deb ... Unpacking libghc-primitive-dev (0.7.0.1-1+b1) ... Selecting previously unselected package libghc-primitive-prof. Preparing to unpack .../118-libghc-primitive-prof_0.7.0.1-1+b1_armhf.deb ... Unpacking libghc-primitive-prof (0.7.0.1-1+b1) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../119-libghc-random-dev_1.1-12+b1_armhf.deb ... Unpacking libghc-random-dev (1.1-12+b1) ... Selecting previously unselected package libghc-splitmix-dev. Preparing to unpack .../120-libghc-splitmix-dev_0.0.5-1_armhf.deb ... Unpacking libghc-splitmix-dev (0.0.5-1) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../121-libghc-quickcheck2-dev_2.13.2-1+b2_armhf.deb ... Unpacking libghc-quickcheck2-dev (2.13.2-1+b2) ... Selecting previously unselected package libghc-random-prof. Preparing to unpack .../122-libghc-random-prof_1.1-12+b1_armhf.deb ... Unpacking libghc-random-prof (1.1-12+b1) ... Selecting previously unselected package libghc-splitmix-prof. Preparing to unpack .../123-libghc-splitmix-prof_0.0.5-1_armhf.deb ... Unpacking libghc-splitmix-prof (0.0.5-1) ... Selecting previously unselected package libghc-quickcheck2-prof. Preparing to unpack .../124-libghc-quickcheck2-prof_2.13.2-1+b2_armhf.deb ... Unpacking libghc-quickcheck2-prof (2.13.2-1+b2) ... Selecting previously unselected package libghc-random-doc. Preparing to unpack .../125-libghc-random-doc_1.1-12_all.deb ... Unpacking libghc-random-doc (1.1-12) ... Selecting previously unselected package libghc-syb-dev. Preparing to unpack .../126-libghc-syb-dev_0.7.1-2+b1_armhf.deb ... Unpacking libghc-syb-dev (0.7.1-2+b1) ... Selecting previously unselected package libghc-sbv-dev. Preparing to unpack .../127-libghc-sbv-dev_8.7-1+b1_armhf.deb ... Unpacking libghc-sbv-dev (8.7-1+b1) ... Selecting previously unselected package libghc-sbv-doc. Preparing to unpack .../128-libghc-sbv-doc_8.7-1_all.deb ... Unpacking libghc-sbv-doc (8.7-1) ... Selecting previously unselected package libghc-syb-prof. Preparing to unpack .../129-libghc-syb-prof_0.7.1-2+b1_armhf.deb ... Unpacking libghc-syb-prof (0.7.1-2+b1) ... Selecting previously unselected package libghc-sbv-prof. Preparing to unpack .../130-libghc-sbv-prof_8.7-1+b1_armhf.deb ... Unpacking libghc-sbv-prof (8.7-1+b1) ... Selecting previously unselected package libghc-simple-smt-dev. Preparing to unpack .../131-libghc-simple-smt-dev_0.9.5-1_armhf.deb ... Unpacking libghc-simple-smt-dev (0.9.5-1) ... Selecting previously unselected package libghc-simple-smt-doc. Preparing to unpack .../132-libghc-simple-smt-doc_0.9.5-1_all.deb ... Unpacking libghc-simple-smt-doc (0.9.5-1) ... Selecting previously unselected package libghc-simple-smt-prof. Preparing to unpack .../133-libghc-simple-smt-prof_0.9.5-1_armhf.deb ... Unpacking libghc-simple-smt-prof (0.9.5-1) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../134-libghc-strict-dev_0.3.2-16+b1_armhf.deb ... Unpacking libghc-strict-dev (0.3.2-16+b1) ... Selecting previously unselected package libghc-strict-doc. Preparing to unpack .../135-libghc-strict-doc_0.3.2-16_all.deb ... Unpacking libghc-strict-doc (0.3.2-16) ... Selecting previously unselected package libghc-strict-prof. Preparing to unpack .../136-libghc-strict-prof_0.3.2-16+b1_armhf.deb ... Unpacking libghc-strict-prof (0.3.2-16+b1) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../137-libghc-tf-random-dev_0.5-10+b1_armhf.deb ... Unpacking libghc-tf-random-dev (0.5-10+b1) ... Selecting previously unselected package libghc-tf-random-doc. Preparing to unpack .../138-libghc-tf-random-doc_0.5-10_all.deb ... Unpacking libghc-tf-random-doc (0.5-10) ... Selecting previously unselected package libghc-tf-random-prof. Preparing to unpack .../139-libghc-tf-random-prof_0.5-10+b1_armhf.deb ... Unpacking libghc-tf-random-prof (0.5-10+b1) ... Selecting previously unselected package libghc-transformers-base-doc. Preparing to unpack .../140-libghc-transformers-base-doc_0.4.5.2-3_all.deb ... Unpacking libghc-transformers-base-doc (0.4.5.2-3) ... Selecting previously unselected package libghc-cryptohash-sha1-dev. Preparing to unpack .../141-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-doc. Preparing to unpack .../142-libghc-cryptohash-sha1-doc_0.11.100.1-6_all.deb ... Unpacking libghc-cryptohash-sha1-doc (0.11.100.1-6) ... Selecting previously unselected package libghc-cryptohash-sha1-prof. Preparing to unpack .../143-libghc-cryptohash-sha1-prof_0.11.100.1-6+b1_armhf.deb ... Unpacking libghc-cryptohash-sha1-prof (0.11.100.1-6+b1) ... Setting up libpipeline1:armhf (1.5.3-1) ... Setting up libpsl5:armhf (0.21.0-1.2) ... Setting up hscolour (1.24.4-3+b1) ... Setting up fonts-mathjax (2.7.9+dfsg-1) ... Setting up bsdextrautils (2.36.1-8) ... update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode Setting up libjs-mathjax (2.7.9+dfsg-1) ... Setting up libicu67:armhf (67.1-7) ... Setting up libmagic-mgc (1:5.39-3) ... Setting up happy (1.19.12-2) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.3.4) ... Setting up libbrotli1:armhf (1.0.9-2+b2) ... Setting up libnghttp2-14:armhf (1.43.0-1) ... Setting up libmagic1:armhf (1:5.39-3) ... Setting up gettext-base (0.21-4) ... Setting up file (1:5.39-3) ... Setting up libffi-dev:armhf (3.3-6) ... Setting up alex (3.2.5-2) ... Setting up libsasl2-modules-db:armhf (2.1.27+dfsg-2.1) ... Setting up autotools-dev (20180224.1+nmu1) ... Setting up libz3-4:armhf (4.8.10-1) ... Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg-1) ... Setting up libpfm4:armhf (4.11.1+git32-gd0b85fb-1) ... Setting up librtmp1:armhf (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:armhf (6.2+20201114-2) ... Setting up libsigsegv2:armhf (2.13-1) ... Setting up autopoint (0.21-4) ... Setting up libsasl2-2:armhf (2.1.27+dfsg-2.1) ... Setting up libmd0:armhf (1.0.3-3) ... Setting up sensible-utils (0.0.14) ... Setting up libuchardet0:armhf (0.0.7-1) ... Setting up libmd-dev:armhf (1.0.3-3) ... Setting up libsub-override-perl (0.09-2) ... Setting up libssh2-1:armhf (1.9.0-2) ... Setting up libbsd0:armhf (0.11.3-1) ... Setting up cdbs (0.4.163) ... Setting up libelf1:armhf (0.183-1) ... Setting up libxml2:armhf (2.9.10+dfsg-6.7) ... Setting up libbsd-dev:armhf (0.11.3-1) ... Setting up dctrl-tools (2.24-3) ... Setting up libfile-stripnondeterminism-perl (1.12.0-1) ... Setting up libncurses-dev:armhf (6.2+20201114-2) ... Setting up gettext (0.21-4) ... Setting up libgmp-dev:armhf (2:6.2.1+dfsg-1) ... Setting up libtool (2.4.6-15) ... Setting up libedit2:armhf (3.1-20191231-2+b1) ... Setting up libldap-2.4-2:armhf (2.4.57+dfsg-3) ... Setting up m4 (1.4.18-5) ... Setting up libcurl3-gnutls:armhf (7.74.0-1.3+b1) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libllvm11:armhf (1:11.0.1-2) ... Setting up autoconf (2.69-14) ... Setting up dh-strip-nondeterminism (1.12.0-1) ... Setting up dwz (0.13+20210201-1) ... Setting up groff-base (1.22.4-6) ... Setting up libncurses5-dev:armhf (6.2+20201114-2) ... Setting up automake (1:1.16.3-2) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up llvm-11-runtime (1:11.0.1-2) ... Setting up html-xml-utils (7.7-1.1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up llvm-11 (1:11.0.1-2) ... Setting up man-db (2.9.4-2) ... Not building database; man-db/auto-update is not 'true'. Setting up dh-autoreconf (20) ... Setting up ghc (8.8.4-2) ... 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-tf-random-doc (0.5-10) ... Setting up libghc-random-dev (1.1-12+b1) ... Setting up libghc-panic-doc (0.4.0.1-2) ... Setting up libghc-colour-dev (2.3.5-2+b1) ... Setting up debhelper (13.3.4) ... Setting up libghc-simple-smt-doc (0.9.5-1) ... Setting up libghc-strict-dev (0.3.2-16+b1) ... Setting up libghc-floatinghex-dev (0.4-4+b1) ... Setting up libghc-graphscc-dev (1.0.4-6+b1) ... Setting up libghc-base-compat-dev (0.11.1-1+b1) ... Setting up libghc-simple-smt-dev (0.9.5-1) ... Setting up libghc-splitmix-dev (0.0.5-1) ... Setting up ghc-doc (8.8.4-2) ... Setting up libghc-base-compat-doc (0.11.1-1) ... Setting up libghc-th-abstraction-dev (0.3.2.0-1+b1) ... Setting up libghc-base-orphans-dev (0.8.2-1+b1) ... Setting up dh-buildinfo (0.11+nmu2) ... Setting up libghc-transformers-compat-dev (0.6.5-2+b1) ... Setting up libghc-transformers-base-doc (0.4.5.2-3) ... Setting up libghc-monad-control-doc (1.0.2.3-4) ... Setting up libghc-cryptohash-sha1-doc (0.11.100.1-6) ... Setting up libghc-cryptohash-sha1-dev (0.11.100.1-6+b1) ... Setting up libghc-heredoc-dev (0.2.0.0-6+b1) ... Setting up libghc-strict-doc (0.3.2-16) ... Setting up libghc-syb-dev (0.7.1-2+b1) ... Setting up libghc-graphscc-doc (1.0.4-6) ... Setting up libghc-random-doc (1.1-12) ... Setting up libghc-monadlib-dev (3.10-1+b1) ... Setting up haskell-devscripts-minimal (0.16.0) ... Setting up libghc-sbv-doc (8.7-1) ... Setting up libghc-hashable-dev (1.3.0.0-2+b1) ... Setting up libghc-ansi-terminal-dev (0.10.3-1+b1) ... Setting up libghc-transformers-base-dev (0.4.5.2-3+b1) ... Setting up libghc-heredoc-doc (0.2.0.0-6) ... Setting up libghc-blaze-builder-dev (0.4.1.0-4+b1) ... Setting up libghc-gitrev-doc (1.3.1-4) ... Setting up libghc-monadlib-doc (3.10-1) ... Setting up libghc-primitive-dev (0.7.0.1-1+b1) ... Setting up ghc-prof (8.8.4-2) ... Setting up libghc-floatinghex-prof (0.4-4+b1) ... Setting up libghc-cryptohash-sha1-prof (0.11.100.1-6+b1) ... Setting up libghc-monadlib-prof (3.10-1+b1) ... Setting up libghc-random-prof (1.1-12+b1) ... Setting up libghc-primitive-prof (0.7.0.1-1+b1) ... Setting up libghc-graphscc-prof (1.0.4-6+b1) ... Setting up libghc-heredoc-prof (0.2.0.0-6+b1) ... Setting up libghc-base-orphans-prof (0.8.2-1+b1) ... Setting up libghc-simple-smt-prof (0.9.5-1) ... Setting up libghc-gitrev-dev (1.3.1-4+b1) ... Setting up libghc-splitmix-prof (0.0.5-1) ... Setting up libghc-hashable-prof (1.3.0.0-2+b1) ... Setting up haskell-devscripts (0.16.0) ... Setting up libghc-cracknum-dev (2.3-2+b1) ... Setting up libghc-strict-prof (0.3.2-16+b1) ... Setting up libghc-quickcheck2-dev (2.13.2-1+b2) ... Setting up libghc-blaze-builder-prof (0.4.1.0-4+b1) ... Setting up libghc-th-abstraction-prof (0.3.2.0-1+b1) ... Setting up libghc-generic-deriving-dev (1.13.1-1+b1) ... Setting up libghc-blaze-markup-dev (0.8.2.7-1) ... Setting up libghc-transformers-compat-prof (0.6.5-2+b1) ... Setting up libghc-async-dev (2.2.2-2+b1) ... Setting up libghc-blaze-html-dev (0.9.1.2-1+b2) ... Setting up libghc-cracknum-prof (2.3-2+b1) ... Setting up libghc-transformers-base-prof (0.4.5.2-3+b1) ... Setting up libghc-monad-control-dev (1.0.2.3-4+b1) ... Setting up libghc-base-compat-prof (0.11.1-1+b1) ... Setting up libghc-panic-dev (0.4.0.1-2+b1) ... Setting up libghc-tf-random-dev (0.5-10+b1) ... Setting up libghc-async-prof (2.2.2-2+b1) ... Setting up libghc-quickcheck2-prof (2.13.2-1+b2) ... Setting up libghc-monad-control-prof (1.0.2.3-4+b1) ... Setting up libghc-syb-prof (0.7.1-2+b1) ... Setting up libghc-generic-deriving-prof (1.13.1-1+b1) ... Setting up libghc-gitrev-prof (1.3.1-4+b1) ... Setting up libghc-sbv-dev (8.7-1+b1) ... Setting up libghc-blaze-markup-prof (0.8.2.7-1) ... Setting up libghc-tf-random-prof (0.5-10+b1) ... Setting up libghc-panic-prof (0.4.0.1-2+b1) ... Setting up libghc-sbv-prof (8.7-1+b1) ... Setting up libghc-blaze-html-prof (0.9.1.2-1+b2) ... Processing triggers for libc-bin (2.31-13) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps I: Building the package I: Running cd /build/haskell-cryptol-2.8.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../haskell-cryptol_2.8.0-1_source.changes dpkg-buildpackage: info: source package haskell-cryptol dpkg-buildpackage: info: source version 2.8.0-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Clint Adams dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf 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 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-DXR44lBvQNrIfSMDZkYXAf 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-B06yiPverwN9NRH0gvP8sL 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-EIiidmRgYhB1SwNx4SYgtn-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-DXR44lBvQNrIfSMDZkYXAf 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-C4updF9TdGG6QqGYKEBclQ-cryptol-html include base-4.13.0.0 include blaze-html-0.9.1.2-9960Cyn2Ch0KTkxhGdCDFM include cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf include text-1.2.4.0 Linked component graph: unit cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf 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-B06yiPverwN9NRH0gvP8sL 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-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval,Cryptol.Eval.Arch=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval.Arch,Cryptol.Eval.Env=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval.Env,Cryptol.Eval.Monad=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval.Monad,Cryptol.Eval.Reference=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval.Reference,Cryptol.Eval.Type=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval.Type,Cryptol.Eval.Value=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Eval.Value,Cryptol.IR.FreeVars=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.IR.FreeVars,Cryptol.ModuleSystem=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem,Cryptol.ModuleSystem.Base=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Base,Cryptol.ModuleSystem.Env=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Env,Cryptol.ModuleSystem.Exports=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Exports,Cryptol.ModuleSystem.Fingerprint=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Fingerprint,Cryptol.ModuleSystem.InstantiateModule=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.InstantiateModule,Cryptol.ModuleSystem.Interface=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Interface,Cryptol.ModuleSystem.Monad=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Monad,Cryptol.ModuleSystem.Name=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Name,Cryptol.ModuleSystem.NamingEnv=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.NamingEnv,Cryptol.ModuleSystem.Renamer=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.ModuleSystem.Renamer,Cryptol.Parser=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser,Cryptol.Parser.AST=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.AST,Cryptol.Parser.Fixity=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Fixity,Cryptol.Parser.Lexer=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Lexer,Cryptol.Parser.Name=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Name,Cryptol.Parser.Names=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Names,Cryptol.Parser.NoInclude=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.NoInclude,Cryptol.Parser.NoPat=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.NoPat,Cryptol.Parser.Position=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Position,Cryptol.Parser.Selector=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Selector,Cryptol.Parser.Unlit=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Unlit,Cryptol.Parser.Utils=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Parser.Utils,Cryptol.Prims.Eval=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Prims.Eval,Cryptol.REPL.Command=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.REPL.Command,Cryptol.REPL.Monad=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.REPL.Monad,Cryptol.REPL.Trie=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.REPL.Trie,Cryptol.Symbolic=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Symbolic,Cryptol.Symbolic.Prims=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Symbolic.Prims,Cryptol.Symbolic.Value=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Symbolic.Value,Cryptol.Testing.Concrete=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Testing.Concrete,Cryptol.Testing.Random=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Testing.Random,Cryptol.Transform.AddModParams=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Transform.AddModParams,Cryptol.Transform.MonoValues=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Transform.MonoValues,Cryptol.Transform.Specialize=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Transform.Specialize,Cryptol.TypeCheck=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck,Cryptol.TypeCheck.AST=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.AST,Cryptol.TypeCheck.CheckModuleInstance=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.CheckModuleInstance,Cryptol.TypeCheck.Default=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Default,Cryptol.TypeCheck.Depends=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Depends,Cryptol.TypeCheck.Error=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Error,Cryptol.TypeCheck.Infer=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Infer,Cryptol.TypeCheck.InferTypes=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.InferTypes,Cryptol.TypeCheck.Instantiate=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Instantiate,Cryptol.TypeCheck.Kind=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Kind,Cryptol.TypeCheck.Monad=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Monad,Cryptol.TypeCheck.PP=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.PP,Cryptol.TypeCheck.Parseable=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Parseable,Cryptol.TypeCheck.Sanity=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Sanity,Cryptol.TypeCheck.SimpType=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.SimpType,Cryptol.TypeCheck.SimpleSolver=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.SimpleSolver,Cryptol.TypeCheck.Solve=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solve,Cryptol.TypeCheck.Solver.Class=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Class,Cryptol.TypeCheck.Solver.Improve=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Improve,Cryptol.TypeCheck.Solver.InfNat=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.InfNat,Cryptol.TypeCheck.Solver.Numeric=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Numeric,Cryptol.TypeCheck.Solver.Numeric.Fin=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Numeric.Fin,Cryptol.TypeCheck.Solver.Numeric.Interval=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Numeric.Interval,Cryptol.TypeCheck.Solver.SMT=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.SMT,Cryptol.TypeCheck.Solver.Selector=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Selector,Cryptol.TypeCheck.Solver.Types=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Types,Cryptol.TypeCheck.Solver.Utils=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Solver.Utils,Cryptol.TypeCheck.Subst=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Subst,Cryptol.TypeCheck.TCon=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.TCon,Cryptol.TypeCheck.Type=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Type,Cryptol.TypeCheck.TypeMap=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.TypeMap,Cryptol.TypeCheck.TypeOf=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.TypeOf,Cryptol.TypeCheck.TypePat=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.TypePat,Cryptol.TypeCheck.Unify=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.TypeCheck.Unify,Cryptol.Utils.Debug=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.Debug,Cryptol.Utils.Ident=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.Ident,Cryptol.Utils.Logger=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.Logger,Cryptol.Utils.Misc=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.Misc,Cryptol.Utils.PP=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.PP,Cryptol.Utils.Panic=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.Panic,Cryptol.Utils.Patterns=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Utils.Patterns,Cryptol.Version=cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf:Cryptol.Version unit cryptol-2.8.0-EIiidmRgYhB1SwNx4SYgtn-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-DXR44lBvQNrIfSMDZkYXAf 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-C4updF9TdGG6QqGYKEBclQ-cryptol-html include base-4.13.0.0 include blaze-html-0.9.1.2-9960Cyn2Ch0KTkxhGdCDFM include cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf include text-1.2.4.0 Ready component graph: definite cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf 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-B06yiPverwN9NRH0gvP8sL 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-EIiidmRgYhB1SwNx4SYgtn-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-DXR44lBvQNrIfSMDZkYXAf 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-C4updF9TdGG6QqGYKEBclQ-cryptol-html depends base-4.13.0.0 depends blaze-html-0.9.1.2-9960Cyn2Ch0KTkxhGdCDFM depends cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf 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-DXR44lBvQNrIfSMDZkYXAf 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 &&\ haddock_recipe Running debian/hlibrary.setup haddock --builddir=dist-ghc --with-haddock=/usr/bin/haddock --with-ghc=ghc --verbose=2 --html --hoogle --haddock-options=\"--mathjax=file:///usr/share/javascript/mathjax/MathJax.js\" --hyperlink-source /usr/bin/haddock --version /usr/bin/ghc --numeric-version /usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' /usr/bin/ghc --print-libdir /usr/bin/ghc-pkg init dist-ghc/package.conf.inplace creating dist-ghc/build creating dist-ghc/build/autogen creating dist-ghc/build/autogen Preprocessing library for cryptol-2.8.0.. creating dist-ghc/build/Cryptol /usr/bin/happy -agc -o dist-ghc/build/Cryptol/Parser.hs src/Cryptol/Parser.y creating dist-ghc/build/Cryptol/Parser /usr/bin/alex -g -o dist-ghc/build/Cryptol/Parser/Lexer.hs src/Cryptol/Parser/Lexer.x Running Haddock on library for cryptol-2.8.0.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: FloatingHex-0.4, QuickCheck-2.13.2, async-2.2.2, base-orphans-0.8.2, crackNum-2.3, generic-deriving-1.13.1, hashable-1.3.0.0, primitive-0.7.0.1, splitmix-0.0.5, syb-0.7.1, th-abstraction-0.3.2.0, transformers-compat-0.6.5 creating dist-ghc/doc/html/cryptol creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/cryptol /usr/bin/haddock '@dist-ghc/doc/html/cryptol/haddock-response19234-3.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' Warning: --source-* options are ignored when --hyperlinked-source is enabled. 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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Haddock coverage: 100% ( 2 / 2) in 'Cryptol.Eval.Arch' 75% ( 3 / 4) in 'Cryptol.ModuleSystem.Fingerprint' Missing documentation for: Fingerprint (src/Cryptol/ModuleSystem/Fingerprint.hs:22) 24% ( 6 / 25) in 'Cryptol.Utils.Ident' Missing documentation for: modNameToText (src/Cryptol/Utils/Ident.hs:55) textToModName (src/Cryptol/Utils/Ident.hs:58) modNameChunks (src/Cryptol/Utils/Ident.hs:61) packModName (src/Cryptol/Utils/Ident.hs:87) preludeName (src/Cryptol/Utils/Ident.hs:100) interactiveName (src/Cryptol/Utils/Ident.hs:103) noModuleName (src/Cryptol/Utils/Ident.hs:106) exprModName (src/Cryptol/Utils/Ident.hs:109) isParamInstModName (src/Cryptol/Utils/Ident.hs:69) notParamInstModName (src/Cryptol/Utils/Ident.hs:81) packIdent (src/Cryptol/Utils/Ident.hs:133) packInfix (src/Cryptol/Utils/Ident.hs:136) unpackIdent (src/Cryptol/Utils/Ident.hs:139) mkIdent (src/Cryptol/Utils/Ident.hs:142) mkInfix (src/Cryptol/Utils/Ident.hs:145) isInfixIdent (src/Cryptol/Utils/Ident.hs:148) nullIdent (src/Cryptol/Utils/Ident.hs:151) identText (src/Cryptol/Utils/Ident.hs:154) modParamIdent (src/Cryptol/Utils/Ident.hs:157) 100% ( 10 / 10) in 'Cryptol.Utils.Logger' 100% ( 3 / 3) in 'Cryptol.Utils.Misc' Warning: 'Outputable' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 23% ( 12 / 53) in 'Cryptol.Utils.PP' Missing documentation for: NameFormat (src/Cryptol/Utils/PP.hs:52) alwaysQualify (src/Cryptol/Utils/PP.hs:63) neverQualify (src/Cryptol/Utils/PP.hs:66) fmtModName (src/Cryptol/Utils/PP.hs:69) Doc (src/Cryptol/Utils/PP.hs:96) runDoc (src/Cryptol/Utils/PP.hs:105) render (src/Cryptol/Utils/PP.hs:114) renderOneLine (src/Cryptol/Utils/PP.hs:117) PP (src/Cryptol/Utils/PP.hs:120) PPName (src/Cryptol/Utils/PP.hs:123) pp (src/Cryptol/Utils/PP.hs:133) pretty (src/Cryptol/Utils/PP.hs:136) optParens (src/Cryptol/Utils/PP.hs:139) commaSep (src/Cryptol/Utils/PP.hs:157) liftPJ (src/Cryptol/Utils/PP.hs:201) liftPJ1 (src/Cryptol/Utils/PP.hs:204) liftPJ2 (src/Cryptol/Utils/PP.hs:207) liftSep (src/Cryptol/Utils/PP.hs:210) <.> (src/Cryptol/Utils/PP.hs:215) <+> (src/Cryptol/Utils/PP.hs:218) $$ (src/Cryptol/Utils/PP.hs:223) sep (src/Cryptol/Utils/PP.hs:226) fsep (src/Cryptol/Utils/PP.hs:229) hsep (src/Cryptol/Utils/PP.hs:232) hcat (src/Cryptol/Utils/PP.hs:235) vcat (src/Cryptol/Utils/PP.hs:238) hang (src/Cryptol/Utils/PP.hs:241) nest (src/Cryptol/Utils/PP.hs:244) parens (src/Cryptol/Utils/PP.hs:247) braces (src/Cryptol/Utils/PP.hs:250) brackets (src/Cryptol/Utils/PP.hs:253) quotes (src/Cryptol/Utils/PP.hs:256) backticks (src/Cryptol/Utils/PP.hs:259) punctuate (src/Cryptol/Utils/PP.hs:262) text (src/Cryptol/Utils/PP.hs:269) char (src/Cryptol/Utils/PP.hs:272) integer (src/Cryptol/Utils/PP.hs:275) int (src/Cryptol/Utils/PP.hs:278) comma (src/Cryptol/Utils/PP.hs:281) empty (src/Cryptol/Utils/PP.hs:284) colon (src/Cryptol/Utils/PP.hs:287) 33% ( 1 / 3) in 'Cryptol.Utils.Debug' Missing documentation for: trace (src/Cryptol/Utils/Debug.hs:14) ppTrace (src/Cryptol/Utils/Debug.hs:17) 44% ( 4 / 9) in 'Cryptol.TypeCheck.PP' Missing documentation for: NameMap (src/Cryptol/TypeCheck/PP.hs:26) emptyNameMap (src/Cryptol/TypeCheck/PP.hs:28) ppWithNamesPrec (src/Cryptol/TypeCheck/PP.hs:35) ppWithNames (src/Cryptol/TypeCheck/PP.hs:38) dump (src/Cryptol/TypeCheck/PP.hs:41) 100% ( 5 / 5) in 'Cryptol.Parser.Selector' 14% ( 2 / 14) in 'Cryptol.Parser.Position' Missing documentation for: Located (src/Cryptol/Parser/Position.hs:24) Position (src/Cryptol/Parser/Position.hs:28) Range (src/Cryptol/Parser/Position.hs:31) start (src/Cryptol/Parser/Position.hs:43) move (src/Cryptol/Parser/Position.hs:46) moves (src/Cryptol/Parser/Position.hs:52) rComb (src/Cryptol/Parser/Position.hs:55) rCombs (src/Cryptol/Parser/Position.hs:60) HasLoc (src/Cryptol/Parser/Position.hs:85) AddLoc (src/Cryptol/Parser/Position.hs:111) at (src/Cryptol/Parser/Position.hs:119) combLoc (src/Cryptol/Parser/Position.hs:122) 40% ( 2 / 5) in 'Cryptol.Parser.Fixity' Missing documentation for: Fixity (src/Cryptol/Parser/Fixity.hs:25) FixityCmp (src/Cryptol/Parser/Fixity.hs:29) compareFixity (src/Cryptol/Parser/Fixity.hs:34) Warning: Couldn't find .haddock for export Panic 33% ( 2 / 6) in 'Cryptol.Utils.Panic' Missing documentation for: CryptolPanic (src/Cryptol/Utils/Panic.hs:18) Cryptol (src/Cryptol/Utils/Panic.hs:16) Panic panic (src/Cryptol/Utils/Panic.hs:20) 75% ( 15 / 20) in 'Cryptol.TypeCheck.Solver.InfNat' Missing documentation for: fromNat (src/Cryptol/TypeCheck/Solver/InfNat.hs:28) nAdd (src/Cryptol/TypeCheck/Solver/InfNat.hs:40) nMin (src/Cryptol/TypeCheck/Solver/InfNat.hs:78) nMax (src/Cryptol/TypeCheck/Solver/InfNat.hs:83) nMod (src/Cryptol/TypeCheck/Solver/InfNat.hs:118) 86% ( 6 / 7) in 'Cryptol.REPL.Trie' Missing documentation for: emptyTrie (src/Cryptol/REPL/Trie.hs:20) 20% ( 1 / 5) in 'Cryptol.Parser.Unlit' Missing documentation for: unLit (src/Cryptol/Parser/Unlit.hs:40) PreProc (src/Cryptol/Parser/Unlit.hs:23) guessPreProc (src/Cryptol/Parser/Unlit.hs:33) knownExts (src/Cryptol/Parser/Unlit.hs:25) 38% ( 3 / 8) in 'Cryptol.Parser.Name' Missing documentation for: mkUnqual (src/Cryptol/Parser/Name.hs:40) mkQual (src/Cryptol/Parser/Name.hs:43) getModName (src/Cryptol/Parser/Name.hs:46) getIdent (src/Cryptol/Parser/Name.hs:50) isGeneratedName (src/Cryptol/Parser/Name.hs:59) Warning: 'Name' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'QName' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 46% ( 33 / 72) in 'Cryptol.Parser.AST' Missing documentation for: mkIdent (src/Cryptol/Utils/Ident.hs:142) mkInfix (src/Cryptol/Utils/Ident.hs:145) isInfixIdent (src/Cryptol/Utils/Ident.hs:148) nullIdent (src/Cryptol/Utils/Ident.hs:151) identText (src/Cryptol/Utils/Ident.hs:154) modRange (src/Cryptol/Parser/AST.hs:124) getModName (src/Cryptol/Parser/Name.hs:46) getIdent (src/Cryptol/Parser/Name.hs:50) mkUnqual (src/Cryptol/Parser/Name.hs:40) mkQual (src/Cryptol/Parser/Name.hs:43) Named (src/Cryptol/Parser/AST.hs:342) Schema (src/Cryptol/Parser/AST.hs:345) TParam (src/Cryptol/Parser/AST.hs:351) Kind (src/Cryptol/Parser/AST.hs:348) Type (src/Cryptol/Parser/AST.hs:357) tsName (src/Cryptol/Parser/AST.hs:196) psName (src/Cryptol/Parser/AST.hs:199) tsFixity (src/Cryptol/Parser/AST.hs:202) psFixity (src/Cryptol/Parser/AST.hs:205) Program (src/Cryptol/Parser/AST.hs:111) TopDecl (src/Cryptol/Parser/AST.hs:133) Decl (src/Cryptol/Parser/AST.hs:144) Fixity (src/Cryptol/Parser/Fixity.hs:25) FixityCmp (src/Cryptol/Parser/Fixity.hs:29) compareFixity (src/Cryptol/Parser/Fixity.hs:34) TySyn (src/Cryptol/Parser/AST.hs:189) PropSyn (src/Cryptol/Parser/AST.hs:193) BindDef (src/Cryptol/Parser/AST.hs:234) LBindDef (src/Cryptol/Parser/AST.hs:232) Pragma (src/Cryptol/Parser/AST.hs:238) Newtype (src/Cryptol/Parser/AST.hs:242) Expr (src/Cryptol/Parser/AST.hs:289) Match (src/Cryptol/Parser/AST.hs:328) Pattern (src/Cryptol/Parser/AST.hs:332) TypeInst (src/Cryptol/Parser/AST.hs:324) UpdField (src/Cryptol/Parser/AST.hs:317) UpdHow (src/Cryptol/Parser/AST.hs:321) Located (src/Cryptol/Parser/Position.hs:24) NoPos (src/Cryptol/Parser/AST.hs:841) 33% ( 1 / 3) in 'Cryptol.Parser.Utils' Missing documentation for: translateExprToNumT (src/Cryptol/Parser/Utils.hs:28) widthIdent (src/Cryptol/Parser/Utils.hs:22) 82% ( 23 / 28) in 'Cryptol.Parser.Names' Missing documentation for: namesDef (src/Cryptol/Parser/Names.hs:65) namesUF (src/Cryptol/Parser/Names.hs:104) tnamesDef (src/Cryptol/Parser/Names.hs:182) tnamesUF (src/Cryptol/Parser/Names.hs:221) tnamesTI (src/Cryptol/Parser/Names.hs:224) 33% ( 1 / 3) in 'Cryptol.Parser.NoPat' Missing documentation for: RemovePatterns (src/Cryptol/Parser/NoPat.hs:38) Error (src/Cryptol/Parser/NoPat.hs:533) 57% ( 4 / 7) in 'Cryptol.ModuleSystem.Exports' Missing documentation for: Module header modExports (src/Cryptol/ModuleSystem/Exports.hs:13) ExportSpec (src/Cryptol/ModuleSystem/Exports.hs:29) 29% ( 4 / 14) in 'Cryptol.Parser.Lexer' Missing documentation for: Layout (src/Cryptol/Parser/LexerUtils.hs:242) Token (src/Cryptol/Parser/LexerUtils.hs:356) TokenT (src/Cryptol/Parser/LexerUtils.hs:433) TokenKW (src/Cryptol/Parser/LexerUtils.hs:366) TokenErr (src/Cryptol/Parser/LexerUtils.hs:425) TokenSym (src/Cryptol/Parser/LexerUtils.hs:407) TokenW (src/Cryptol/Parser/LexerUtils.hs:363) Located (src/Cryptol/Parser/Position.hs:24) Config (src/Cryptol/Parser/LexerUtils.hs:29) defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39) 53% ( 17 / 32) in 'Cryptol.ModuleSystem.Name' Missing documentation for: Name (src/Cryptol/ModuleSystem/Name.hs:80) NameSource (src/Cryptol/ModuleSystem/Name.hs:101) nameUnique (src/Cryptol/ModuleSystem/Name.hs:205) nameIdent (src/Cryptol/ModuleSystem/Name.hs:208) nameInfo (src/Cryptol/ModuleSystem/Name.hs:211) nameLoc (src/Cryptol/ModuleSystem/Name.hs:214) nameFixity (src/Cryptol/ModuleSystem/Name.hs:217) asPrim (src/Cryptol/ModuleSystem/Name.hs:221) toParamInstName (src/Cryptol/ModuleSystem/Name.hs:227) asParamName (src/Cryptol/ModuleSystem/Name.hs:233) paramModRecParam (src/Cryptol/ModuleSystem/Name.hs:339) FreshM (src/Cryptol/ModuleSystem/Name.hs:239) runSupplyT (src/Cryptol/ModuleSystem/Name.hs:264) Supply (src/Cryptol/ModuleSystem/Name.hs:304) nextUnique (src/Cryptol/ModuleSystem/Name.hs:317) Warning: 'primTys' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 55% ( 6 / 11) in 'Cryptol.TypeCheck.TCon' Missing documentation for: Module header builtInType (src/Cryptol/TypeCheck/TCon.hs:40) HasKind (src/Cryptol/TypeCheck/TCon.hs:98) UserTC (src/Cryptol/TypeCheck/TCon.hs:201) TCErrorMessage (src/Cryptol/TypeCheck/TCon.hs:213) Warning: 't' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Has' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 18% ( 20 /110) in 'Cryptol.TypeCheck.Type' Missing documentation for: Module header FVS (src/Cryptol/TypeCheck/Type.hs:644) TVarSource (src/Cryptol/TypeCheck/Type.hs:133) TVarInfo (src/Cryptol/TypeCheck/Type.hs:127) TPFlavor (src/Cryptol/TypeCheck/Type.hs:50) tMono (src/Cryptol/TypeCheck/Type.hs:54) isMono (src/Cryptol/TypeCheck/Type.hs:57) schemaParam (src/Cryptol/TypeCheck/Type.hs:65) tySynParam (src/Cryptol/TypeCheck/Type.hs:68) propSynParam (src/Cryptol/TypeCheck/Type.hs:71) newtypeParam (src/Cryptol/TypeCheck/Type.hs:74) modTyParam (src/Cryptol/TypeCheck/Type.hs:77) tpfName (src/Cryptol/TypeCheck/Type.hs:81) tpName (src/Cryptol/TypeCheck/Type.hs:87) tvInfo (src/Cryptol/TypeCheck/Type.hs:121) quickApply (src/Cryptol/TypeCheck/Type.hs:225) kindResult (src/Cryptol/TypeCheck/Type.hs:231) tpVar (src/Cryptol/TypeCheck/Type.hs:275) newtypeConType (src/Cryptol/TypeCheck/Type.hs:283) abstractTypeTC (src/Cryptol/TypeCheck/Type.hs:291) isFreeTV (src/Cryptol/TypeCheck/Type.hs:312) isBoundTV (src/Cryptol/TypeCheck/Type.hs:316) tIsError (src/Cryptol/TypeCheck/Type.hs:321) tIsNat' (src/Cryptol/TypeCheck/Type.hs:326) tIsNum (src/Cryptol/TypeCheck/Type.hs:333) tIsInf (src/Cryptol/TypeCheck/Type.hs:337) tIsVar (src/Cryptol/TypeCheck/Type.hs:340) tIsFun (src/Cryptol/TypeCheck/Type.hs:345) tIsSeq (src/Cryptol/TypeCheck/Type.hs:350) tIsBit (src/Cryptol/TypeCheck/Type.hs:355) tIsInteger (src/Cryptol/TypeCheck/Type.hs:360) tIsIntMod (src/Cryptol/TypeCheck/Type.hs:365) tIsTuple (src/Cryptol/TypeCheck/Type.hs:370) tIsRec (src/Cryptol/TypeCheck/Type.hs:375) tIsBinFun (src/Cryptol/TypeCheck/Type.hs:380) pIsFin (src/Cryptol/TypeCheck/Type.hs:393) pIsGeq (src/Cryptol/TypeCheck/Type.hs:398) pIsEq (src/Cryptol/TypeCheck/Type.hs:403) pIsZero (src/Cryptol/TypeCheck/Type.hs:408) pIsLogic (src/Cryptol/TypeCheck/Type.hs:413) pIsArith (src/Cryptol/TypeCheck/Type.hs:418) pIsCmp (src/Cryptol/TypeCheck/Type.hs:423) pIsSignedCmp (src/Cryptol/TypeCheck/Type.hs:428) pIsLiteral (src/Cryptol/TypeCheck/Type.hs:433) pIsTrue (src/Cryptol/TypeCheck/Type.hs:438) pIsWidth (src/Cryptol/TypeCheck/Type.hs:443) tNum (src/Cryptol/TypeCheck/Type.hs:451) tZero (src/Cryptol/TypeCheck/Type.hs:454) tOne (src/Cryptol/TypeCheck/Type.hs:457) tTwo (src/Cryptol/TypeCheck/Type.hs:460) tInf (src/Cryptol/TypeCheck/Type.hs:463) tNat' (src/Cryptol/TypeCheck/Type.hs:466) tAbstract (src/Cryptol/TypeCheck/Type.hs:471) tBit (src/Cryptol/TypeCheck/Type.hs:474) tInteger (src/Cryptol/TypeCheck/Type.hs:477) tIntMod (src/Cryptol/TypeCheck/Type.hs:480) tWord (src/Cryptol/TypeCheck/Type.hs:483) tSeq (src/Cryptol/TypeCheck/Type.hs:486) tChar (src/Cryptol/TypeCheck/Type.hs:489) tString (src/Cryptol/TypeCheck/Type.hs:492) tRec (src/Cryptol/TypeCheck/Type.hs:495) tTuple (src/Cryptol/TypeCheck/Type.hs:498) newtypeTyCon (src/Cryptol/TypeCheck/Type.hs:501) tf1 (src/Cryptol/TypeCheck/Type.hs:527) tf2 (src/Cryptol/TypeCheck/Type.hs:530) tf3 (src/Cryptol/TypeCheck/Type.hs:533) tSub (src/Cryptol/TypeCheck/Type.hs:536) tMul (src/Cryptol/TypeCheck/Type.hs:539) tDiv (src/Cryptol/TypeCheck/Type.hs:542) tMod (src/Cryptol/TypeCheck/Type.hs:545) tExp (src/Cryptol/TypeCheck/Type.hs:548) tMin (src/Cryptol/TypeCheck/Type.hs:551) tCeilDiv (src/Cryptol/TypeCheck/Type.hs:554) tCeilMod (src/Cryptol/TypeCheck/Type.hs:557) tLenFromThenTo (src/Cryptol/TypeCheck/Type.hs:560) =/= (src/Cryptol/TypeCheck/Type.hs:575) pZero (src/Cryptol/TypeCheck/Type.hs:578) pLogic (src/Cryptol/TypeCheck/Type.hs:581) pArith (src/Cryptol/TypeCheck/Type.hs:584) pCmp (src/Cryptol/TypeCheck/Type.hs:587) pSignedCmp (src/Cryptol/TypeCheck/Type.hs:590) pLiteral (src/Cryptol/TypeCheck/Type.hs:593) pTrue (src/Cryptol/TypeCheck/Type.hs:604) pAnd (src/Cryptol/TypeCheck/Type.hs:607) pSplitAnd (src/Cryptol/TypeCheck/Type.hs:618) pFin (src/Cryptol/TypeCheck/Type.hs:628) noFreeVariables (src/Cryptol/TypeCheck/Type.hs:641) addTNames (src/Cryptol/TypeCheck/Type.hs:684) ppNewtypeShort (src/Cryptol/TypeCheck/Type.hs:701) pickTVarName (src/Cryptol/TypeCheck/Type.hs:844) Warning: 'p' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 45% ( 17 / 38) in 'Cryptol.TypeCheck.AST' Missing documentation for: DeclDef (src/Cryptol/TypeCheck/AST.hs:172) Decl (src/Cryptol/TypeCheck/AST.hs:163) DeclGroup (src/Cryptol/TypeCheck/AST.hs:153) Match (src/Cryptol/TypeCheck/AST.hs:147) Expr (src/Cryptol/TypeCheck/AST.hs:104) mtpParam (src/Cryptol/TypeCheck/AST.hs:85) groupDecls (src/Cryptol/TypeCheck/AST.hs:157) eString (src/Cryptol/TypeCheck/AST.hs:190) eChar (src/Cryptol/TypeCheck/AST.hs:193) ppLam (src/Cryptol/TypeCheck/AST.hs:264) splitWhile (src/Cryptol/TypeCheck/AST.hs:283) splitAbs (src/Cryptol/TypeCheck/AST.hs:289) splitTAbs (src/Cryptol/TypeCheck/AST.hs:293) splitProofAbs (src/Cryptol/TypeCheck/AST.hs:297) splitTApp (src/Cryptol/TypeCheck/AST.hs:301) splitProofApp (src/Cryptol/TypeCheck/AST.hs:305) Name (src/Cryptol/ModuleSystem/Name.hs:80) ExportSpec (src/Cryptol/ModuleSystem/Exports.hs:29) Pragma (src/Cryptol/Parser/AST.hs:238) Fixity (src/Cryptol/Parser/Fixity.hs:25) TCErrorMessage (src/Cryptol/TypeCheck/TCon.hs:213) 9% ( 1 / 11) in 'Cryptol.TypeCheck.TypeMap' Missing documentation for: TypeMap (src/Cryptol/TypeCheck/TypeMap.hs:117) TypesMap (src/Cryptol/TypeCheck/TypeMap.hs:115) TrieMap (src/Cryptol/TypeCheck/TypeMap.hs:33) insertTM (src/Cryptol/TypeCheck/TypeMap.hs:46) insertWithTM (src/Cryptol/TypeCheck/TypeMap.hs:49) membersTM (src/Cryptol/TypeCheck/TypeMap.hs:43) mapTM (src/Cryptol/TypeCheck/TypeMap.hs:55) mapWithKeyTM (src/Cryptol/TypeCheck/TypeMap.hs:59) mapMaybeTM (src/Cryptol/TypeCheck/TypeMap.hs:63) List (src/Cryptol/TypeCheck/TypeMap.hs:66) 30% ( 9 / 30) in 'Cryptol.TypeCheck.Solver.Numeric.Interval' Missing documentation for: tvarInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:57) IntervalUpdate (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:61) updateInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:66) computePropIntervals (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:78) Interval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:146) ppIntervals (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:153) ppInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:158) iIsExact (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:168) iIsFin (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:171) iAdd (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:231) iMul (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:244) iExp (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:258) iMin (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:278) iMax (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:289) iSub (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:300) iDiv (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:317) iMod (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:333) iCeilDiv (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:341) iCeilMod (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:357) iWidth (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:360) iLenFromThenTo (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:367) 0% ( 0 / 7) in 'Cryptol.TypeCheck.Solver.Types' Missing documentation for: Module header Ctxt (src/Cryptol/TypeCheck/Solver/Types.hs:9) Solved (src/Cryptol/TypeCheck/Solver/Types.hs:11) elseTry (src/Cryptol/TypeCheck/Solver/Types.hs:17) solveOpts (src/Cryptol/TypeCheck/Solver/Types.hs:21) matchThen (src/Cryptol/TypeCheck/Solver/Types.hs:25) guarded (src/Cryptol/TypeCheck/Solver/Types.hs:29) Warning: 'fin' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 33% ( 1 / 3) in 'Cryptol.TypeCheck.Solver.Numeric.Fin' Missing documentation for: cryIsFin (src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:23) cryIsFinType (src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:29) 25% ( 1 / 4) in 'Cryptol.TypeCheck.Parseable' Missing documentation for: ShowParseable (src/Cryptol/TypeCheck/Parseable.hs:29) maybeNameDoc (src/Cryptol/TypeCheck/Parseable.hs:108) ShowParseable (src/Cryptol/TypeCheck/Parseable.hs:29) 33% ( 2 / 6) in 'Cryptol.IR.FreeVars' Missing documentation for: Module header FreeVars (src/Cryptol/IR/FreeVars.hs:74) Deps (src/Cryptol/IR/FreeVars.hs:15) Defs (src/Cryptol/IR/FreeVars.hs:162) Warning: 'fibs' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 2 / 2) in 'Cryptol.Transform.MonoValues' 50% ( 1 / 2) in 'Cryptol.Transform.AddModParams' Missing documentation for: addModParams (src/Cryptol/Transform/AddModParams.hs:45) 33% ( 4 / 12) in 'Cryptol.ModuleSystem.Interface' Missing documentation for: IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:63) IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:88) ifTySynName (src/Cryptol/ModuleSystem/Interface.hs:90) IfaceNewtype (src/Cryptol/ModuleSystem/Interface.hs:93) IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:96) mkIfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:105) IfaceParams (src/Cryptol/ModuleSystem/Interface.hs:50) noIfaceParams (src/Cryptol/ModuleSystem/Interface.hs:56) 67% ( 16 / 24) in 'Cryptol.ModuleSystem.NamingEnv' Missing documentation for: NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:47) filterNames (src/Cryptol/ModuleSystem/NamingEnv.hs:148) travNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:172) InModule (src/Cryptol/ModuleSystem/NamingEnv.hs:179) newTop (src/Cryptol/ModuleSystem/NamingEnv.hs:187) newLocal (src/Cryptol/ModuleSystem/NamingEnv.hs:191) BuildNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:194) ImportIface (src/Cryptol/ModuleSystem/NamingEnv.hs:292) Warning: 'loc' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 38% ( 6 / 16) in 'Cryptol.ModuleSystem.Renamer' Missing documentation for: NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:47) InModule (src/Cryptol/ModuleSystem/NamingEnv.hs:179) Rename (src/Cryptol/ModuleSystem/Renamer.hs:385) runRenamer (src/Cryptol/ModuleSystem/Renamer.hs:241) RenameM (src/Cryptol/ModuleSystem/Renamer.hs:200) RenamerError (src/Cryptol/ModuleSystem/Renamer.hs:58) RenamerWarning (src/Cryptol/ModuleSystem/Renamer.hs:157) renameVar (src/Cryptol/ModuleSystem/Renamer.hs:466) renameType (src/Cryptol/ModuleSystem/Renamer.hs:506) renameModule (src/Cryptol/ModuleSystem/Renamer.hs:388) Warning: 'retry' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 96% ( 23 / 24) in 'Cryptol.Eval.Monad' Missing documentation for: cryNoPrimError (src/Cryptol/Eval/Monad.hs:253) 91% ( 10 / 11) in 'Cryptol.Eval.Type' Missing documentation for: TypeEnv (src/Cryptol/Eval/Type.hs:87) Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'w' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'i' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 72% ( 53 / 74) in 'Cryptol.Eval.Value' Missing documentation for: bvVal (src/Cryptol/Eval/Value.hs:69) lookupSeqMap (src/Cryptol/Eval/Value.hs:83) SeqValMap (src/Cryptol/Eval/Value.hs:90) updateSeqMap (src/Cryptol/Eval/Value.hs:123) checkedSeqIndex (src/Cryptol/Eval/Value.hs:237) checkedIndex (src/Cryptol/Eval/Value.hs:243) Value (src/Cryptol/Eval/Value.hs:330) defaultPPOpts (src/Cryptol/Eval/Value.hs:335) atFst (src/Cryptol/Eval/Value.hs:338) atSnd (src/Cryptol/Eval/Value.hs:341) ppValue (src/Cryptol/Eval/Value.hs:344) asciiMode (src/Cryptol/Eval/Value.hs:389) integerToChar (src/Cryptol/Eval/Value.hs:392) ppBV (src/Cryptol/Eval/Value.hs:396) mask (src/Cryptol/Eval/Value.hs:558) lam (src/Cryptol/Eval/Value.hs:637) toFinSeq (src/Cryptol/Eval/Value.hs:657) fromStr (src/Cryptol/Eval/Value.hs:714) fromBit (src/Cryptol/Eval/Value.hs:719) fromWordVal (src/Cryptol/Eval/Value.hs:723) vWordLen (src/Cryptol/Eval/Value.hs:732) 60% ( 6 / 10) in 'Cryptol.Testing.Concrete' Missing documentation for: isPass (src/Cryptol/Testing/Concrete.hs:32) TestSpec (src/Cryptol/Testing/Concrete.hs:154) TestReport (src/Cryptol/Testing/Concrete.hs:165) runTests (src/Cryptol/Testing/Concrete.hs:172) 42% ( 16 / 38) in 'Cryptol.Symbolic.Value' Missing documentation for: SBool (src/Cryptol/Symbolic/Value.hs:56) SWord (src/Cryptol/Symbolic/Value.hs:57) SInteger (src/Cryptol/Symbolic/Value.hs:58) literalSWord (src/Cryptol/Symbolic/Value.hs:64) fromBitsLE (src/Cryptol/Symbolic/Value.hs:60) forallBV_ (src/Cryptol/Symbolic/Value.hs:67) existsBV_ (src/Cryptol/Symbolic/Value.hs:70) forallSBool_ (src/Cryptol/Symbolic/Value.hs:73) existsSBool_ (src/Cryptol/Symbolic/Value.hs:76) forallSInteger_ (src/Cryptol/Symbolic/Value.hs:79) existsSInteger_ (src/Cryptol/Symbolic/Value.hs:82) Value (src/Cryptol/Symbolic/Value.hs:87) lam (src/Cryptol/Eval/Value.hs:637) toFinSeq (src/Cryptol/Eval/Value.hs:657) evalPanic (src/Cryptol/Symbolic/Value.hs:249) iteSValue (src/Cryptol/Symbolic/Value.hs:91) mergeValue (src/Cryptol/Symbolic/Value.hs:143) mergeWord (src/Cryptol/Symbolic/Value.hs:105) mergeBit (src/Cryptol/Symbolic/Value.hs:98) mergeBits (src/Cryptol/Symbolic/Value.hs:128) mergeSeqMap (src/Cryptol/Symbolic/Value.hs:169) mergeWord' (src/Cryptol/Symbolic/Value.hs:121) 78% ( 7 / 9) in 'Cryptol.Eval.Env' Missing documentation for: GenEvalEnv (src/Cryptol/Eval/Env.hs:37) ppEnv (src/Cryptol/Eval/Env.hs:56) Warning: 'backfills' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 80% ( 12 / 15) in 'Cryptol.Eval' Missing documentation for: defaultPPOpts (src/Cryptol/Eval/Value.hs:335) EvalEnv (src/Cryptol/Eval.hs:55) evalSetSel (src/Cryptol/Eval.hs:458) 56% ( 10 / 18) in 'Cryptol.Utils.Patterns' Missing documentation for: Module header Match (src/Cryptol/Utils/Patterns.hs:10) Pat (src/Cryptol/Utils/Patterns.hs:32) ||| (src/Cryptol/Utils/Patterns.hs:35) matchMaybe (src/Cryptol/Utils/Patterns.hs:83) list (src/Cryptol/Utils/Patterns.hs:87) >< (src/Cryptol/Utils/Patterns.hs:101) Matches (src/Cryptol/Utils/Patterns.hs:106) 3% ( 1 / 37) in 'Cryptol.TypeCheck.TypePat' Missing documentation for: Module header aInf (src/Cryptol/TypeCheck/TypePat.hs:70) aNat (src/Cryptol/TypeCheck/TypePat.hs:73) aNat' (src/Cryptol/TypeCheck/TypePat.hs:78) anAdd (src/Cryptol/TypeCheck/TypePat.hs:82) |-| (src/Cryptol/TypeCheck/TypePat.hs:85) aMul (src/Cryptol/TypeCheck/TypePat.hs:88) |^| (src/Cryptol/TypeCheck/TypePat.hs:91) |/| (src/Cryptol/TypeCheck/TypePat.hs:94) |%| (src/Cryptol/TypeCheck/TypePat.hs:97) aMin (src/Cryptol/TypeCheck/TypePat.hs:100) aMax (src/Cryptol/TypeCheck/TypePat.hs:103) aWidth (src/Cryptol/TypeCheck/TypePat.hs:106) aCeilDiv (src/Cryptol/TypeCheck/TypePat.hs:109) aCeilMod (src/Cryptol/TypeCheck/TypePat.hs:112) aLenFromThenTo (src/Cryptol/TypeCheck/TypePat.hs:115) aLiteral (src/Cryptol/TypeCheck/TypePat.hs:185) aLogic (src/Cryptol/TypeCheck/TypePat.hs:188) aTVar (src/Cryptol/TypeCheck/TypePat.hs:119) aFreeTVar (src/Cryptol/TypeCheck/TypePat.hs:124) aBit (src/Cryptol/TypeCheck/TypePat.hs:130) aSeq (src/Cryptol/TypeCheck/TypePat.hs:133) aWord (src/Cryptol/TypeCheck/TypePat.hs:136) aChar (src/Cryptol/TypeCheck/TypePat.hs:141) aTuple (src/Cryptol/TypeCheck/TypePat.hs:147) aRec (src/Cryptol/TypeCheck/TypePat.hs:152) |->| (src/Cryptol/TypeCheck/TypePat.hs:157) aFin (src/Cryptol/TypeCheck/TypePat.hs:161) |=| (src/Cryptol/TypeCheck/TypePat.hs:164) |/=| (src/Cryptol/TypeCheck/TypePat.hs:167) |>=| (src/Cryptol/TypeCheck/TypePat.hs:170) aCmp (src/Cryptol/TypeCheck/TypePat.hs:173) aArith (src/Cryptol/TypeCheck/TypePat.hs:176) aAnd (src/Cryptol/TypeCheck/TypePat.hs:179) aTrue (src/Cryptol/TypeCheck/TypePat.hs:182) anError (src/Cryptol/TypeCheck/TypePat.hs:192) 5% ( 1 / 21) in 'Cryptol.TypeCheck.SimpType' Missing documentation for: Module header tRebuild' (src/Cryptol/TypeCheck/SimpType.hs:13) tRebuild (src/Cryptol/TypeCheck/SimpType.hs:25) tCon (src/Cryptol/TypeCheck/SimpType.hs:28) tAdd (src/Cryptol/TypeCheck/SimpType.hs:49) tSub (src/Cryptol/TypeCheck/SimpType.hs:109) tMul (src/Cryptol/TypeCheck/SimpType.hs:136) tDiv (src/Cryptol/TypeCheck/SimpType.hs:166) tMod (src/Cryptol/TypeCheck/SimpType.hs:173) tCeilDiv (src/Cryptol/TypeCheck/SimpType.hs:180) tCeilMod (src/Cryptol/TypeCheck/SimpType.hs:188) tExp (src/Cryptol/TypeCheck/SimpType.hs:196) tMin (src/Cryptol/TypeCheck/SimpType.hs:205) tMax (src/Cryptol/TypeCheck/SimpType.hs:251) tWidth (src/Cryptol/TypeCheck/SimpType.hs:280) tLenFromThenTo (src/Cryptol/TypeCheck/SimpType.hs:285) total (src/Cryptol/TypeCheck/SimpType.hs:290) op1 (src/Cryptol/TypeCheck/SimpType.hs:293) op2 (src/Cryptol/TypeCheck/SimpType.hs:296) op3 (src/Cryptol/TypeCheck/SimpType.hs:299) Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'k' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 5 / 5) in 'Cryptol.TypeCheck.Solver.Utils' 100% ( 9 / 9) in 'Cryptol.TypeCheck.Solver.Class' 76% ( 13 / 17) in 'Cryptol.Testing.Random' Missing documentation for: Gen (src/Cryptol/Testing/Random.hs:29) returnOneTest (src/Cryptol/Testing/Random.hs:52) randomSize (src/Cryptol/Testing/Random.hs:160) randomIntMod (src/Cryptol/Testing/Random.hs:175) 19% ( 18 / 94) in 'Cryptol.Prims.Eval' Missing documentation for: primTable (src/Cryptol/Prims/Eval.hs:58) intModExp (src/Cryptol/Prims/Eval.hs:272) integerExp (src/Cryptol/Prims/Eval.hs:278) integerLg2 (src/Cryptol/Prims/Eval.hs:283) integerNeg (src/Cryptol/Prims/Eval.hs:288) intModNeg (src/Cryptol/Prims/Eval.hs:291) doubleAndAdd (src/Cryptol/Prims/Eval.hs:294) Binary (src/Cryptol/Prims/Eval.hs:315) binary (src/Cryptol/Prims/Eval.hs:317) Unary (src/Cryptol/Prims/Eval.hs:324) unary (src/Cryptol/Prims/Eval.hs:326) BinArith (src/Cryptol/Prims/Eval.hs:349) liftBinInteger (src/Cryptol/Prims/Eval.hs:351) liftBinIntMod (src/Cryptol/Prims/Eval.hs:354) liftDivInteger (src/Cryptol/Prims/Eval.hs:360) modWrap (src/Cryptol/Prims/Eval.hs:364) arithBinary (src/Cryptol/Prims/Eval.hs:368) UnaryArith (src/Cryptol/Prims/Eval.hs:433) liftUnaryArith (src/Cryptol/Prims/Eval.hs:435) arithUnary (src/Cryptol/Prims/Eval.hs:438) arithNullary (src/Cryptol/Prims/Eval.hs:490) lg2 (src/Cryptol/Prims/Eval.hs:524) addV (src/Cryptol/Prims/Eval.hs:530) subV (src/Cryptol/Prims/Eval.hs:537) mulV (src/Cryptol/Prims/Eval.hs:544) intV (src/Cryptol/Prims/Eval.hs:551) cmpValue (src/Cryptol/Prims/Eval.hs:556) lexCompare (src/Cryptol/Prims/Eval.hs:596) signedLexCompare (src/Cryptol/Prims/Eval.hs:607) liftSigned (src/Cryptol/Prims/Eval.hs:645) signedBV (src/Cryptol/Prims/Eval.hs:656) signedValue (src/Cryptol/Prims/Eval.hs:659) bvSlt (src/Cryptol/Prims/Eval.hs:662) bvSdiv (src/Cryptol/Prims/Eval.hs:665) bvSrem (src/Cryptol/Prims/Eval.hs:669) sshrV (src/Cryptol/Prims/Eval.hs:673) zeroV (src/Cryptol/Prims/Eval.hs:712) joinWordVal (src/Cryptol/Prims/Eval.hs:755) joinWords (src/Cryptol/Prims/Eval.hs:775) joinSeq (src/Cryptol/Prims/Eval.hs:793) splitWordVal (src/Cryptol/Prims/Eval.hs:845) splitAtV (src/Cryptol/Prims/Eval.hs:860) extractWordVal (src/Cryptol/Prims/Eval.hs:909) reverseV (src/Cryptol/Prims/Eval.hs:960) transposeV (src/Cryptol/Prims/Eval.hs:975) ccatV (src/Cryptol/Prims/Eval.hs:1021) wordValLogicOp (src/Cryptol/Prims/Eval.hs:1052) wordValUnaryOp (src/Cryptol/Prims/Eval.hs:1135) logicUnary (src/Cryptol/Prims/Eval.hs:1145) logicShift (src/Cryptol/Prims/Eval.hs:1193) shiftLW (src/Cryptol/Prims/Eval.hs:1215) shiftLB (src/Cryptol/Prims/Eval.hs:1220) shiftLS (src/Cryptol/Prims/Eval.hs:1226) shiftRW (src/Cryptol/Prims/Eval.hs:1235) shiftRB (src/Cryptol/Prims/Eval.hs:1240) shiftRS (src/Cryptol/Prims/Eval.hs:1246) rotateLW (src/Cryptol/Prims/Eval.hs:1259) rotateLB (src/Cryptol/Prims/Eval.hs:1264) rotateLS (src/Cryptol/Prims/Eval.hs:1269) rotateRW (src/Cryptol/Prims/Eval.hs:1276) rotateRB (src/Cryptol/Prims/Eval.hs:1281) rotateRS (src/Cryptol/Prims/Eval.hs:1286) indexFront (src/Cryptol/Prims/Eval.hs:1318) indexFront_bits (src/Cryptol/Prims/Eval.hs:1324) indexBack (src/Cryptol/Prims/Eval.hs:1327) indexBack_bits (src/Cryptol/Prims/Eval.hs:1335) updateFront (src/Cryptol/Prims/Eval.hs:1339) updateFront_word (src/Cryptol/Prims/Eval.hs:1353) updateBack (src/Cryptol/Prims/Eval.hs:1364) updateBack_word (src/Cryptol/Prims/Eval.hs:1378) updatePrim (src/Cryptol/Prims/Eval.hs:1399) fromToV (src/Cryptol/Prims/Eval.hs:1420) fromThenT 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(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ oV (src/Cryptol/Prims/Eval.hs:1434) infFromV (src/Cryptol/Prims/Eval.hs:1450) infFromThenV (src/Cryptol/Prims/Eval.hs:1458) errorV (src/Cryptol/Prims/Eval.hs:1487) 11% ( 5 / 45) in 'Cryptol.Symbolic.Prims' Missing documentation for: traverseSnd (src/Cryptol/Symbolic/Prims.hs:60) primTable (src/Cryptol/Symbolic/Prims.hs:77) logicShift (src/Cryptol/Symbolic/Prims.hs:235) indexFront (src/Cryptol/Symbolic/Prims.hs:286) indexBack (src/Cryptol/Symbolic/Prims.hs:316) indexFront_bits (src/Cryptol/Symbolic/Prims.hs:324) indexBack_bits (src/Cryptol/Symbolic/Prims.hs:350) lazyMergeBit (src/Cryptol/Symbolic/Prims.hs:375) updateFrontSym (src/Cryptol/Symbolic/Prims.hs:382) updateFrontSym_word (src/Cryptol/Symbolic/Prims.hs:401) updateBackSym (src/Cryptol/Symbolic/Prims.hs:425) updateBackSym_word (src/Cryptol/Symbolic/Prims.hs:443) asBitList (src/Cryptol/Symbolic/Prims.hs:467) asWordList (src/Cryptol/Symbolic/Prims.hs:475) liftBinArith (src/Cryptol/Symbolic/Prims.hs:486) liftBin (src/Cryptol/Symbolic/Prims.hs:489) liftModBin (src/Cryptol/Symbolic/Prims.hs:492) sExp (src/Cryptol/Symbolic/Prims.hs:496) sModAdd (src/Cryptol/Symbolic/Prims.hs:503) sModSub (src/Cryptol/Symbolic/Prims.hs:509) sModMult (src/Cryptol/Symbolic/Prims.hs:515) sModExp (src/Cryptol/Symbolic/Prims.hs:521) svModLg2 (src/Cryptol/Symbolic/Prims.hs:540) cmpEq (src/Cryptol/Symbolic/Prims.hs:546) cmpNotEq (src/Cryptol/Symbolic/Prims.hs:549) cmpSignedLt (src/Cryptol/Symbolic/Prims.hs:552) cmpLt (src/Cryptol/Symbolic/Prims.hs:557) cmpGt (src/Cryptol/Symbolic/Prims.hs:557) cmpLtEq (src/Cryptol/Symbolic/Prims.hs:561) cmpGtEq (src/Cryptol/Symbolic/Prims.hs:561) cmpMod (src/Cryptol/Symbolic/Prims.hs:565) cmpModEq (src/Cryptol/Symbolic/Prims.hs:571) cmpModNotEq (src/Cryptol/Symbolic/Prims.hs:574) svDivisible (src/Cryptol/Symbolic/Prims.hs:577) cmpBinary (src/Cryptol/Symbolic/Prims.hs:580) signedQuot (src/Cryptol/Symbolic/Prims.hs:589) signedRem (src/Cryptol/Symbolic/Prims.hs:592) sshrV (src/Cryptol/Symbolic/Prims.hs:596) carry (src/Cryptol/Symbolic/Prims.hs:610) scarry (src/Cryptol/Symbolic/Prims.hs:615) Warning: 'R' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 75% ( 3 / 4) in 'Cryptol.TypeCheck.Solver.Numeric' Missing documentation for: Module header 0% ( 0 / 3) in 'Cryptol.TypeCheck.SimpleSolver' Missing documentation for: Module header simplify (src/Cryptol/TypeCheck/SimpleSolver.hs:16) simplifyStep (src/Cryptol/TypeCheck/SimpleSolver.hs:34) Warning: 'TVar' is ambiguous. It is defined * at src/Cryptol/TypeCheck/Type.hs:95:15 * at src/Cryptol/TypeCheck/Type.hs:113:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/Cryptol/TypeCheck/Type.hs:113:1 44% ( 7 / 16) in 'Cryptol.TypeCheck.Subst' Missing documentation for: emptySubst (src/Cryptol/TypeCheck/Subst.hs:63) singleSubst (src/Cryptol/TypeCheck/Subst.hs:70) @@ (src/Cryptol/TypeCheck/Subst.hs:82) isEmptySubst (src/Cryptol/TypeCheck/Subst.hs:130) FVS (src/Cryptol/TypeCheck/Type.hs:644) TVars (src/Cryptol/TypeCheck/Subst.hs:199) substBinds (src/Cryptol/TypeCheck/Subst.hs:134) applySubstToVar (src/Cryptol/TypeCheck/Subst.hs:189) substToList (src/Cryptol/TypeCheck/Subst.hs:139) 18% ( 2 / 11) in 'Cryptol.TypeCheck.Unify' Missing documentation for: Result (src/Cryptol/TypeCheck/Unify.hs:29) runResult (src/Cryptol/TypeCheck/Unify.hs:31) UnificationError (src/Cryptol/TypeCheck/Unify.hs:34) uniError (src/Cryptol/TypeCheck/Unify.hs:42) emptyMGU (src/Cryptol/TypeCheck/Unify.hs:46) mgu (src/Cryptol/TypeCheck/Unify.hs:49) mguMany (src/Cryptol/TypeCheck/Unify.hs:90) bindVar (src/Cryptol/TypeCheck/Unify.hs:99) freeParams (src/Cryptol/TypeCheck/Unify.hs:127) 67% ( 2 / 3) in 'Cryptol.TypeCheck.TypeOf' Missing documentation for: fastSchemaOf (src/Cryptol/TypeCheck/TypeOf.hs:58) 100% ( 2 / 2) in 'Cryptol.ModuleSystem.InstantiateModule' 80% ( 4 / 5) in 'Cryptol.TypeCheck.Solver.Improve' Missing documentation for: improveLit (src/Cryptol/TypeCheck/Solver/Improve.hs:48) 38% ( 8 / 21) in 'Cryptol.TypeCheck.InferTypes' Missing documentation for: SolverConfig (src/Cryptol/TypeCheck/InferTypes.hs:41) Goals (src/Cryptol/TypeCheck/InferTypes.hs:59) litGoalToGoal (src/Cryptol/TypeCheck/InferTypes.hs:72) goalToLitGoal (src/Cryptol/TypeCheck/InferTypes.hs:75) emptyGoals (src/Cryptol/TypeCheck/InferTypes.hs:84) nullGoals (src/Cryptol/TypeCheck/InferTypes.hs:87) fromGoals (src/Cryptol/TypeCheck/InferTypes.hs:90) goalsFromList (src/Cryptol/TypeCheck/InferTypes.hs:94) insertGoal (src/Cryptol/TypeCheck/InferTypes.hs:97) HasGoal (src/Cryptol/TypeCheck/InferTypes.hs:121) addTVarsDescsAfter (src/Cryptol/TypeCheck/InferTypes.hs:244) addTVarsDescsBefore (src/Cryptol/TypeCheck/InferTypes.hs:252) ppUse (src/Cryptol/TypeCheck/InferTypes.hs:285) Warning: 'And' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 69% ( 9 / 13) in 'Cryptol.TypeCheck.Solver.SMT' Missing documentation for: debugBlock (src/Cryptol/TypeCheck/Solver/SMT.hs:129) debugLog (src/Cryptol/TypeCheck/Solver/SMT.hs:138) tryGetModel (src/Cryptol/TypeCheck/Solver/SMT.hs:206) shrinkModel (src/Cryptol/TypeCheck/Solver/SMT.hs:239) 40% ( 2 / 5) in 'Cryptol.TypeCheck.Error' Missing documentation for: Module header cleanupErrors (src/Cryptol/TypeCheck/Error.hs:22) Warning (src/Cryptol/TypeCheck/Error.hs:52) Warning: 'Has' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 69% ( 69 /100) in 'Cryptol.TypeCheck.Monad' Missing documentation for: KRW (src/Cryptol/TypeCheck/Monad.hs:827) KRO (src/Cryptol/TypeCheck/Monad.hs:820) KindM (src/Cryptol/TypeCheck/Monad.hs:818) DefLoc (src/Cryptol/TypeCheck/Monad.hs:186) InferM (src/Cryptol/TypeCheck/Monad.hs:184) bumpCounter (src/Cryptol/TypeCheck/Monad.hs:113) runInferM (src/Cryptol/TypeCheck/Monad.hs:117) io (src/Cryptol/TypeCheck/Monad.hs:297) inRangeMb (src/Cryptol/TypeCheck/Monad.hs:305) recordWarning (src/Cryptol/TypeCheck/Monad.hs:319) getSolver (src/Cryptol/TypeCheck/Monad.hs:334) newGoal (src/Cryptol/TypeCheck/Monad.hs:347) simpGoal (src/Cryptol/TypeCheck/Monad.hs:391) simpGoals (src/Cryptol/TypeCheck/Monad.hs:399) newName (src/Cryptol/TypeCheck/Monad.hs:446) applySubstPreds (src/Cryptol/TypeCheck/Monad.hs:524) applySubstGoals (src/Cryptol/TypeCheck/Monad.hs:530) lookupAbstractType (src/Cryptol/TypeCheck/Monad.hs:623) withTParams (src/Cryptol/TypeCheck/Monad.hs:734) withNewtype (src/Cryptol/TypeCheck/Monad.hs:744) withPrimType (src/Cryptol/TypeCheck/Monad.hs:750) withParamType (src/Cryptol/TypeCheck/Monad.hs:757) withVarTypes (src/Cryptol/TypeCheck/Monad.hs:768) withVar (src/Cryptol/TypeCheck/Monad.hs:771) kRecordWarning (src/Cryptol/TypeCheck/Monad.hs:890) kIO (src/Cryptol/TypeCheck/Monad.hs:893) kLookupParamType (src/Cryptol/TypeCheck/Monad.hs:914) kLookupAbstractType (src/Cryptol/TypeCheck/Monad.hs:917) kExistTVar (src/Cryptol/TypeCheck/Monad.hs:920) kNewGoals (src/Cryptol/TypeCheck/Monad.hs:943) kInInferM (src/Cryptol/TypeCheck/Monad.hs:947) 100% ( 2 / 2) in 'Cryptol.TypeCheck.Solver.Selector' 14% ( 1 / 7) in 'Cryptol.TypeCheck.Sanity' Missing documentation for: tcExpr (src/Cryptol/TypeCheck/Sanity.hs:34) tcDecls (src/Cryptol/TypeCheck/Sanity.hs:37) tcModule (src/Cryptol/TypeCheck/Sanity.hs:42) ProofObligation (src/Cryptol/TypeCheck/Sanity.hs:453) Error (src/Cryptol/TypeCheck/Sanity.hs:491) same (src/Cryptol/TypeCheck/Sanity.hs:108) 70% ( 7 / 10) in 'Cryptol.TypeCheck.Depends' Missing documentation for: TyDecl (src/Cryptol/TypeCheck/Depends.hs:31) setDocString (src/Cryptol/Ty 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,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ peCheck/Depends.hs:39) FromDecl (src/Cryptol/TypeCheck/Depends.hs:133) 50% ( 2 / 4) in 'Cryptol.TypeCheck.Default' Missing documentation for: Module header improveByDefaultingWithPure (src/Cryptol/TypeCheck/Default.hs:71) 50% ( 3 / 6) in 'Cryptol.TypeCheck.Solve' Missing documentation for: simplifyAllConstraints (src/Cryptol/TypeCheck/Solve.hs:174) defaultAndSimplify (src/Cryptol/TypeCheck/Solve.hs:158) defaultReplExpr (src/Cryptol/TypeCheck/Solve.hs:113) 67% ( 6 / 9) in 'Cryptol.TypeCheck.Kind' Missing documentation for: checkType (src/Cryptol/TypeCheck/Kind.hs:142) checkPrimType (src/Cryptol/TypeCheck/Kind.hs:130) checkParameterConstraints (src/Cryptol/TypeCheck/Kind.hs:147) 20% ( 1 / 5) in 'Cryptol.TypeCheck.Instantiate' Missing documentation for: instantiateWith (src/Cryptol/TypeCheck/Instantiate.hs:65) TypeArg (src/Cryptol/TypeCheck/Instantiate.hs:35) uncheckedTypeArg (src/Cryptol/TypeCheck/Instantiate.hs:40) MaybeCheckedType (src/Cryptol/TypeCheck/Instantiate.hs:49) Warning: 'NoPat' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'exprMap' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 50% ( 3 / 6) in 'Cryptol.TypeCheck.Infer' Missing documentation for: checkSigB (src/Cryptol/TypeCheck/Infer.hs:879) inferModule (src/Cryptol/TypeCheck/Infer.hs:61) inferDs (src/Cryptol/TypeCheck/Infer.hs:935) 50% ( 1 / 2) in 'Cryptol.TypeCheck.CheckModuleInstance' Missing documentation for: Module header 50% ( 7 / 14) in 'Cryptol.TypeCheck' Missing documentation for: tcModule (src/Cryptol/TypeCheck.hs:50) tcExpr (src/Cryptol/TypeCheck.hs:68) tcDecls (src/Cryptol/TypeCheck.hs:114) SolverConfig (src/Cryptol/TypeCheck/InferTypes.hs:41) Warning (src/Cryptol/TypeCheck/Error.hs:52) ppWarning (src/Cryptol/TypeCheck.hs:119) ppError (src/Cryptol/TypeCheck.hs:122) Warning: 'm' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 78% ( 18 / 23) in 'Cryptol.ModuleSystem.Env' Missing documentation for: resetModuleEnv (src/Cryptol/ModuleSystem/Env.hs:98) initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:107) LoadedModules (src/Cryptol/ModuleSystem/Env.hs:256) getLoadedModules (src/Cryptol/ModuleSystem/Env.hs:267) LoadedModule (src/Cryptol/ModuleSystem/Env.hs:282) 17% ( 1 / 6) in 'Cryptol.Version' Missing documentation for: commitHash (src/Cryptol/Version.hs:22) commitShortHash (src/Cryptol/Version.hs:25) commitBranch (src/Cryptol/Version.hs:28) commitDirty (src/Cryptol/Version.hs:31) version (dist-ghc/build/autogen/Paths_cryptol.hs:28) 4% ( 1 / 25) in 'Cryptol.Parser' Missing documentation for: parseModule (dist-ghc/build/Cryptol/Parser.hs:4201) parseProgram (dist-ghc/build/Cryptol/Parser.hs:4204) parseProgramWith (dist-ghc/build/Cryptol/Parser.hs:4192) parseExpr (dist-ghc/build/Cryptol/Parser.hs:4210) parseExprWith (dist-ghc/build/Cryptol/Parser.hs:4207) parseDecl (dist-ghc/build/Cryptol/Parser.hs:4216) parseDeclWith (dist-ghc/build/Cryptol/Parser.hs:4213) parseDecls (dist-ghc/build/Cryptol/Parser.hs:4225) parseDeclsWith (dist-ghc/build/Cryptol/Parser.hs:4219) parseLetDecl (dist-ghc/build/Cryptol/Parser.hs:4231) parseLetDeclWith (dist-ghc/build/Cryptol/Parser.hs:4228) parseRepl (dist-ghc/build/Cryptol/Parser.hs:4237) parseReplWith (dist-ghc/build/Cryptol/Parser.hs:4234) parseSchema (dist-ghc/build/Cryptol/Parser.hs:4243) parseSchemaWith (dist-ghc/build/Cryptol/Parser.hs:4240) parseModName (dist-ghc/build/Cryptol/Parser.hs:4173) parseHelpName (dist-ghc/build/Cryptol/Parser.hs:4179) ParseError (src/Cryptol/Parser/ParserUtils.hs:79) ppError (src/Cryptol/Parser/ParserUtils.hs:92) Layout (src/Cryptol/Parser/LexerUtils.hs:242) Config (src/Cryptol/Parser/LexerUtils.hs:29) defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39) guessPreProc (src/Cryptol/Parser/Unlit.hs:33) PreProc (src/Cryptol/Parser/Unlit.hs:23) 25% ( 1 / 4) in 'Cryptol.Parser.NoInclude' Missing documentation for: removeIncludesModule (src/Cryptol/Parser/NoInclude.hs:35) IncludeError (src/Cryptol/Parser/NoInclude.hs:38) ppIncludeError (src/Cryptol/Parser/NoInclude.hs:44) 9% ( 6 / 65) in 'Cryptol.ModuleSystem.Monad' Missing documentation for: ImportSource (src/Cryptol/ModuleSystem/Monad.hs:54) importedModule (src/Cryptol/ModuleSystem/Monad.hs:70) ModuleError (src/Cryptol/ModuleSystem/Monad.hs:78) moduleNotFound (src/Cryptol/ModuleSystem/Monad.hs:206) cantFindFile (src/Cryptol/ModuleSystem/Monad.hs:209) badUtf8 (src/Cryptol/ModuleSystem/Monad.hs:212) otherIOError (src/Cryptol/ModuleSystem/Monad.hs:215) moduleParseError (src/Cryptol/ModuleSystem/Monad.hs:218) recursiveModules (src/Cryptol/ModuleSystem/Monad.hs:222) renamerErrors (src/Cryptol/ModuleSystem/Monad.hs:225) noPatErrors (src/Cryptol/ModuleSystem/Monad.hs:230) noIncludeErrors (src/Cryptol/ModuleSystem/Monad.hs:235) typeCheckingFailed (src/Cryptol/ModuleSystem/Monad.hs:240) moduleNameMismatch (src/Cryptol/ModuleSystem/Monad.hs:245) duplicateModuleName (src/Cryptol/ModuleSystem/Monad.hs:249) importParamModule (src/Cryptol/ModuleSystem/Monad.hs:253) failedToParameterizeModDefs (src/Cryptol/ModuleSystem/Monad.hs:256) notAParameterizedModule (src/Cryptol/ModuleSystem/Monad.hs:260) ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:273) warn (src/Cryptol/ModuleSystem/Monad.hs:283) typeCheckWarnings (src/Cryptol/ModuleSystem/Monad.hs:286) renamerWarnings (src/Cryptol/ModuleSystem/Monad.hs:291) RO (src/Cryptol/ModuleSystem/Monad.hs:299) emptyRO (src/Cryptol/ModuleSystem/Monad.hs:303) ModuleT (src/Cryptol/ModuleSystem/Monad.hs:306) runModuleT (src/Cryptol/ModuleSystem/Monad.hs:347) ModuleM (src/Cryptol/ModuleSystem/Monad.hs:358) runModuleM (src/Cryptol/ModuleSystem/Monad.hs:360) io (src/Cryptol/ModuleSystem/Monad.hs:366) getModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:369) setModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:372) modifyModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:375) getLoadedMaybe (src/Cryptol/ModuleSystem/Monad.hs:380) isLoaded (src/Cryptol/ModuleSystem/Monad.hs:385) loadingImport (src/Cryptol/ModuleSystem/Monad.hs:388) loadingModule (src/Cryptol/ModuleSystem/Monad.hs:391) loadingModInstance (src/Cryptol/ModuleSystem/Monad.hs:394) loading (src/Cryptol/ModuleSystem/Monad.hs:402) getIface (src/Cryptol/ModuleSystem/Monad.hs:420) getLoaded (src/Cryptol/ModuleSystem/Monad.hs:427) getNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:434) getSupply (src/Cryptol/ModuleSystem/Monad.hs:437) getMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:440) setMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:443) setNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:448) setSupply (src/Cryptol/ModuleSystem/Monad.hs:453) unloadModule (src/Cryptol/ModuleSystem/Monad.hs:458) loadedModule (src/Cryptol/ModuleSystem/Monad.hs:463) modifyEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:472) getEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:480) getEvalOpts (src/Cryptol/ModuleSystem/Monad.hs:483) getFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:486) setFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:489) getSearchPath (src/Cryptol/ModuleSystem/Monad.hs:494) getFocusedEnv (src/Cryptol/ModuleSystem/Monad.hs:511) getDynEnv (src/Cryptol/ModuleSystem/Monad.hs:514) setDynEnv (src/Cryptol/ModuleSystem/Monad.hs:517) setSolver (src/Cryptol/ModuleSystem/Monad.hs:522) getSolverConfig (src/Cryptol/ModuleSystem/Monad.hs:527) 62% ( 20 / 32) in 'Cryptol.ModuleSystem.Base' Missing documentation for: rename (src/Cryptol/ModuleSystem/Base.hs:76) parseModule (src/Cryptol/ModuleSystem/Base.hs:109) moduleFile (src/Cryptol/ModuleSystem/Base.hs:236) TCLinter (src/Cryptol/ModuleSystem/Base.hs:436) exprLinter (src/Cryptol/ModuleSystem/Base.hs: 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(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 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) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ 443) declsLinter (src/Cryptol/ModuleSystem/Base.hs:454) moduleLinter (src/Cryptol/ModuleSystem/Base.hs:463) Act (src/Cryptol/ModuleSystem/Base.hs:471) TCAction (src/Cryptol/ModuleSystem/Base.hs:473) typecheck (src/Cryptol/ModuleSystem/Base.hs:479) evalExpr (src/Cryptol/ModuleSystem/Base.hs:540) evalDecls (src/Cryptol/ModuleSystem/Base.hs:547) 54% ( 15 / 28) in 'Cryptol.ModuleSystem' Missing documentation for: initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:107) ModuleError (src/Cryptol/ModuleSystem/Monad.hs:78) ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:273) ModuleCmd (src/Cryptol/ModuleSystem.hs:52) ModuleRes (src/Cryptol/ModuleSystem.hs:54) noPat (src/Cryptol/ModuleSystem.hs:104) getPrimMap (src/Cryptol/ModuleSystem.hs:56) renameVar (src/Cryptol/ModuleSystem.hs:107) renameType (src/Cryptol/ModuleSystem.hs:111) IfaceParams (src/Cryptol/ModuleSystem/Interface.hs:50) IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:63) IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:88) IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:96) Warning: 'dgs' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'e' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 35% ( 9 / 26) in 'Cryptol.Transform.Specialize' Missing documentation for: SpecM (src/Cryptol/Transform/Specialize.hs:38) runSpecT (src/Cryptol/Transform/Specialize.hs:40) liftSpecT (src/Cryptol/Transform/Specialize.hs:43) getSpecCache (src/Cryptol/Transform/Specialize.hs:46) setSpecCache (src/Cryptol/Transform/Specialize.hs:49) modifySpecCache (src/Cryptol/Transform/Specialize.hs:52) modify (src/Cryptol/Transform/Specialize.hs:55) specializeExpr (src/Cryptol/Transform/Specialize.hs:73) specializeMatch (src/Cryptol/Transform/Specialize.hs:105) specializeConst (src/Cryptol/Transform/Specialize.hs:172) destEProofApps (src/Cryptol/Transform/Specialize.hs:200) destETApps (src/Cryptol/Transform/Specialize.hs:206) destEProofAbs (src/Cryptol/Transform/Specialize.hs:212) destETAbs (src/Cryptol/Transform/Specialize.hs:218) instantiateSchema (src/Cryptol/Transform/Specialize.hs:318) allDeclGroups (src/Cryptol/Transform/Specialize.hs:335) traverseSnd (src/Cryptol/Transform/Specialize.hs:341) 7% ( 2 / 29) in 'Cryptol.Symbolic' Missing documentation for: EvalEnv (src/Cryptol/Symbolic.hs:54) proverConfigs (src/Cryptol/Symbolic.hs:59) proverNames (src/Cryptol/Symbolic.hs:71) lookupProver (src/Cryptol/Symbolic.hs:74) SatResult (src/Cryptol/Symbolic.hs:81) SatNum (src/Cryptol/Symbolic.hs:83) QueryType (src/Cryptol/Symbolic.hs:86) ProverCommand (src/Cryptol/Symbolic.hs:89) ProverStats (src/Cryptol/Symbolic.hs:111) satSMTResults (src/Cryptol/Symbolic.hs:121) allSatSMTResults (src/Cryptol/Symbolic.hs:124) thmSMTResults (src/Cryptol/Symbolic.hs:127) proverError (src/Cryptol/Symbolic.hs:130) satProve (src/Cryptol/Symbolic.hs:134) satProveOffline (src/Cryptol/Symbolic.hs:238) protectStack (src/Cryptol/Symbolic.hs:262) parseValues (src/Cryptol/Symbolic.hs:272) parseValue (src/Cryptol/Symbolic.hs:278) allDeclGroups (src/Cryptol/Symbolic.hs:304) FinType (src/Cryptol/Symbolic.hs:307) numType (src/Cryptol/Symbolic.hs:315) finType (src/Cryptol/Symbolic.hs:320) unFinType (src/Cryptol/Symbolic.hs:332) predArgTypes (src/Cryptol/Symbolic.hs:345) inBoundsIntMod (src/Cryptol/Symbolic.hs:358) forallFinType (src/Cryptol/Symbolic.hs:362) existsFinType (src/Cryptol/Symbolic.hs:377) Warning: 'base' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 49% ( 33 / 68) in 'Cryptol.REPL.Monad' Missing documentation for: io (src/Cryptol/REPL/Monad.hs:332) stop (src/Cryptol/REPL/Monad.hs:388) catch (src/Cryptol/REPL/Monad.hs:309) finally (src/Cryptol/REPL/Monad.hs:312) rethrowEvalError (src/Cryptol/REPL/Monad.hs:316) getFocusedEnv (src/Cryptol/REPL/Monad.hs:474) getModuleEnv (src/Cryptol/REPL/Monad.hs:549) setModuleEnv (src/Cryptol/REPL/Monad.hs:552) getDynEnv (src/Cryptol/REPL/Monad.hs:555) setDynEnv (src/Cryptol/REPL/Monad.hs:558) getTSyns (src/Cryptol/REPL/Monad.hs:512) getNewtypes (src/Cryptol/REPL/Monad.hs:517) getVars (src/Cryptol/REPL/Monad.hs:507) whenDebug (src/Cryptol/REPL/Monad.hs:872) getModNames (src/Cryptol/REPL/Monad.hs:544) getLoadedMod (src/Cryptol/REPL/Monad.hs:359) clearLoadedMod (src/Cryptol/REPL/Monad.hs:348) getEditPath (src/Cryptol/REPL/Monad.hs:369) clearEditPath (src/Cryptol/REPL/Monad.hs:372) setSearchPath (src/Cryptol/REPL/Monad.hs:375) prependSearchPath (src/Cryptol/REPL/Monad.hs:380) shouldContinue (src/Cryptol/REPL/Monad.hs:385) unlessBatch (src/Cryptol/REPL/Monad.hs:391) disableLet (src/Cryptol/REPL/Monad.hs:406) enableLet (src/Cryptol/REPL/Monad.hs:409) EnvVal (src/Cryptol/REPL/Monad.hs:600) OptionDescr (src/Cryptol/REPL/Monad.hs:741) getKnownUser (src/Cryptol/REPL/Monad.hs:687) userOptions (src/Cryptol/REPL/Monad.hs:753) getUserSatNum (src/Cryptol/REPL/Monad.hs:861) getUserShowProverStats (src/Cryptol/REPL/Monad.hs:717) getUserProverValidate (src/Cryptol/REPL/Monad.hs:720) getLogger (src/Cryptol/REPL/Monad.hs:456) smokeTest (src/Cryptol/REPL/Monad.hs:879) Smoke (src/Cryptol/REPL/Monad.hs:886) Warning: 'w' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'k' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 50% ( 2 / 4) in 'Cryptol.Eval.Reference' Missing documentation for: evaluate (src/Cryptol/Eval/Reference.lhs:1245) ppValue (src/Cryptol/Eval/Reference.lhs:1215) Warning: 'proveSat' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'it' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 41% ( 13 / 32) in 'Cryptol.REPL.Command' Missing documentation for: CommandBody (src/Cryptol/REPL/Command.hs:144) CommandExitCode (src/Cryptol/REPL/Command.hs:157) commandList (src/Cryptol/REPL/Command.hs:204) moduleCmd (src/Cryptol/REPL/Command.hs:839) loadCmd (src/Cryptol/REPL/Command.hs:850) loadPrelude (src/Cryptol/REPL/Command.hs:847) setOptionCmd (src/Cryptol/REPL/Command.hs:988) interactiveConfig (src/Cryptol/REPL/Command.hs:1237) replParseExpr (src/Cryptol/REPL/Command.hs:1234) replEvalExpr (src/Cryptol/REPL/Command.hs:1315) replCheckExpr (src/Cryptol/REPL/Command.hs:1291) QCMode (src/Cryptol/REPL/Command.hs:337) satCmd (src/Cryptol/REPL/Command.hs:516) proveCmd (src/Cryptol/REPL/Command.hs:516) onlineProveSat (src/Cryptol/REPL/Command.hs:611) offlineProveSat (src/Cryptol/REPL/Command.hs:640) handleCtrlC (src/Cryptol/REPL/Command.hs:1211) liftModuleCmd (src/Cryptol/REPL/Command.hs:1243) moduleCmdResult (src/Cryptol/REPL/Command.hs:1249) Warning: Cryptol.Utils.Panic: could not find link destinations for: PanicComponent panicComponentName panicComponentIssues panicComponentRevision Warning: Cryptol.Parser.Unlit: could not find link destinations for: markdown latex Warning: Cryptol.Parser.Lexer: could not find link destinations for: TokenOp Warning: Cryptol.ModuleSystem.Interface: could not find link destinations for: IfaceAbstractType Warning: Cryptol.ModuleSystem.Renamer: could not find link destinations for: TOp Warning: Cryptol.Symbolic.Value: could not find link destinations for: SVal Symbolic Warning: Cryptol.TypeCheck.Solver.SMT: could not find link destinations for: DebugLog Warning: Cryptol.TypeCheck.Sanity: could not find link destinations for: Same Warning: Cryptol.Parser.NoInclude: could not find link destinations for: NoIncM Warning: Cryptol.ModuleSystem: could not find link destinations for: IfaceAbstractType Warning: Cryptol.Symbolic: could not find link destinations for: SMTConfig SatResult SMTResult AllSatResult ThmResult Solver CV Symbolic Warning: Cryptol.REPL.Monad: could not find link destinations for: RW Checker IsEnvVal OptionMap Warning: Cryptol.REPL.Command: could not find link destinations for: Solver Documentation created: dist-ghc/doc/html/cryptol/index.html, dist-ghc/doc/html/cryptol/cryptol.txt creating dist-ghc/build/cryptol creating dist-ghc/build/cryptol/autogen creating dist-ghc/build/cryptol/autogen Preprocessing executable 'cryptol' for cryptol-2.8.0.. creating dist-ghc/build/cryptol-html creating dist-ghc/build/cryptol-html/autogen creating dist-ghc/build/cryptol-html/autogen Preprocessing executable 'cryptol-html' for cryptol-2.8.0.. touch build-haddock-stamp Adding cdbs dependencies to debian/libghc-cryptol-doc.substvars dh_installdirs -plibghc-cryptol-doc \ . /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 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-DXR44lBvQNrIfSMDZkYXAf 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_doc_recipe "libghc-cryptol-doc" Running mkdir -p debian/libghc-cryptol-doc/usr/share/doc/libghc-cryptol-doc/html/ Running cd debian/tmp-inst-ghc/ Running find ./usr/share/doc/libghc-cryptol-doc/html/ \! -name \*.haddock \! -type d -exec install -Dm 644 \{\} ../libghc-cryptol-doc/\{\} \; Running mkdir -p debian/libghc-cryptol-doc/usr/lib/ghc-doc/haddock/cryptol-2.8.0/ Running cp -r debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/cryptol-2.8.0//cryptol.haddock debian/libghc-cryptol-doc/usr/lib/ghc-doc/haddock/cryptol-2.8.0/ Running mkdir -p debian/libghc-cryptol-doc/usr/lib/ghc-doc/hoogle Running ln -rs -T debian/libghc-cryptol-doc/usr/share/doc/libghc-cryptol-doc/html//cryptol.txt debian/libghc-cryptol-doc/usr/lib/ghc-doc/hoogle/libghc-cryptol-doc.txt Running dh_haskell_depends -plibghc-cryptol-doc dh_haskell_blurbs "ghc" -plibghc-cryptol-doc dh_installdocs -plibghc-cryptol-doc dh_installexamples -plibghc-cryptol-doc dh_installman -plibghc-cryptol-doc dh_installinfo -plibghc-cryptol-doc dh_installmenu -plibghc-cryptol-doc dh_installcron -plibghc-cryptol-doc dh_systemd_enable -plibghc-cryptol-doc dh_installinit -plibghc-cryptol-doc dh_installdebconf -plibghc-cryptol-doc dh_installemacsen -plibghc-cryptol-doc dh_installcatalogs -plibghc-cryptol-doc dh_installpam -plibghc-cryptol-doc dh_installlogrotate -plibghc-cryptol-doc dh_installlogcheck -plibghc-cryptol-doc dh_installchangelogs -plibghc-cryptol-doc dh_installudev -plibghc-cryptol-doc dh_lintian -plibghc-cryptol-doc dh_bugfiles -plibghc-cryptol-doc dh_install -plibghc-cryptol-doc dh_systemd_start -plibghc-cryptol-doc dh_link -plibghc-cryptol-doc dh_buildinfo -plibghc-cryptol-doc dh_installmime -plibghc-cryptol-doc dh_installgsettings -plibghc-cryptol-doc dh_strip -plibghc-cryptol-doc --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-cryptol-doc dh_compress -plibghc-cryptol-doc -X .haddock -X .hs -X .txt dh_fixperms -plibghc-cryptol-doc dh_makeshlibs -plibghc-cryptol-doc -XlibHS dh_installdeb -plibghc-cryptol-doc dh_perl -plibghc-cryptol-doc dh_shlibdeps -plibghc-cryptol-doc -- --ignore-missing-info dh_gencontrol -plibghc-cryptol-doc dpkg-gencontrol: warning: Conflicts field of package libghc-cryptol-doc: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-cryptol-doc: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-cryptol-doc dh_builddeb -plibghc-cryptol-doc dpkg-deb: building package 'libghc-cryptol-doc' in '../libghc-cryptol-doc_2.8.0-1_all.deb'. 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 \ . /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-DXR44lBvQNrIfSMDZkYXAf-ghc8.8.4.so contains an unresolvable reference to symbol stg_ap_p_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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-ghc8.8.4.so was not linked against libHSghc-boot-th-8.8.4-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHScryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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-DXR44lBvQNrIfSMDZkYXAf-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) 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 libutil.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 librt.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_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_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_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../haskell-cryptol_2.8.0-1_armhf.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: including full source code in upload I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/10448 and its subdirectories I: Current time: Fri Aug 20 12:52:52 -12 2021 I: pbuilder-time-stamp: 1629507172