Thu Aug 12 09:07:54 UTC 2021 I: starting to build haskell-sbv/bullseye/armhf on jenkins on '2021-08-12 09:07' Thu Aug 12 09:07:54 UTC 2021 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/armhf_25/4161/console.log Thu Aug 12 09:07:54 UTC 2021 I: Downloading source for bullseye/haskell-sbv=8.7-1 --2021-08-12 09:07:54-- http://cdn-fastly.deb.debian.org/debian/pool/main/h/haskell-sbv/haskell-sbv_8.7-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2622 (2.6K) Saving to: ‘haskell-sbv_8.7-1.dsc’ 0K .. 100% 157M=0s 2021-08-12 09:07:54 (157 MB/s) - ‘haskell-sbv_8.7-1.dsc’ saved [2622/2622] Thu Aug 12 09:07:54 UTC 2021 I: haskell-sbv_8.7-1.dsc -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-sbv Binary: libghc-sbv-dev, libghc-sbv-prof, libghc-sbv-doc Architecture: any all Version: 8.7-1 Maintainer: Debian Haskell Group Uploaders: Clint Adams , Homepage: http://leventerkok.github.com/sbv/ Standards-Version: 4.1.4 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-sbv Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv] Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-async-dev, libghc-async-prof, libghc-cracknum-dev (>= 2.3), libghc-cracknum-prof, libghc-generic-deriving-dev, libghc-generic-deriving-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-cracknum-doc, libghc-generic-deriving-doc, libghc-random-doc, libghc-syb-doc Package-List: libghc-sbv-dev deb haskell optional arch=any libghc-sbv-doc deb doc optional arch=all libghc-sbv-prof deb haskell optional arch=any Checksums-Sha1: 505eb9b521fb9e5b32a6c8375dc55f92c3bdc4fd 873246 haskell-sbv_8.7.orig.tar.gz fa54b6ac4fb7ed97666e5e8532cfbe530777bfb1 2804 haskell-sbv_8.7-1.debian.tar.xz Checksums-Sha256: 34107492915af8a3577394ced6c2cb8388a23629e512edba740646a0f2a03746 873246 haskell-sbv_8.7.orig.tar.gz d147486526afea7361277e52f7324980aaa1c40f9aaf69f2ff457a26c632389a 2804 haskell-sbv_8.7-1.debian.tar.xz Files: 36a0369c3ab33851459ca4ca31e500f2 873246 haskell-sbv_8.7.orig.tar.gz fb4a6f811887926cf4204bc5ede515c3 2804 haskell-sbv_8.7-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAl86l+IUHGlsaWFzdHNp QGRlYmlhbi5vcmcACgkQ16hngMxkQDyNFBAAoWjhHBep1llHu9FALZGAhAKrC5D+ CA5Xmiq3YO8huhJnp8SzPlbYvage33zUbk2U6LnZPl9y+N7zeTp0iiKSEPDpgHoJ NJJVgvRlbLhak/HDUpvb2n25jzrfOAs6ShJAEdCSsLtJnSTQqkpuHDjg62Wv2XA0 Ymg1HR0iGbfLQ3BNBOYwXXldC30OUyHJjPi1cYxtGRMbNy0DdqwF14NezqWJbcE9 OM6kd5xOJxnhcuuFr27XcmVuA2MRtixbZkkzpCIGHvQv+pJM0EWCCWZk4EFv0pkv VFX0kpUltm0bEQRziyn9tn2bfVpwSXH07QNLjk2F1HFqOs4+MZOVg93CwiaO7TVd UrQTuOiz/CUBYFdTLIsEZ3SqKq8kFybswlwEqEZE8aG3G6g0khqhJzE5hEZAeKVn hVIixOrX1eXJ/8IwW9pUctT7gC+pTgb1s1YfnVUBOlFWiao0ci4Q4ADTA4CMEPAG gRz9X6zIJfX65KsUyyIUJOxUP1aNJXJDwlZO56p1bZy4E4etQMD8cOrMkJSqxw2r je1Qg1+VgZB2a/uCz182zi2eR4CbwuZv+3c7sAwZ87Wd/iojQfqlhTMkjMYw2hc0 aG4TDpDkZpl3bZZJY/ivce0+gdwqEVNz8ATWhvPdtE5MuojRpxOeplLFYBvv0srw NS5HE7MiO5L5o7U= =1wPJ -----END PGP SIGNATURE----- Thu Aug 12 09:07:54 UTC 2021 I: Checking whether the package is not for us Thu Aug 12 09:07:54 UTC 2021 I: Starting 1st build on remote node virt32c-armhf-rb.debian.net. Thu Aug 12 09:07:54 UTC 2021 I: Preparing to do remote build '1' on virt32c-armhf-rb.debian.net. Thu Aug 12 11:23:02 UTC 2021 I: Deleting $TMPDIR on virt32c-armhf-rb.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Wed Aug 11 21:08:00 -12 2021 I: pbuilder-time-stamp: 1628759280 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-sbv_8.7-1.dsc] I: copying [./haskell-sbv_8.7.orig.tar.gz] I: copying [./haskell-sbv_8.7-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/tmp/dpkg-verify-sig.icc9cT2D/trustedkeys.kbx': General error gpgv: Signature made Mon Aug 17 02:44:50 2020 -12 gpgv: using RSA key 27D73CA5F5B5D7E01A5136F5D7A86780CC64403C gpgv: issuer "iliastsi@debian.org" gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./haskell-sbv_8.7-1.dsc dpkg-source: info: extracting haskell-sbv in haskell-sbv-8.7 dpkg-source: info: unpacking haskell-sbv_8.7.orig.tar.gz dpkg-source: info: unpacking haskell-sbv_8.7-1.debian.tar.xz I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/1894/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='e7d34ec0d0f742798b5c473d77a0bb2f' 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='1894' 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.YJfF0hc9yS/pbuilderrc_x131 --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.YJfF0hc9yS/b1 --logfile b1/build.log haskell-sbv_8.7-1.dsc' SUDO_GID='113' SUDO_UID='107' 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 virt32c 5.10.0-8-armmp-lpae #1 SMP Debian 5.10.46-4 (2021-08-03) armv7l 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 9 21:24 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 21:55 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/1894/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-quickcheck2-dev, libghc-quickcheck2-prof, libghc-async-dev, libghc-async-prof, libghc-cracknum-dev (>= 2.3), libghc-cracknum-prof, libghc-generic-deriving-dev, libghc-generic-deriving-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof, ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-cracknum-doc, libghc-generic-deriving-doc, libghc-random-doc, libghc-syb-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-quickcheck2-dev; however: Package libghc-quickcheck2-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-quickcheck2-prof; however: Package libghc-quickcheck2-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-async-dev; however: Package libghc-async-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-async-prof; however: Package libghc-async-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-cracknum-dev (>= 2.3); however: Package libghc-cracknum-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-cracknum-prof; however: Package libghc-cracknum-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-generic-deriving-dev; however: Package libghc-generic-deriving-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-generic-deriving-prof; however: Package libghc-generic-deriving-prof is not installed. pbuilder-satisfydepends-dummy depends on libghc-random-dev; 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-syb-dev; however: Package libghc-syb-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-syb-prof; however: Package libghc-syb-prof is not installed. pbuilder-satisfydepends-dummy depends on ghc-doc; however: Package ghc-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-quickcheck2-doc; however: Package libghc-quickcheck2-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-async-doc; however: Package libghc-async-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-cracknum-doc; however: Package libghc-cracknum-doc is not installed. pbuilder-satisfydepends-dummy depends on libghc-generic-deriving-doc; however: Package libghc-generic-deriving-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-syb-doc; however: Package libghc-syb-doc is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdextrautils{a} cdbs{a} dctrl-tools{a} debhelper{a} dh-autoreconf{a} dh-buildinfo{a} dh-strip-nondeterminism{a} dwz{a} file{a} fonts-mathjax{a} gettext{a} gettext-base{a} ghc{a} ghc-doc{a} ghc-prof{a} groff-base{a} haskell-devscripts{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-async-dev{a} libghc-async-doc{a} libghc-async-prof{a} libghc-cracknum-dev{a} libghc-cracknum-doc{a} libghc-cracknum-prof{a} libghc-floatinghex-dev{a} libghc-floatinghex-prof{a} libghc-generic-deriving-dev{a} libghc-generic-deriving-doc{a} libghc-generic-deriving-prof{a} libghc-hashable-dev{a} libghc-hashable-prof{a} libghc-quickcheck2-dev{a} libghc-quickcheck2-doc{a} libghc-quickcheck2-prof{a} libghc-random-dev{a} libghc-random-doc{a} libghc-random-prof{a} libghc-splitmix-dev{a} libghc-splitmix-prof{a} libghc-syb-dev{a} libghc-syb-doc{a} libghc-syb-prof{a} libghc-th-abstraction-dev{a} libghc-th-abstraction-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-hashable-doc libghc-th-abstraction-doc libgpm2 libldap-common libltdl-dev libmail-sendmail-perl libsasl2-modules llvm-11-dev lynx publicsuffix wget 0 packages upgraded, 94 newly installed, 0 to remove and 0 not upgraded. Need to get 303 MB of archives. After unpacking 2629 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 libsigsegv2 armhf 2.13-1 [34.0 kB] Get: 32 http://deb.debian.org/debian bullseye/main armhf m4 armhf 1.4.18-5 [192 kB] Get: 33 http://deb.debian.org/debian bullseye/main armhf autoconf all 2.69-14 [313 kB] Get: 34 http://deb.debian.org/debian bullseye/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB] Get: 35 http://deb.debian.org/debian bullseye/main armhf automake all 1:1.16.3-2 [814 kB] Get: 36 http://deb.debian.org/debian bullseye/main armhf autopoint all 0.21-4 [510 kB] Get: 37 http://deb.debian.org/debian bullseye/main armhf cdbs all 0.4.163 [82.6 kB] Get: 38 http://deb.debian.org/debian bullseye/main armhf dctrl-tools armhf 2.24-3 [96.0 kB] Get: 39 http://deb.debian.org/debian bullseye/main armhf libdebhelper-perl all 13.3.4 [189 kB] Get: 40 http://deb.debian.org/debian bullseye/main armhf libtool all 2.4.6-15 [513 kB] Get: 41 http://deb.debian.org/debian bullseye/main armhf dh-autoreconf all 20 [17.1 kB] Get: 42 http://deb.debian.org/debian bullseye/main armhf libarchive-zip-perl all 1.68-1 [104 kB] Get: 43 http://deb.debian.org/debian bullseye/main armhf libsub-override-perl all 0.09-2 [10.2 kB] Get: 44 http://deb.debian.org/debian bullseye/main armhf libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB] Get: 45 http://deb.debian.org/debian bullseye/main armhf dh-strip-nondeterminism all 1.12.0-1 [15.4 kB] Get: 46 http://deb.debian.org/debian bullseye/main armhf libelf1 armhf 0.183-1 [161 kB] Get: 47 http://deb.debian.org/debian bullseye/main armhf dwz armhf 0.13+20210201-1 [179 kB] Get: 48 http://deb.debian.org/debian bullseye/main armhf libicu67 armhf 67.1-7 [8319 kB] Get: 49 http://deb.debian.org/debian bullseye/main armhf libxml2 armhf 2.9.10+dfsg-6.7 [602 kB] Get: 50 http://deb.debian.org/debian bullseye/main armhf gettext armhf 0.21-4 [1243 kB] Get: 51 http://deb.debian.org/debian bullseye/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 52 http://deb.debian.org/debian bullseye/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 53 http://deb.debian.org/debian bullseye/main armhf debhelper all 13.3.4 [1049 kB] Get: 54 http://deb.debian.org/debian bullseye/main armhf dh-buildinfo all 0.11+nmu2 [18.4 kB] Get: 55 http://deb.debian.org/debian bullseye/main armhf ghc-prof armhf 8.8.4-2 [104 MB] Get: 56 http://deb.debian.org/debian bullseye/main armhf libbrotli1 armhf 1.0.9-2+b2 [262 kB] Get: 57 http://deb.debian.org/debian bullseye/main armhf libsasl2-modules-db armhf 2.1.27+dfsg-2.1 [67.6 kB] Get: 58 http://deb.debian.org/debian bullseye/main armhf libsasl2-2 armhf 2.1.27+dfsg-2.1 [99.1 kB] Get: 59 http://deb.debian.org/debian bullseye/main armhf libldap-2.4-2 armhf 2.4.57+dfsg-3 [210 kB] Get: 60 http://deb.debian.org/debian bullseye/main armhf libnghttp2-14 armhf 1.43.0-1 [65.6 kB] Get: 61 http://deb.debian.org/debian bullseye/main armhf libpsl5 armhf 0.21.0-1.2 [56.1 kB] Get: 62 http://deb.debian.org/debian bullseye/main armhf librtmp1 armhf 2.4+20151223.gitfa8646d.1-2+b2 [55.2 kB] Get: 63 http://deb.debian.org/debian bullseye/main armhf libssh2-1 armhf 1.9.0-2 [143 kB] Get: 64 http://deb.debian.org/debian bullseye/main armhf libcurl3-gnutls armhf 7.74.0-1.3+b1 [306 kB] Get: 65 http://deb.debian.org/debian bullseye/main armhf html-xml-utils armhf 7.7-1.1 [233 kB] Get: 66 http://deb.debian.org/debian bullseye/main armhf haskell-devscripts-minimal all 0.16.0 [40.8 kB] Get: 67 http://deb.debian.org/debian bullseye/main armhf hscolour armhf 1.24.4-3+b1 [342 kB] Get: 68 http://deb.debian.org/debian bullseye/main armhf haskell-devscripts all 0.16.0 [17.1 kB] Get: 69 http://deb.debian.org/debian bullseye/main armhf libghc-hashable-dev armhf 1.3.0.0-2+b1 [111 kB] Get: 70 http://deb.debian.org/debian bullseye/main armhf libghc-async-dev armhf 2.2.2-2+b1 [77.8 kB] Get: 71 http://deb.debian.org/debian bullseye/main armhf libghc-async-doc all 2.2.2-2 [70.9 kB] Get: 72 http://deb.debian.org/debian bullseye/main armhf libghc-hashable-prof armhf 1.3.0.0-2+b1 [96.2 kB] Get: 73 http://deb.debian.org/debian bullseye/main armhf libghc-async-prof armhf 2.2.2-2+b1 [71.2 kB] Get: 74 http://deb.debian.org/debian bullseye/main armhf libghc-floatinghex-dev armhf 0.4-4+b1 [32.8 kB] Get: 75 http://deb.debian.org/debian bullseye/main armhf libghc-cracknum-dev armhf 2.3-2+b1 [79.9 kB] Get: 76 http://deb.debian.org/debian bullseye/main armhf libghc-cracknum-doc all 2.3-2 [57.1 kB] Get: 77 http://deb.debian.org/debian bullseye/main armhf libghc-floatinghex-prof armhf 0.4-4+b1 [26.4 kB] Get: 78 http://deb.debian.org/debian bullseye/main armhf libghc-cracknum-prof armhf 2.3-2+b1 [70.7 kB] Get: 79 http://deb.debian.org/debian bullseye/main armhf libghc-th-abstraction-dev armhf 0.3.2.0-1+b1 [215 kB] Get: 80 http://deb.debian.org/debian bullseye/main armhf libghc-generic-deriving-dev armhf 1.13.1-1+b1 [898 kB] Get: 81 http://deb.debian.org/debian bullseye/main armhf libghc-generic-deriving-doc all 1.13.1-1 [259 kB] Get: 82 http://deb.debian.org/debian bullseye/main armhf libghc-th-abstraction-prof armhf 0.3.2.0-1+b1 [189 kB] Get: 83 http://deb.debian.org/debian bullseye/main armhf libghc-generic-deriving-prof armhf 1.13.1-1+b1 [798 kB] Get: 84 http://deb.debian.org/debian bullseye/main armhf libghc-random-dev armhf 1.1-12+b1 [165 kB] Get: 85 http://deb.debian.org/debian bullseye/main armhf libghc-splitmix-dev armhf 0.0.5-1 [60.9 kB] Get: 86 http://deb.debian.org/debian bullseye/main armhf libghc-quickcheck2-dev armhf 2.13.2-1+b2 [756 kB] Get: 87 http://deb.debian.org/debian bullseye/main armhf libghc-quickcheck2-doc all 2.13.2-1 [277 kB] Get: 88 http://deb.debian.org/debian bullseye/main armhf libghc-random-prof armhf 1.1-12+b1 [126 kB] Get: 89 http://deb.debian.org/debian bullseye/main armhf libghc-splitmix-prof armhf 0.0.5-1 [53.4 kB] Get: 90 http://deb.debian.org/debian bullseye/main armhf libghc-quickcheck2-prof armhf 2.13.2-1+b2 [647 kB] Get: 91 http://deb.debian.org/debian bullseye/main armhf libghc-random-doc all 1.1-12 [61.5 kB] Get: 92 http://deb.debian.org/debian bullseye/main armhf libghc-syb-dev armhf 0.7.1-2+b1 [125 kB] Get: 93 http://deb.debian.org/debian bullseye/main armhf libghc-syb-doc all 0.7.1-2 [79.8 kB] Get: 94 http://deb.debian.org/debian bullseye/main armhf libghc-syb-prof armhf 0.7.1-2+b1 [110 kB] Fetched 303 MB in 19s (16.1 MB/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 .../00-bsdextrautils_2.36.1-8_armhf.deb ... Unpacking bsdextrautils (2.36.1-8) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ... Unpacking libuchardet0:armhf (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../02-groff-base_1.22.4-6_armhf.deb ... Unpacking groff-base (1.22.4-6) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../03-libpipeline1_1.5.3-1_armhf.deb ... Unpacking libpipeline1:armhf (1.5.3-1) ... Selecting previously unselected package man-db. Preparing to unpack .../04-man-db_2.9.4-2_armhf.deb ... Unpacking man-db (2.9.4-2) ... Selecting previously unselected package libmd0:armhf. Preparing to unpack .../05-libmd0_1.0.3-3_armhf.deb ... Unpacking libmd0:armhf (1.0.3-3) ... Selecting previously unselected package libbsd0:armhf. Preparing to unpack .../06-libbsd0_0.11.3-1_armhf.deb ... Unpacking libbsd0:armhf (0.11.3-1) ... Selecting previously unselected package libedit2:armhf. Preparing to unpack .../07-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 .../08-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 .../09-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 .../10-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 .../11-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 .../12-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 .../13-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 .../14-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 .../15-libffi-dev_3.3-6_armhf.deb ... Unpacking libffi-dev:armhf (3.3-6) ... Selecting previously unselected package libmd-dev:armhf. Preparing to unpack .../16-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 .../17-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 .../18-libncurses6_6.2+20201114-2_armhf.deb ... Unpacking libncurses6:armhf (6.2+20201114-2) ... Selecting previously unselected package libncurses-dev:armhf. Preparing to unpack .../19-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 .../20-libncurses5-dev_6.2+20201114-2_armhf.deb ... Unpacking libncurses5-dev:armhf (6.2+20201114-2) ... Selecting previously unselected package ghc. Preparing to unpack .../21-ghc_8.8.4-2_armhf.deb ... Unpacking ghc (8.8.4-2) ... Selecting previously unselected package fonts-mathjax. Preparing to unpack .../22-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 .../23-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 .../24-ghc-doc_8.8.4-2_all.deb ... Unpacking ghc-doc (8.8.4-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../25-sensible-utils_0.0.14_all.deb ... Unpacking sensible-utils (0.0.14) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../26-libmagic-mgc_1%3a5.39-3_armhf.deb ... Unpacking libmagic-mgc (1:5.39-3) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../27-libmagic1_1%3a5.39-3_armhf.deb ... Unpacking libmagic1:armhf (1:5.39-3) ... Selecting previously unselected package file. Preparing to unpack .../28-file_1%3a5.39-3_armhf.deb ... Unpacking file (1:5.39-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../29-gettext-base_0.21-4_armhf.deb ... Unpacking gettext-base (0.21-4) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../30-libsigsegv2_2.13-1_armhf.deb ... Unpacking libsigsegv2:armhf (2.13-1) ... Selecting previously unselected package m4. Preparing to unpack .../31-m4_1.4.18-5_armhf.deb ... Unpacking m4 (1.4.18-5) ... Selecting previously unselected package autoconf. Preparing to unpack .../32-autoconf_2.69-14_all.deb ... Unpacking autoconf (2.69-14) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../33-autotools-dev_20180224.1+nmu1_all.deb ... Unpacking autotools-dev (20180224.1+nmu1) ... Selecting previously unselected package automake. Preparing to unpack .../34-automake_1%3a1.16.3-2_all.deb ... Unpacking automake (1:1.16.3-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../35-autopoint_0.21-4_all.deb ... Unpacking autopoint (0.21-4) ... Selecting previously unselected package cdbs. Preparing to unpack .../36-cdbs_0.4.163_all.deb ... Unpacking cdbs (0.4.163) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../37-dctrl-tools_2.24-3_armhf.deb ... Unpacking dctrl-tools (2.24-3) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../38-libdebhelper-perl_13.3.4_all.deb ... Unpacking libdebhelper-perl (13.3.4) ... Selecting previously unselected package libtool. Preparing to unpack .../39-libtool_2.4.6-15_all.deb ... Unpacking libtool (2.4.6-15) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../40-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../41-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 .../42-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 .../43-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 .../44-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 .../45-libelf1_0.183-1_armhf.deb ... Unpacking libelf1:armhf (0.183-1) ... Selecting previously unselected package dwz. Preparing to unpack .../46-dwz_0.13+20210201-1_armhf.deb ... Unpacking dwz (0.13+20210201-1) ... Selecting previously unselected package libicu67:armhf. Preparing to unpack .../47-libicu67_67.1-7_armhf.deb ... Unpacking libicu67:armhf (67.1-7) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../48-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 .../49-gettext_0.21-4_armhf.deb ... Unpacking gettext (0.21-4) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../50-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 .../51-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../52-debhelper_13.3.4_all.deb ... Unpacking debhelper (13.3.4) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../53-dh-buildinfo_0.11+nmu2_all.deb ... Unpacking dh-buildinfo (0.11+nmu2) ... Selecting previously unselected package ghc-prof. Preparing to unpack .../54-ghc-prof_8.8.4-2_armhf.deb ... Unpacking ghc-prof (8.8.4-2) ... Selecting previously unselected package libbrotli1:armhf. Preparing to unpack .../55-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 .../56-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 .../57-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 .../58-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 .../59-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 .../60-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 .../61-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 .../62-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 .../63-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 .../64-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 .../65-haskell-devscripts-minimal_0.16.0_all.deb ... Unpacking haskell-devscripts-minimal (0.16.0) ... Selecting previously unselected package hscolour. Preparing to unpack .../66-hscolour_1.24.4-3+b1_armhf.deb ... Unpacking hscolour (1.24.4-3+b1) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../67-haskell-devscripts_0.16.0_all.deb ... Unpacking haskell-devscripts (0.16.0) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../68-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 .../69-libghc-async-dev_2.2.2-2+b1_armhf.deb ... Unpacking libghc-async-dev (2.2.2-2+b1) ... Selecting previously unselected package libghc-async-doc. Preparing to unpack .../70-libghc-async-doc_2.2.2-2_all.deb ... Unpacking libghc-async-doc (2.2.2-2) ... Selecting previously unselected package libghc-hashable-prof. Preparing to unpack .../71-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 .../72-libghc-async-prof_2.2.2-2+b1_armhf.deb ... Unpacking libghc-async-prof (2.2.2-2+b1) ... Selecting previously unselected package libghc-floatinghex-dev. Preparing to unpack .../73-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 .../74-libghc-cracknum-dev_2.3-2+b1_armhf.deb ... Unpacking libghc-cracknum-dev (2.3-2+b1) ... Selecting previously unselected package libghc-cracknum-doc. Preparing to unpack .../75-libghc-cracknum-doc_2.3-2_all.deb ... Unpacking libghc-cracknum-doc (2.3-2) ... Selecting previously unselected package libghc-floatinghex-prof. Preparing to unpack .../76-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 .../77-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 .../78-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 .../79-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-generic-deriving-doc. Preparing to unpack .../80-libghc-generic-deriving-doc_1.13.1-1_all.deb ... Unpacking libghc-generic-deriving-doc (1.13.1-1) ... Selecting previously unselected package libghc-th-abstraction-prof. Preparing to unpack .../81-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 .../82-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-random-dev. Preparing to unpack .../83-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 .../84-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 .../85-libghc-quickcheck2-dev_2.13.2-1+b2_armhf.deb ... Unpacking libghc-quickcheck2-dev (2.13.2-1+b2) ... Selecting previously unselected package libghc-quickcheck2-doc. Preparing to unpack .../86-libghc-quickcheck2-doc_2.13.2-1_all.deb ... Unpacking libghc-quickcheck2-doc (2.13.2-1) ... Selecting previously unselected package libghc-random-prof. Preparing to unpack .../87-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 .../88-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 .../89-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 .../90-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 .../91-libghc-syb-dev_0.7.1-2+b1_armhf.deb ... Unpacking libghc-syb-dev (0.7.1-2+b1) ... Selecting previously unselected package libghc-syb-doc. Preparing to unpack .../92-libghc-syb-doc_0.7.1-2_all.deb ... Unpacking libghc-syb-doc (0.7.1-2) ... Selecting previously unselected package libghc-syb-prof. Preparing to unpack .../93-libghc-syb-prof_0.7.1-2+b1_armhf.deb ... Unpacking libghc-syb-prof (0.7.1-2+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 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 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-random-dev (1.1-12+b1) ... Setting up libghc-quickcheck2-doc (2.13.2-1) ... Setting up debhelper (13.3.4) ... Setting up libghc-floatinghex-dev (0.4-4+b1) ... Setting up libghc-async-doc (2.2.2-2) ... Setting up libghc-splitmix-dev (0.0.5-1) ... Setting up ghc-doc (8.8.4-2) ... Setting up libghc-th-abstraction-dev (0.3.2.0-1+b1) ... Setting up dh-buildinfo (0.11+nmu2) ... Setting up libghc-syb-dev (0.7.1-2+b1) ... Setting up libghc-generic-deriving-doc (1.13.1-1) ... Setting up libghc-random-doc (1.1-12) ... Setting up haskell-devscripts-minimal (0.16.0) ... Setting up libghc-hashable-dev (1.3.0.0-2+b1) ... Setting up libghc-syb-doc (0.7.1-2) ... Setting up ghc-prof (8.8.4-2) ... Setting up libghc-floatinghex-prof (0.4-4+b1) ... Setting up libghc-cracknum-doc (2.3-2) ... Setting up libghc-random-prof (1.1-12+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-quickcheck2-dev (2.13.2-1+b2) ... 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-async-dev (2.2.2-2+b1) ... Setting up libghc-cracknum-prof (2.3-2+b1) ... Setting up libghc-async-prof (2.2.2-2+b1) ... Setting up libghc-quickcheck2-prof (2.13.2-1+b2) ... Setting up libghc-syb-prof (0.7.1-2+b1) ... Setting up libghc-generic-deriving-prof (1.13.1-1+b1) ... 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-sbv-8.7/ && 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-sbv_8.7-1_source.changes dpkg-buildpackage: info: source package haskell-sbv dpkg-buildpackage: info: source version 8.7-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Ilias Tsitsimpis 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/sbv-8.7/ --datasubdir=sbv --htmldir=/usr/share/doc/libghc-sbv-doc/html/ --enable-library-profiling Using Parsec parser Configuring sbv-8.7... Flags chosen: skiphlinttester=False Dependency QuickCheck -any: using QuickCheck-2.13.2 Dependency array -any: using array-0.5.4.0 Dependency async -any: using async-2.2.2 Dependency base >=4.11 && <5: using base-4.13.0.0 Dependency containers -any: using containers-0.6.2.1 Dependency crackNum >=2.3: using crackNum-2.3 Dependency deepseq -any: using deepseq-1.4.4.0 Dependency directory -any: using directory-1.3.6.0 Dependency filepath -any: using filepath-1.4.2.1 Dependency generic-deriving -any: using generic-deriving-1.13.1 Dependency mtl -any: using mtl-2.2.2 Dependency pretty -any: using pretty-1.1.3.6 Dependency process -any: using process-1.6.9.0 Dependency random -any: using random-1.1 Dependency syb -any: using syb-0.7.1 Dependency template-haskell -any: using template-haskell-2.15.0.0 Dependency time -any: using time-1.9.3 Dependency transformers -any: using transformers-0.5.6.2 Source component graph: component lib Configured component graph: component sbv-8.7-9mSEXJN8olRBwPWTmi3EMV include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include array-0.5.4.0 include async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 include base-4.13.0.0 include containers-0.6.2.1 include crackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy include deepseq-1.4.4.0 include directory-1.3.6.0 include filepath-1.4.2.1 include generic-deriving-1.13.1-401x1KvA5C638rgKTLqAa8 include mtl-2.2.2 include pretty-1.1.3.6 include process-1.6.9.0 include random-1.1-CUqV1zxrwrE4K5XCdTZSYy include syb-0.7.1-HZot41yU46FEB2GjLEhNpM include template-haskell-2.15.0.0 include time-1.9.3 include transformers-0.5.6.2 Linked component graph: unit sbv-8.7-9mSEXJN8olRBwPWTmi3EMV include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include array-0.5.4.0 include async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 include base-4.13.0.0 include containers-0.6.2.1 include crackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy include deepseq-1.4.4.0 include directory-1.3.6.0 include filepath-1.4.2.1 include generic-deriving-1.13.1-401x1KvA5C638rgKTLqAa8 include mtl-2.2.2 include pretty-1.1.3.6 include process-1.6.9.0 include random-1.1-CUqV1zxrwrE4K5XCdTZSYy include syb-0.7.1-HZot41yU46FEB2GjLEhNpM include template-haskell-2.15.0.0 include time-1.9.3 include transformers-0.5.6.2 Data.SBV=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV,Data.SBV.Char=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Char,Data.SBV.Control=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Control,Data.SBV.Dynamic=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Dynamic,Data.SBV.Either=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Either,Data.SBV.Internals=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Internals,Data.SBV.List=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.List,Data.SBV.Maybe=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Maybe,Data.SBV.RegExp=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.RegExp,Data.SBV.Set=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Set,Data.SBV.String=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.String,Data.SBV.Tools.BMC=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.BMC,Data.SBV.Tools.BoundedFix=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.BoundedFix,Data.SBV.Tools.BoundedList=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.BoundedList,Data.SBV.Tools.CodeGen=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.CodeGen,Data.SBV.Tools.GenTest=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.GenTest,Data.SBV.Tools.Induction=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Induction,Data.SBV.Tools.Overflow=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Overflow,Data.SBV.Tools.Polynomial=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Polynomial,Data.SBV.Tools.Range=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Range,Data.SBV.Tools.STree=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.STree,Data.SBV.Tools.WeakestPreconditions=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.WeakestPreconditions,Data.SBV.Trans=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Trans,Data.SBV.Trans.Control=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Trans.Control,Data.SBV.Tuple=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tuple,Documentation.SBV.Examples.BitPrecise.BitTricks=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.BitTricks,Documentation.SBV.Examples.BitPrecise.BrokenSearch=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.BrokenSearch,Documentation.SBV.Examples.BitPrecise.Legato=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.Legato,Documentation.SBV.Examples.BitPrecise.MergeSort=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.MergeSort,Documentation.SBV.Examples.BitPrecise.MultMask=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.MultMask,Documentation.SBV.Examples.BitPrecise.PrefixSum=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.PrefixSum,Documentation.SBV.Examples.CodeGeneration.AddSub=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.AddSub,Documentation.SBV.Examples.CodeGeneration.CRC_USB5=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.CRC_USB5,Documentation.SBV.Examples.CodeGeneration.Fibonacci=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.Fibonacci,Documentation.SBV.Examples.CodeGeneration.GCD=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.GCD,Documentation.SBV.Examples.CodeGeneration.PopulationCount=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.PopulationCount,Documentation.SBV.Examples.CodeGeneration.Uninterpreted=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.Uninterpreted,Documentation.SBV.Examples.Crypto.AES=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Crypto.AES,Documentation.SBV.Examples.Crypto.RC4=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Crypto.RC4,Documentation.SBV.Examples.Crypto.SHA=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Crypto.SHA,Documentation.SBV.Examples.Existentials.CRCPolynomial=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Existentials.CRCPolynomial,Documentation.SBV.Examples.Existentials.Diophantine=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Existentials.Diophantine,Documentation.SBV.Examples.Lists.BoundedMutex=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Lists.BoundedMutex,Documentation.SBV.Examples.Lists.Fibonacci=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Lists.Fibonacci,Documentation.SBV.Examples.Lists.Nested=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Lists.Nested,Documentation.SBV.Examples.Misc.Auxiliary=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Auxiliary,Documentation.SBV.Examples.Misc.Enumerate=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Enumerate,Documentation.SBV.Examples.Misc.Floating=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Floating,Documentation.SBV.Examples.Misc.ModelExtract=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.ModelExtract,Documentation.SBV.Examples.Misc.Newtypes=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Newtypes,Documentation.SBV.Examples.Misc.NoDiv0=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.NoDiv0,Documentation.SBV.Examples.Misc.Polynomials=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Polynomials,Documentation.SBV.Examples.Misc.SetAlgebra=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.SetAlgebra,Documentation.SBV.Examples.Misc.SoftConstrain=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.SoftConstrain,Documentation.SBV.Examples.Misc.Tuple=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Tuple,Documentation.SBV.Examples.Optimization.Enumerate=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.Enumerate,Documentation.SBV.Examples.Optimization.ExtField=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.ExtField,Documentation.SBV.Examples.Optimization.LinearOpt=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.LinearOpt,Documentation.SBV.Examples.Optimization.Production=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.Production,Documentation.SBV.Examples.Optimization.VM=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.VM,Documentation.SBV.Examples.ProofTools.BMC=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.BMC,Documentation.SBV.Examples.ProofTools.Fibonacci=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.Fibonacci,Documentation.SBV.Examples.ProofTools.Strengthen=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.Strengthen,Documentation.SBV.Examples.ProofTools.Sum=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.Sum,Documentation.SBV.Examples.Puzzles.Birthday=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Birthday,Documentation.SBV.Examples.Puzzles.Coins=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Coins,Documentation.SBV.Examples.Puzzles.Counts=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Counts,Documentation.SBV.Examples.Puzzles.DogCatMouse=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.DogCatMouse,Documentation.SBV.Examples.Puzzles.Euler185=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Euler185,Documentation.SBV.Examples.Puzzles.Fish=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Fish,Documentation.SBV.Examples.Puzzles.Garden=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Garden,Documentation.SBV.Examples.Puzzles.HexPuzzle=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.HexPuzzle,Documentation.SBV.Examples.Puzzles.LadyAndTigers=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.LadyAndTigers,Documentation.SBV.Examples.Puzzles.MagicSquare=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.MagicSquare,Documentation.SBV.Examples.Puzzles.NQueens=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.NQueens,Documentation.SBV.Examples.Puzzles.SendMoreMoney=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.SendMoreMoney,Documentation.SBV.Examples.Puzzles.Sudoku=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Sudoku,Documentation.SBV.Examples.Puzzles.U2Bridge=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.U2Bridge,Documentation.SBV.Examples.Queries.AllSat=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.AllSat,Documentation.SBV.Examples.Queries.CaseSplit=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.CaseSplit,Documentation.SBV.Examples.Queries.Concurrency=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.Concurrency,Documentation.SBV.Examples.Queries.Enums=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.Enums,Documentation.SBV.Examples.Queries.FourFours=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.FourFours,Documentation.SBV.Examples.Queries.GuessNumber=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.GuessNumber,Documentation.SBV.Examples.Queries.Interpolants=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.Interpolants,Documentation.SBV.Examples.Queries.UnsatCore=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.UnsatCore,Documentation.SBV.Examples.Strings.RegexCrossword=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Strings.RegexCrossword,Documentation.SBV.Examples.Strings.SQLInjection=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Strings.SQLInjection,Documentation.SBV.Examples.Transformers.SymbolicEval=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Transformers.SymbolicEval,Documentation.SBV.Examples.Uninterpreted.AUF=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.AUF,Documentation.SBV.Examples.Uninterpreted.Deduce=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Deduce,Documentation.SBV.Examples.Uninterpreted.Function=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Function,Documentation.SBV.Examples.Uninterpreted.Multiply=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Multiply,Documentation.SBV.Examples.Uninterpreted.Shannon=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Shannon,Documentation.SBV.Examples.Uninterpreted.Sort=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Sort,Documentation.SBV.Examples.Uninterpreted.UISortAllSat=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.UISortAllSat,Documentation.SBV.Examples.WeakestPreconditions.Append=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Append,Documentation.SBV.Examples.WeakestPreconditions.Basics=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Basics,Documentation.SBV.Examples.WeakestPreconditions.Fib=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Fib,Documentation.SBV.Examples.WeakestPreconditions.GCD=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.GCD,Documentation.SBV.Examples.WeakestPreconditions.IntDiv=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.IntDiv,Documentation.SBV.Examples.WeakestPreconditions.IntSqrt=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.IntSqrt,Documentation.SBV.Examples.WeakestPreconditions.Length=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Length,Documentation.SBV.Examples.WeakestPreconditions.Sum=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Sum Ready component graph: definite sbv-8.7-9mSEXJN8olRBwPWTmi3EMV depends QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD depends array-0.5.4.0 depends async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 depends base-4.13.0.0 depends containers-0.6.2.1 depends crackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy depends deepseq-1.4.4.0 depends directory-1.3.6.0 depends filepath-1.4.2.1 depends generic-deriving-1.13.1-401x1KvA5C638rgKTLqAa8 depends mtl-2.2.2 depends pretty-1.1.3.6 depends process-1.6.9.0 depends random-1.1-CUqV1zxrwrE4K5XCdTZSYy depends syb-0.7.1-HZot41yU46FEB2GjLEhNpM depends template-haskell-2.15.0.0 depends time-1.9.3 depends transformers-0.5.6.2 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/sbv-8.7-9mSEXJN8olRBwPWTmi3EMV 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/sbv-8.7 Data files installed in: /usr/share/sbv Documentation installed in: /usr/share/doc/arm-linux-ghc-8.8.4/sbv-8.7 Configuration files installed in: /usr/etc No alex found 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 No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.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 sbv-8.7.. Running Haddock on library for sbv-8.7.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: FloatingHex-0.4, hashable-1.3.0.0, splitmix-0.0.5, th-abstraction-0.3.2.0 creating dist-ghc/doc/html/sbv creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/sbv /usr/bin/haddock '@dist-ghc/doc/html/sbv/haddock-response4612-3.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' Warning: --source-* options are ignored when --hyperlinked-source is enabled. Haddock coverage: 100% ( 7 / 7) in 'Data.SBV.Tools.GenTest' Warning: 'SMTValue' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 68 / 68) in 'Data.SBV.Trans.Control' 100% ( 14 / 14) in 'Data.SBV.Tuple' 100% ( 5 / 5) in 'Data.SBV.Tools.STree' 100% ( 7 / 7) in 'Data.SBV.Tools.Overflow' 100% ( 33 / 33) in 'Data.SBV.String' Warning: 'smax' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'smin' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 31 / 31) in 'Data.SBV.Set' 100% ( 14 / 14) in 'Data.SBV.Maybe' 100% ( 32 / 32) in 'Data.SBV.List' 100% ( 16 / 16) in 'Data.SBV.Either' 100% ( 8 / 8) in 'Data.SBV.Tools.Polynomial' 100% ( 36 / 36) in 'Data.SBV.Char' 100% ( 33 / 33) in 'Data.SBV.RegExp' 100% ( 71 / 71) in 'Data.SBV.Control' 100% ( 34 / 34) in 'Data.SBV.Tools.CodeGen' 100% (250 /250) in 'Data.SBV.Internals' 100% (281 /281) in 'Data.SBV.Trans' 100% (404 /404) in 'Data.SBV' 100% ( 23 / 23) in 'Data.SBV.Tools.WeakestPreconditions' 100% ( 7 / 7) in 'Data.SBV.Tools.Range' 100% ( 5 / 5) in 'Data.SBV.Tools.Induction' 100% ( 24 / 24) in 'Data.SBV.Tools.BoundedList' 100% ( 2 / 2) in 'Data.SBV.Tools.BoundedFix' 100% ( 3 / 3) in 'Data.SBV.Tools.BMC' 100% (191 /191) in 'Data.SBV.Dynamic' 100% ( 7 / 7) in 'Documentation.SBV.Examples.BitPrecise.BitTricks' 100% ( 7 / 7) in 'Documentation.SBV.Examples.BitPrecise.BrokenSearch' 100% ( 45 / 45) in 'Documentation.SBV.Examples.BitPrecise.Legato' 100% ( 13 / 13) in 'Documentation.SBV.Examples.BitPrecise.MergeSort' 100% ( 2 / 2) in 'Documentation.SBV.Examples.BitPrecise.MultMask' 100% ( 14 / 14) in 'Documentation.SBV.Examples.BitPrecise.PrefixSum' 100% ( 3 / 3) in 'Documentation.SBV.Examples.CodeGeneration.AddSub' 100% ( 11 / 11) in 'Documentation.SBV.Examples.CodeGeneration.CRC_USB5' 100% ( 11 / 11) in 'Documentation.SBV.Examples.CodeGeneration.Fibonacci' 100% ( 9 / 9) in 'Documentation.SBV.Examples.CodeGeneration.GCD' 100% ( 11 / 11) in 'Documentation.SBV.Examples.CodeGeneration.PopulationCount' 100% ( 4 / 4) in 'Documentation.SBV.Examples.CodeGeneration.Uninterpreted' 100% ( 70 / 70) in 'Documentation.SBV.Examples.Crypto.AES' 100% ( 19 / 19) in 'Documentation.SBV.Examples.Crypto.RC4' 100% ( 39 / 39) in 'Documentation.SBV.Examples.Crypto.SHA' 100% ( 6 / 6) in 'Documentation.SBV.Examples.Existentials.CRCPolynomial' 100% ( 9 / 9) in 'Documentation.SBV.Examples.Existentials.Diophantine' 100% ( 11 / 11) in 'Documentation.SBV.Examples.Lists.BoundedMutex' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Lists.Fibonacci' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Lists.Nested' 100% ( 4 / 4) in 'Documentation.SBV.Examples.Misc.Auxiliary' 100% ( 7 / 7) in 'Documentation.SBV.Examples.Misc.Enumerate' 100% ( 10 / 10) in 'Documentation.SBV.Examples.Misc.Floating' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Misc.ModelExtract' 100% ( 8 / 8) in 'Documentation.SBV.Examples.Misc.Newtypes' 100% ( 4 / 4) in 'Documentation.SBV.Examples.Misc.NoDiv0' 100% ( 8 / 8) in 'Documentation.SBV.Examples.Misc.Polynomials' 100% ( 51 / 51) in 'Documentation.SBV.Examples.Misc.SetAlgebra' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Misc.SoftConstrain' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Misc.Tuple' 100% ( 7 / 7) in 'Documentation.SBV.Examples.Optimization.Enumerate' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Optimization.ExtField' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Optimization.LinearOpt' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Optimization.Production' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Optimization.VM' 100% ( 8 / 8) in 'Documentation.SBV.Examples.ProofTools.BMC' 100% ( 4 / 4) in 'Documentation.SBV.Examples.ProofTools.Fibonacci' 100% ( 14 / 14) in 'Documentation.SBV.Examples.ProofTools.Strengthen' 100% ( 4 / 4) in 'Documentation.SBV.Examples.ProofTools.Sum' 100% ( 17 / 17) in 'Documentation.SBV.Examples.Puzzles.Birthday' 100% ( 11 / 11) in 'Documentation.SBV.Examples.Puzzles.Coins' 100% ( 5 / 5) in 'Documentation.SBV.Examples.Puzzles.Counts' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Puzzles.DogCatMouse' 100% ( 4 / 4) in 'Documentation.SBV.Examples.Puzzles.Euler185' 100% ( 7 / 7) in 'Documentation.SBV.Examples.Puzzles.Fish' 100% ( 8 / 8) in 'Documentation.SBV.Examples.Puzzles.Garden' 100% ( 9 / 9) in 'Documentation.SBV.Examples.Puzzles.HexPuzzle' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Puzzles.LadyAndTigers' 100% ( 9 / 9) in 'Documentation.SBV.Examples.Puzzles.MagicSquare' 100% ( 4 / 4) in 'Documentation.SBV.Examples.Puzzles.NQueens' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Puzzles.SendMoreMoney' 100% ( 20 / 20) in 'Documentation.SBV.Examples.Puzzles.Sudoku' 100% ( 36 / 36) in 'Documentation.SBV.Examples.Puzzles.U2Bridge' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.AllSat' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.CaseSplit' 100% ( 9 / 9) in 'Documentation.SBV.Examples.Queries.Concurrency' 100% ( 4 / 4) in 'Documentation.SBV.Examples.Queries.Enums' 100% ( 13 / 13) in 'Documentation.SBV.Examples.Queries.FourFours' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.GuessNumber' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.Interpolants' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.UnsatCore' 100% ( 5 / 5) in 'Documentation.SBV.Examples.Strings.RegexCrossword' 100% ( 12 / 12) in 'Documentation.SBV.Examples.Strings.SQLInjection' 100% ( 29 / 29) in 'Documentation.SBV.Examples.Transformers.SymbolicEval' 100% ( 6 / 6) in 'Documentation.SBV.Examples.Uninterpreted.AUF' 100% ( 14 / 14) in 'Documentation.SBV.Examples.Uninterpreted.Deduce' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Uninterpreted.Function' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Uninterpreted.Multiply' 100% ( 19 / 19) in 'Documentation.SBV.Examples.Uninterpreted.Shannon' 100% ( 5 / 5) in 'Documentation.SBV.Examples.Uninterpreted.Sort' 100% ( 4 / 4) in 'Documentation.SBV.Examples.Uninterpreted.UISortAllSat' 100% ( 10 / 10) in 'Documentation.SBV.Examples.WeakestPreconditions.Append' 100% ( 15 / 15) in 'Documentation.SBV.Examples.WeakestPreconditions.Basics' 100% ( 17 / 17) in 'Documentation.SBV.Examples.WeakestPreconditions.Fib' 100% ( 17 / 17) in 'Documentation.SBV.Examples.WeakestPreconditions.GCD' 100% ( 14 / 14) in 'Documentation.SBV.Examples.WeakestPreconditions.IntDiv' 100% ( 14 / 14) in 'Documentation.SBV.Examples.WeakestPreconditions.IntSqrt' 100% ( 15 / 15) in 'Documentation.SBV.Examples.WeakestPreconditions.Length' 100% ( 15 / 15) in 'Documentation.SBV.Examples.WeakestPreconditions.Sum' Warning: Data.SBV.Trans.Control: could not find link destinations for: SMTFunction Assignment Warning: Data.SBV.Tuple: could not find link destinations for: HasField Tuple Warning: Data.SBV.Tools.STree: could not find link destinations for: STreeInternal Warning: Data.SBV.Control: could not find link destinations for: SMTFunction Assignment Warning: Data.SBV.Internals: could not find link destinations for: Arbitrary arbitrary Gen shrink Testable property Property propertyForAllShrinkShow ArrayIndex OvOp SetOp constructUKind SMTEngine Warning: Data.SBV.Trans: could not find link destinations for: ZeroWidth FromSizedBV ToSizedBV Arbitrary arbitrary Gen shrink GMergeable minimize maximize SMTEngine Testable property Property propertyForAllShrinkShow constructUKind Warning: Data.SBV: could not find link destinations for: ZeroWidth FromSizedBV ToSizedBV Arbitrary arbitrary Gen shrink GMergeable minimize maximize SMTEngine Testable property Property propertyForAllShrinkShow constructUKind Warning: Data.SBV.Tools.WeakestPreconditions: could not find link destinations for: Loc Warning: Data.SBV.Dynamic: could not find link destinations for: Testable property Property propertyForAllShrinkShow Gen constructUKind SMTEngine Documentation created: dist-ghc/doc/html/sbv/index.html, dist-ghc/doc/html/sbv/sbv.txt touch build-haddock-stamp Adding cdbs dependencies to debian/libghc-sbv-doc.substvars dh_installdirs -plibghc-sbv-doc \ . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for sbv-8.7.. Building library for sbv-8.7.. [ 1 of 139] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.o ) [ 2 of 139] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.o ) [ 3 of 139] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.o ) [ 4 of 139] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.o ) [ 5 of 139] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.o ) [ 6 of 139] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.o ) [ 7 of 139] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.o ) [ 8 of 139] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.o ) [ 9 of 139] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.o ) [ 10 of 139] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.o ) [ 11 of 139] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.o ) [ 12 of 139] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.o ) [ 13 of 139] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.o ) [ 14 of 139] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.o ) [ 15 of 139] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.o ) [ 16 of 139] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.o ) [ 17 of 139] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.o ) [ 18 of 139] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.o ) [ 19 of 139] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.o ) [ 20 of 139] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.o ) [ 21 of 139] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.o ) [ 22 of 139] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.o ) [ 23 of 139] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.o ) [ 24 of 139] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.o ) [ 25 of 139] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.o ) [ 26 of 139] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.o ) [ 27 of 139] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.o ) [ 28 of 139] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.o ) [ 29 of 139] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.o ) [ 30 of 139] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.o ) [ 31 of 139] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.o ) [ 32 of 139] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.o ) [ 33 of 139] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.o ) [ 34 of 139] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.o ) [ 35 of 139] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.o ) [ 36 of 139] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.o ) [ 37 of 139] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.o ) [ 38 of 139] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.o ) [ 39 of 139] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.o ) [ 40 of 139] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.o ) [ 41 of 139] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.o ) [ 42 of 139] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.o ) [ 43 of 139] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.o ) [ 44 of 139] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.o ) [ 45 of 139] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.o ) [ 46 of 139] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.o ) [ 47 of 139] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.o ) [ 48 of 139] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.o ) [ 49 of 139] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.o ) [ 50 of 139] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.o ) [ 51 of 139] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.o ) [ 52 of 139] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.o ) [ 53 of 139] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.o ) [ 54 of 139] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.o ) [ 55 of 139] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.o ) [ 56 of 139] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.o ) [ 57 of 139] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.o ) [ 58 of 139] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.o ) [ 59 of 139] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.o ) [ 60 of 139] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.o ) [ 61 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.o ) [ 62 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.o ) [ 63 of 139] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.o ) [ 64 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.o ) [ 65 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.o ) [ 66 of 139] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.o ) [ 67 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.o ) [ 68 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.o ) [ 69 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.o ) [ 70 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.o ) [ 71 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.o ) [ 72 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.o ) [ 73 of 139] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.o ) [ 74 of 139] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.o ) [ 75 of 139] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.o ) [ 76 of 139] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.o ) [ 77 of 139] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.o ) [ 78 of 139] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.o ) [ 79 of 139] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.o ) [ 80 of 139] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.o ) [ 81 of 139] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.o ) [ 82 of 139] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.o ) [ 83 of 139] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.o ) [ 84 of 139] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.o ) [ 85 of 139] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.o ) [ 86 of 139] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.o ) [ 87 of 139] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.o ) [ 88 of 139] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.o ) [ 89 of 139] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.o ) [ 90 of 139] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.o ) [ 91 of 139] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.o ) [ 92 of 139] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.o ) [ 93 of 139] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.o ) [ 94 of 139] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.o ) [ 95 of 139] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.o ) [ 96 of 139] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.o ) [ 97 of 139] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.o ) [ 98 of 139] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.o ) [ 99 of 139] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.o ) [100 of 139] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.o ) [101 of 139] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.o ) [102 of 139] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.o ) [103 of 139] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.o ) [104 of 139] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.o ) [105 of 139] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.o ) [106 of 139] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.o ) [107 of 139] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.o ) [108 of 139] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.o ) [109 of 139] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.o ) [110 of 139] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.o ) [111 of 139] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.o ) [112 of 139] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.o ) [113 of 139] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.o ) [114 of 139] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.o ) [115 of 139] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.o ) [116 of 139] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.o ) [117 of 139] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.o ) [118 of 139] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.o ) [119 of 139] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.o ) [120 of 139] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.o ) [121 of 139] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.o ) [122 of 139] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.o ) [123 of 139] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.o ) [124 of 139] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.o ) [125 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.o ) [126 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.o ) [127 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.o ) [128 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.o ) [129 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.o ) [130 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.o ) [131 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.o ) [132 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.o ) [133 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.o ) [134 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.o ) [135 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.o ) [136 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.o ) [137 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.o ) [138 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.o ) [139 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.o ) [ 1 of 139] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.p_o ) [ 2 of 139] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.p_o ) [ 3 of 139] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.p_o ) [ 4 of 139] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.p_o ) [ 5 of 139] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.p_o ) [ 6 of 139] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.p_o ) [ 7 of 139] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.p_o ) [ 8 of 139] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.p_o ) [ 9 of 139] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.p_o ) [ 10 of 139] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.p_o ) [ 11 of 139] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.p_o ) [ 12 of 139] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.p_o ) [ 13 of 139] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.p_o ) [ 14 of 139] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.p_o ) [ 15 of 139] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.p_o ) [ 16 of 139] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.p_o ) [ 17 of 139] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.p_o ) [ 18 of 139] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.p_o ) [ 19 of 139] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.p_o ) [ 20 of 139] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.p_o ) [ 21 of 139] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.p_o ) [ 22 of 139] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.p_o ) [ 23 of 139] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.p_o ) [ 24 of 139] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.p_o ) [ 25 of 139] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.p_o ) [ 26 of 139] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.p_o ) [ 27 of 139] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.p_o ) [ 28 of 139] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.p_o ) [ 29 of 139] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.p_o ) [ 30 of 139] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.p_o ) [ 31 of 139] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.p_o ) [ 32 of 139] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.p_o ) [ 33 of 139] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.p_o ) [ 34 of 139] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.p_o ) [ 35 of 139] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.p_o ) [ 36 of 139] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.p_o ) [ 37 of 139] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.p_o ) [ 38 of 139] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.p_o ) [ 39 of 139] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.p_o ) [ 40 of 139] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.p_o ) [ 41 of 139] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.p_o ) [ 42 of 139] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.p_o ) [ 43 of 139] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.p_o ) [ 44 of 139] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.p_o ) [ 45 of 139] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.p_o ) [ 46 of 139] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.p_o ) [ 47 of 139] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.p_o ) [ 48 of 139] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.p_o ) [ 49 of 139] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.p_o ) [ 50 of 139] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.p_o ) [ 51 of 139] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.p_o ) [ 52 of 139] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.p_o ) [ 53 of 139] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.p_o ) [ 54 of 139] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.p_o ) [ 55 of 139] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.p_o ) [ 56 of 139] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.p_o ) [ 57 of 139] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.p_o ) [ 58 of 139] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.p_o ) [ 59 of 139] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.p_o ) [ 60 of 139] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.p_o ) [ 61 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.p_o ) [ 62 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.p_o ) [ 63 of 139] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.p_o ) [ 64 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.p_o ) [ 65 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.p_o ) [ 66 of 139] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.p_o ) [ 67 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.p_o ) [ 68 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.p_o ) [ 69 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.p_o ) [ 70 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.p_o ) [ 71 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.p_o ) [ 72 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.p_o ) [ 73 of 139] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.p_o ) [ 74 of 139] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.p_o ) [ 75 of 139] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.p_o ) [ 76 of 139] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.p_o ) [ 77 of 139] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.p_o ) [ 78 of 139] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.p_o ) [ 79 of 139] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.p_o ) [ 80 of 139] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.p_o ) [ 81 of 139] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.p_o ) [ 82 of 139] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.p_o ) [ 83 of 139] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.p_o ) [ 84 of 139] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.p_o ) [ 85 of 139] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.p_o ) [ 86 of 139] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.p_o ) [ 87 of 139] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.p_o ) [ 88 of 139] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.p_o ) [ 89 of 139] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.p_o ) [ 90 of 139] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.p_o ) [ 91 of 139] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.p_o ) [ 92 of 139] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.p_o ) [ 93 of 139] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.p_o ) [ 94 of 139] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.p_o ) [ 95 of 139] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.p_o ) [ 96 of 139] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.p_o ) [ 97 of 139] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.p_o ) [ 98 of 139] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.p_o ) [ 99 of 139] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.p_o ) [100 of 139] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.p_o ) [101 of 139] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.p_o ) [102 of 139] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.p_o ) [103 of 139] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.p_o ) [104 of 139] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.p_o ) [105 of 139] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.p_o ) [106 of 139] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.p_o ) [107 of 139] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.p_o ) [108 of 139] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.p_o ) [109 of 139] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.p_o ) [110 of 139] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.p_o ) [111 of 139] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.p_o ) [112 of 139] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.p_o ) [113 of 139] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.p_o ) [114 of 139] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.p_o ) [115 of 139] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.p_o ) [116 of 139] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.p_o ) [117 of 139] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.p_o ) [118 of 139] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.p_o ) [119 of 139] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.p_o ) [120 of 139] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.p_o ) [121 of 139] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.p_o ) [122 of 139] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.p_o ) [123 of 139] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.p_o ) [124 of 139] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.p_o ) [125 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.p_o ) [126 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.p_o ) [127 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.p_o ) [128 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.p_o ) [129 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.p_o ) [130 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.p_o ) [131 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.p_o ) [132 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.p_o ) [133 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.p_o ) [134 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.p_o ) [135 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.p_o ) [136 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.p_o ) [137 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.p_o ) [138 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.p_o ) [139 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.p_o ) 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/sbv-8.7-9mSEXJN8olRBwPWTmi3EMV . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ extra_depends_recipe ghc Running dh_haskell_extra_depends ghc sbv-8.7.conf . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_doc_recipe "libghc-sbv-doc" Running mkdir -p debian/libghc-sbv-doc/usr/share/doc/libghc-sbv-doc/html/ Running cd debian/tmp-inst-ghc/ Running find ./usr/share/doc/libghc-sbv-doc/html/ \! -name \*.haddock \! -type d -exec install -Dm 644 \{\} ../libghc-sbv-doc/\{\} \; Running mkdir -p debian/libghc-sbv-doc/usr/lib/ghc-doc/haddock/sbv-8.7/ Running cp -r debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/sbv-8.7//sbv.haddock debian/libghc-sbv-doc/usr/lib/ghc-doc/haddock/sbv-8.7/ Running mkdir -p debian/libghc-sbv-doc/usr/lib/ghc-doc/hoogle Running ln -rs -T debian/libghc-sbv-doc/usr/share/doc/libghc-sbv-doc/html//sbv.txt debian/libghc-sbv-doc/usr/lib/ghc-doc/hoogle/libghc-sbv-doc.txt Running dh_haskell_depends -plibghc-sbv-doc dh_haskell_blurbs "ghc" -plibghc-sbv-doc dh_installdocs -plibghc-sbv-doc dh_installexamples -plibghc-sbv-doc dh_installman -plibghc-sbv-doc dh_installinfo -plibghc-sbv-doc dh_installmenu -plibghc-sbv-doc dh_installcron -plibghc-sbv-doc dh_systemd_enable -plibghc-sbv-doc dh_installinit -plibghc-sbv-doc dh_installdebconf -plibghc-sbv-doc dh_installemacsen -plibghc-sbv-doc dh_installcatalogs -plibghc-sbv-doc dh_installpam -plibghc-sbv-doc dh_installlogrotate -plibghc-sbv-doc dh_installlogcheck -plibghc-sbv-doc dh_installchangelogs -plibghc-sbv-doc dh_installudev -plibghc-sbv-doc dh_lintian -plibghc-sbv-doc dh_bugfiles -plibghc-sbv-doc dh_install -plibghc-sbv-doc dh_systemd_start -plibghc-sbv-doc dh_link -plibghc-sbv-doc dh_buildinfo -plibghc-sbv-doc dh_installmime -plibghc-sbv-doc dh_installgsettings -plibghc-sbv-doc dh_strip -plibghc-sbv-doc --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-sbv-doc dh_compress -plibghc-sbv-doc -X .haddock -X .hs -X .txt dh_fixperms -plibghc-sbv-doc dh_makeshlibs -plibghc-sbv-doc -XlibHS dh_installdeb -plibghc-sbv-doc dh_perl -plibghc-sbv-doc dh_shlibdeps -plibghc-sbv-doc -- --ignore-missing-info dh_gencontrol -plibghc-sbv-doc dpkg-gencontrol: warning: Conflicts field of package libghc-sbv-doc: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-sbv-doc: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-sbv-doc dh_builddeb -plibghc-sbv-doc dpkg-deb: building package 'libghc-sbv-doc' in '../libghc-sbv-doc_8.7-1_all.deb'. DEB_ENABLE_TESTS not set to yes, not running any tests. touch check-ghc-stamp Adding cdbs dependencies to debian/libghc-sbv-dev.substvars dh_installdirs -plibghc-sbv-dev \ . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_dev_recipe "libghc-sbv-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-sbv-dev/\{\} \; Running install -Dm 644 sbv-8.7.conf debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.7.conf Running rm -f sbv-8.7.conf Running dh_haskell_provides -plibghc-sbv-dev Running dh_haskell_depends -plibghc-sbv-dev Running dh_haskell_shlibdeps -plibghc-sbv-dev dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory dh_haskell_blurbs "ghc" -plibghc-sbv-dev Adding cdbs dependencies to debian/libghc-sbv-prof.substvars dh_installdirs -plibghc-sbv-prof \ . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_prof_recipe "libghc-sbv-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-sbv-prof/\{\} \; Running dh_haskell_provides -plibghc-sbv-prof Running dh_haskell_depends -plibghc-sbv-prof dh_haskell_blurbs "ghc" -plibghc-sbv-prof dh_installdocs -plibghc-sbv-dev dh_installexamples -plibghc-sbv-dev dh_installman -plibghc-sbv-dev dh_installinfo -plibghc-sbv-dev dh_installmenu -plibghc-sbv-dev dh_installcron -plibghc-sbv-dev dh_systemd_enable -plibghc-sbv-dev dh_installinit -plibghc-sbv-dev dh_installdebconf -plibghc-sbv-dev dh_installemacsen -plibghc-sbv-dev dh_installcatalogs -plibghc-sbv-dev dh_installpam -plibghc-sbv-dev dh_installlogrotate -plibghc-sbv-dev dh_installlogcheck -plibghc-sbv-dev dh_installchangelogs -plibghc-sbv-dev dh_installudev -plibghc-sbv-dev dh_lintian -plibghc-sbv-dev dh_bugfiles -plibghc-sbv-dev dh_install -plibghc-sbv-dev dh_systemd_start -plibghc-sbv-dev dh_link -plibghc-sbv-dev dh_buildinfo -plibghc-sbv-dev dh_installmime -plibghc-sbv-dev dh_installgsettings -plibghc-sbv-dev dh_installdocs -plibghc-sbv-prof dh_installexamples -plibghc-sbv-prof dh_installman -plibghc-sbv-prof dh_installinfo -plibghc-sbv-prof dh_installmenu -plibghc-sbv-prof dh_installcron -plibghc-sbv-prof dh_systemd_enable -plibghc-sbv-prof dh_installinit -plibghc-sbv-prof dh_installdebconf -plibghc-sbv-prof dh_installemacsen -plibghc-sbv-prof dh_installcatalogs -plibghc-sbv-prof dh_installpam -plibghc-sbv-prof dh_installlogrotate -plibghc-sbv-prof dh_installlogcheck -plibghc-sbv-prof dh_installchangelogs -plibghc-sbv-prof dh_installudev -plibghc-sbv-prof dh_lintian -plibghc-sbv-prof dh_bugfiles -plibghc-sbv-prof dh_install -plibghc-sbv-prof dh_systemd_start -plibghc-sbv-prof dh_link -plibghc-sbv-prof dh_buildinfo -plibghc-sbv-prof dh_installmime -plibghc-sbv-prof dh_installgsettings -plibghc-sbv-prof dh_strip -plibghc-sbv-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-sbv-dev dh_compress -plibghc-sbv-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-sbv-dev dh_makeshlibs -plibghc-sbv-dev -XlibHS dh_strip -plibghc-sbv-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-sbv-prof dh_compress -plibghc-sbv-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-sbv-prof dh_makeshlibs -plibghc-sbv-prof -XlibHS dh_installdeb -plibghc-sbv-dev dh_perl -plibghc-sbv-dev dh_shlibdeps -plibghc-sbv-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so contains an unresolvable reference to symbol stg_CHARLIKE_closure: it's probably a plugin dpkg-shlibdeps: warning: 90 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSbytestring-0.10.10.1-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHStext-1.2.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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSunix-2.7.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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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-sbv-dev/usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-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) dh_installdeb -plibghc-sbv-prof dh_perl -plibghc-sbv-prof dh_shlibdeps -plibghc-sbv-prof -- --ignore-missing-info dh_gencontrol -plibghc-sbv-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Conflicts field of package libghc-sbv-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-sbv-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-sbv-dev dh_builddeb -plibghc-sbv-dev dpkg-deb: building package 'libghc-sbv-dev' in '../libghc-sbv-dev_8.7-1_armhf.deb'. dh_gencontrol -plibghc-sbv-prof dpkg-gencontrol: warning: Conflicts field of package libghc-sbv-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-sbv-prof: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-sbv-prof dh_builddeb -plibghc-sbv-prof dpkg-deb: building package 'libghc-sbv-prof' in '../libghc-sbv-prof_8.7-1_armhf.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../haskell-sbv_8.7-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: 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/1894 and its subdirectories I: Current time: Wed Aug 11 23:22:28 -12 2021 I: pbuilder-time-stamp: 1628767348 Thu Aug 12 11:23:04 UTC 2021 I: 1st build successful. Starting 2nd build on remote node jtx1c-armhf-rb.debian.net. Thu Aug 12 11:23:04 UTC 2021 I: Preparing to do remote build '2' on jtx1c-armhf-rb.debian.net. Thu Aug 12 17:32:06 UTC 2021 I: Deleting $TMPDIR on jtx1c-armhf-rb.debian.net. Thu Aug 12 17:32:08 UTC 2021 I: haskell-sbv_8.7-1_armhf.changes: Format: 1.8 Date: Mon, 17 Aug 2020 12:50:28 +0300 Source: haskell-sbv Binary: libghc-sbv-dev libghc-sbv-doc libghc-sbv-prof Architecture: armhf all Version: 8.7-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group Changed-By: Ilias Tsitsimpis Description: libghc-sbv-dev - libghc-sbv-doc - libghc-sbv-prof - Changes: haskell-sbv (8.7-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: fd26835772176313f6aecadc272fefa91089d7c0 7325 haskell-sbv_8.7-1_armhf.buildinfo a51717f41754d65456156c8df80c777d3fc79b6b 8051608 libghc-sbv-dev_8.7-1_armhf.deb 87974aa908f7a00843c03c6141aba19674bfc175 1688904 libghc-sbv-doc_8.7-1_all.deb d477afae3cc06597420c86ab7148bc74b97157d0 6274076 libghc-sbv-prof_8.7-1_armhf.deb Checksums-Sha256: 69f3867c4df37e2a1979c58fef4005304dce730aee0a6124ed2767204b095436 7325 haskell-sbv_8.7-1_armhf.buildinfo a7aab4a53eb9d3d77fb4dc8a022b7b67e6c14222630dd9de1be44f614b4bda84 8051608 libghc-sbv-dev_8.7-1_armhf.deb 1bb9f9c93535a39b4824951afcff67cd9d353046b825db3b39b7b061268ee235 1688904 libghc-sbv-doc_8.7-1_all.deb 332800a58b535abbd44817f24a124df9737a83077801b14fe4e9b16ae54d9ffc 6274076 libghc-sbv-prof_8.7-1_armhf.deb Files: 637fce5e0257897f3e3bc51763d632d7 7325 haskell optional haskell-sbv_8.7-1_armhf.buildinfo e906eb8c8522e41299ab83b62f64ef8b 8051608 haskell optional libghc-sbv-dev_8.7-1_armhf.deb 82e2fd97df52759550ab1ceedb5eb61b 1688904 doc optional libghc-sbv-doc_8.7-1_all.deb 39254e38833755395c7ecf2c17bdae56 6274076 haskell optional libghc-sbv-prof_8.7-1_armhf.deb Thu Aug 12 17:32:09 UTC 2021 I: diffoscope 177 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --html /srv/reproducible-results/rbuild-debian/tmp.YJfF0hc9yS/haskell-sbv_8.7-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/tmp.YJfF0hc9yS/haskell-sbv_8.7-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/tmp.YJfF0hc9yS/haskell-sbv_8.7-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/tmp.YJfF0hc9yS/b1/haskell-sbv_8.7-1_armhf.changes /srv/reproducible-results/rbuild-debian/tmp.YJfF0hc9yS/b2/haskell-sbv_8.7-1_armhf.changes ## command (total time: 0.000s) 0.000s 1 call cmp (internal) ## has_same_content_as (total time: 0.000s) 0.000s 1 call abc.DotChangesFile ## main (total time: 0.805s) 0.805s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.596s) 0.596s 10 calls diffoscope.comparators.binary.FilesystemFile 0.000s 8 calls abc.DotChangesFile Thu Aug 12 17:32:11 UTC 2021 I: diffoscope 177 found no differences in the changes files, and a .buildinfo file also exists. Thu Aug 12 17:32:11 UTC 2021 I: haskell-sbv from bullseye built successfully and reproducibly on armhf. Thu Aug 12 17:32:12 UTC 2021 I: Submitting .buildinfo files to external archives: Thu Aug 12 17:32:12 UTC 2021 I: Submitting 12K b1/haskell-sbv_8.7-1_armhf.buildinfo.asc Thu Aug 12 17:32:14 UTC 2021 I: Submitting 12K b2/haskell-sbv_8.7-1_armhf.buildinfo.asc Thu Aug 12 17:32:15 UTC 2021 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Thu Aug 12 17:32:15 UTC 2021 I: Done submitting .buildinfo files. Thu Aug 12 17:32:15 UTC 2021 I: Removing signed haskell-sbv_8.7-1_armhf.buildinfo.asc files: removed './b1/haskell-sbv_8.7-1_armhf.buildinfo.asc' removed './b2/haskell-sbv_8.7-1_armhf.buildinfo.asc'