Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-cryptol/haskell-cryptol_2.8.0-1+b3_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-cryptol-2.8.0-1+b3clz2b2g2/haskell-cryptol_2.8.0-1+b3_amd64.buildinfo Get source package info: haskell-cryptol=2.8.0-1 Source URL: http://snapshot.notset.fr/mr/package/haskell-cryptol/2.8.0-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=alex=3.2.5-2+b1 autoconf=2.71-2 automake=1:1.16.4-2 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=12 base-passwd=3.5.52 bash=5.1-3+b1 binutils=2.37-7 binutils-common=2.37-7 binutils-x86-64-linux-gnu=2.37-7 bsdextrautils=2.37.2-3 bsdutils=1:2.37.2-3 build-essential=12.9 bzip2=1.0.8-4 cdbs=0.4.163 coreutils=8.32-4+b1 cpp=4:10.2.1-1 cpp-10=10.3.0-11 dash=0.5.11+git20210120+802ebd4-1 dctrl-tools=2.24-3+b1 debconf=1.5.77 debhelper=13.5.2 debianutils=5.5-1 dh-autoreconf=20 dh-buildinfo=0.11+nmu2 dh-strip-nondeterminism=1.12.0-1 diffutils=1:3.7-5 dpkg=1.20.9 dpkg-dev=1.20.9 dwz=0.14-1 file=1:5.39-3 findutils=4.8.0-1 g++=4:10.2.1-1 g++-10=10.3.0-11 gcc=4:10.2.1-1 gcc-10=10.3.0-11 gcc-10-base=10.3.0-11 gcc-11-base=11.2.0-8 gettext=0.21-4 gettext-base=0.21-4 ghc=8.8.4-2 ghc-prof=8.8.4-2 grep=3.7-1 groff-base=1.22.4-7 gzip=1.10-4 happy=1.19.12-2+b1 haskell-devscripts=0.16.1 haskell-devscripts-minimal=0.16.1 hostname=3.23 hscolour=1.24.4-3+b2 html-xml-utils=7.7-1.1 init-system-helpers=1.60 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-8 libatomic1=11.2.0-8 libattr1=1:2.5.1-1 libaudit-common=1:3.0.5-1 libaudit1=1:3.0.5-1 libbinutils=2.37-7 libblkid1=2.37.2-3 libbrotli1=1.0.9-2+b2 libbsd-dev=0.11.3-1 libbsd0=0.11.3-1 libbz2-1.0=1.0.8-4 libc-bin=2.32-4 libc-dev-bin=2.32-4 libc6=2.32-4 libc6-dev=2.32-4 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=11.2.0-8 libcom-err2=1.46.4-1 libcrypt-dev=1:4.4.25-2 libcrypt1=1:4.4.25-2 libctf-nobfd0=2.37-7 libctf0=2.37-7 libcurl3-gnutls=7.74.0-1.3+b1 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.260 libdebhelper-perl=13.5.2 libdpkg-perl=1.20.9 libelf1=0.185-2 libffi-dev=3.4.2-2 libffi7=3.3-6 libffi8=3.4.2-2 libfile-stripnondeterminism-perl=1.12.0-1 libgcc-10-dev=10.3.0-11 libgcc-s1=11.2.0-8 libgcrypt20=1.9.4-3+b1 libgdbm-compat4=1.21-1 libgdbm6=1.21-1 libghc-ansi-terminal-dev=0.10.3-1+b1 libghc-async-dev=2.2.2-2+b1 libghc-async-prof=2.2.2-2+b1 libghc-base-compat-dev=0.11.1-1+b1 libghc-base-compat-prof=0.11.1-1+b1 libghc-base-orphans-dev=0.8.2-1+b1 libghc-base-orphans-prof=0.8.2-1+b1 libghc-blaze-builder-dev=0.4.1.0-4+b1 libghc-blaze-builder-prof=0.4.1.0-4+b1 libghc-blaze-html-dev=0.9.1.2-1+b2 libghc-blaze-html-prof=0.9.1.2-1+b2 libghc-blaze-markup-dev=0.8.2.7-1 libghc-blaze-markup-prof=0.8.2.7-1 libghc-colour-dev=2.3.5-2+b1 libghc-cracknum-dev=2.3-2+b2 libghc-cracknum-prof=2.3-2+b2 libghc-cryptohash-sha1-dev=0.11.100.1-6+b1 libghc-cryptohash-sha1-prof=0.11.100.1-6+b1 libghc-floatinghex-dev=0.4-4+b1 libghc-floatinghex-prof=0.4-4+b1 libghc-generic-deriving-dev=1.13.1-1+b1 libghc-generic-deriving-prof=1.13.1-1+b1 libghc-gitrev-dev=1.3.1-4+b1 libghc-gitrev-prof=1.3.1-4+b1 libghc-graphscc-dev=1.0.4-6+b1 libghc-graphscc-prof=1.0.4-6+b1 libghc-hashable-dev=1.3.0.0-2+b1 libghc-hashable-prof=1.3.0.0-2+b1 libghc-heredoc-dev=0.2.0.0-6+b1 libghc-heredoc-prof=0.2.0.0-6+b1 libghc-monad-control-dev=1.0.2.3-4+b1 libghc-monad-control-prof=1.0.2.3-4+b1 libghc-monadlib-dev=3.10-1+b1 libghc-monadlib-prof=3.10-1+b1 libghc-panic-dev=0.4.0.1-2+b1 libghc-panic-prof=0.4.0.1-2+b1 libghc-primitive-dev=0.7.0.1-1+b1 libghc-primitive-prof=0.7.0.1-1+b1 libghc-quickcheck2-dev=2.13.2-1+b2 libghc-quickcheck2-prof=2.13.2-1+b2 libghc-random-dev=1.1-12+b1 libghc-random-prof=1.1-12+b1 libghc-sbv-dev=8.7-1+b1 libghc-sbv-prof=8.7-1+b1 libghc-simple-smt-dev=0.9.5-1 libghc-simple-smt-prof=0.9.5-1 libghc-splitmix-dev=0.0.5-1 libghc-splitmix-prof=0.0.5-1 libghc-strict-dev=0.3.2-16+b1 libghc-strict-prof=0.3.2-16+b1 libghc-syb-dev=0.7.1-2+b1 libghc-syb-prof=0.7.1-2+b1 libghc-tf-random-dev=0.5-10+b1 libghc-tf-random-prof=0.5-10+b1 libghc-th-abstraction-dev=0.3.2.0-1+b1 libghc-th-abstraction-prof=0.3.2.0-1+b1 libghc-transformers-base-dev=0.4.5.2-3+b1 libghc-transformers-base-prof=0.4.5.2-3+b1 libghc-transformers-compat-dev=0.6.5-2+b1 libghc-transformers-compat-prof=0.6.5-2+b1 libgmp-dev=2:6.2.1+dfsg-2 libgmp10=2:6.2.1+dfsg-2 libgmpxx4ldbl=2:6.2.1+dfsg-2 libgnutls30=3.7.2-2 libgomp1=11.2.0-8 libgpg-error0=1.42-3 libgssapi-krb5-2=1.18.3-7 libhogweed6=3.7.3-1 libicu67=67.1-7 libidn2-0=2.3.2-2 libisl23=0.23-1 libitm1=11.2.0-8 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 libldap-2.4-2=2.4.59+dfsg-1 liblsan0=11.2.0-8 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.39-3 libmagic1=1:5.39-3 libmd-dev=1.0.3-3 libmd0=1.0.3-3 libmount1=2.37.2-3 libmpc3=1.2.0-1 libmpfr6=4.1.0-3 libncurses-dev=6.2+20210905-1 libncurses5-dev=6.2+20210905-1 libncurses6=6.2+20210905-1 libncursesw6=6.2+20210905-1 libnettle8=3.7.3-1 libnghttp2-14=1.43.0-1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libp11-kit0=0.24.0-2+b1 libpam-modules=1.4.0-10 libpam-modules-bin=1.4.0-10 libpam-runtime=1.4.0-10 libpam0g=1.4.0-10 libpcre2-8-0=10.36-2 libpcre3=2:8.39-13 libperl5.32=5.32.1-6 libpipeline1=1.5.3-1 libpsl5=0.21.0-1.2 libquadmath0=11.2.0-8 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.27+dfsg-2.1 libsasl2-modules-db=2.1.27+dfsg-2.1 libseccomp2=2.5.2-1 libselinux1=3.1-3 libsigsegv2=2.13-1 libsmartcols1=2.37.2-3 libssh2-1=1.10.0-2 libssl1.1=1.1.1l-1 libstdc++-10-dev=10.3.0-11 libstdc++6=11.2.0-8 libsub-override-perl=0.09-2 libsystemd0=247.9-3 libtasn1-6=4.17.0-2 libtinfo6=6.2+20210905-1 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-8 libubsan1=11.2.0-8 libuchardet0=0.0.7-1 libudev1=247.9-3 libunistring2=0.9.10-6 libuuid1=2.37.2-3 libxml2=2.9.12+dfsg-5 libzstd1=1.4.8+dfsg-2.1 linux-libc-dev=5.14.6-3 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.9.4-2 mawk=1.3.4.20200120-2 ncurses-base=6.2+20210905-1 ncurses-bin=6.2+20210905-1 patch=2.7.6-7 perl=5.32.1-6 perl-base=5.32.1-6 perl-modules-5.32=5.32.1-6 po-debconf=1.0.21+nmu1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.00-1 tar=1.34+dfsg-1 util-linux=2.37.2-3 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220120T025401Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20211001T101807Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d haskell-cryptol=2.8.0-1 && mkdir -p /build/haskell-cryptol-X86Ayh && dpkg-source --no-check -x /*.dsc /build/haskell-cryptol-X86Ayh/haskell-cryptol-2.8.0 && cd /build/haskell-cryptol-X86Ayh/haskell-cryptol-2.8.0 && { printf '%s' 'haskell-cryptol (2.8.0-1+b3) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild against libffi8 -- amd64 / i386 Build Daemon (x86-csail-01) Sun, 03 Oct 2021 09:29:27 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-cryptol-X86Ayh" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-cryptol-X86Ayh/haskell-cryptol-2.8.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1633253367" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/haskell-cryptol-X86Ayh /tmp/haskell-cryptol-2.8.0-1+b3clz2b2g2 bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20211001T101807Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.kF5oueV6W9 as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.kF5oueV6W9 Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.2-3). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 134 kB of archives. After this operation, 397 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20211001T101807Z unstable/main amd64 libfakeroot amd64 1.26-1 [47.3 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211001T101807Z unstable/main amd64 fakeroot amd64 1.26-1 [87.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 134 kB in 0s (1027 kB/s) Selecting previously unselected package libfakeroot:amd64. (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 ... 4668 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.26-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.26-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.26-1_amd64.deb ... Unpacking fakeroot (1.26-1) ... Setting up libfakeroot:amd64 (1.26-1) ... Setting up fakeroot (1.26-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.32-4) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220120T025401Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20211001T101807Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.kF5oueV6W9 Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220120T025401Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20211001T101807Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220120T025401Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220120T025401Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220120T025401Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220120T025401Z unstable/main amd64 Packages [12.1 MB] Fetched 34.8 MB in 28s (1225 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.kF5oueV6W9 I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-cryptol=2.8.0-1 && mkdir -p /build/haskell-cryptol-X86Ayh && dpkg-source --no-check -x /*.dsc /build/haskell-cryptol-X86Ayh/haskell-cryptol-2.8.0 && cd /build/haskell-cryptol-X86Ayh/haskell-cryptol-2.8.0 && { printf '%s' 'haskell-cryptol (2.8.0-1+b3) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * Rebuild against libffi8 -- amd64 / i386 Build Daemon (x86-csail-01) Sun, 03 Oct 2021 09:29:27 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-cryptol-X86Ayh"' exec /tmp/mmdebstrap.kF5oueV6W9 Reading package lists... NOTICE: 'haskell-cryptol' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol] to retrieve the latest (possibly unreleased) updates to the package. Need to get 338 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-cryptol 2.8.0-1 (dsc) [3547 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-cryptol 2.8.0-1 (tar) [330 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-cryptol 2.8.0-1 (diff) [4512 B] Fetched 338 kB in 0s (708 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-cryptol_2.8.0-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-cryptol in /build/haskell-cryptol-X86Ayh/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: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-cryptol-X86Ayh/haskell-cryptol-2.8.0 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1633253367" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.kF5oueV6W9 dpkg-buildpackage: info: source package haskell-cryptol dpkg-buildpackage: info: source version 2.8.0-1+b3 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-csail-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean test -x debian/rules dh_clean . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ clean_recipe Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\* Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs Running rm -f debian/hlibrary.Makefile Running rm -rf debian/dh_haskell_shlibdeps Running rm -rf debian/tmp-db debian/rules binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." CDBS WARNING: DEB_DH_STRIP_ARGS is deprecated since 0.4.85 CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ make_setup_recipe Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ configure_recipe Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/cryptol-2.8.0/ --datasubdir=cryptol --htmldir=/usr/share/doc/libghc-cryptol-doc/html/ --enable-library-profiling Using Parsec parser Configuring cryptol-2.8.0... Flags chosen: relocatable=True, static=False Dependency GraphSCC >=1.0.4: using GraphSCC-1.0.4 Dependency array >=0.4: using array-0.5.4.0 Dependency base >=4.8 && <5: using base-4.13.0.0 Dependency base-compat >=0.6 && <0.12: using base-compat-0.11.1 Dependency bytestring >=0.10: using bytestring-0.10.10.1 Dependency containers >=0.5: using containers-0.6.2.1 Dependency cryptohash-sha1 ==0.11.*: using cryptohash-sha1-0.11.100.1 Dependency deepseq >=1.3: using deepseq-1.4.4.0 Dependency directory >=1.2.2.0: using directory-1.3.6.0 Dependency filepath >=1.3: using filepath-1.4.2.1 Dependency gitrev >=1.0: using gitrev-1.3.1 Dependency heredoc >=0.2: using heredoc-0.2.0.0 Dependency monad-control >=1.0: using monad-control-1.0.2.3 Dependency monadLib >=3.7.2: using monadLib-3.10 Dependency mtl >=2.2.1: using mtl-2.2.2 Dependency panic >=0.3: using panic-0.4.0.1 Dependency pretty >=1.1: using pretty-1.1.3.6 Dependency process >=1.2: using process-1.6.9.0 Dependency random >=1.0.1: using random-1.1 Dependency sbv >=8.1: using sbv-8.7 Dependency simple-smt >=0.7.1: using simple-smt-0.9.5 Dependency strict -any: using strict-0.3.2 Dependency text >=1.1: using text-1.2.4.0 Dependency tf-random >=0.5: using tf-random-0.5 Dependency time >=1.6.0.1: using time-1.9.3 Dependency transformers-base >=0.4: using transformers-base-0.4.5.2 Dependency ansi-terminal -any: using ansi-terminal-0.10.3 Dependency base -any: using base-4.13.0.0 Dependency base-compat -any: using base-compat-0.11.1 Dependency containers -any: using containers-0.6.2.1 Dependency cryptol -any: using cryptol-2.8.0 Dependency directory -any: using directory-1.3.6.0 Dependency filepath -any: using filepath-1.4.2.1 Dependency haskeline -any: using haskeline-0.7.5.0 Dependency monad-control -any: using monad-control-1.0.2.3 Dependency text -any: using text-1.2.4.0 Dependency transformers -any: using transformers-0.5.6.2 Dependency base -any: using base-4.13.0.0 Dependency blaze-html -any: using blaze-html-0.9.1.2 Dependency cryptol -any: using cryptol-2.8.0 Dependency text -any: using text-1.2.4.0 Source component graph: component lib component exe:cryptol dependency lib component exe:cryptol-html dependency lib Configured component graph: component cryptol-2.8.0-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/x86_64-linux-ghc-8.8.4/cryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4 Private executables installed in: /usr/lib/x86_64-linux-ghc-8.8.4/cryptol-2.8.0 Data files installed in: /usr/share/cryptol Documentation installed in: /usr/share/doc/x86_64-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/x86_64-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 10 found on system at: /usr/bin/x86_64-linux-gnu-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/x86_64-linux-gnu-ld.gold No pkg-config found Using runghc version 8.8.4 found on system at: /usr/bin/runghc Using strip version 2.37 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found touch configure-ghc-stamp . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for cryptol-2.8.0.. Building library for cryptol-2.8.0.. [ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist-ghc/build/Cryptol/Eval/Arch.o ) [ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, dist-ghc/build/Cryptol/ModuleSystem/Fingerprint.o ) src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports] The import of ‘System.IO.Error’ is redundant except perhaps to import instances from ‘System.IO.Error’ To import instances alone, use: import System.IO.Error() | 18 | import System.IO.Error (IOError) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 90] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist-ghc/build/Cryptol/Prelude.o ) [ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist-ghc/build/Cryptol/Utils/Ident.o ) [ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, dist-ghc/build/Cryptol/Utils/Logger.o ) [ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist-ghc/build/Cryptol/Utils/Misc.o ) [ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist-ghc/build/Cryptol/Utils/PP.o ) [ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist-ghc/build/Cryptol/Utils/Debug.o ) [ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist-ghc/build/Cryptol/TypeCheck/PP.o ) [10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, dist-ghc/build/Cryptol/Parser/Selector.o ) [11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist-ghc/build/Cryptol/Parser/Position.o ) [12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, dist-ghc/build/Cryptol/Parser/Fixity.o ) [13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist-ghc/build/Cryptol/Utils/Panic.o ) [14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/InfNat.o ) [15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist-ghc/build/Cryptol/REPL/Trie.o ) [16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist-ghc/build/Cryptol/Parser/Unlit.o ) [17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist-ghc/build/Cryptol/Parser/Name.o ) [18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist-ghc/build/Cryptol/Parser/AST.o ) [19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist-ghc/build/Cryptol/Parser/Utils.o ) [20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist-ghc/build/Cryptol/Parser/Names.o ) [21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist-ghc/build/Cryptol/Parser/NoPat.o ) [22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, dist-ghc/build/Cryptol/ModuleSystem/Exports.o ) [23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist-ghc/build/Cryptol/Parser/LexerUtils.o ) [24 of 90] Compiling Cryptol.Parser.Lexer ( dist-ghc/build/Cryptol/Parser/Lexer.hs, dist-ghc/build/Cryptol/Parser/Lexer.o ) [25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist-ghc/build/Cryptol/Parser/ParserUtils.o ) [26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist-ghc/build/Cryptol/ModuleSystem/Name.o ) [27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, dist-ghc/build/Cryptol/TypeCheck/TCon.o ) [28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, dist-ghc/build/Cryptol/TypeCheck/Type.o ) [29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist-ghc/build/Cryptol/TypeCheck/AST.o ) [30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist-ghc/build/Cryptol/TypeCheck/TypeMap.o ) [31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Interval.o ) [32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Types.o ) [33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Fin.o ) [34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, dist-ghc/build/Cryptol/TypeCheck/Parseable.o ) [35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, dist-ghc/build/Cryptol/IR/FreeVars.o ) [36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist-ghc/build/Cryptol/Transform/MonoValues.o ) [37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, dist-ghc/build/Cryptol/Transform/AddModParams.o ) [38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist-ghc/build/Cryptol/ModuleSystem/Interface.o ) [39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist-ghc/build/Cryptol/ModuleSystem/NamingEnv.o ) [40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist-ghc/build/Cryptol/ModuleSystem/Renamer.o ) [41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, dist-ghc/build/Cryptol/Eval/Monad.o ) [42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist-ghc/build/Cryptol/Eval/Type.o ) [43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist-ghc/build/Cryptol/Eval/Value.o ) [44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist-ghc/build/Cryptol/Testing/Concrete.o ) [45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist-ghc/build/Cryptol/Symbolic/Value.o ) [46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist-ghc/build/Cryptol/Eval/Env.o ) [47 of 90] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist-ghc/build/Cryptol/Eval.o ) [48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, dist-ghc/build/Cryptol/Utils/Patterns.o ) [49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, dist-ghc/build/Cryptol/TypeCheck/TypePat.o ) [50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, dist-ghc/build/Cryptol/TypeCheck/SimpType.o ) [51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Utils.o ) [52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Class.o ) [53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist-ghc/build/Cryptol/Testing/Random.o ) [54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist-ghc/build/Cryptol/Prims/Eval.o ) [55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist-ghc/build/Cryptol/Symbolic/Prims.o ) [56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric.o ) [57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, dist-ghc/build/Cryptol/TypeCheck/SimpleSolver.o ) [58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist-ghc/build/Cryptol/TypeCheck/Subst.o ) [59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist-ghc/build/Cryptol/TypeCheck/Unify.o ) [60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist-ghc/build/Cryptol/TypeCheck/TypeOf.o ) [61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, dist-ghc/build/Cryptol/ModuleSystem/InstantiateModule.o ) src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports] The import of ‘Cryptol.ModuleSystem.Exports’ is redundant except perhaps to import instances from ‘Cryptol.ModuleSystem.Exports’ To import instances alone, use: import Cryptol.ModuleSystem.Exports() | 15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Improve.o ) [63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist-ghc/build/Cryptol/TypeCheck/InferTypes.o ) src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.Patterns’ is redundant except perhaps to import instances from ‘Cryptol.Utils.Patterns’ To import instances alone, use: import Cryptol.Utils.Patterns() | 31 | import Cryptol.Utils.Patterns(matchMaybe) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/SMT.o ) [65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, dist-ghc/build/Cryptol/TypeCheck/Error.o ) [66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist-ghc/build/Cryptol/TypeCheck/Monad.o ) [67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Selector.o ) [68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist-ghc/build/Cryptol/TypeCheck/Sanity.o ) [69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist-ghc/build/Cryptol/TypeCheck/Depends.o ) [70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, dist-ghc/build/Cryptol/TypeCheck/Default.o ) [71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist-ghc/build/Cryptol/TypeCheck/Solve.o ) src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.PP’ is redundant except perhaps to import instances from ‘Cryptol.Utils.PP’ To import instances alone, use: import Cryptol.Utils.PP() | 37 | import Cryptol.Utils.PP (text,vcat,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist-ghc/build/Cryptol/TypeCheck/Kind.o ) [73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist-ghc/build/Cryptol/TypeCheck/Instantiate.o ) [74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist-ghc/build/Cryptol/TypeCheck/Infer.o ) [75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, dist-ghc/build/Cryptol/TypeCheck/CheckModuleInstance.o ) src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports] The import of ‘Name’ from module ‘Cryptol.ModuleSystem.Name’ is redundant | 9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist-ghc/build/Cryptol/TypeCheck.o ) [77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist-ghc/build/Cryptol/ModuleSystem/Env.o ) [78 of 90] Compiling GitRev ( src/GitRev.hs, dist-ghc/build/GitRev.o ) [79 of 90] Compiling Paths_cryptol ( dist-ghc/build/autogen/Paths_cryptol.hs, dist-ghc/build/Paths_cryptol.o ) [80 of 90] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist-ghc/build/Cryptol/Version.o ) [81 of 90] Compiling Cryptol.Parser ( dist-ghc/build/Cryptol/Parser.hs, dist-ghc/build/Cryptol/Parser.o ) [82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist-ghc/build/Cryptol/Parser/NoInclude.o ) [83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist-ghc/build/Cryptol/ModuleSystem/Monad.o ) [84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist-ghc/build/Cryptol/ModuleSystem/Base.o ) [85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist-ghc/build/Cryptol/ModuleSystem.o ) [86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist-ghc/build/Cryptol/Transform/Specialize.o ) [87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist-ghc/build/Cryptol/Symbolic.o ) [88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist-ghc/build/Cryptol/REPL/Monad.o ) [89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, dist-ghc/build/Cryptol/Eval/Reference.o ) src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 26 | > import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist-ghc/build/Cryptol/REPL/Command.o ) src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports] The import of ‘backticks’ from module ‘Cryptol.TypeCheck.PP’ is redundant | 75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist-ghc/build/Cryptol/Eval/Arch.p_o ) [ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, dist-ghc/build/Cryptol/ModuleSystem/Fingerprint.p_o ) src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports] The import of ‘System.IO.Error’ is redundant except perhaps to import instances from ‘System.IO.Error’ To import instances alone, use: import System.IO.Error() | 18 | import System.IO.Error (IOError) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 90] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist-ghc/build/Cryptol/Prelude.p_o ) [ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist-ghc/build/Cryptol/Utils/Ident.p_o ) [ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, dist-ghc/build/Cryptol/Utils/Logger.p_o ) [ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist-ghc/build/Cryptol/Utils/Misc.p_o ) [ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist-ghc/build/Cryptol/Utils/PP.p_o ) [ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist-ghc/build/Cryptol/Utils/Debug.p_o ) [ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist-ghc/build/Cryptol/TypeCheck/PP.p_o ) [10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, dist-ghc/build/Cryptol/Parser/Selector.p_o ) [11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist-ghc/build/Cryptol/Parser/Position.p_o ) [12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, dist-ghc/build/Cryptol/Parser/Fixity.p_o ) [13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist-ghc/build/Cryptol/Utils/Panic.p_o ) [14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/InfNat.p_o ) [15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist-ghc/build/Cryptol/REPL/Trie.p_o ) [16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist-ghc/build/Cryptol/Parser/Unlit.p_o ) [17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist-ghc/build/Cryptol/Parser/Name.p_o ) [18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist-ghc/build/Cryptol/Parser/AST.p_o ) [19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist-ghc/build/Cryptol/Parser/Utils.p_o ) [20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist-ghc/build/Cryptol/Parser/Names.p_o ) [21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist-ghc/build/Cryptol/Parser/NoPat.p_o ) [22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, dist-ghc/build/Cryptol/ModuleSystem/Exports.p_o ) [23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist-ghc/build/Cryptol/Parser/LexerUtils.p_o ) [24 of 90] Compiling Cryptol.Parser.Lexer ( dist-ghc/build/Cryptol/Parser/Lexer.hs, dist-ghc/build/Cryptol/Parser/Lexer.p_o ) [25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist-ghc/build/Cryptol/Parser/ParserUtils.p_o ) [26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist-ghc/build/Cryptol/ModuleSystem/Name.p_o ) [27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, dist-ghc/build/Cryptol/TypeCheck/TCon.p_o ) [28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, dist-ghc/build/Cryptol/TypeCheck/Type.p_o ) [29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist-ghc/build/Cryptol/TypeCheck/AST.p_o ) [30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist-ghc/build/Cryptol/TypeCheck/TypeMap.p_o ) [31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Interval.p_o ) [32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Types.p_o ) [33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Fin.p_o ) [34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, dist-ghc/build/Cryptol/TypeCheck/Parseable.p_o ) [35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, dist-ghc/build/Cryptol/IR/FreeVars.p_o ) [36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist-ghc/build/Cryptol/Transform/MonoValues.p_o ) [37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, dist-ghc/build/Cryptol/Transform/AddModParams.p_o ) [38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist-ghc/build/Cryptol/ModuleSystem/Interface.p_o ) [39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist-ghc/build/Cryptol/ModuleSystem/NamingEnv.p_o ) [40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist-ghc/build/Cryptol/ModuleSystem/Renamer.p_o ) [41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, dist-ghc/build/Cryptol/Eval/Monad.p_o ) [42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist-ghc/build/Cryptol/Eval/Type.p_o ) [43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist-ghc/build/Cryptol/Eval/Value.p_o ) [44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist-ghc/build/Cryptol/Testing/Concrete.p_o ) [45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist-ghc/build/Cryptol/Symbolic/Value.p_o ) [46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist-ghc/build/Cryptol/Eval/Env.p_o ) [47 of 90] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist-ghc/build/Cryptol/Eval.p_o ) [48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, dist-ghc/build/Cryptol/Utils/Patterns.p_o ) [49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, dist-ghc/build/Cryptol/TypeCheck/TypePat.p_o ) [50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, dist-ghc/build/Cryptol/TypeCheck/SimpType.p_o ) [51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Utils.p_o ) [52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Class.p_o ) [53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist-ghc/build/Cryptol/Testing/Random.p_o ) [54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist-ghc/build/Cryptol/Prims/Eval.p_o ) [55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist-ghc/build/Cryptol/Symbolic/Prims.p_o ) [56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric.p_o ) [57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, dist-ghc/build/Cryptol/TypeCheck/SimpleSolver.p_o ) [58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist-ghc/build/Cryptol/TypeCheck/Subst.p_o ) [59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist-ghc/build/Cryptol/TypeCheck/Unify.p_o ) [60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist-ghc/build/Cryptol/TypeCheck/TypeOf.p_o ) [61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, dist-ghc/build/Cryptol/ModuleSystem/InstantiateModule.p_o ) src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports] The import of ‘Cryptol.ModuleSystem.Exports’ is redundant except perhaps to import instances from ‘Cryptol.ModuleSystem.Exports’ To import instances alone, use: import Cryptol.ModuleSystem.Exports() | 15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Improve.p_o ) [63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist-ghc/build/Cryptol/TypeCheck/InferTypes.p_o ) src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.Patterns’ is redundant except perhaps to import instances from ‘Cryptol.Utils.Patterns’ To import instances alone, use: import Cryptol.Utils.Patterns() | 31 | import Cryptol.Utils.Patterns(matchMaybe) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/SMT.p_o ) [65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, dist-ghc/build/Cryptol/TypeCheck/Error.p_o ) [66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist-ghc/build/Cryptol/TypeCheck/Monad.p_o ) [67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Selector.p_o ) [68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist-ghc/build/Cryptol/TypeCheck/Sanity.p_o ) [69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist-ghc/build/Cryptol/TypeCheck/Depends.p_o ) [70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, dist-ghc/build/Cryptol/TypeCheck/Default.p_o ) [71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist-ghc/build/Cryptol/TypeCheck/Solve.p_o ) src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.PP’ is redundant except perhaps to import instances from ‘Cryptol.Utils.PP’ To import instances alone, use: import Cryptol.Utils.PP() | 37 | import Cryptol.Utils.PP (text,vcat,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist-ghc/build/Cryptol/TypeCheck/Kind.p_o ) [73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist-ghc/build/Cryptol/TypeCheck/Instantiate.p_o ) [74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist-ghc/build/Cryptol/TypeCheck/Infer.p_o ) [75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, dist-ghc/build/Cryptol/TypeCheck/CheckModuleInstance.p_o ) src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports] The import of ‘Name’ from module ‘Cryptol.ModuleSystem.Name’ is redundant | 9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist-ghc/build/Cryptol/TypeCheck.p_o ) [77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist-ghc/build/Cryptol/ModuleSystem/Env.p_o ) [78 of 90] Compiling GitRev ( src/GitRev.hs, dist-ghc/build/GitRev.p_o ) [79 of 90] Compiling Paths_cryptol ( dist-ghc/build/autogen/Paths_cryptol.hs, dist-ghc/build/Paths_cryptol.p_o ) [80 of 90] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist-ghc/build/Cryptol/Version.p_o ) [81 of 90] Compiling Cryptol.Parser ( dist-ghc/build/Cryptol/Parser.hs, dist-ghc/build/Cryptol/Parser.p_o ) [82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist-ghc/build/Cryptol/Parser/NoInclude.p_o ) [83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist-ghc/build/Cryptol/ModuleSystem/Monad.p_o ) [84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist-ghc/build/Cryptol/ModuleSystem/Base.p_o ) [85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist-ghc/build/Cryptol/ModuleSystem.p_o ) [86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist-ghc/build/Cryptol/Transform/Specialize.p_o ) [87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist-ghc/build/Cryptol/Symbolic.p_o ) [88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist-ghc/build/Cryptol/REPL/Monad.p_o ) [89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, dist-ghc/build/Cryptol/Eval/Reference.p_o ) src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 26 | > import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist-ghc/build/Cryptol/REPL/Command.p_o ) src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports] The import of ‘backticks’ from module ‘Cryptol.TypeCheck.PP’ is redundant | 75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing executable 'cryptol' for cryptol-2.8.0.. Building executable 'cryptol' for cryptol-2.8.0.. [1 of 5] Compiling OptParser ( cryptol/OptParser.hs, dist-ghc/build/cryptol/cryptol-tmp/OptParser.o ) cryptol/OptParser.hs:12:1: warning: [-Wunused-imports] The import of ‘Data.Monoid’ is redundant except perhaps to import instances from ‘Data.Monoid’ To import instances alone, use: import Data.Monoid() | 12 | import Data.Monoid (Endo(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2 of 5] Compiling Paths_cryptol ( dist-ghc/build/cryptol/autogen/Paths_cryptol.hs, dist-ghc/build/cryptol/cryptol-tmp/Paths_cryptol.o ) [3 of 5] Compiling REPL.Haskeline ( cryptol/REPL/Haskeline.hs, dist-ghc/build/cryptol/cryptol-tmp/REPL/Haskeline.o ) [4 of 5] Compiling REPL.Logo ( cryptol/REPL/Logo.hs, dist-ghc/build/cryptol/cryptol-tmp/REPL/Logo.o ) [5 of 5] Compiling Main ( cryptol/Main.hs, dist-ghc/build/cryptol/cryptol-tmp/Main.o ) Linking dist-ghc/build/cryptol/cryptol ... Preprocessing executable 'cryptol-html' for cryptol-2.8.0.. Building executable 'cryptol-html' for cryptol-2.8.0.. [1 of 1] Compiling Main ( utils/CryHtml.hs, dist-ghc/build/cryptol-html/cryptol-html-tmp/Main.o ) Linking dist-ghc/build/cryptol-html/cryptol-html ... touch build-ghc-stamp DEB_ENABLE_TESTS not set to yes, not running any tests. touch check-ghc-stamp Adding cdbs dependencies to debian/libghc-cryptol-dev.substvars dh_installdirs -plibghc-cryptol-dev \ debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/x86_64-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_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/x86_64-linux-ghc-8.8.4/libHScryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf-ghc8.8.4.so contains an unresolvable reference to symbol newCAF: it's probably a plugin dpkg-shlibdeps: warning: 84 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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-cryptol-dev/usr/lib/haskell-packages/ghc/lib/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-linux-ghc-8.8.4/libHScryptol-2.8.0-DXR44lBvQNrIfSMDZkYXAf-ghc8.8.4.so was not linked against libpthread.so.0 (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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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/x86_64-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) 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+b3_amd64.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+b3_amd64.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+b3_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../haskell-cryptol_2.8.0-1+b3_amd64.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/haskell-cryptol-X86Ayh /tmp/haskell-cryptol-2.8.0-1+b3clz2b2g2 I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.kF5oueV6W9... I: success in 4714.3055 seconds md5: cryptol_2.8.0-1+b3_amd64.deb: OK md5: libghc-cryptol-dev_2.8.0-1+b3_amd64.deb: OK md5: libghc-cryptol-prof_2.8.0-1+b3_amd64.deb: OK sha1: cryptol_2.8.0-1+b3_amd64.deb: OK sha1: libghc-cryptol-dev_2.8.0-1+b3_amd64.deb: OK sha1: libghc-cryptol-prof_2.8.0-1+b3_amd64.deb: OK sha256: cryptol_2.8.0-1+b3_amd64.deb: OK sha256: libghc-cryptol-dev_2.8.0-1+b3_amd64.deb: OK sha256: libghc-cryptol-prof_2.8.0-1+b3_amd64.deb: OK Checksums: OK