Mon Jun 5 04:52:53 UTC 2023 I: starting to build haskell-sbv/bookworm/amd64 on jenkins on '2023-06-05 04:52' Mon Jun 5 04:52:53 UTC 2023 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_8/313/console.log Mon Jun 5 04:52:53 UTC 2023 I: Downloading source for bookworm/haskell-sbv=8.17-1 --2023-06-05 04:52:53-- http://cdn-fastly.deb.debian.org/debian/pool/main/h/haskell-sbv/haskell-sbv_8.17-1.dsc Connecting to 78.137.99.97:3128... connected. Proxy request sent, awaiting response... 200 OK Length: 2578 (2.5K) [text/prs.lines.tag] Saving to: ‘haskell-sbv_8.17-1.dsc’ 0K .. 100% 6.17M=0s 2023-06-05 04:52:54 (6.17 MB/s) - ‘haskell-sbv_8.17-1.dsc’ saved [2578/2578] Mon Jun 5 04:52:54 UTC 2023 I: haskell-sbv_8.17-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.17-1 Maintainer: Debian Haskell Group Uploaders: Clint Adams , Homepage: http://leventerkok.github.io/sbv/ Standards-Version: 4.6.1 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-libbf-dev, libghc-libbf-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof, libghc-uniplate-dev, libghc-uniplate-prof Build-Depends-Indep: ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-libbf-doc, libghc-random-doc, libghc-syb-doc, libghc-uniplate-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: 82a482b9831717c1969ec1437ebd0554f0bf9fff 951419 haskell-sbv_8.17.orig.tar.gz c644b79342681a6e945f1d291e420baee8c50d8f 2840 haskell-sbv_8.17-1.debian.tar.xz Checksums-Sha256: 0d76ef666eff03a30c6d110ecb6871f4c40a04f2e681bdd8c0ef46999be72d51 951419 haskell-sbv_8.17.orig.tar.gz 2e23a5b55e848bd53f5f0e9258aaaa5e18c51bf5b5f73fd3b6ff6b39b3d5e792 2840 haskell-sbv_8.17-1.debian.tar.xz Files: 2962180b71684d55e3f02e478a069ed7 951419 haskell-sbv_8.17.orig.tar.gz ed4673b0bcf6e1fae636f92321edfbdf 2840 haskell-sbv_8.17-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmLkFrwPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiXcoP/jQomgjLokfsTGRtr7fHUk/6SrJzcl9cjiGT Ef6l1NzEoT1GWlf42FgIy5d+h2Z2sfdLLSz6rovC+D/h2uvtgctqYzALgIzGBG+c d/coRqRQLLutkO6Sff3aCsphjQtu7SZU2Sr0K6zEsf+5kxj3BGZRd8y2ewYXtvud FUUfyG7Bijqp4msfYvFWd8o89pMpsXusAF0gFdTyJEGF98TFlpTaM0557NUPfsRE G5d/lU1lM+eQDPG9Ak10ZZJ67hWJnknSb3pWi4louK+DA0Oy/CbdtvHRFbOVhOoo QHArV/J6wnBmlGxOrMqyH9/WwqHdlvKsRMQeAYG94wRjTc7BTinEIC5WKQQ6UW0n oyW/1WMT+hAcc3Lyn1bfmuzN1TmKkICGxHIhYtsgz6EwXegRzvxQHJC6noxnn0PL o5iX+KiLWAFemTgYkpTnsQjOfli3oYc9alNadIq0slDYfBcHV3tC/nVQF6H0xUyk NwQpoA/U/8NUOeyKo0sMzZJniToo/5HbkuwN8Fh87MZP5Jx7RUcSvcKCXK65eFtW sPpjFKtwKnxdJyCpPunw1IMsZoYgAm4b9HsddSd4e+EwooIiwNw/HlrKyFdrjKVL oGUOoQmd7IkW6mF4RE3c5wJQjXxVHF2QjDrWa4DpDiEFDBizWPAUr/Oeovq5fJ7D eU7kE0IA =0LRa -----END PGP SIGNATURE----- Mon Jun 5 04:52:54 UTC 2023 I: Checking whether the package is not for us Mon Jun 5 04:52:54 UTC 2023 I: Starting 1st build on remote node ionos15-amd64.debian.net. Mon Jun 5 04:52:54 UTC 2023 I: Preparing to do remote build '1' on ionos15-amd64.debian.net. Mon Jun 5 05:33:00 UTC 2023 I: Deleting $TMPDIR on ionos15-amd64.debian.net. I: pbuilder: network access will be disabled during build I: Current time: Sat Jul 6 23:16:07 -12 2024 I: pbuilder-time-stamp: 1720350967 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz] I: copying local configuration W: --override-config is not set; not updating apt.conf Read the manpage for details. 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.17-1.dsc] I: copying [./haskell-sbv_8.17.orig.tar.gz] I: copying [./haskell-sbv_8.17-1.debian.tar.xz] I: Extracting source gpgv: Signature made Fri Jul 29 05:19:56 2022 -12 gpgv: using RSA key 6E7434F5897D43B17FCD57B753D5BC64B52378A2 gpgv: issuer "swt@techie.net" gpgv: Can't check signature: No public key dpkg-source: warning: cannot verify inline signature for ./haskell-sbv_8.17-1.dsc: no acceptable signature found dpkg-source: info: extracting haskell-sbv in haskell-sbv-8.17 dpkg-source: info: unpacking haskell-sbv_8.17.orig.tar.gz dpkg-source: info: unpacking haskell-sbv_8.17-1.debian.tar.xz I: Not using root during the build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/2161477/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='amd64' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16 ' DISTRIBUTION='bookworm' HOME='/root' HOST_ARCH='amd64' IFS=' ' INVOCATION_ID='39a3afc7b8134c6693f6ecdd546055e3' 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='2161477' 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/r-b-build.iAaIovEB/pbuilderrc_5qGG --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.iAaIovEB/b1 --logfile b1/build.log haskell-sbv_8.17-1.dsc' SUDO_GID='111' SUDO_UID='106' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://85.184.249.68:3128' I: uname -a Linux ionos15-amd64 6.1.0-0.deb11.7-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.20-2~bpo11+1 (2023-04-23) x86_64 GNU/Linux I: ls -l /bin total 5632 -rwxr-xr-x 1 root root 1265648 Apr 23 2023 bash -rwxr-xr-x 3 root root 39224 Sep 18 2022 bunzip2 -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzcat lrwxrwxrwx 1 root root 6 Sep 18 2022 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2225 Sep 18 2022 bzdiff lrwxrwxrwx 1 root root 6 Sep 18 2022 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe lrwxrwxrwx 1 root root 6 Sep 18 2022 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3775 Sep 18 2022 bzgrep -rwxr-xr-x 3 root root 39224 Sep 18 2022 bzip2 -rwxr-xr-x 1 root root 14568 Sep 18 2022 bzip2recover lrwxrwxrwx 1 root root 6 Sep 18 2022 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Sep 18 2022 bzmore -rwxr-xr-x 1 root root 44016 Sep 20 2022 cat -rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp -rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod -rwxr-xr-x 1 root root 72752 Sep 20 2022 chown -rwxr-xr-x 1 root root 151152 Sep 20 2022 cp -rwxr-xr-x 1 root root 125640 Jan 5 2023 dash -rwxr-xr-x 1 root root 121904 Sep 20 2022 date -rwxr-xr-x 1 root root 89240 Sep 20 2022 dd -rwxr-xr-x 1 root root 102200 Sep 20 2022 df -rwxr-xr-x 1 root root 151344 Sep 20 2022 dir -rwxr-xr-x 1 root root 88656 Mar 22 2023 dmesg lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname -rwxr-xr-x 1 root root 43856 Sep 20 2022 echo -rwxr-xr-x 1 root root 41 Jan 24 2023 egrep -rwxr-xr-x 1 root root 35664 Sep 20 2022 false -rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep -rwxr-xr-x 1 root root 85600 Mar 22 2023 findmnt -rwsr-xr-x 1 root root 35128 Mar 22 2023 fusermount -rwxr-xr-x 1 root root 203152 Jan 24 2023 grep -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe -rwxr-xr-x 1 root root 98136 Apr 9 2022 gzip -rwxr-xr-x 1 root root 22680 Dec 19 2022 hostname -rwxr-xr-x 1 root root 72824 Sep 20 2022 ln -rwxr-xr-x 1 root root 53024 Mar 23 2023 login -rwxr-xr-x 1 root root 151344 Sep 20 2022 ls -rwxr-xr-x 1 root root 207168 Mar 22 2023 lsblk -rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir -rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod -rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp -rwxr-xr-x 1 root root 59712 Mar 22 2023 more -rwsr-xr-x 1 root root 59704 Mar 22 2023 mount -rwxr-xr-x 1 root root 18744 Mar 22 2023 mountpoint -rwxr-xr-x 1 root root 142968 Sep 20 2022 mv lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Apr 2 2023 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 43952 Sep 20 2022 pwd lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash -rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink -rwxr-xr-x 1 root root 72752 Sep 20 2022 rm -rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir -rwxr-xr-x 1 root root 27560 Nov 2 2022 run-parts -rwxr-xr-x 1 root root 126424 Jan 5 2023 sed lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash -rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep -rwxr-xr-x 1 root root 85008 Sep 20 2022 stty -rwsr-xr-x 1 root root 72000 Mar 22 2023 su -rwxr-xr-x 1 root root 39824 Sep 20 2022 sync -rwxr-xr-x 1 root root 531984 Apr 6 2023 tar -rwxr-xr-x 1 root root 14520 Nov 2 2022 tempfile -rwxr-xr-x 1 root root 109616 Sep 20 2022 touch -rwxr-xr-x 1 root root 35664 Sep 20 2022 true -rwxr-xr-x 1 root root 14568 Mar 22 2023 ulockmgr_server -rwsr-xr-x 1 root root 35128 Mar 22 2023 umount -rwxr-xr-x 1 root root 43888 Sep 20 2022 uname -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress -rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir -rwxr-xr-x 1 root root 72024 Mar 22 2023 wdctl lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp -rwxr-xr-x 1 root root 6460 Apr 9 2022 zdiff -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce -rwxr-xr-x 1 root root 8103 Apr 9 2022 zgrep -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew I: user script /srv/workspace/pbuilder/2161477/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: amd64 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-libbf-dev, libghc-libbf-prof, libghc-random-dev, libghc-random-prof, libghc-syb-dev, libghc-syb-prof, libghc-uniplate-dev, libghc-uniplate-prof, ghc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-libbf-doc, libghc-random-doc, libghc-syb-doc, libghc-uniplate-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 ... 19591 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-libbf-dev; however: Package libghc-libbf-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-libbf-prof; however: Package libghc-libbf-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 libghc-uniplate-dev; however: Package libghc-uniplate-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-uniplate-prof; however: Package libghc-uniplate-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-libbf-doc; however: Package libghc-libbf-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. pbuilder-satisfydepends-dummy depends on libghc-uniplate-doc; however: Package libghc-uniplate-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} libb-hooks-op-check-perl{a} libbrotli1{a} libbsd-dev{a} libbsd0{a} libconst-fast-perl{a} libcurl3-gnutls{a} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{a} libelf1{a} libexpat1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libghc-async-dev{a} libghc-async-doc{a} libghc-async-prof{a} libghc-hashable-dev{a} libghc-hashable-prof{a} libghc-libbf-dev{a} libghc-libbf-doc{a} libghc-libbf-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-uniplate-dev{a} libghc-uniplate-doc{a} libghc-uniplate-prof{a} libghc-unordered-containers-dev{a} libghc-unordered-containers-prof{a} libgmp-dev{a} libgmpxx4ldbl{a} libicu72{a} libipc-run3-perl{a} libjs-mathjax{a} libldap-2.5-0{a} liblist-someutils-perl{a} libmagic-mgc{a} libmagic1{a} libmd-dev{a} libmodule-implementation-perl{a} libmodule-runtime-perl{a} libncurses-dev{a} libncurses6{a} libnghttp2-14{a} libparams-classify-perl{a} libparams-util-perl{a} libpath-tiny-perl{a} libpipeline1{a} libpsl5{a} libpython3-stdlib{a} libpython3.11-minimal{a} libpython3.11-stdlib{a} libreadline8{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1{a} libsub-exporter-perl{a} libsub-exporter-progressive-perl{a} libsub-install-perl{a} libsub-override-perl{a} libtimedate-perl{a} libtool{a} libtry-tiny-perl{a} libuchardet0{a} libunicode-utf8-perl{a} libxml2{a} m4{a} man-db{a} media-types{a} po-debconf{a} python3{a} python3-minimal{a} python3-pkg-resources{a} python3-scour{a} python3-six{a} python3.11{a} python3.11-minimal{a} readline-common{a} scour{a} sensible-utils{a} sgml-base{a} The following packages are RECOMMENDED but will NOT be installed: ca-certificates curl libarchive-cpio-perl libghc-hashable-doc libghc-splitmix-doc libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules lynx publicsuffix wget 0 packages upgraded, 118 newly installed, 0 to remove and 0 not upgraded. Need to get 195 MB of archives. After unpacking 2070 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian bookworm/main amd64 libgmpxx4ldbl amd64 2:6.2.1+dfsg1-1.1 [338 kB] Get: 2 http://deb.debian.org/debian bookworm/main amd64 libgmp-dev amd64 2:6.2.1+dfsg1-1.1 [641 kB] Get: 3 http://deb.debian.org/debian bookworm/main amd64 libffi-dev amd64 3.4.4-1 [59.4 kB] Get: 4 http://deb.debian.org/debian bookworm/main amd64 libbsd0 amd64 0.11.7-2 [117 kB] Get: 5 http://deb.debian.org/debian bookworm/main amd64 libmd-dev amd64 1.0.4-2 [47.0 kB] Get: 6 http://deb.debian.org/debian bookworm/main amd64 libbsd-dev amd64 0.11.7-2 [243 kB] Get: 7 http://deb.debian.org/debian bookworm/main amd64 libncurses6 amd64 6.4-4 [103 kB] Get: 8 http://deb.debian.org/debian bookworm/main amd64 libncurses-dev amd64 6.4-4 [349 kB] Get: 9 http://deb.debian.org/debian bookworm/main amd64 ghc amd64 9.0.2-4 [72.7 MB] Get: 10 http://deb.debian.org/debian bookworm/main amd64 fonts-mathjax all 2.7.9+dfsg-1 [2210 kB] Get: 11 http://deb.debian.org/debian bookworm/main amd64 libjs-mathjax all 2.7.9+dfsg-1 [5667 kB] Get: 12 http://deb.debian.org/debian bookworm/main amd64 ghc-doc all 9.0.2-4 [18.1 MB] Get: 13 http://deb.debian.org/debian bookworm/main amd64 libpython3.11-minimal amd64 3.11.2-6 [813 kB] Get: 14 http://deb.debian.org/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1 [99.3 kB] Get: 15 http://deb.debian.org/debian bookworm/main amd64 python3.11-minimal amd64 3.11.2-6 [2064 kB] Get: 16 http://deb.debian.org/debian bookworm/main amd64 python3-minimal amd64 3.11.2-1+b1 [26.3 kB] Get: 17 http://deb.debian.org/debian bookworm/main amd64 media-types all 10.0.0 [26.1 kB] Get: 18 http://deb.debian.org/debian bookworm/main amd64 readline-common all 8.2-1.3 [69.0 kB] Get: 19 http://deb.debian.org/debian bookworm/main amd64 libreadline8 amd64 8.2-1.3 [166 kB] Get: 20 http://deb.debian.org/debian bookworm/main amd64 libpython3.11-stdlib amd64 3.11.2-6 [1796 kB] Get: 21 http://deb.debian.org/debian bookworm/main amd64 python3.11 amd64 3.11.2-6 [572 kB] Get: 22 http://deb.debian.org/debian bookworm/main amd64 libpython3-stdlib amd64 3.11.2-1+b1 [9312 B] Get: 23 http://deb.debian.org/debian bookworm/main amd64 python3 amd64 3.11.2-1+b1 [26.3 kB] Get: 24 http://deb.debian.org/debian bookworm/main amd64 sgml-base all 1.31 [15.4 kB] Get: 25 http://deb.debian.org/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB] Get: 26 http://deb.debian.org/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB] Get: 27 http://deb.debian.org/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB] Get: 28 http://deb.debian.org/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB] Get: 29 http://deb.debian.org/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB] Get: 30 http://deb.debian.org/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB] Get: 31 http://deb.debian.org/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB] Get: 32 http://deb.debian.org/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+b1 [86.6 kB] Get: 33 http://deb.debian.org/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB] Get: 34 http://deb.debian.org/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB] Get: 35 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB] Get: 36 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB] Get: 37 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB] Get: 38 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB] Get: 39 http://deb.debian.org/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB] Get: 40 http://deb.debian.org/debian bookworm/main amd64 python3-six all 1.16.0-4 [17.5 kB] Get: 41 http://deb.debian.org/debian bookworm/main amd64 python3-pkg-resources all 66.1.1-1 [296 kB] Get: 42 http://deb.debian.org/debian bookworm/main amd64 python3-scour all 0.38.2-2 [58.0 kB] Get: 43 http://deb.debian.org/debian bookworm/main amd64 scour all 0.38.2-2 [19.3 kB] Get: 44 http://deb.debian.org/debian bookworm/main amd64 cdbs all 0.4.166 [47.3 kB] Get: 45 http://deb.debian.org/debian bookworm/main amd64 dctrl-tools amd64 2.24-3+b1 [104 kB] Get: 46 http://deb.debian.org/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB] Get: 47 http://deb.debian.org/debian bookworm/main amd64 libtool all 2.4.7-5 [517 kB] Get: 48 http://deb.debian.org/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB] Get: 49 http://deb.debian.org/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get: 50 http://deb.debian.org/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B] Get: 51 http://deb.debian.org/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB] Get: 52 http://deb.debian.org/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B] Get: 53 http://deb.debian.org/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB] Get: 54 http://deb.debian.org/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB] Get: 55 http://deb.debian.org/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB] Get: 56 http://deb.debian.org/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.2 [687 kB] Get: 57 http://deb.debian.org/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB] Get: 58 http://deb.debian.org/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get: 59 http://deb.debian.org/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 60 http://deb.debian.org/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB] Get: 61 http://deb.debian.org/debian bookworm/main amd64 dh-buildinfo all 0.11+nmu2 [18.4 kB] Get: 62 http://deb.debian.org/debian bookworm/main amd64 ghc-prof amd64 9.0.2-4 [61.9 MB] Get: 63 http://deb.debian.org/debian bookworm/main amd64 libbrotli1 amd64 1.0.9-2+b6 [275 kB] Get: 64 http://deb.debian.org/debian bookworm/main amd64 libsasl2-modules-db amd64 2.1.28+dfsg-10 [20.3 kB] Get: 65 http://deb.debian.org/debian bookworm/main amd64 libsasl2-2 amd64 2.1.28+dfsg-10 [59.7 kB] Get: 66 http://deb.debian.org/debian bookworm/main amd64 libldap-2.5-0 amd64 2.5.13+dfsg-5 [183 kB] Get: 67 http://deb.debian.org/debian bookworm/main amd64 libnghttp2-14 amd64 1.52.0-1 [72.3 kB] Get: 68 http://deb.debian.org/debian bookworm/main amd64 libpsl5 amd64 0.21.2-1 [58.7 kB] Get: 69 http://deb.debian.org/debian bookworm/main amd64 librtmp1 amd64 2.4+20151223.gitfa8646d.1-2+b2 [60.8 kB] Get: 70 http://deb.debian.org/debian bookworm/main amd64 libssh2-1 amd64 1.10.0-3+b1 [179 kB] Get: 71 http://deb.debian.org/debian bookworm/main amd64 libcurl3-gnutls amd64 7.88.1-10 [381 kB] Get: 72 http://deb.debian.org/debian bookworm/main amd64 html-xml-utils amd64 7.7-1.1 [317 kB] Get: 73 http://deb.debian.org/debian bookworm/main amd64 libparams-util-perl amd64 1.102-2+b1 [24.8 kB] Get: 74 http://deb.debian.org/debian bookworm/main amd64 libsub-install-perl all 0.929-1 [10.5 kB] Get: 75 http://deb.debian.org/debian bookworm/main amd64 libdata-optlist-perl all 0.113-1 [10.6 kB] Get: 76 http://deb.debian.org/debian bookworm/main amd64 libsub-exporter-perl all 0.989-1 [50.5 kB] Get: 77 http://deb.debian.org/debian bookworm/main amd64 libsub-exporter-progressive-perl all 0.001013-3 [7496 B] Get: 78 http://deb.debian.org/debian bookworm/main amd64 libconst-fast-perl all 0.014-2 [8792 B] Get: 79 http://deb.debian.org/debian bookworm/main amd64 libdevel-confess-perl all 0.009004-3 [19.6 kB] Get: 80 http://deb.debian.org/debian bookworm/main amd64 libipc-run3-perl all 0.048-3 [33.2 kB] Get: 81 http://deb.debian.org/debian bookworm/main amd64 libb-hooks-op-check-perl amd64 0.22-2+b1 [10.5 kB] Get: 82 http://deb.debian.org/debian bookworm/main amd64 libdynaloader-functions-perl all 0.003-3 [12.7 kB] Get: 83 http://deb.debian.org/debian bookworm/main amd64 libdevel-callchecker-perl amd64 0.008-2 [15.8 kB] Get: 84 http://deb.debian.org/debian bookworm/main amd64 libparams-classify-perl amd64 0.015-2+b1 [23.1 kB] Get: 85 http://deb.debian.org/debian bookworm/main amd64 libmodule-runtime-perl all 0.016-2 [19.6 kB] Get: 86 http://deb.debian.org/debian bookworm/main amd64 libtry-tiny-perl all 0.31-2 [22.6 kB] Get: 87 http://deb.debian.org/debian bookworm/main amd64 libmodule-implementation-perl all 0.09-2 [12.6 kB] Get: 88 http://deb.debian.org/debian bookworm/main amd64 liblist-someutils-perl all 0.59-1 [37.1 kB] Get: 89 http://deb.debian.org/debian bookworm/main amd64 libpath-tiny-perl all 0.144-1 [56.4 kB] Get: 90 http://deb.debian.org/debian bookworm/main amd64 libtimedate-perl all 2.3300-2 [39.3 kB] Get: 91 http://deb.debian.org/debian bookworm/main amd64 libunicode-utf8-perl amd64 0.62-2 [20.2 kB] Get: 92 http://deb.debian.org/debian bookworm/main amd64 haskell-devscripts-minimal all 0.16.29 [65.6 kB] Get: 93 http://deb.debian.org/debian bookworm/main amd64 hscolour amd64 1.24.4-4+b1 [312 kB] Get: 94 http://deb.debian.org/debian bookworm/main amd64 haskell-devscripts all 0.16.29 [17.8 kB] Get: 95 http://deb.debian.org/debian bookworm/main amd64 libghc-hashable-dev amd64 1.3.5.0-2+b3 [115 kB] Get: 96 http://deb.debian.org/debian bookworm/main amd64 libghc-async-dev amd64 2.2.4-1+b2 [70.7 kB] Get: 97 http://deb.debian.org/debian bookworm/main amd64 libghc-async-doc all 2.2.4-1 [73.1 kB] Get: 98 http://deb.debian.org/debian bookworm/main amd64 libghc-hashable-prof amd64 1.3.5.0-2+b3 [107 kB] Get: 99 http://deb.debian.org/debian bookworm/main amd64 libghc-async-prof amd64 2.2.4-1+b2 [67.2 kB] Get: 100 http://deb.debian.org/debian bookworm/main amd64 libghc-libbf-dev amd64 0.6.5.1-1 [163 kB] Get: 101 http://deb.debian.org/debian bookworm/main amd64 libghc-libbf-doc all 0.6.5.1-1 [82.6 kB] Get: 102 http://deb.debian.org/debian bookworm/main amd64 libghc-libbf-prof amd64 0.6.5.1-1 [135 kB] Get: 103 http://deb.debian.org/debian bookworm/main amd64 libghc-splitmix-dev amd64 0.1.0.4-1+b3 [49.8 kB] Get: 104 http://deb.debian.org/debian bookworm/main amd64 libghc-random-dev amd64 1.2.1.1-2+b3 [304 kB] Get: 105 http://deb.debian.org/debian bookworm/main amd64 libghc-quickcheck2-dev amd64 2.14.2-1+b3 [676 kB] Get: 106 http://deb.debian.org/debian bookworm/main amd64 libghc-quickcheck2-doc all 2.14.2-1 [285 kB] Get: 107 http://deb.debian.org/debian bookworm/main amd64 libghc-splitmix-prof amd64 0.1.0.4-1+b3 [44.3 kB] Get: 108 http://deb.debian.org/debian bookworm/main amd64 libghc-random-prof amd64 1.2.1.1-2+b3 [285 kB] Get: 109 http://deb.debian.org/debian bookworm/main amd64 libghc-quickcheck2-prof amd64 2.14.2-1+b3 [651 kB] Get: 110 http://deb.debian.org/debian bookworm/main amd64 libghc-random-doc all 1.2.1.1-2 [143 kB] Get: 111 http://deb.debian.org/debian bookworm/main amd64 libghc-syb-dev amd64 0.7.2.2-1 [110 kB] Get: 112 http://deb.debian.org/debian bookworm/main amd64 libghc-syb-doc all 0.7.2.2-1 [80.1 kB] Get: 113 http://deb.debian.org/debian bookworm/main amd64 libghc-syb-prof amd64 0.7.2.2-1 [102 kB] Get: 114 http://deb.debian.org/debian bookworm/main amd64 libghc-unordered-containers-dev amd64 0.2.17.0-2+b2 [271 kB] Get: 115 http://deb.debian.org/debian bookworm/main amd64 libghc-uniplate-dev amd64 1.6.13-1+b3 [334 kB] Get: 116 http://deb.debian.org/debian bookworm/main amd64 libghc-uniplate-doc all 1.6.13-1 [149 kB] Get: 117 http://deb.debian.org/debian bookworm/main amd64 libghc-unordered-containers-prof amd64 0.2.17.0-2+b2 [312 kB] Get: 118 http://deb.debian.org/debian bookworm/main amd64 libghc-uniplate-prof amd64 1.6.13-1+b3 [327 kB] Fetched 195 MB in 3s (67.5 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libgmpxx4ldbl:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19591 files and directories currently installed.) Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../01-libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Selecting previously unselected package libffi-dev:amd64. Preparing to unpack .../02-libffi-dev_3.4.4-1_amd64.deb ... Unpacking libffi-dev:amd64 (3.4.4-1) ... Selecting previously unselected package libbsd0:amd64. Preparing to unpack .../03-libbsd0_0.11.7-2_amd64.deb ... Unpacking libbsd0:amd64 (0.11.7-2) ... Selecting previously unselected package libmd-dev:amd64. Preparing to unpack .../04-libmd-dev_1.0.4-2_amd64.deb ... Unpacking libmd-dev:amd64 (1.0.4-2) ... Selecting previously unselected package libbsd-dev:amd64. Preparing to unpack .../05-libbsd-dev_0.11.7-2_amd64.deb ... Unpacking libbsd-dev:amd64 (0.11.7-2) ... Selecting previously unselected package libncurses6:amd64. Preparing to unpack .../06-libncurses6_6.4-4_amd64.deb ... Unpacking libncurses6:amd64 (6.4-4) ... Selecting previously unselected package libncurses-dev:amd64. Preparing to unpack .../07-libncurses-dev_6.4-4_amd64.deb ... Unpacking libncurses-dev:amd64 (6.4-4) ... Selecting previously unselected package ghc. Preparing to unpack .../08-ghc_9.0.2-4_amd64.deb ... Unpacking ghc (9.0.2-4) ... Selecting previously unselected package fonts-mathjax. Preparing to unpack .../09-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 .../10-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 .../11-ghc-doc_9.0.2-4_all.deb ... Unpacking ghc-doc (9.0.2-4) ... Selecting previously unselected package libpython3.11-minimal:amd64. Preparing to unpack .../12-libpython3.11-minimal_3.11.2-6_amd64.deb ... Unpacking libpython3.11-minimal:amd64 (3.11.2-6) ... Selecting previously unselected package libexpat1:amd64. Preparing to unpack .../13-libexpat1_2.5.0-1_amd64.deb ... Unpacking libexpat1:amd64 (2.5.0-1) ... Selecting previously unselected package python3.11-minimal. Preparing to unpack .../14-python3.11-minimal_3.11.2-6_amd64.deb ... Unpacking python3.11-minimal (3.11.2-6) ... Setting up libpython3.11-minimal:amd64 (3.11.2-6) ... Setting up libexpat1:amd64 (2.5.0-1) ... Setting up python3.11-minimal (3.11.2-6) ... Selecting previously unselected package python3-minimal. (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 ... 32540 files and directories currently installed.) Preparing to unpack .../0-python3-minimal_3.11.2-1+b1_amd64.deb ... Unpacking python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package media-types. Preparing to unpack .../1-media-types_10.0.0_all.deb ... Unpacking media-types (10.0.0) ... Selecting previously unselected package readline-common. Preparing to unpack .../2-readline-common_8.2-1.3_all.deb ... Unpacking readline-common (8.2-1.3) ... Selecting previously unselected package libreadline8:amd64. Preparing to unpack .../3-libreadline8_8.2-1.3_amd64.deb ... Unpacking libreadline8:amd64 (8.2-1.3) ... Selecting previously unselected package libpython3.11-stdlib:amd64. Preparing to unpack .../4-libpython3.11-stdlib_3.11.2-6_amd64.deb ... Unpacking libpython3.11-stdlib:amd64 (3.11.2-6) ... Selecting previously unselected package python3.11. Preparing to unpack .../5-python3.11_3.11.2-6_amd64.deb ... Unpacking python3.11 (3.11.2-6) ... Selecting previously unselected package libpython3-stdlib:amd64. Preparing to unpack .../6-libpython3-stdlib_3.11.2-1+b1_amd64.deb ... Unpacking libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up python3-minimal (3.11.2-1+b1) ... Selecting previously unselected package python3. (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 ... 32974 files and directories currently installed.) Preparing to unpack .../00-python3_3.11.2-1+b1_amd64.deb ... Unpacking python3 (3.11.2-1+b1) ... Selecting previously unselected package sgml-base. Preparing to unpack .../01-sgml-base_1.31_all.deb ... Unpacking sgml-base (1.31) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../02-sensible-utils_0.0.17+nmu1_all.deb ... Unpacking sensible-utils (0.0.17+nmu1) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../03-libmagic-mgc_1%3a5.44-3_amd64.deb ... Unpacking libmagic-mgc (1:5.44-3) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../04-libmagic1_1%3a5.44-3_amd64.deb ... Unpacking libmagic1:amd64 (1:5.44-3) ... Selecting previously unselected package file. Preparing to unpack .../05-file_1%3a5.44-3_amd64.deb ... Unpacking file (1:5.44-3) ... Selecting previously unselected package gettext-base. Preparing to unpack .../06-gettext-base_0.21-12_amd64.deb ... Unpacking gettext-base (0.21-12) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../07-libuchardet0_0.0.7-1_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.7-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../08-groff-base_1.22.4-10_amd64.deb ... Unpacking groff-base (1.22.4-10) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../09-bsdextrautils_2.38.1-5+b1_amd64.deb ... Unpacking bsdextrautils (2.38.1-5+b1) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../10-libpipeline1_1.5.7-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.7-1) ... Selecting previously unselected package man-db. Preparing to unpack .../11-man-db_2.11.2-2_amd64.deb ... Unpacking man-db (2.11.2-2) ... Selecting previously unselected package m4. Preparing to unpack .../12-m4_1.4.19-3_amd64.deb ... Unpacking m4 (1.4.19-3) ... Selecting previously unselected package autoconf. Preparing to unpack .../13-autoconf_2.71-3_all.deb ... Unpacking autoconf (2.71-3) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../14-autotools-dev_20220109.1_all.deb ... Unpacking autotools-dev (20220109.1) ... Selecting previously unselected package automake. Preparing to unpack .../15-automake_1%3a1.16.5-1.3_all.deb ... Unpacking automake (1:1.16.5-1.3) ... Selecting previously unselected package autopoint. Preparing to unpack .../16-autopoint_0.21-12_all.deb ... Unpacking autopoint (0.21-12) ... Selecting previously unselected package python3-six. Preparing to unpack .../17-python3-six_1.16.0-4_all.deb ... Unpacking python3-six (1.16.0-4) ... Selecting previously unselected package python3-pkg-resources. Preparing to unpack .../18-python3-pkg-resources_66.1.1-1_all.deb ... Unpacking python3-pkg-resources (66.1.1-1) ... Selecting previously unselected package python3-scour. Preparing to unpack .../19-python3-scour_0.38.2-2_all.deb ... Unpacking python3-scour (0.38.2-2) ... Selecting previously unselected package scour. Preparing to unpack .../20-scour_0.38.2-2_all.deb ... Unpacking scour (0.38.2-2) ... Selecting previously unselected package cdbs. Preparing to unpack .../21-cdbs_0.4.166_all.deb ... Unpacking cdbs (0.4.166) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../22-dctrl-tools_2.24-3+b1_amd64.deb ... Unpacking dctrl-tools (2.24-3+b1) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../23-libdebhelper-perl_13.11.4_all.deb ... Unpacking libdebhelper-perl (13.11.4) ... Selecting previously unselected package libtool. Preparing to unpack .../24-libtool_2.4.7-5_all.deb ... Unpacking libtool (2.4.7-5) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../25-dh-autoreconf_20_all.deb ... Unpacking dh-autoreconf (20) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../26-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 .../27-libsub-override-perl_0.09-4_all.deb ... Unpacking libsub-override-perl (0.09-4) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../28-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../29-dh-strip-nondeterminism_1.13.1-1_all.deb ... Unpacking dh-strip-nondeterminism (1.13.1-1) ... Selecting previously unselected package libelf1:amd64. Preparing to unpack .../30-libelf1_0.188-2.1_amd64.deb ... Unpacking libelf1:amd64 (0.188-2.1) ... Selecting previously unselected package dwz. Preparing to unpack .../31-dwz_0.15-1_amd64.deb ... Unpacking dwz (0.15-1) ... Selecting previously unselected package libicu72:amd64. Preparing to unpack .../32-libicu72_72.1-3_amd64.deb ... Unpacking libicu72:amd64 (72.1-3) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../33-libxml2_2.9.14+dfsg-1.2_amd64.deb ... Unpacking libxml2:amd64 (2.9.14+dfsg-1.2) ... Selecting previously unselected package gettext. Preparing to unpack .../34-gettext_0.21-12_amd64.deb ... Unpacking gettext (0.21-12) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../35-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../36-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../37-debhelper_13.11.4_all.deb ... Unpacking debhelper (13.11.4) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../38-dh-buildinfo_0.11+nmu2_all.deb ... Unpacking dh-buildinfo (0.11+nmu2) ... Selecting previously unselected package ghc-prof. Preparing to unpack .../39-ghc-prof_9.0.2-4_amd64.deb ... Unpacking ghc-prof (9.0.2-4) ... Selecting previously unselected package libbrotli1:amd64. Preparing to unpack .../40-libbrotli1_1.0.9-2+b6_amd64.deb ... Unpacking libbrotli1:amd64 (1.0.9-2+b6) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../41-libsasl2-modules-db_2.1.28+dfsg-10_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.28+dfsg-10) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../42-libsasl2-2_2.1.28+dfsg-10_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.28+dfsg-10) ... Selecting previously unselected package libldap-2.5-0:amd64. Preparing to unpack .../43-libldap-2.5-0_2.5.13+dfsg-5_amd64.deb ... Unpacking libldap-2.5-0:amd64 (2.5.13+dfsg-5) ... Selecting previously unselected package libnghttp2-14:amd64. Preparing to unpack .../44-libnghttp2-14_1.52.0-1_amd64.deb ... Unpacking libnghttp2-14:amd64 (1.52.0-1) ... Selecting previously unselected package libpsl5:amd64. Preparing to unpack .../45-libpsl5_0.21.2-1_amd64.deb ... Unpacking libpsl5:amd64 (0.21.2-1) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../46-librtmp1_2.4+20151223.gitfa8646d.1-2+b2_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20151223.gitfa8646d.1-2+b2) ... Selecting previously unselected package libssh2-1:amd64. Preparing to unpack .../47-libssh2-1_1.10.0-3+b1_amd64.deb ... Unpacking libssh2-1:amd64 (1.10.0-3+b1) ... Selecting previously unselected package libcurl3-gnutls:amd64. Preparing to unpack .../48-libcurl3-gnutls_7.88.1-10_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.88.1-10) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../49-html-xml-utils_7.7-1.1_amd64.deb ... Unpacking html-xml-utils (7.7-1.1) ... Selecting previously unselected package libparams-util-perl. Preparing to unpack .../50-libparams-util-perl_1.102-2+b1_amd64.deb ... Unpacking libparams-util-perl (1.102-2+b1) ... Selecting previously unselected package libsub-install-perl. Preparing to unpack .../51-libsub-install-perl_0.929-1_all.deb ... Unpacking libsub-install-perl (0.929-1) ... Selecting previously unselected package libdata-optlist-perl. Preparing to unpack .../52-libdata-optlist-perl_0.113-1_all.deb ... Unpacking libdata-optlist-perl (0.113-1) ... Selecting previously unselected package libsub-exporter-perl. Preparing to unpack .../53-libsub-exporter-perl_0.989-1_all.deb ... Unpacking libsub-exporter-perl (0.989-1) ... Selecting previously unselected package libsub-exporter-progressive-perl. Preparing to unpack .../54-libsub-exporter-progressive-perl_0.001013-3_all.deb ... Unpacking libsub-exporter-progressive-perl (0.001013-3) ... Selecting previously unselected package libconst-fast-perl. Preparing to unpack .../55-libconst-fast-perl_0.014-2_all.deb ... Unpacking libconst-fast-perl (0.014-2) ... Selecting previously unselected package libdevel-confess-perl. Preparing to unpack .../56-libdevel-confess-perl_0.009004-3_all.deb ... Unpacking libdevel-confess-perl (0.009004-3) ... Selecting previously unselected package libipc-run3-perl. Preparing to unpack .../57-libipc-run3-perl_0.048-3_all.deb ... Unpacking libipc-run3-perl (0.048-3) ... Selecting previously unselected package libb-hooks-op-check-perl:amd64. Preparing to unpack .../58-libb-hooks-op-check-perl_0.22-2+b1_amd64.deb ... Unpacking libb-hooks-op-check-perl:amd64 (0.22-2+b1) ... Selecting previously unselected package libdynaloader-functions-perl. Preparing to unpack .../59-libdynaloader-functions-perl_0.003-3_all.deb ... Unpacking libdynaloader-functions-perl (0.003-3) ... Selecting previously unselected package libdevel-callchecker-perl:amd64. Preparing to unpack .../60-libdevel-callchecker-perl_0.008-2_amd64.deb ... Unpacking libdevel-callchecker-perl:amd64 (0.008-2) ... Selecting previously unselected package libparams-classify-perl:amd64. Preparing to unpack .../61-libparams-classify-perl_0.015-2+b1_amd64.deb ... Unpacking libparams-classify-perl:amd64 (0.015-2+b1) ... Selecting previously unselected package libmodule-runtime-perl. Preparing to unpack .../62-libmodule-runtime-perl_0.016-2_all.deb ... Unpacking libmodule-runtime-perl (0.016-2) ... Selecting previously unselected package libtry-tiny-perl. Preparing to unpack .../63-libtry-tiny-perl_0.31-2_all.deb ... Unpacking libtry-tiny-perl (0.31-2) ... Selecting previously unselected package libmodule-implementation-perl. Preparing to unpack .../64-libmodule-implementation-perl_0.09-2_all.deb ... Unpacking libmodule-implementation-perl (0.09-2) ... Selecting previously unselected package liblist-someutils-perl. Preparing to unpack .../65-liblist-someutils-perl_0.59-1_all.deb ... Unpacking liblist-someutils-perl (0.59-1) ... Selecting previously unselected package libpath-tiny-perl. Preparing to unpack .../66-libpath-tiny-perl_0.144-1_all.deb ... Unpacking libpath-tiny-perl (0.144-1) ... Selecting previously unselected package libtimedate-perl. Preparing to unpack .../67-libtimedate-perl_2.3300-2_all.deb ... Unpacking libtimedate-perl (2.3300-2) ... Selecting previously unselected package libunicode-utf8-perl. Preparing to unpack .../68-libunicode-utf8-perl_0.62-2_amd64.deb ... Unpacking libunicode-utf8-perl (0.62-2) ... Selecting previously unselected package haskell-devscripts-minimal. Preparing to unpack .../69-haskell-devscripts-minimal_0.16.29_all.deb ... Unpacking haskell-devscripts-minimal (0.16.29) ... Selecting previously unselected package hscolour. Preparing to unpack .../70-hscolour_1.24.4-4+b1_amd64.deb ... Unpacking hscolour (1.24.4-4+b1) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../71-haskell-devscripts_0.16.29_all.deb ... Unpacking haskell-devscripts (0.16.29) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../72-libghc-hashable-dev_1.3.5.0-2+b3_amd64.deb ... Unpacking libghc-hashable-dev (1.3.5.0-2+b3) ... Selecting previously unselected package libghc-async-dev. Preparing to unpack .../73-libghc-async-dev_2.2.4-1+b2_amd64.deb ... Unpacking libghc-async-dev (2.2.4-1+b2) ... Selecting previously unselected package libghc-async-doc. Preparing to unpack .../74-libghc-async-doc_2.2.4-1_all.deb ... Unpacking libghc-async-doc (2.2.4-1) ... Selecting previously unselected package libghc-hashable-prof. Preparing to unpack .../75-libghc-hashable-prof_1.3.5.0-2+b3_amd64.deb ... Unpacking libghc-hashable-prof (1.3.5.0-2+b3) ... Selecting previously unselected package libghc-async-prof. Preparing to unpack .../76-libghc-async-prof_2.2.4-1+b2_amd64.deb ... Unpacking libghc-async-prof (2.2.4-1+b2) ... Selecting previously unselected package libghc-libbf-dev. Preparing to unpack .../77-libghc-libbf-dev_0.6.5.1-1_amd64.deb ... Unpacking libghc-libbf-dev (0.6.5.1-1) ... Selecting previously unselected package libghc-libbf-doc. Preparing to unpack .../78-libghc-libbf-doc_0.6.5.1-1_all.deb ... Unpacking libghc-libbf-doc (0.6.5.1-1) ... Selecting previously unselected package libghc-libbf-prof. Preparing to unpack .../79-libghc-libbf-prof_0.6.5.1-1_amd64.deb ... Unpacking libghc-libbf-prof (0.6.5.1-1) ... Selecting previously unselected package libghc-splitmix-dev. Preparing to unpack .../80-libghc-splitmix-dev_0.1.0.4-1+b3_amd64.deb ... Unpacking libghc-splitmix-dev (0.1.0.4-1+b3) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../81-libghc-random-dev_1.2.1.1-2+b3_amd64.deb ... Unpacking libghc-random-dev (1.2.1.1-2+b3) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../82-libghc-quickcheck2-dev_2.14.2-1+b3_amd64.deb ... Unpacking libghc-quickcheck2-dev (2.14.2-1+b3) ... Selecting previously unselected package libghc-quickcheck2-doc. Preparing to unpack .../83-libghc-quickcheck2-doc_2.14.2-1_all.deb ... Unpacking libghc-quickcheck2-doc (2.14.2-1) ... Selecting previously unselected package libghc-splitmix-prof. Preparing to unpack .../84-libghc-splitmix-prof_0.1.0.4-1+b3_amd64.deb ... Unpacking libghc-splitmix-prof (0.1.0.4-1+b3) ... Selecting previously unselected package libghc-random-prof. Preparing to unpack .../85-libghc-random-prof_1.2.1.1-2+b3_amd64.deb ... Unpacking libghc-random-prof (1.2.1.1-2+b3) ... Selecting previously unselected package libghc-quickcheck2-prof. Preparing to unpack .../86-libghc-quickcheck2-prof_2.14.2-1+b3_amd64.deb ... Unpacking libghc-quickcheck2-prof (2.14.2-1+b3) ... Selecting previously unselected package libghc-random-doc. Preparing to unpack .../87-libghc-random-doc_1.2.1.1-2_all.deb ... Unpacking libghc-random-doc (1.2.1.1-2) ... Selecting previously unselected package libghc-syb-dev. Preparing to unpack .../88-libghc-syb-dev_0.7.2.2-1_amd64.deb ... Unpacking libghc-syb-dev (0.7.2.2-1) ... Selecting previously unselected package libghc-syb-doc. Preparing to unpack .../89-libghc-syb-doc_0.7.2.2-1_all.deb ... Unpacking libghc-syb-doc (0.7.2.2-1) ... Selecting previously unselected package libghc-syb-prof. Preparing to unpack .../90-libghc-syb-prof_0.7.2.2-1_amd64.deb ... Unpacking libghc-syb-prof (0.7.2.2-1) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../91-libghc-unordered-containers-dev_0.2.17.0-2+b2_amd64.deb ... Unpacking libghc-unordered-containers-dev (0.2.17.0-2+b2) ... Selecting previously unselected package libghc-uniplate-dev. Preparing to unpack .../92-libghc-uniplate-dev_1.6.13-1+b3_amd64.deb ... Unpacking libghc-uniplate-dev (1.6.13-1+b3) ... Selecting previously unselected package libghc-uniplate-doc. Preparing to unpack .../93-libghc-uniplate-doc_1.6.13-1_all.deb ... Unpacking libghc-uniplate-doc (1.6.13-1) ... Selecting previously unselected package libghc-unordered-containers-prof. Preparing to unpack .../94-libghc-unordered-containers-prof_0.2.17.0-2+b2_amd64.deb ... Unpacking libghc-unordered-containers-prof (0.2.17.0-2+b2) ... Selecting previously unselected package libghc-uniplate-prof. Preparing to unpack .../95-libghc-uniplate-prof_1.6.13-1+b3_amd64.deb ... Unpacking libghc-uniplate-prof (1.6.13-1+b3) ... Setting up media-types (10.0.0) ... Setting up libpipeline1:amd64 (1.5.7-1) ... Setting up libpsl5:amd64 (0.21.2-1) ... Setting up hscolour (1.24.4-4+b1) ... Setting up libunicode-utf8-perl (0.62-2) ... Setting up fonts-mathjax (2.7.9+dfsg-1) ... Setting up libicu72:amd64 (72.1-3) ... Setting up bsdextrautils (2.38.1-5+b1) ... Setting up libjs-mathjax (2.7.9+dfsg-1) ... Setting up libdynaloader-functions-perl (0.003-3) ... Setting up libmagic-mgc (1:5.44-3) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libdebhelper-perl (13.11.4) ... Setting up libbrotli1:amd64 (1.0.9-2+b6) ... Setting up libtry-tiny-perl (0.31-2) ... Setting up libnghttp2-14:amd64 (1.52.0-1) ... Setting up libmagic1:amd64 (1:5.44-3) ... Setting up gettext-base (0.21-12) ... Setting up m4 (1.4.19-3) ... Setting up file (1:5.44-3) ... Setting up libffi-dev:amd64 (3.4.4-1) ... Setting up libsub-install-perl (0.929-1) ... Setting up libsasl2-modules-db:amd64 (2.1.28+dfsg-10) ... Setting up autotools-dev (20220109.1) ... Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up librtmp1:amd64 (2.4+20151223.gitfa8646d.1-2+b2) ... Setting up libncurses6:amd64 (6.4-4) ... Setting up autopoint (0.21-12) ... Setting up libb-hooks-op-check-perl:amd64 (0.22-2+b1) ... Setting up libparams-util-perl (1.102-2+b1) ... Setting up libsasl2-2:amd64 (2.1.28+dfsg-10) ... Setting up autoconf (2.71-3) ... Setting up libsub-exporter-progressive-perl (0.001013-3) ... Setting up libtimedate-perl (2.3300-2) ... Setting up libdevel-confess-perl (0.009004-3) ... Setting up sensible-utils (0.0.17+nmu1) ... Setting up libpath-tiny-perl (0.144-1) ... Setting up libuchardet0:amd64 (0.0.7-1) ... Setting up libmd-dev:amd64 (1.0.4-2) ... Setting up libipc-run3-perl (0.048-3) ... Setting up libsub-override-perl (0.09-4) ... Setting up libssh2-1:amd64 (1.10.0-3+b1) ... Setting up sgml-base (1.31) ... Setting up libbsd0:amd64 (0.11.7-2) ... Setting up libelf1:amd64 (0.188-2.1) ... Setting up readline-common (8.2-1.3) ... Setting up libxml2:amd64 (2.9.14+dfsg-1.2) ... Setting up libbsd-dev:amd64 (0.11.7-2) ... Setting up dctrl-tools (2.24-3+b1) ... Setting up automake (1:1.16.5-1.3) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.13.1-1) ... Setting up libncurses-dev:amd64 (6.4-4) ... Setting up gettext (0.21-12) ... Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ... Setting up libtool (2.4.7-5) ... Setting up ghc (9.0.2-4) ... 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-quickcheck2-doc (2.14.2-1) ... Setting up libreadline8:amd64 (8.2-1.3) ... Setting up libdevel-callchecker-perl:amd64 (0.008-2) ... Setting up libldap-2.5-0:amd64 (2.5.13+dfsg-5) ... Setting up libghc-libbf-doc (0.6.5.1-1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (20) ... Setting up libghc-async-doc (2.2.4-1) ... Setting up libghc-splitmix-dev (0.1.0.4-1+b3) ... Setting up ghc-doc (9.0.2-4) ... Setting up libdata-optlist-perl (0.113-1) ... Setting up dh-strip-nondeterminism (1.13.1-1) ... Setting up dwz (0.15-1) ... Setting up groff-base (1.22.4-10) ... Setting up libghc-syb-dev (0.7.2.2-1) ... Setting up libghc-uniplate-doc (1.6.13-1) ... Setting up libghc-random-doc (1.2.1.1-2) ... Setting up libsub-exporter-perl (0.989-1) ... Setting up libghc-hashable-dev (1.3.5.0-2+b3) ... Setting up libghc-syb-doc (0.7.2.2-1) ... Setting up ghc-prof (9.0.2-4) ... Setting up libghc-random-dev (1.2.1.1-2+b3) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up libpython3.11-stdlib:amd64 (3.11.2-6) ... Setting up libparams-classify-perl:amd64 (0.015-2+b1) ... Setting up libcurl3-gnutls:amd64 (7.88.1-10) ... Setting up man-db (2.11.2-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libghc-splitmix-prof (0.1.0.4-1+b3) ... Setting up libghc-hashable-prof (1.3.5.0-2+b3) ... Setting up libghc-quickcheck2-dev (2.14.2-1+b3) ... Setting up libmodule-runtime-perl (0.016-2) ... Setting up libghc-unordered-containers-dev (0.2.17.0-2+b2) ... Setting up libghc-libbf-dev (0.6.5.1-1) ... Setting up libghc-uniplate-dev (1.6.13-1+b3) ... Setting up libconst-fast-perl (0.014-2) ... Setting up libghc-async-dev (2.2.4-1+b2) ... Setting up libpython3-stdlib:amd64 (3.11.2-1+b1) ... Setting up libghc-unordered-containers-prof (0.2.17.0-2+b2) ... Setting up libghc-async-prof (2.2.4-1+b2) ... Setting up python3.11 (3.11.2-6) ... Setting up libghc-syb-prof (0.7.2.2-1) ... Setting up html-xml-utils (7.7-1.1) ... Setting up libmodule-implementation-perl (0.09-2) ... Setting up libghc-random-prof (1.2.1.1-2+b3) ... Setting up liblist-someutils-perl (0.59-1) ... Setting up debhelper (13.11.4) ... Setting up python3 (3.11.2-1+b1) ... Setting up libghc-uniplate-prof (1.6.13-1+b3) ... Setting up libghc-libbf-prof (0.6.5.1-1) ... Setting up python3-six (1.16.0-4) ... Setting up dh-buildinfo (0.11+nmu2) ... Setting up python3-pkg-resources (66.1.1-1) ... Setting up libghc-quickcheck2-prof (2.14.2-1+b3) ... Setting up python3-scour (0.38.2-2) ... Setting up scour (0.38.2-2) ... Setting up cdbs (0.4.166) ... Setting up haskell-devscripts-minimal (0.16.29) ... Setting up haskell-devscripts (0.16.29) ... Processing triggers for libc-bin (2.36-9) ... 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.17/ && 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.17-1_source.changes dpkg-buildpackage: info: source package haskell-sbv dpkg-buildpackage: info: source version 8.17-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Scott Talbert dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean test -x debian/rules dh_clean perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'clean_recipe' Running rm -rf dist dist-ghc dist-ghcjs dist-hugs Running rm -f debian/hlibrary.setup Running rm -f Setup.hi Setup.ho Setup.o Running rm -f rm -f configure-ghc-stamp rm -f build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -f check-ghc-stamp rm -f debian/tmp rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs rm -rf debian/tmp-db rm -f debian/hlibrary.Makefile 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 Adding cdbs dependencies to debian/libghc-sbv-doc.substvars dh_installdirs -plibghc-sbv-doc \ perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E '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 ... perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'configure_recipe' Running find . ! -newer /tmp/ZGiFWP_1KU -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc Running dh_listpackages libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc Running dpkg-buildflags --get LDFLAGS -Wl,-z,relro 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.17/ --datasubdir=sbv --htmldir=/usr/share/doc/libghc-sbv-doc/html/ --enable-library-profiling Using Parsec parser Configuring sbv-8.17... Dependency QuickCheck: using QuickCheck-2.14.2 Dependency array: using array-0.5.4.0 Dependency async: using async-2.2.4 Dependency base >=4.11 && <5: using base-4.15.1.0 Dependency containers: using containers-0.6.4.1 Dependency deepseq: using deepseq-1.4.5.0 Dependency directory: using directory-1.3.6.2 Dependency filepath: using filepath-1.4.2.1 Dependency libBF: using libBF-0.6.5.1 Dependency mtl: using mtl-2.2.2 Dependency pretty: using pretty-1.1.3.6 Dependency process: using process-1.6.13.2 Dependency random: using random-1.2.1.1 Dependency syb: using syb-0.7.2.2 Dependency template-haskell: using template-haskell-2.17.0.0 Dependency text: using text-1.2.5.0 Dependency time: using time-1.9.3 Dependency transformers: using transformers-0.5.6.2 Dependency uniplate: using uniplate-1.6.13 Source component graph: component lib Configured component graph: component sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB include QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG include array-0.5.4.0 include async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 include base-4.15.1.0 include containers-0.6.4.1 include deepseq-1.4.5.0 include directory-1.3.6.2 include filepath-1.4.2.1 include libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP include mtl-2.2.2 include pretty-1.1.3.6 include process-1.6.13.2 include random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba include syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH include template-haskell-2.17.0.0 include text-1.2.5.0 include time-1.9.3 include transformers-0.5.6.2 include uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j Linked component graph: unit sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB include QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG include array-0.5.4.0 include async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 include base-4.15.1.0 include containers-0.6.4.1 include deepseq-1.4.5.0 include directory-1.3.6.2 include filepath-1.4.2.1 include libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP include mtl-2.2.2 include pretty-1.1.3.6 include process-1.6.13.2 include random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba include syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH include template-haskell-2.17.0.0 include text-1.2.5.0 include time-1.9.3 include transformers-0.5.6.2 include uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j Data.SBV=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV,Data.SBV.Char=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Char,Data.SBV.Control=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Control,Data.SBV.Dynamic=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Dynamic,Data.SBV.Either=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Either,Data.SBV.Float=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Float,Data.SBV.Internals=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Internals,Data.SBV.List=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.List,Data.SBV.Maybe=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Maybe,Data.SBV.Rational=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Rational,Data.SBV.RegExp=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.RegExp,Data.SBV.Set=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Set,Data.SBV.String=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.String,Data.SBV.Tools.BMC=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.BMC,Data.SBV.Tools.BoundedFix=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.BoundedFix,Data.SBV.Tools.BoundedList=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.BoundedList,Data.SBV.Tools.CodeGen=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.CodeGen,Data.SBV.Tools.GenTest=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.GenTest,Data.SBV.Tools.Induction=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.Induction,Data.SBV.Tools.Overflow=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.Overflow,Data.SBV.Tools.Polynomial=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.Polynomial,Data.SBV.Tools.Range=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.Range,Data.SBV.Tools.STree=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.STree,Data.SBV.Tools.WeakestPreconditions=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tools.WeakestPreconditions,Data.SBV.Trans=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Trans,Data.SBV.Trans.Control=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Trans.Control,Data.SBV.Tuple=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Data.SBV.Tuple,Documentation.SBV.Examples.BitPrecise.BitTricks=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.BitPrecise.BitTricks,Documentation.SBV.Examples.BitPrecise.BrokenSearch=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.BitPrecise.BrokenSearch,Documentation.SBV.Examples.BitPrecise.Legato=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.BitPrecise.Legato,Documentation.SBV.Examples.BitPrecise.MergeSort=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.BitPrecise.MergeSort,Documentation.SBV.Examples.BitPrecise.MultMask=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.BitPrecise.MultMask,Documentation.SBV.Examples.BitPrecise.PrefixSum=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.BitPrecise.PrefixSum,Documentation.SBV.Examples.CodeGeneration.AddSub=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.CodeGeneration.AddSub,Documentation.SBV.Examples.CodeGeneration.CRC_USB5=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.CodeGeneration.CRC_USB5,Documentation.SBV.Examples.CodeGeneration.Fibonacci=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.CodeGeneration.Fibonacci,Documentation.SBV.Examples.CodeGeneration.GCD=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.CodeGeneration.GCD,Documentation.SBV.Examples.CodeGeneration.PopulationCount=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.CodeGeneration.PopulationCount,Documentation.SBV.Examples.CodeGeneration.Uninterpreted=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.CodeGeneration.Uninterpreted,Documentation.SBV.Examples.Crypto.AES=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Crypto.AES,Documentation.SBV.Examples.Crypto.RC4=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Crypto.RC4,Documentation.SBV.Examples.Crypto.SHA=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Crypto.SHA,Documentation.SBV.Examples.DeltaSat.DeltaSat=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.DeltaSat.DeltaSat,Documentation.SBV.Examples.Existentials.CRCPolynomial=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Existentials.CRCPolynomial,Documentation.SBV.Examples.Existentials.Diophantine=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Existentials.Diophantine,Documentation.SBV.Examples.Lists.BoundedMutex=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Lists.BoundedMutex,Documentation.SBV.Examples.Lists.Fibonacci=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Lists.Fibonacci,Documentation.SBV.Examples.Lists.Nested=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Lists.Nested,Documentation.SBV.Examples.Misc.Auxiliary=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.Auxiliary,Documentation.SBV.Examples.Misc.Enumerate=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.Enumerate,Documentation.SBV.Examples.Misc.Floating=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.Floating,Documentation.SBV.Examples.Misc.ModelExtract=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.ModelExtract,Documentation.SBV.Examples.Misc.NestedArray=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.NestedArray,Documentation.SBV.Examples.Misc.Newtypes=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.Newtypes,Documentation.SBV.Examples.Misc.NoDiv0=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.NoDiv0,Documentation.SBV.Examples.Misc.Polynomials=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.Polynomials,Documentation.SBV.Examples.Misc.SetAlgebra=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.SetAlgebra,Documentation.SBV.Examples.Misc.SoftConstrain=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.SoftConstrain,Documentation.SBV.Examples.Misc.Tuple=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Misc.Tuple,Documentation.SBV.Examples.Optimization.Enumerate=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Optimization.Enumerate,Documentation.SBV.Examples.Optimization.ExtField=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Optimization.ExtField,Documentation.SBV.Examples.Optimization.LinearOpt=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Optimization.LinearOpt,Documentation.SBV.Examples.Optimization.Production=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Optimization.Production,Documentation.SBV.Examples.Optimization.VM=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Optimization.VM,Documentation.SBV.Examples.ProofTools.BMC=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.ProofTools.BMC,Documentation.SBV.Examples.ProofTools.Fibonacci=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.ProofTools.Fibonacci,Documentation.SBV.Examples.ProofTools.Strengthen=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.ProofTools.Strengthen,Documentation.SBV.Examples.ProofTools.Sum=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.ProofTools.Sum,Documentation.SBV.Examples.Puzzles.Birthday=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Birthday,Documentation.SBV.Examples.Puzzles.Coins=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Coins,Documentation.SBV.Examples.Puzzles.Counts=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Counts,Documentation.SBV.Examples.Puzzles.DogCatMouse=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.DogCatMouse,Documentation.SBV.Examples.Puzzles.Euler185=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Euler185,Documentation.SBV.Examples.Puzzles.Fish=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Fish,Documentation.SBV.Examples.Puzzles.Garden=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Garden,Documentation.SBV.Examples.Puzzles.HexPuzzle=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.HexPuzzle,Documentation.SBV.Examples.Puzzles.LadyAndTigers=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.LadyAndTigers,Documentation.SBV.Examples.Puzzles.MagicSquare=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.MagicSquare,Documentation.SBV.Examples.Puzzles.Murder=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Murder,Documentation.SBV.Examples.Puzzles.NQueens=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.NQueens,Documentation.SBV.Examples.Puzzles.SendMoreMoney=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.SendMoreMoney,Documentation.SBV.Examples.Puzzles.Sudoku=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.Sudoku,Documentation.SBV.Examples.Puzzles.U2Bridge=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Puzzles.U2Bridge,Documentation.SBV.Examples.Queries.AllSat=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.AllSat,Documentation.SBV.Examples.Queries.CaseSplit=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.CaseSplit,Documentation.SBV.Examples.Queries.Concurrency=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.Concurrency,Documentation.SBV.Examples.Queries.Enums=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.Enums,Documentation.SBV.Examples.Queries.FourFours=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.FourFours,Documentation.SBV.Examples.Queries.GuessNumber=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.GuessNumber,Documentation.SBV.Examples.Queries.Interpolants=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.Interpolants,Documentation.SBV.Examples.Queries.UnsatCore=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Queries.UnsatCore,Documentation.SBV.Examples.Strings.RegexCrossword=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Strings.RegexCrossword,Documentation.SBV.Examples.Strings.SQLInjection=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Strings.SQLInjection,Documentation.SBV.Examples.Transformers.SymbolicEval=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Transformers.SymbolicEval,Documentation.SBV.Examples.Uninterpreted.AUF=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.AUF,Documentation.SBV.Examples.Uninterpreted.Deduce=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.Deduce,Documentation.SBV.Examples.Uninterpreted.Function=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.Function,Documentation.SBV.Examples.Uninterpreted.Multiply=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.Multiply,Documentation.SBV.Examples.Uninterpreted.Shannon=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.Shannon,Documentation.SBV.Examples.Uninterpreted.Sort=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.Sort,Documentation.SBV.Examples.Uninterpreted.UISortAllSat=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.Uninterpreted.UISortAllSat,Documentation.SBV.Examples.WeakestPreconditions.Append=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.Append,Documentation.SBV.Examples.WeakestPreconditions.Basics=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.Basics,Documentation.SBV.Examples.WeakestPreconditions.Fib=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.Fib,Documentation.SBV.Examples.WeakestPreconditions.GCD=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.GCD,Documentation.SBV.Examples.WeakestPreconditions.IntDiv=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.IntDiv,Documentation.SBV.Examples.WeakestPreconditions.IntSqrt=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.IntSqrt,Documentation.SBV.Examples.WeakestPreconditions.Length=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.Length,Documentation.SBV.Examples.WeakestPreconditions.Sum=sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB:Documentation.SBV.Examples.WeakestPreconditions.Sum Ready component graph: definite sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG depends array-0.5.4.0 depends async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 depends base-4.15.1.0 depends containers-0.6.4.1 depends deepseq-1.4.5.0 depends directory-1.3.6.2 depends filepath-1.4.2.1 depends libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP depends mtl-2.2.2 depends pretty-1.1.3.6 depends process-1.6.13.2 depends random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba depends syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH depends template-haskell-2.17.0.0 depends text-1.2.5.0 depends time-1.9.3 depends transformers-0.5.6.2 depends uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j Using Cabal-3.4.1.0 compiled by ghc-9.0 Using compiler: ghc-9.0.2 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 Private executables installed in: /usr/lib/x86_64-linux-ghc-9.0.2/sbv-8.17 Data files installed in: /usr/share/sbv Documentation installed in: /usr/share/doc/x86_64-linux-ghc-9.0.2/sbv-8.17 Configuration files installed in: /usr/etc No alex found Using ar found on system at: /usr/bin/x86_64-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 12 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 9.0.2 found on system at: /usr/bin/ghc Using ghc-pkg version 9.0.2 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.25.1 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.68 found on system at: /usr/bin/hpc Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs Using hscolour version 1.24 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/x86_64-linux-gnu-ld.gold No pkg-config found Using runghc version 9.0.2 found on system at: /usr/bin/runghc Using strip version 2.40 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found touch configure-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'build_recipe' Running dh_listpackages libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc Preprocessing library for sbv-8.17.. Building library for sbv-8.17.. [ 1 of 149] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.o, dist-ghc/build/Data/SBV/Control/Types.dyn_o ) [ 2 of 149] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.o, dist-ghc/build/Data/SBV/Core/AlgReals.dyn_o ) [ 3 of 149] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.o, dist-ghc/build/Data/SBV/SMT/SMTLibNames.dyn_o ) [ 4 of 149] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.o, dist-ghc/build/Data/SBV/Utils/ExtractIO.dyn_o ) [ 5 of 149] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.o, dist-ghc/build/Data/SBV/Utils/Lib.dyn_o ) [ 6 of 149] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.o, dist-ghc/build/Data/SBV/Core/Kind.dyn_o ) [ 7 of 149] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.o, dist-ghc/build/Data/SBV/Utils/Numeric.dyn_o ) [ 8 of 149] Compiling Data.SBV.Core.SizedFloats ( Data/SBV/Core/SizedFloats.hs, dist-ghc/build/Data/SBV/Core/SizedFloats.o, dist-ghc/build/Data/SBV/Core/SizedFloats.dyn_o ) [ 9 of 149] Compiling Data.SBV.Float ( Data/SBV/Float.hs, dist-ghc/build/Data/SBV/Float.o, dist-ghc/build/Data/SBV/Float.dyn_o ) [ 10 of 149] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.o, dist-ghc/build/Data/SBV/Core/Concrete.dyn_o ) [ 11 of 149] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.o, dist-ghc/build/Data/SBV/Utils/TDiff.dyn_o ) [ 12 of 149] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.o, dist-ghc/build/Data/SBV/Core/Symbolic.dyn_o ) [ 13 of 149] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.o, dist-ghc/build/Data/SBV/Core/Operations.dyn_o ) [ 14 of 149] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.o, dist-ghc/build/Data/SBV/Core/Data.dyn_o ) [ 15 of 149] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.o, dist-ghc/build/Data/SBV/Utils/SExpr.dyn_o ) [ 16 of 149] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.o, dist-ghc/build/Data/SBV/Utils/PrettyNum.dyn_o ) [ 17 of 149] Compiling Data.SBV.Utils.CrackNum ( Data/SBV/Utils/CrackNum.hs, dist-ghc/build/Data/SBV/Utils/CrackNum.o, dist-ghc/build/Data/SBV/Utils/CrackNum.dyn_o ) [ 18 of 149] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.o, dist-ghc/build/Data/SBV/Tools/GenTest.dyn_o ) [ 19 of 149] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.o, dist-ghc/build/Data/SBV/SMT/Utils.dyn_o ) [ 20 of 149] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.o, dist-ghc/build/Data/SBV/SMT/SMTLib2.dyn_o ) [ 21 of 149] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.o, dist-ghc/build/Data/SBV/SMT/SMTLib.dyn_o ) [ 22 of 149] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.o, dist-ghc/build/Data/SBV/SMT/SMT.dyn_o ) [ 23 of 149] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.o, dist-ghc/build/Data/SBV/Provers/Z3.dyn_o ) [ 24 of 149] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.o, dist-ghc/build/Data/SBV/Provers/Yices.dyn_o ) [ 25 of 149] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.o, dist-ghc/build/Data/SBV/Provers/MathSAT.dyn_o ) [ 26 of 149] Compiling Data.SBV.Provers.DReal ( Data/SBV/Provers/DReal.hs, dist-ghc/build/Data/SBV/Provers/DReal.o, dist-ghc/build/Data/SBV/Provers/DReal.dyn_o ) [ 27 of 149] Compiling Data.SBV.Provers.CVC5 ( Data/SBV/Provers/CVC5.hs, dist-ghc/build/Data/SBV/Provers/CVC5.o, dist-ghc/build/Data/SBV/Provers/CVC5.dyn_o ) [ 28 of 149] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.o, dist-ghc/build/Data/SBV/Provers/CVC4.dyn_o ) [ 29 of 149] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.o, dist-ghc/build/Data/SBV/Provers/Boolector.dyn_o ) [ 30 of 149] Compiling Data.SBV.Provers.Bitwuzla ( Data/SBV/Provers/Bitwuzla.hs, dist-ghc/build/Data/SBV/Provers/Bitwuzla.o, dist-ghc/build/Data/SBV/Provers/Bitwuzla.dyn_o ) [ 31 of 149] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.o, dist-ghc/build/Data/SBV/Provers/ABC.dyn_o ) [ 32 of 149] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.o, dist-ghc/build/Data/SBV/Control/Utils.dyn_o ) [ 33 of 149] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.o, dist-ghc/build/Data/SBV/Control/Query.dyn_o ) [ 34 of 149] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.o, dist-ghc/build/Data/SBV/Trans/Control.dyn_o ) [ 35 of 149] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.o, dist-ghc/build/Data/SBV/Provers/Prover.dyn_o ) [ 36 of 149] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.o, dist-ghc/build/Data/SBV/Core/Model.dyn_o ) [ 37 of 149] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.o, dist-ghc/build/Data/SBV/Tuple.dyn_o ) [ 38 of 149] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.o, dist-ghc/build/Data/SBV/Tools/STree.dyn_o ) [ 39 of 149] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.o, dist-ghc/build/Data/SBV/String.dyn_o ) [ 40 of 149] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.o, dist-ghc/build/Data/SBV/Set.dyn_o ) [ 41 of 149] Compiling Data.SBV.Rational ( Data/SBV/Rational.hs, dist-ghc/build/Data/SBV/Rational.o, dist-ghc/build/Data/SBV/Rational.dyn_o ) [ 42 of 149] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.o, dist-ghc/build/Data/SBV/Maybe.dyn_o ) [ 43 of 149] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.o, dist-ghc/build/Data/SBV/List.dyn_o ) [ 44 of 149] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.o, dist-ghc/build/Data/SBV/Either.dyn_o ) [ 45 of 149] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.o, dist-ghc/build/Data/SBV/Core/Sized.dyn_o ) [ 46 of 149] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.o, dist-ghc/build/Data/SBV/Tools/Polynomial.dyn_o ) [ 47 of 149] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.o, dist-ghc/build/Data/SBV/Tools/Overflow.dyn_o ) [ 48 of 149] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.o, dist-ghc/build/Data/SBV/Core/Floating.dyn_o ) [ 49 of 149] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.o, dist-ghc/build/Data/SBV/Char.dyn_o ) [ 50 of 149] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.o, dist-ghc/build/Data/SBV/RegExp.dyn_o ) [ 51 of 149] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.o, dist-ghc/build/Data/SBV/Client.dyn_o ) [ 52 of 149] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.o, dist-ghc/build/Data/SBV/Control/BaseIO.dyn_o ) [ 53 of 149] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.o, dist-ghc/build/Data/SBV/Control.dyn_o ) [ 54 of 149] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.o, dist-ghc/build/Data/SBV/Compilers/CodeGen.dyn_o ) [ 55 of 149] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.o, dist-ghc/build/Data/SBV/Compilers/C.dyn_o ) [ 56 of 149] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.o, dist-ghc/build/Data/SBV/Tools/CodeGen.dyn_o ) [ 57 of 149] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.o, dist-ghc/build/Data/SBV/Internals.dyn_o ) [ 58 of 149] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.o, dist-ghc/build/Data/SBV/Client/BaseIO.dyn_o ) [ 59 of 149] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.o, dist-ghc/build/Data/SBV/Trans.dyn_o ) [ 60 of 149] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.o, dist-ghc/build/Data/SBV.dyn_o ) [ 61 of 149] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.o, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.dyn_o ) [ 62 of 149] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.o, dist-ghc/build/Data/SBV/Tools/Range.dyn_o ) [ 63 of 149] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.o, dist-ghc/build/Data/SBV/Tools/Induction.dyn_o ) [ 64 of 149] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.o, dist-ghc/build/Data/SBV/Tools/BoundedList.dyn_o ) [ 65 of 149] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.o, dist-ghc/build/Data/SBV/Tools/BoundedFix.dyn_o ) [ 66 of 149] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.o, dist-ghc/build/Data/SBV/Tools/BMC.dyn_o ) [ 67 of 149] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.o, dist-ghc/build/Data/SBV/Dynamic.dyn_o ) [ 68 of 149] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.o, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.dyn_o ) [ 69 of 149] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.o, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.dyn_o ) [ 70 of 149] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.o, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.dyn_o ) [ 71 of 149] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.o, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.dyn_o ) [ 72 of 149] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.o, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.dyn_o ) [ 73 of 149] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.o, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.dyn_o ) [ 74 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.o, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.dyn_o ) [ 75 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.o, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.dyn_o ) [ 76 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.o, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.dyn_o ) [ 77 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.o, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.dyn_o ) [ 78 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.o, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.dyn_o ) [ 79 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.o, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.dyn_o ) [ 80 of 149] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.o, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.dyn_o ) [ 81 of 149] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.o, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.dyn_o ) [ 82 of 149] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.o, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.dyn_o ) [ 83 of 149] Compiling Documentation.SBV.Examples.DeltaSat.DeltaSat ( Documentation/SBV/Examples/DeltaSat/DeltaSat.hs, dist-ghc/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.o, dist-ghc/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.dyn_o ) [ 84 of 149] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.o, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.dyn_o ) [ 85 of 149] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.o, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.dyn_o ) [ 86 of 149] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.o, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.dyn_o ) [ 87 of 149] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.o, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.dyn_o ) [ 88 of 149] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.o, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.dyn_o ) [ 89 of 149] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.dyn_o ) [ 90 of 149] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.dyn_o ) [ 91 of 149] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.dyn_o ) [ 92 of 149] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.o, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.dyn_o ) [ 93 of 149] Compiling Documentation.SBV.Examples.Misc.NestedArray ( Documentation/SBV/Examples/Misc/NestedArray.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NestedArray.o, dist-ghc/build/Documentation/SBV/Examples/Misc/NestedArray.dyn_o ) [ 94 of 149] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.dyn_o ) [ 95 of 149] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.o, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.dyn_o ) [ 96 of 149] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.dyn_o ) [ 97 of 149] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.o, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.dyn_o ) [ 98 of 149] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.o, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.dyn_o ) [ 99 of 149] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.dyn_o ) [100 of 149] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.o, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.dyn_o ) [101 of 149] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.o, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.dyn_o ) [102 of 149] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.o, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.dyn_o ) [103 of 149] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.o, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.dyn_o ) [104 of 149] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.o, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.dyn_o ) [105 of 149] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.o, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.dyn_o ) [106 of 149] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.o, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.dyn_o ) [107 of 149] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.o, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.dyn_o ) [108 of 149] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.o, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.dyn_o ) [109 of 149] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.dyn_o ) [110 of 149] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.dyn_o ) [111 of 149] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.dyn_o ) [112 of 149] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.dyn_o ) [113 of 149] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.dyn_o ) [114 of 149] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.dyn_o ) [115 of 149] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.dyn_o ) [116 of 149] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.dyn_o ) [117 of 149] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.dyn_o ) [118 of 149] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.dyn_o ) [119 of 149] Compiling Documentation.SBV.Examples.Puzzles.Murder ( Documentation/SBV/Examples/Puzzles/Murder.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Murder.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Murder.dyn_o ) [120 of 149] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.dyn_o ) [121 of 149] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.dyn_o ) [122 of 149] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.dyn_o ) [123 of 149] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.dyn_o ) [124 of 149] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.o, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.dyn_o ) [125 of 149] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.o, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.dyn_o ) [126 of 149] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.o, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.dyn_o ) [127 of 149] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.o, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.dyn_o ) [128 of 149] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.o, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.dyn_o ) [129 of 149] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.o, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.dyn_o ) [130 of 149] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.o, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.dyn_o ) [131 of 149] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.o, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.dyn_o ) [132 of 149] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.o, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.dyn_o ) [133 of 149] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.o, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.dyn_o ) [134 of 149] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.o, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.dyn_o ) [135 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.dyn_o ) [136 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.dyn_o ) [137 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.dyn_o ) [138 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.dyn_o ) [139 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.dyn_o ) [140 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.dyn_o ) [141 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.o, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.dyn_o ) [142 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.dyn_o ) [143 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.dyn_o ) [144 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.dyn_o ) [145 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.dyn_o ) [146 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.dyn_o ) [147 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.dyn_o ) [148 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.dyn_o ) [149 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.o, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.dyn_o ) [ 1 of 149] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.p_o ) [ 2 of 149] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.p_o ) [ 3 of 149] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.p_o ) [ 4 of 149] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.p_o ) [ 5 of 149] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.p_o ) [ 6 of 149] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.p_o ) [ 7 of 149] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.p_o ) [ 8 of 149] Compiling Data.SBV.Core.SizedFloats ( Data/SBV/Core/SizedFloats.hs, dist-ghc/build/Data/SBV/Core/SizedFloats.p_o ) [ 9 of 149] Compiling Data.SBV.Float ( Data/SBV/Float.hs, dist-ghc/build/Data/SBV/Float.p_o ) [ 10 of 149] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.p_o ) [ 11 of 149] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.p_o ) [ 12 of 149] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.p_o ) [ 13 of 149] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.p_o ) [ 14 of 149] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.p_o ) [ 15 of 149] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.p_o ) [ 16 of 149] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.p_o ) [ 17 of 149] Compiling Data.SBV.Utils.CrackNum ( Data/SBV/Utils/CrackNum.hs, dist-ghc/build/Data/SBV/Utils/CrackNum.p_o ) [ 18 of 149] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.p_o ) [ 19 of 149] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.p_o ) [ 20 of 149] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.p_o ) [ 21 of 149] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.p_o ) [ 22 of 149] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.p_o ) [ 23 of 149] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.p_o ) [ 24 of 149] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.p_o ) [ 25 of 149] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.p_o ) [ 26 of 149] Compiling Data.SBV.Provers.DReal ( Data/SBV/Provers/DReal.hs, dist-ghc/build/Data/SBV/Provers/DReal.p_o ) [ 27 of 149] Compiling Data.SBV.Provers.CVC5 ( Data/SBV/Provers/CVC5.hs, dist-ghc/build/Data/SBV/Provers/CVC5.p_o ) [ 28 of 149] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.p_o ) [ 29 of 149] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.p_o ) [ 30 of 149] Compiling Data.SBV.Provers.Bitwuzla ( Data/SBV/Provers/Bitwuzla.hs, dist-ghc/build/Data/SBV/Provers/Bitwuzla.p_o ) [ 31 of 149] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.p_o ) [ 32 of 149] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.p_o ) [ 33 of 149] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.p_o ) [ 34 of 149] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.p_o ) [ 35 of 149] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.p_o ) [ 36 of 149] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.p_o ) [ 37 of 149] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.p_o ) [ 38 of 149] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.p_o ) [ 39 of 149] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.p_o ) [ 40 of 149] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.p_o ) [ 41 of 149] Compiling Data.SBV.Rational ( Data/SBV/Rational.hs, dist-ghc/build/Data/SBV/Rational.p_o ) [ 42 of 149] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.p_o ) [ 43 of 149] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.p_o ) [ 44 of 149] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.p_o ) [ 45 of 149] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.p_o ) [ 46 of 149] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.p_o ) [ 47 of 149] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.p_o ) [ 48 of 149] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.p_o ) [ 49 of 149] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.p_o ) [ 50 of 149] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.p_o ) [ 51 of 149] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.p_o ) [ 52 of 149] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.p_o ) [ 53 of 149] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.p_o ) [ 54 of 149] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.p_o ) [ 55 of 149] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.p_o ) [ 56 of 149] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.p_o ) [ 57 of 149] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.p_o ) [ 58 of 149] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.p_o ) [ 59 of 149] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.p_o ) [ 60 of 149] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.p_o ) [ 61 of 149] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.p_o ) [ 62 of 149] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.p_o ) [ 63 of 149] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.p_o ) [ 64 of 149] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.p_o ) [ 65 of 149] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.p_o ) [ 66 of 149] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.p_o ) [ 67 of 149] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.p_o ) [ 68 of 149] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.p_o ) [ 69 of 149] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.p_o ) [ 70 of 149] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.p_o ) [ 71 of 149] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.p_o ) [ 72 of 149] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.p_o ) [ 73 of 149] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.p_o ) [ 74 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.p_o ) [ 75 of 149] 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 ) [ 76 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.p_o ) [ 77 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.p_o ) [ 78 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.p_o ) [ 79 of 149] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.p_o ) [ 80 of 149] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.p_o ) [ 81 of 149] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.p_o ) [ 82 of 149] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.p_o ) [ 83 of 149] Compiling Documentation.SBV.Examples.DeltaSat.DeltaSat ( Documentation/SBV/Examples/DeltaSat/DeltaSat.hs, dist-ghc/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.p_o ) [ 84 of 149] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.p_o ) [ 85 of 149] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.p_o ) [ 86 of 149] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.p_o ) [ 87 of 149] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.p_o ) [ 88 of 149] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.p_o ) [ 89 of 149] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.p_o ) [ 90 of 149] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.p_o ) [ 91 of 149] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.p_o ) [ 92 of 149] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.p_o ) [ 93 of 149] Compiling Documentation.SBV.Examples.Misc.NestedArray ( Documentation/SBV/Examples/Misc/NestedArray.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NestedArray.p_o ) [ 94 of 149] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.p_o ) [ 95 of 149] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.p_o ) [ 96 of 149] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.p_o ) [ 97 of 149] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.p_o ) [ 98 of 149] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.p_o ) [ 99 of 149] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.p_o ) [100 of 149] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.p_o ) [101 of 149] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.p_o ) [102 of 149] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.p_o ) [103 of 149] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.p_o ) [104 of 149] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.p_o ) [105 of 149] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.p_o ) [106 of 149] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.p_o ) [107 of 149] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.p_o ) [108 of 149] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.p_o ) [109 of 149] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.p_o ) [110 of 149] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.p_o ) [111 of 149] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.p_o ) [112 of 149] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.p_o ) [113 of 149] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.p_o ) [114 of 149] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.p_o ) [115 of 149] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.p_o ) [116 of 149] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.p_o ) [117 of 149] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.p_o ) [118 of 149] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.p_o ) [119 of 149] Compiling Documentation.SBV.Examples.Puzzles.Murder ( Documentation/SBV/Examples/Puzzles/Murder.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Murder.p_o ) [120 of 149] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.p_o ) [121 of 149] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.p_o ) [122 of 149] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.p_o ) [123 of 149] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.p_o ) [124 of 149] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.p_o ) [125 of 149] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.p_o ) [126 of 149] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.p_o ) [127 of 149] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.p_o ) [128 of 149] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.p_o ) [129 of 149] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.p_o ) [130 of 149] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.p_o ) [131 of 149] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.p_o ) [132 of 149] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.p_o ) [133 of 149] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.p_o ) [134 of 149] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.p_o ) [135 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.p_o ) [136 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.p_o ) [137 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.p_o ) [138 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.p_o ) [139 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.p_o ) [140 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.p_o ) [141 of 149] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.p_o ) [142 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.p_o ) [143 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.p_o ) [144 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.p_o ) [145 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.p_o ) [146 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.p_o ) [147 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.p_o ) [148 of 149] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.p_o ) [149 of 149] 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 perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'check_recipe' DEB_ENABLE_TESTS not set to yes, not running any build-time tests. touch check-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'haddock_recipe' Running dh_listpackages libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc 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.17.. Running Haddock on library for sbv-8.17.. 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-response2747632-1.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' 100% ( 15 / 15) in 'Data.SBV.Float' 100% ( 7 / 7) in 'Data.SBV.Tools.GenTest' 100% ( 68 / 68) in 'Data.SBV.Trans.Control' 100% ( 14 / 14) in 'Data.SBV.Tuple' 100% ( 5 / 5) in 'Data.SBV.Tools.STree' 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% ( 3 / 3) in 'Data.SBV.Rational' 100% ( 15 / 15) 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% ( 7 / 7) in 'Data.SBV.Tools.Overflow' 100% ( 35 / 35) 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% (269 /269) in 'Data.SBV.Internals' 100% (286 /286) in 'Data.SBV.Trans' 100% (457 /457) 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% (189 /189) 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% ( 2 / 2) in 'Documentation.SBV.Examples.DeltaSat.DeltaSat' 100% ( 6 / 6) in 'Documentation.SBV.Examples.Existentials.CRCPolynomial' 100% ( 9 / 9) in 'Documentation.SBV.Examples.Existentials.Diophantine' 73% ( 8 / 11) in 'Documentation.SBV.Examples.Lists.BoundedMutex' Missing documentation for: sCritical (Documentation/SBV/Examples/Lists/BoundedMutex.hs:37) sReady (Documentation/SBV/Examples/Lists/BoundedMutex.hs:37) sIdle (Documentation/SBV/Examples/Lists/BoundedMutex.hs:37) 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' 70% ( 7 / 10) in 'Documentation.SBV.Examples.Misc.Enumerate' Missing documentation for: sC (Documentation/SBV/Examples/Misc/Enumerate.hs:37) sB (Documentation/SBV/Examples/Misc/Enumerate.hs:37) sA (Documentation/SBV/Examples/Misc/Enumerate.hs:37) 100% ( 11 / 11) in 'Documentation.SBV.Examples.Misc.Floating' 100% ( 3 / 3) in 'Documentation.SBV.Examples.Misc.ModelExtract' 100% ( 2 / 2) in 'Documentation.SBV.Examples.Misc.NestedArray' 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' 50% ( 7 / 14) in 'Documentation.SBV.Examples.Optimization.Enumerate' Missing documentation for: sSun (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) sSat (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) sFri (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) sThu (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) sWed (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) sTue (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) sMon (Documentation/SBV/Examples/Optimization/Enumerate.hs:30) 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' 32% ( 12 / 37) in 'Documentation.SBV.Examples.Puzzles.Fish' Missing documentation for: sBlue (Documentation/SBV/Examples/Puzzles/Fish.hs:46) sYellow (Documentation/SBV/Examples/Puzzles/Fish.hs:46) sWhite (Documentation/SBV/Examples/Puzzles/Fish.hs:46) sGreen (Documentation/SBV/Examples/Puzzles/Fish.hs:46) sRed (Documentation/SBV/Examples/Puzzles/Fish.hs:46) sGerman (Documentation/SBV/Examples/Puzzles/Fish.hs:52) sNorwegian (Documentation/SBV/Examples/Puzzles/Fish.hs:52) sSwede (Documentation/SBV/Examples/Puzzles/Fish.hs:52) sDane (Documentation/SBV/Examples/Puzzles/Fish.hs:52) sBriton (Documentation/SBV/Examples/Puzzles/Fish.hs:52) sWater (Documentation/SBV/Examples/Puzzles/Fish.hs:58) sBeer (Documentation/SBV/Examples/Puzzles/Fish.hs:58) sMilk (Documentation/SBV/Examples/Puzzles/Fish.hs:58) sCoffee (Documentation/SBV/Examples/Puzzles/Fish.hs:58) sTea (Documentation/SBV/Examples/Puzzles/Fish.hs:58) sFish (Documentation/SBV/Examples/Puzzles/Fish.hs:64) sBird (Documentation/SBV/Examples/Puzzles/Fish.hs:64) sCat (Documentation/SBV/Examples/Puzzles/Fish.hs:64) sHorse (Documentation/SBV/Examples/Puzzles/Fish.hs:64) sDog (Documentation/SBV/Examples/Puzzles/Fish.hs:64) sTennis (Documentation/SBV/Examples/Puzzles/Fish.hs:70) sHockey (Documentation/SBV/Examples/Puzzles/Fish.hs:70) sVolleyball (Documentation/SBV/Examples/Puzzles/Fish.hs:70) sBaseball (Documentation/SBV/Examples/Puzzles/Fish.hs:70) sFootball (Documentation/SBV/Examples/Puzzles/Fish.hs:70) 75% ( 9 / 12) in 'Documentation.SBV.Examples.Puzzles.Garden' Missing documentation for: sBlue (Documentation/SBV/Examples/Puzzles/Garden.hs:48) sYellow (Documentation/SBV/Examples/Puzzles/Garden.hs:48) sRed (Documentation/SBV/Examples/Puzzles/Garden.hs:48) 69% ( 9 / 13) in 'Documentation.SBV.Examples.Puzzles.HexPuzzle' Missing documentation for: sRed (Documentation/SBV/Examples/Puzzles/HexPuzzle.hs:59) sGreen (Documentation/SBV/Examples/Puzzles/HexPuzzle.hs:59) sBlue (Documentation/SBV/Examples/Puzzles/HexPuzzle.hs:59) sBlack (Documentation/SBV/Examples/Puzzles/HexPuzzle.hs:59) 100% ( 2 / 2) in 'Documentation.SBV.Examples.Puzzles.LadyAndTigers' 100% ( 9 / 9) in 'Documentation.SBV.Examples.Puzzles.MagicSquare' 48% ( 10 / 21) in 'Documentation.SBV.Examples.Puzzles.Murder' Missing documentation for: SLocation (Documentation/SBV/Examples/Puzzles/Murder.hs:48) sAlone (Documentation/SBV/Examples/Puzzles/Murder.hs:48) sBeach (Documentation/SBV/Examples/Puzzles/Murder.hs:48) sBar (Documentation/SBV/Examples/Puzzles/Murder.hs:48) SSex (Documentation/SBV/Examples/Puzzles/Murder.hs:49) sFemale (Documentation/SBV/Examples/Puzzles/Murder.hs:49) sMale (Documentation/SBV/Examples/Puzzles/Murder.hs:49) SRole (Documentation/SBV/Examples/Puzzles/Murder.hs:50) sBystander (Documentation/SBV/Examples/Puzzles/Murder.hs:50) sKiller (Documentation/SBV/Examples/Puzzles/Murder.hs:50) sVictim (Documentation/SBV/Examples/Puzzles/Murder.hs:50) 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' 83% ( 30 / 36) in 'Documentation.SBV.Examples.Puzzles.U2Bridge' Missing documentation for: sLarry (Documentation/SBV/Examples/Puzzles/U2Bridge.hs:41) sAdam (Documentation/SBV/Examples/Puzzles/U2Bridge.hs:41) sEdge (Documentation/SBV/Examples/Puzzles/U2Bridge.hs:41) sBono (Documentation/SBV/Examples/Puzzles/U2Bridge.hs:41) sThere (Documentation/SBV/Examples/Puzzles/U2Bridge.hs:67) sHere (Documentation/SBV/Examples/Puzzles/U2Bridge.hs:67) 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' 36% ( 4 / 11) in 'Documentation.SBV.Examples.Queries.Enums' Missing documentation for: sSunday (Documentation/SBV/Examples/Queries/Enums.hs:29) sSaturday (Documentation/SBV/Examples/Queries/Enums.hs:29) sFriday (Documentation/SBV/Examples/Queries/Enums.hs:29) sThursday (Documentation/SBV/Examples/Queries/Enums.hs:29) sWednesday (Documentation/SBV/Examples/Queries/Enums.hs:29) sTuesday (Documentation/SBV/Examples/Queries/Enums.hs:29) sMonday (Documentation/SBV/Examples/Queries/Enums.hs:29) 62% ( 13 / 21) in 'Documentation.SBV.Examples.Queries.FourFours' Missing documentation for: sExpt (Documentation/SBV/Examples/Queries/FourFours.hs:45) sDivide (Documentation/SBV/Examples/Queries/FourFours.hs:45) sTimes (Documentation/SBV/Examples/Queries/FourFours.hs:45) sMinus (Documentation/SBV/Examples/Queries/FourFours.hs:45) sPlus (Documentation/SBV/Examples/Queries/FourFours.hs:45) sFactorial (Documentation/SBV/Examples/Queries/FourFours.hs:52) sSqrt (Documentation/SBV/Examples/Queries/FourFours.hs:52) sNegate (Documentation/SBV/Examples/Queries/FourFours.hs:52) 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% ( 5 / 5) 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% ( 6 / 6) in 'Documentation.SBV.Examples.Uninterpreted.Sort' 100% ( 5 / 5) 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: - Data.SBV.Control.Utils.SMTFunction - Data.SBV.Core.Symbolic.Name - Data.SBV.Control.Query.Assignment Warning: Data.SBV.Tuple: could not find link destinations for: - Data.SBV.Tuple.HasField - Data.SBV.Tuple.Tuple Warning: Data.SBV.Tools.STree: could not find link destinations for: - Data.SBV.Tools.STree.STreeInternal Warning: Data.SBV.Control: could not find link destinations for: - Data.SBV.Control.Utils.SMTFunction - Data.SBV.Core.Symbolic.Name - Data.SBV.Control.Query.Assignment Warning: Data.SBV.Internals: could not find link destinations for: - Data.SBV.Core.Symbolic.CnstMap - Data.SBV.Core.Symbolic.ArrayIndex - Data.SBV.Core.Symbolic.NROp - Data.SBV.Core.Symbolic.OvOp - Data.SBV.Core.Symbolic.SetOp - Data.SBV.Core.Symbolic.Name - Data.SBV.Core.Kind.constructUKind - Data.SBV.Core.Symbolic.SMTEngine Warning: Data.SBV.Trans: could not find link destinations for: - Data.SBV.Core.Kind.BVZeroWidth - Data.SBV.Client.BaseIO.FromSizedBV - Data.SBV.Client.BaseIO.ToSizedBV - Data.SBV.Core.Model.GMergeable - Data.SBV.Core.Model.minimize - Data.SBV.Core.Model.maximize - Data.SBV.Core.Symbolic.SMTEngine - Data.SBV.Core.Kind.constructUKind Warning: Data.SBV: could not find link destinations for: - Data.SBV.Core.Kind.BVZeroWidth - Data.SBV.Client.BaseIO.FromSizedBV - Data.SBV.Client.BaseIO.ToSizedBV - Data.SBV.Core.Kind.InvalidFloat - Data.SBV.Core.Model.GMergeable - Data.SBV.Core.Model.minimize - Data.SBV.Core.Model.maximize - Data.SBV.Core.Symbolic.SMTEngine - Data.SBV.Core.Kind.constructUKind Warning: Data.SBV.Tools.WeakestPreconditions: could not find link destinations for: - Data.SBV.Tools.WeakestPreconditions.Loc Warning: Data.SBV.Dynamic: could not find link destinations for: - Data.SBV.Core.Kind.constructUKind - Data.SBV.Core.Symbolic.SMTEngine Documentation created: dist-ghc/doc/html/sbv/index.html, dist-ghc/doc/html/sbv/sbv.txt touch build-haddock-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'install_recipe($ARGV[0])' "debian/tmp-inst-ghc" Running dh_listpackages libghc-sbv-dev libghc-sbv-prof libghc-sbv-doc Running debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp : dh_haskell_install_htmldocs --package=libghc-sbv-doc --source-dir="debian/tmp-inst-ghc" Running find ./usr/share/doc/libghc-sbv-doc/html/ ! -name *.haddock ! -type d -exec install -D --mode=644 {} /build/haskell-sbv-8.17/debian/libghc-sbv-doc/{} ; Running mkdir --parents debian/libghc-sbv-doc/usr/lib/ghc-doc/hoogle Running ln --symbolic --relative --no-target-directory 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 dh_haskell_install_haddock --package=libghc-sbv-doc --source-dir="debian/tmp-inst-ghc" Running mkdir --parents debian/libghc-sbv-doc/usr/lib/ghc-doc/haddock/sbv-8.17/ Running cp --recursive debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/sbv-8.17/sbv.haddock debian/libghc-sbv-doc/usr/lib/ghc-doc/haddock/sbv-8.17/ dh_haskell_depends_haddock --package=libghc-sbv-doc Running haddock --interface-version 38 dh_haskell_recommends_documentation_references --package=libghc-sbv-doc Finding all links in the documentation in installable libghc-sbv-doc. dh_haskell_suggests --package=libghc-sbv-doc dh_haskell_blurbs --package=libghc-sbv-doc --type=doc dh_haskell_description --package=libghc-sbv-doc Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control symbolic Haskell theorem prover using SMT solving Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers. dh_haskell_compiler --package=libghc-sbv-doc Running dpkg-query --showformat=${Version} --show ghc 9.0.2-4 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 # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-sbv-doc ; fi dh_md5sums -plibghc-sbv-doc dh_builddeb -plibghc-sbv-doc dpkg-deb: building package 'libghc-sbv-doc' in '../libghc-sbv-doc_8.17-1_all.deb'. Adding cdbs dependencies to debian/libghc-sbv-dev.substvars dh_installdirs -plibghc-sbv-dev \ : dh_haskell_install_ghc_registration --package=libghc-sbv-dev /usr/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist-ghc/build -odir dist-ghc/build -hidir dist-ghc/build -stubdir dist-ghc/build -i -idist-ghc/build -i. -idist-ghc/build/autogen -idist-ghc/build/global-autogen -Idist-ghc/build/autogen -Idist-ghc/build/global-autogen -Idist-ghc/build -optP-include -optPdist-ghc/build/autogen/cabal_macros.h -this-unit-id sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Data.SBV Data.SBV.Control Data.SBV.Dynamic Data.SBV.Either Data.SBV.Float Data.SBV.Internals Data.SBV.List Data.SBV.Maybe Data.SBV.Rational Data.SBV.Set Data.SBV.Char Data.SBV.String Data.SBV.Tuple Data.SBV.RegExp Data.SBV.Tools.BMC Data.SBV.Tools.BoundedList Data.SBV.Tools.Induction Data.SBV.Tools.BoundedFix Data.SBV.Tools.CodeGen Data.SBV.Tools.GenTest Data.SBV.Tools.Overflow Data.SBV.Tools.Polynomial Data.SBV.Tools.Range Data.SBV.Tools.STree Data.SBV.Tools.WeakestPreconditions Data.SBV.Trans Data.SBV.Trans.Control Documentation.SBV.Examples.BitPrecise.BitTricks Documentation.SBV.Examples.BitPrecise.BrokenSearch Documentation.SBV.Examples.BitPrecise.Legato Documentation.SBV.Examples.BitPrecise.MergeSort Documentation.SBV.Examples.BitPrecise.MultMask Documentation.SBV.Examples.BitPrecise.PrefixSum Documentation.SBV.Examples.CodeGeneration.AddSub Documentation.SBV.Examples.CodeGeneration.CRC_USB5 Documentation.SBV.Examples.CodeGeneration.Fibonacci Documentation.SBV.Examples.CodeGeneration.GCD Documentation.SBV.Examples.CodeGeneration.PopulationCount Documentation.SBV.Examples.CodeGeneration.Uninterpreted Documentation.SBV.Examples.Crypto.AES Documentation.SBV.Examples.Crypto.RC4 Documentation.SBV.Examples.Crypto.SHA Documentation.SBV.Examples.DeltaSat.DeltaSat Documentation.SBV.Examples.Existentials.CRCPolynomial Documentation.SBV.Examples.Existentials.Diophantine Documentation.SBV.Examples.Lists.Fibonacci Documentation.SBV.Examples.Lists.Nested Documentation.SBV.Examples.Lists.BoundedMutex Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.Floating Documentation.SBV.Examples.Misc.ModelExtract Documentation.SBV.Examples.Misc.NestedArray Documentation.SBV.Examples.Misc.Auxiliary Documentation.SBV.Examples.Misc.NoDiv0 Documentation.SBV.Examples.Misc.Newtypes Documentation.SBV.Examples.Misc.Polynomials Documentation.SBV.Examples.Misc.SetAlgebra Documentation.SBV.Examples.Misc.SoftConstrain Documentation.SBV.Examples.Misc.Tuple Documentation.SBV.Examples.Optimization.Enumerate Documentation.SBV.Examples.Optimization.ExtField Documentation.SBV.Examples.Optimization.LinearOpt Documentation.SBV.Examples.Optimization.Production Documentation.SBV.Examples.Optimization.VM Documentation.SBV.Examples.ProofTools.BMC Documentation.SBV.Examples.ProofTools.Fibonacci Documentation.SBV.Examples.ProofTools.Strengthen Documentation.SBV.Examples.ProofTools.Sum Documentation.SBV.Examples.WeakestPreconditions.Append Documentation.SBV.Examples.WeakestPreconditions.Basics Documentation.SBV.Examples.WeakestPreconditions.Fib Documentation.SBV.Examples.WeakestPreconditions.GCD Documentation.SBV.Examples.WeakestPreconditions.IntDiv Documentation.SBV.Examples.WeakestPreconditions.IntSqrt Documentation.SBV.Examples.WeakestPreconditions.Length Documentation.SBV.Examples.WeakestPreconditions.Sum Documentation.SBV.Examples.Puzzles.Birthday Documentation.SBV.Examples.Puzzles.Coins Documentation.SBV.Examples.Puzzles.Counts Documentation.SBV.Examples.Puzzles.DogCatMouse Documentation.SBV.Examples.Puzzles.Euler185 Documentation.SBV.Examples.Puzzles.Fish Documentation.SBV.Examples.Puzzles.Garden Documentation.SBV.Examples.Puzzles.HexPuzzle Documentation.SBV.Examples.Puzzles.LadyAndTigers Documentation.SBV.Examples.Puzzles.MagicSquare Documentation.SBV.Examples.Puzzles.Murder Documentation.SBV.Examples.Puzzles.NQueens Documentation.SBV.Examples.Puzzles.SendMoreMoney Documentation.SBV.Examples.Puzzles.Sudoku Documentation.SBV.Examples.Puzzles.U2Bridge Documentation.SBV.Examples.Queries.AllSat Documentation.SBV.Examples.Queries.UnsatCore Documentation.SBV.Examples.Queries.FourFours Documentation.SBV.Examples.Queries.GuessNumber Documentation.SBV.Examples.Queries.CaseSplit Documentation.SBV.Examples.Queries.Enums Documentation.SBV.Examples.Queries.Interpolants Documentation.SBV.Examples.Queries.Concurrency Documentation.SBV.Examples.Strings.RegexCrossword Documentation.SBV.Examples.Strings.SQLInjection Documentation.SBV.Examples.Transformers.SymbolicEval Documentation.SBV.Examples.Uninterpreted.AUF Documentation.SBV.Examples.Uninterpreted.Deduce Documentation.SBV.Examples.Uninterpreted.Function Documentation.SBV.Examples.Uninterpreted.Multiply Documentation.SBV.Examples.Uninterpreted.Shannon Documentation.SBV.Examples.Uninterpreted.Sort Documentation.SBV.Examples.Uninterpreted.UISortAllSat -Wall -O2 -Wunused-packages -optl-Wl,-z,relro name: sbv version: 8.17 visibility: public id: sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB key: sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB license: BSD-3-Clause copyright: Levent Erkok, 2010-2021 maintainer: Levent Erkok (erkokl@gmail.com) author: Levent Erkok stability: Experimental homepage: http://leventerkok.github.io/sbv/ synopsis: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. description: Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers. For details, please see: category: Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT abi: d441195f7335e336bc9f1dc81c9397ca exposed: True exposed-modules: Data.SBV Data.SBV.Char Data.SBV.Control Data.SBV.Dynamic Data.SBV.Either Data.SBV.Float Data.SBV.Internals Data.SBV.List Data.SBV.Maybe Data.SBV.Rational Data.SBV.RegExp Data.SBV.Set Data.SBV.String Data.SBV.Tools.BMC Data.SBV.Tools.BoundedFix Data.SBV.Tools.BoundedList Data.SBV.Tools.CodeGen Data.SBV.Tools.GenTest Data.SBV.Tools.Induction Data.SBV.Tools.Overflow Data.SBV.Tools.Polynomial Data.SBV.Tools.Range Data.SBV.Tools.STree Data.SBV.Tools.WeakestPreconditions Data.SBV.Trans Data.SBV.Trans.Control Data.SBV.Tuple Documentation.SBV.Examples.BitPrecise.BitTricks Documentation.SBV.Examples.BitPrecise.BrokenSearch Documentation.SBV.Examples.BitPrecise.Legato Documentation.SBV.Examples.BitPrecise.MergeSort Documentation.SBV.Examples.BitPrecise.MultMask Documentation.SBV.Examples.BitPrecise.PrefixSum Documentation.SBV.Examples.CodeGeneration.AddSub Documentation.SBV.Examples.CodeGeneration.CRC_USB5 Documentation.SBV.Examples.CodeGeneration.Fibonacci Documentation.SBV.Examples.CodeGeneration.GCD Documentation.SBV.Examples.CodeGeneration.PopulationCount Documentation.SBV.Examples.CodeGeneration.Uninterpreted Documentation.SBV.Examples.Crypto.AES Documentation.SBV.Examples.Crypto.RC4 Documentation.SBV.Examples.Crypto.SHA Documentation.SBV.Examples.DeltaSat.DeltaSat Documentation.SBV.Examples.Existentials.CRCPolynomial Documentation.SBV.Examples.Existentials.Diophantine Documentation.SBV.Examples.Lists.BoundedMutex Documentation.SBV.Examples.Lists.Fibonacci Documentation.SBV.Examples.Lists.Nested Documentation.SBV.Examples.Misc.Auxiliary Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.Floating Documentation.SBV.Examples.Misc.ModelExtract Documentation.SBV.Examples.Misc.NestedArray Documentation.SBV.Examples.Misc.Newtypes Documentation.SBV.Examples.Misc.NoDiv0 Documentation.SBV.Examples.Misc.Polynomials Documentation.SBV.Examples.Misc.SetAlgebra Documentation.SBV.Examples.Misc.SoftConstrain Documentation.SBV.Examples.Misc.Tuple Documentation.SBV.Examples.Optimization.Enumerate Documentation.SBV.Examples.Optimization.ExtField Documentation.SBV.Examples.Optimization.LinearOpt Documentation.SBV.Examples.Optimization.Production DocRunning install -D --mode=644 sbv-8.17.conf debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.17.conf umentation.SBV.Examples.Optimization.VM Documentation.SBV.Examples.ProofTools.BMC Documentation.SBV.Examples.ProofTools.Fibonacci Documentation.SBV.Examples.ProofTools.Strengthen Documentation.SBV.Examples.ProofTools.Sum Documentation.SBV.Examples.Puzzles.Birthday Documentation.SBV.Examples.Puzzles.Coins Documentation.SBV.Examples.Puzzles.Counts Documentation.SBV.Examples.Puzzles.DogCatMouse Documentation.SBV.Examples.Puzzles.Euler185 Documentation.SBV.Examples.Puzzles.Fish Documentation.SBV.Examples.Puzzles.Garden Documentation.SBV.Examples.Puzzles.HexPuzzle Documentation.SBV.Examples.Puzzles.LadyAndTigers Documentation.SBV.Examples.Puzzles.MagicSquare Documentation.SBV.Examples.Puzzles.Murder Documentation.SBV.Examples.Puzzles.NQueens Documentation.SBV.Examples.Puzzles.SendMoreMoney Documentation.SBV.Examples.Puzzles.Sudoku Documentation.SBV.Examples.Puzzles.U2Bridge Documentation.SBV.Examples.Queries.AllSat Documentation.SBV.Examples.Queries.CaseSplit Documentation.SBV.Examples.Queries.Concurrency Documentation.SBV.Examples.Queries.Enums Documentation.SBV.Examples.Queries.FourFours Documentation.SBV.Examples.Queries.GuessNumber Documentation.SBV.Examples.Queries.Interpolants Documentation.SBV.Examples.Queries.UnsatCore Documentation.SBV.Examples.Strings.RegexCrossword Documentation.SBV.Examples.Strings.SQLInjection Documentation.SBV.Examples.Transformers.SymbolicEval Documentation.SBV.Examples.Uninterpreted.AUF Documentation.SBV.Examples.Uninterpreted.Deduce Documentation.SBV.Examples.Uninterpreted.Function Documentation.SBV.Examples.Uninterpreted.Multiply Documentation.SBV.Examples.Uninterpreted.Shannon Documentation.SBV.Examples.Uninterpreted.Sort Documentation.SBV.Examples.Uninterpreted.UISortAllSat Documentation.SBV.Examples.WeakestPreconditions.Append Documentation.SBV.Examples.WeakestPreconditions.Basics Documentation.SBV.Examples.WeakestPreconditions.Fib Documentation.SBV.Examples.WeakestPreconditions.GCD Documentation.SBV.Examples.WeakestPreconditions.IntDiv Documentation.SBV.Examples.WeakestPreconditions.IntSqrt Documentation.SBV.Examples.WeakestPreconditions.Length Documentation.SBV.Examples.WeakestPreconditions.Sum hidden-modules: Data.SBV.Client Data.SBV.Client.BaseIO Data.SBV.Core.AlgReals Data.SBV.Core.Concrete Data.SBV.Core.Data Data.SBV.Core.Kind Data.SBV.Core.Model Data.SBV.Core.Operations Data.SBV.Core.Floating Data.SBV.Core.Sized Data.SBV.Core.SizedFloats Data.SBV.Core.Symbolic Data.SBV.Control.BaseIO Data.SBV.Control.Query Data.SBV.Control.Types Data.SBV.Control.Utils Data.SBV.Compilers.C Data.SBV.Compilers.CodeGen Data.SBV.SMT.SMT Data.SBV.SMT.SMTLib Data.SBV.SMT.SMTLib2 Data.SBV.SMT.SMTLibNames Data.SBV.SMT.Utils Data.SBV.Provers.Prover Data.SBV.Provers.ABC Data.SBV.Provers.Boolector Data.SBV.Provers.Bitwuzla Data.SBV.Provers.CVC4 Data.SBV.Provers.CVC5 Data.SBV.Provers.DReal Data.SBV.Provers.MathSAT Data.SBV.Provers.Yices Data.SBV.Provers.Z3 Data.SBV.Utils.CrackNum Data.SBV.Utils.ExtractIO Data.SBV.Utils.Numeric Data.SBV.Utils.TDiff Data.SBV.Utils.Lib Data.SBV.Utils.PrettyNum Data.SBV.Utils.SExpr import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/sbv hs-libraries: HSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB depends: QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG array-0.5.4.0 async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 base-4.15.1.0 containers-0.6.4.1 deepseq-1.4.5.0 directory-1.3.6.2 filepath-1.4.2.1 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH template-haskell-2.17.0.0 text-1.2.5.0 time-1.9.3 transformers-0.5.6.2 uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j haddock-interfaces: /usr/lib/ghc-doc/haddock/sbv-8.17/sbv.haddock haddock-html: /usr/share/doc/libghc-sbv-doc/html/ Creating package registration file: sbv-8.17.conf Running rm -rf sbv-8.17.conf dh_haskell_install_development_libs --package=libghc-sbv-dev --source-dir="debian/tmp-inst-ghc" Running find ./usr/lib/haskell-packages/ghc/lib ( ! -name *_p.a ! -name *.p_hi ! -type d ) -exec install -D --mode=644 {} /build/haskell-sbv-8.17/debian/libghc-sbv-dev/{} ; dh_haskell_provides_ghc --package=libghc-sbv-dev Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.17.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 id sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB name sbv Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB version 8.17 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB abi d441195f7335e336bc9f1dc81c9397ca dh_haskell_depends_cabal --package=libghc-sbv-dev Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.17.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG array-0.5.4.0 async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 base-4.15.1.0 containers-0.6.4.1 deepseq-1.4.5.0 directory-1.3.6.2 filepath-1.4.2.1 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH template-haskell-2.17.0.0 text-1.2.5.0 time-1.9.3 transformers-0.5.6.2 uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG name QuickCheck Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG version 2.14.2 Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG abi eab42aecf5eeab01e91e352367138f1c Running ghc-pkg --global --simple-output --unit-id field array-0.5.4.0 name array Running ghc-pkg --global --simple-output --unit-id field array-0.5.4.0 version 0.5.4.0 Running ghc-pkg --global --simple-output --unit-id field array-0.5.4.0 abi 0b6fa07bcd9419205bae511d6ceca844 Running ghc-pkg --global --simple-output --unit-id field async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 name async Running ghc-pkg --global --simple-output --unit-id field async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 version 2.2.4 Running ghc-pkg --global --simple-output --unit-id field async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 abi 7edeabccf9fb26103eb9b5875cbd59ea Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 name base Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 version 4.15.1.0 Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 abi 6a406ebaf745e21c23112ab11c065ffc Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 name containers Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 version 0.6.4.1 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 abi 31c3b676898122ee9d452dd75c1ce905 Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.5.0 name deepseq Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.5.0 version 1.4.5.0 Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.5.0 abi 118cf1171c3311deaaa0dffbf8b4d65c Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 name directory Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 version 1.3.6.2 Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 abi 311c9d8a691039e26a8f3d45bca8d6c8 Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.2.1 name filepath Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.2.1 version 1.4.2.1 Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.2.1 abi 4459f12829b83ee2349b98c052eccad3 Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP name libBF Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP version 0.6.5.1 Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP abi 821820172dc8388624b1cfbd953313a8 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 name mtl Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 version 2.2.2 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 abi e3bae7a758436eac83f48d31694b7e28 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 name pretty Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 version 1.1.3.6 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 abi b017f1d621533cf182dd181af37ce42e Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 name process Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 version 1.6.13.2 Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 abi 9f25fe92d0bd33bf7b1136b1bb39fbf2 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba name random Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba version 1.2.1.1 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba abi f840db134c93bc105160ded4d0a62aee Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH name syb Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH version 0.7.2.2 Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH abi ec1fdc1132d8556b7d44ccef381416fb Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.17.0.0 name template-haskell Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.17.0.0 version 2.17.0.0 Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.17.0.0 abi 7274a446ce765a57cdaf2e1292474a76 Running ghc-pkg --global --simple-output --unit-id field text-1.2.5.0 name text Running ghc-pkg --global --simple-output --unit-id field text-1.2.5.0 version 1.2.5.0 Running ghc-pkg --global --simple-output --unit-id field text-1.2.5.0 abi 8553ebff53a1cfe17ad0e39c1cdfed0b Running ghc-pkg --global --simple-output --unit-id field time-1.9.3 name time Running ghc-pkg --global --simple-output --unit-id field time-1.9.3 version 1.9.3 Running ghc-pkg --global --simple-output --unit-id field time-1.9.3 abi bda761c4b82099e87b6bb34507d0f6b3 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 name transformers Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 version 0.5.6.2 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 abi fc6f3732b26827c3900eee6a1e2a12d7 Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j name uniplate Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j version 1.6.13 Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j abi 0543624d82d161f2bd3301bcb6018ffc dh_haskell_extra_depends_ghc --package=libghc-sbv-dev --type=dev /usr/bin/ghc --abi-hash -fbuilding-cabal-package -O -outputdir dist-ghc/build -odir dist-ghc/build -hidir dist-ghc/build -stubdir dist-ghc/build -i -idist-ghc/build -i. -idist-ghc/build/autogen -idist-ghc/build/global-autogen -Idist-ghc/build/autogen -Idist-ghc/build/global-autogen -Idist-ghc/build -optP-include -optPdist-ghc/build/autogen/cabal_macros.h -this-unit-id sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Data.SBV Data.SBV.Control Data.SBV.Dynamic Data.SBV.Either Data.SBV.Float Data.SBV.Internals Data.SBV.List Data.SBV.Maybe Data.SBV.Rational Data.SBV.Set Data.SBV.Char Data.SBV.String Data.SBV.Tuple Data.SBV.RegExp Data.SBV.Tools.BMC Data.SBV.Tools.BoundedList Data.SBV.Tools.Induction Data.SBV.Tools.BoundedFix Data.SBV.Tools.CodeGen Data.SBV.Tools.GenTest Data.SBV.Tools.Overflow Data.SBV.Tools.Polynomial Data.SBV.Tools.Range Data.SBV.Tools.STree Data.SBV.Tools.WeakestPreconditions Data.SBV.Trans Data.SBV.Trans.Control Documentation.SBV.Examples.BitPrecise.BitTricks Documentation.SBV.Examples.BitPrecise.BrokenSearch Documentation.SBV.Examples.BitPrecise.Legato Documentation.SBV.Examples.BitPrecise.MergeSort Documentation.SBV.Examples.BitPrecise.MultMask Documentation.SBV.Examples.BitPrecise.PrefixSum Documentation.SBV.Examples.CodeGeneration.AddSub Documentation.SBV.Examples.CodeGeneration.CRC_USB5 Documentation.SBV.Examples.CodeGeneration.Fibonacci Documentation.SBV.Examples.CodeGeneration.GCD Documentation.SBV.Examples.CodeGeneration.PopulationCount Documentation.SBV.Examples.CodeGeneration.Uninterpreted Documentation.SBV.Examples.Crypto.AES Documentation.SBV.Examples.Crypto.RC4 Documentation.SBV.Examples.Crypto.SHA Documentation.SBV.Examples.DeltaSat.DeltaSat Documentation.SBV.Examples.Existentials.CRCPolynomial Documentation.SBV.Examples.Existentials.Diophantine Documentation.SBV.Examples.Lists.Fibonacci Documentation.SBV.Examples.Lists.Nested Documentation.SBV.Examples.Lists.BoundedMutex Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.Floating Documentation.SBV.Examples.Misc.ModelExtract Documentation.SBV.Examples.Misc.NestedArray Documentation.SBV.Examples.Misc.Auxiliary Documentation.SBV.Examples.Misc.NoDiv0 Documentation.SBV.Examples.Misc.Newtypes Documentation.SBV.Examples.Misc.Polynomials Documentation.SBV.Examples.Misc.SetAlgebra Documentation.SBV.Examples.Misc.SoftConstrain Documentation.SBV.Examples.Misc.Tuple Documentation.SBV.Examples.Optimization.Enumerate Documentation.SBV.Examples.Optimization.ExtField Documentation.SBV.Examples.Optimization.LinearOpt Documentation.SBV.Examples.Optimization.Production Documentation.SBV.Examples.Optimization.VM Documentation.SBV.Examples.ProofTools.BMC Documentation.SBV.Examples.ProofTools.Fibonacci Documentation.SBV.Examples.ProofTools.Strengthen Documentation.SBV.Examples.ProofTools.Sum Documentation.SBV.Examples.WeakestPreconditions.Append Documentation.SBV.Examples.WeakestPreconditions.Basics Documentation.SBV.Examples.WeakestPreconditions.Fib Documentation.SBV.Examples.WeakestPreconditions.GCD Documentation.SBV.Examples.WeakestPreconditions.IntDiv Documentation.SBV.Examples.WeakestPreconditions.IntSqrt Documentation.SBV.Examples.WeakestPreconditions.Length Documentation.SBV.Examples.WeakestPreconditions.Sum Documentation.SBV.Examples.Puzzles.Birthday Documentation.SBV.Examples.Puzzles.Coins Documentation.SBV.Examples.Puzzles.Counts Documentation.SBV.Examples.Puzzles.DogCatMouse Documentation.SBV.Examples.Puzzles.Euler185 Documentation.SBV.Examples.Puzzles.Fish Documentation.SBV.Examples.Puzzles.Garden Documentation.SBV.Examples.Puzzles.HexPuzzle Documentation.SBV.Examples.Puzzles.LadyAndTigers Documentation.SBV.Examples.Puzzles.MagicSquare Documentation.SBV.Examples.Puzzles.Murder Documentation.SBV.Examples.Puzzles.NQueens Documentation.SBV.Examples.Puzzles.SendMoreMoney Documentation.SBV.Examples.Puzzles.Sudoku Documentation.SBV.Examples.Puzzles.U2Bridge Documentation.SBV.Examples.Queries.AllSat Documentation.SBV.Examples.Queries.UnsatCore Documentation.SBV.Examples.Queries.FourFours Documentation.SBV.Examples.Queries.GuessNumber Documentation.SBV.Examples.Queries.CaseSplit Documentation.SBV.Examples.Queries.Enums Documentation.SBV.Examples.Queries.Interpolants Documentation.SBV.Examples.Queries.Concurrency Documentation.SBV.Examples.Strings.RegexCrossword Documentation.SBV.Examples.Strings.SQLInjection Documentation.SBV.Examples.Transformers.SymbolicEval Documentation.SBV.Examples.Uninterpreted.AUF Documentation.SBV.Examples.Uninterpreted.Deduce Documentation.SBV.Examples.Uninterpreted.Function Documentation.SBV.Examples.Uninterpreted.Multiply Documentation.SBV.Examples.Uninterpreted.Shannon Documentation.SBV.Examples.Uninterpreted.Sort Documentation.SBV.Examples.Uninterpreted.UISortAllSat -Wall -O2 -Wunused-packages -optl-Wl,-z,relro name: sbv version: 8.17 visibility: public id: sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB key: sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB license: BSD-3-Clause copyright: Levent Erkok, 2010-2021 maintainer: Levent Erkok (erkokl@gmail.com) author: Levent Erkok stability: Experimental homepage: http://leventerkok.github.io/sbv/ synopsis: SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. description: Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers. For details, please see: category: Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT abi: d441195f7335e336bc9f1dc81c9397ca exposed: True exposed-modules: Data.SBV Data.SBV.Char Data.SBV.Control Data.SBV.Dynamic Data.SBV.Either Data.SBV.Float Data.SBV.Internals Data.SBV.List Data.SBV.Maybe Data.SBV.Rational Data.SBV.RegExp Data.SBV.Set Data.SBV.String Data.SBV.Tools.BMC Data.SBV.Tools.BoundedFix Data.SBV.Tools.BoundedList Data.SBV.Tools.CodeGen Data.SBV.Tools.GenTest Data.SBV.Tools.Induction Data.SBV.Tools.Overflow Data.SBV.Tools.Polynomial Data.SBV.Tools.Range Data.SBV.Tools.STree Data.SBV.Tools.WeakestPreconditions Data.SBV.Trans Data.SBV.Trans.Control Data.SBV.Tuple Documentation.SBV.Examples.BitPrecise.BitTricks Documentation.SBV.Examples.BitPrecise.BrokenSearch Documentation.SBV.Examples.BitPrecise.Legato Documentation.SBV.Examples.BitPrecise.MergeSort Documentation.SBV.Examples.BitPrecise.MultMask Documentation.SBV.Examples.BitPrecise.PrefixSum Documentation.SBV.Examples.CodeGeneration.AddSub Documentation.SBV.Examples.CodeGeneration.CRC_USB5 Documentation.SBV.Examples.CodeGeneration.Fibonacci Documentation.SBV.Examples.CodeGeneration.GCD Documentation.SBV.Examples.CodeGeneration.PopulationCount Documentation.SBV.Examples.CodeGeneration.Uninterpreted Documentation.SBV.Examples.Crypto.AES Documentation.SBV.Examples.Crypto.RC4 Documentation.SBV.Examples.Crypto.SHA Documentation.SBV.Examples.DeltaSat.DeltaSat Documentation.SBV.Examples.Existentials.CRCPolynomial Documentation.SBV.Examples.Existentials.Diophantine Documentation.SBV.Examples.Lists.BoundedMutex Documentation.SBV.Examples.Lists.Fibonacci Documentation.SBV.Examples.Lists.Nested Documentation.SBV.Examples.Misc.Auxiliary Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.Floating Documentation.SBV.Examples.Misc.ModelExtract Documentation.SBV.Examples.Misc.NestedArray Documentation.SBV.Examples.Misc.Newtypes Documentation.SBV.Examples.Misc.NoDiv0 Documentation.SBV.Examples.Misc.Polynomials Documentation.SBV.Examples.Misc.SetAlgebra Documentation.SBV.Examples.Misc.SoftConstrain Documentation.SBV.Examples.Misc.Tuple Documentation.SBV.Examples.Optimization.Enumerate Documentation.SBV.Examples.Optimization.ExtField Documentation.SBV.Examples.Optimization.LinearOpt Documentation.SBV.Examples.Optimization.Production DocRunning cp sbv-8.17.conf debian/tmp-db umentation.SBV.Examples.Optimization.VM Documentation.SBV.Examples.ProofTools.BMC Documentation.SBV.Examples.ProofTools.Fibonacci Documentation.SBV.Examples.ProofTools.Strengthen Documentation.SBV.Examples.ProofTools.Sum Documentation.SBV.Examples.Puzzles.Birthday Documentation.SBV.Examples.Puzzles.Coins Documentation.SBV.Examples.Puzzles.Counts Documentation.SBV.Examples.Puzzles.DogCatMouse Documentation.SBV.Examples.Puzzles.Euler185 Documentation.SBV.Examples.Puzzles.Fish Documentation.SBV.Examples.Puzzles.Garden Documentation.SBV.Examples.Puzzles.HexPuzzle Documentation.SBV.Examples.Puzzles.LadyAndTigers Documentation.SBV.Examples.Puzzles.MagicSquare Documentation.SBV.Examples.Puzzles.Murder Documentation.SBV.Examples.Puzzles.NQueens Documentation.SBV.Examples.Puzzles.SendMoreMoney Documentation.SBV.Examples.Puzzles.Sudoku Documentation.SBV.Examples.Puzzles.U2Bridge Documentation.SBV.Examples.Queries.AllSat Documentation.SBV.Examples.Queries.CaseSplit Documentation.SBV.Examples.Queries.Concurrency Documentation.SBV.Examples.Queries.Enums Documentation.SBV.Examples.Queries.FourFours Documentation.SBV.Examples.Queries.GuessNumber Documentation.SBV.Examples.Queries.Interpolants Documentation.SBV.Examples.Queries.UnsatCore Documentation.SBV.Examples.Strings.RegexCrossword Documentation.SBV.Examples.Strings.SQLInjection Documentation.SBV.Examples.Transformers.SymbolicEval Documentation.SBV.Examples.Uninterpreted.AUF Documentation.SBV.Examples.Uninterpreted.Deduce Documentation.SBV.Examples.Uninterpreted.Function Documentation.SBV.Examples.Uninterpreted.Multiply Documentation.SBV.Examples.Uninterpreted.Shannon Documentation.SBV.Examples.Uninterpreted.Sort Documentation.SBV.Examples.Uninterpreted.UISortAllSat Documentation.SBV.Examples.WeakestPreconditions.Append Documentation.SBV.Examples.WeakestPreconditions.Basics Documentation.SBV.Examples.WeakestPreconditions.Fib Documentation.SBV.Examples.WeakestPreconditions.GCD Documentation.SBV.Examples.WeakestPreconditions.IntDiv Documentation.SBV.Examples.WeakestPreconditions.IntSqrt Documentation.SBV.Examples.WeakestPreconditions.Length Documentation.SBV.Examples.WeakestPreconditions.Sum hidden-modules: Data.SBV.Client Data.SBV.Client.BaseIO Data.SBV.Core.AlgReals Data.SBV.Core.Concrete Data.SBV.Core.Data Data.SBV.Core.Kind Data.SBV.Core.Model Data.SBV.Core.Operations Data.SBV.Core.Floating Data.SBV.Core.Sized Data.SBV.Core.SizedFloats Data.SBV.Core.Symbolic Data.SBV.Control.BaseIO Data.SBV.Control.Query Data.SBV.Control.Types Data.SBV.Control.Utils Data.SBV.Compilers.C Data.SBV.Compilers.CodeGen Data.SBV.SMT.SMT Data.SBV.SMT.SMTLib Data.SBV.SMT.SMTLib2 Data.SBV.SMT.SMTLibNames Data.SBV.SMT.Utils Data.SBV.Provers.Prover Data.SBV.Provers.ABC Data.SBV.Provers.Boolector Data.SBV.Provers.Bitwuzla Data.SBV.Provers.CVC4 Data.SBV.Provers.CVC5 Data.SBV.Provers.DReal Data.SBV.Provers.MathSAT Data.SBV.Provers.Yices Data.SBV.Provers.Z3 Data.SBV.Utils.CrackNum Data.SBV.Utils.ExtractIO Data.SBV.Utils.Numeric Data.SBV.Utils.TDiff Data.SBV.Utils.Lib Data.SBV.Utils.PrettyNum Data.SBV.Utils.SExpr import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/sbv hs-libraries: HSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB depends: QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG array-0.5.4.0 async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 base-4.15.1.0 containers-0.6.4.1 deepseq-1.4.5.0 directory-1.3.6.2 filepath-1.4.2.1 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH template-haskell-2.17.0.0 text-1.2.5.0 time-1.9.3 transformers-0.5.6.2 uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j haddock-interfaces: /usr/lib/ghc-doc/haddock/sbv-8.17/sbv.haddock haddock-html: /usr/share/doc/libghc-sbv-doc/html/ Creating package registration file: sbv-8.17.conf Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG array-0.5.4.0 async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 base-4.15.1.0 containers-0.6.4.1 deepseq-1.4.5.0 directory-1.3.6.2 filepath-1.4.2.1 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH template-haskell-2.17.0.0 text-1.2.5.0 time-1.9.3 transformers-0.5.6.2 uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j Running rm -rf sbv-8.17.conf dh_haskell_shlibdeps --package=libghc-sbv-dev Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.17.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 library-dirs /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 extra-libraries Running gcc -L/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-sbv-dev.substvars debian/dh_haskell_shlibdeps/probe dh_haskell_blurbs --package=libghc-sbv-dev --type=dev dh_haskell_description --package=libghc-sbv-dev Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control symbolic Haskell theorem prover using SMT solving Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers. dh_haskell_compiler --package=libghc-sbv-dev Running dpkg-query --showformat=${Version} --show ghc 9.0.2-4 Adding cdbs dependencies to debian/libghc-sbv-prof.substvars dh_installdirs -plibghc-sbv-prof \ dh_haskell_install_profiling_libs --package=libghc-sbv-prof --source-dir="debian/tmp-inst-ghc" Running find ./usr/lib/haskell-packages/ghc/lib ( -name *_p.a -o -name *.p_hi ) -exec install -D --mode=644 {} /build/haskell-sbv-8.17/debian/libghc-sbv-prof/{} ; dh_haskell_provides_ghc --package=libghc-sbv-prof --config-shipper="libghc-sbv-dev" Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.17.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 id sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB name sbv Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB version 8.17 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-8.17-EkXmzDWhKi1IANwz8ZSKEB abi d441195f7335e336bc9f1dc81c9397ca dh_haskell_depends_cabal --package=libghc-sbv-prof --config-shipper="libghc-sbv-dev" Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.17.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-8.17 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG array-0.5.4.0 async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 base-4.15.1.0 containers-0.6.4.1 deepseq-1.4.5.0 directory-1.3.6.2 filepath-1.4.2.1 libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP mtl-2.2.2 pretty-1.1.3.6 process-1.6.13.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH template-haskell-2.17.0.0 text-1.2.5.0 time-1.9.3 transformers-0.5.6.2 uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG name QuickCheck Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG version 2.14.2 Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG abi eab42aecf5eeab01e91e352367138f1c Running ghc-pkg --global --simple-output --unit-id field array-0.5.4.0 name array Running ghc-pkg --global --simple-output --unit-id field array-0.5.4.0 version 0.5.4.0 Running ghc-pkg --global --simple-output --unit-id field array-0.5.4.0 abi 0b6fa07bcd9419205bae511d6ceca844 Running ghc-pkg --global --simple-output --unit-id field async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 name async Running ghc-pkg --global --simple-output --unit-id field async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 version 2.2.4 Running ghc-pkg --global --simple-output --unit-id field async-2.2.4-ENV3fyyU7vj5F6vRqPBI14 abi 7edeabccf9fb26103eb9b5875cbd59ea Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 name base Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 version 4.15.1.0 Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 abi 6a406ebaf745e21c23112ab11c065ffc Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 name containers Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 version 0.6.4.1 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 abi 31c3b676898122ee9d452dd75c1ce905 Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.5.0 name deepseq Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.5.0 version 1.4.5.0 Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.5.0 abi 118cf1171c3311deaaa0dffbf8b4d65c Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 name directory Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 version 1.3.6.2 Running ghc-pkg --global --simple-output --unit-id field directory-1.3.6.2 abi 311c9d8a691039e26a8f3d45bca8d6c8 Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.2.1 name filepath Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.2.1 version 1.4.2.1 Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.2.1 abi 4459f12829b83ee2349b98c052eccad3 Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP name libBF Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP version 0.6.5.1 Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.5.1-FMW2csmLb9s4e5w4iK9bsP abi 821820172dc8388624b1cfbd953313a8 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 name mtl Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 version 2.2.2 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 abi e3bae7a758436eac83f48d31694b7e28 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 name pretty Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 version 1.1.3.6 Running ghc-pkg --global --simple-output --unit-id field pretty-1.1.3.6 abi b017f1d621533cf182dd181af37ce42e Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 name process Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 version 1.6.13.2 Running ghc-pkg --global --simple-output --unit-id field process-1.6.13.2 abi 9f25fe92d0bd33bf7b1136b1bb39fbf2 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba name random Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba version 1.2.1.1 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba abi f840db134c93bc105160ded4d0a62aee Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH name syb Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH version 0.7.2.2 Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH abi ec1fdc1132d8556b7d44ccef381416fb Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.17.0.0 name template-haskell Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.17.0.0 version 2.17.0.0 Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.17.0.0 abi 7274a446ce765a57cdaf2e1292474a76 Running ghc-pkg --global --simple-output --unit-id field text-1.2.5.0 name text Running ghc-pkg --global --simple-output --unit-id field text-1.2.5.0 version 1.2.5.0 Running ghc-pkg --global --simple-output --unit-id field text-1.2.5.0 abi 8553ebff53a1cfe17ad0e39c1cdfed0b Running ghc-pkg --global --simple-output --unit-id field time-1.9.3 name time Running ghc-pkg --global --simple-output --unit-id field time-1.9.3 version 1.9.3 Running ghc-pkg --global --simple-output --unit-id field time-1.9.3 abi bda761c4b82099e87b6bb34507d0f6b3 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 name transformers Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 version 0.5.6.2 Running ghc-pkg --global --simple-output --unit-id field transformers-0.5.6.2 abi fc6f3732b26827c3900eee6a1e2a12d7 Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j name uniplate Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j version 1.6.13 Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-EkwYVbeMPyG2UtwoQc2x5j abi 0543624d82d161f2bd3301bcb6018ffc dh_haskell_blurbs --package=libghc-sbv-prof --type=prof dh_haskell_description --package=libghc-sbv-prof Running grep-dctrl --no-field-names --show-field=Description --field=Source --regex .* debian/control Running grep-dctrl --no-field-names --show-field=X-Description --field=Source --regex .* debian/control symbolic Haskell theorem prover using SMT solving Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers. dh_haskell_compiler --package=libghc-sbv-prof Running dpkg-query --showformat=${Version} --show ghc 9.0.2-4 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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so contains an unresolvable reference to symbol stg_gc_pp: it's probably a plugin dpkg-shlibdeps: warning: 98 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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSbytestring-0.10.12.1-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSghc-boot-th-9.0.2-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSstm-2.5.0.0-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSbinary-0.8.8.0-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSunordered-containers-0.2.17.0-FS8hZKYGMqLFC8ibuPNvjR-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHShashable-1.3.5.0-Hd8HSYZ7DN8KsO4HNlPmYP-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSarray-0.5.4.0-ghc9.0.2.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/x86_64-linux-ghc-9.0.2/libHSsbv-8.17-EkXmzDWhKi1IANwz8ZSKEB-ghc9.0.2.so was not linked against libHSsyb-0.7.2.2-Ai8wMVtjYMR4dsuHaWEnGH-ghc9.0.2.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: Recommends field of package libghc-sbv-dev: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-sbv-dev: substitution variable ${haskell:Suggests} used, but is not defined 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 # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-sbv-dev ; fi dh_md5sums -plibghc-sbv-dev dh_builddeb -plibghc-sbv-dev dpkg-deb: building package 'libghc-sbv-dev' in '../libghc-sbv-dev_8.17-1_amd64.deb'. dh_gencontrol -plibghc-sbv-prof dpkg-gencontrol: warning: Recommends field of package libghc-sbv-prof: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-sbv-prof: substitution variable ${haskell:Suggests} used, but is not defined 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-package} unused, but is defined dpkg-gencontrol: warning: package libghc-sbv-prof: substitution variable ${haskell:ghc-version} unused, but is defined # only call dh_scour for packages in main if grep -q '^Component:[[:space:]]*main' /CurrentlyBuilding 2>/dev/null; then dh_scour -plibghc-sbv-prof ; fi dh_md5sums -plibghc-sbv-prof dh_builddeb -plibghc-sbv-prof dpkg-deb: building package 'libghc-sbv-prof' in '../libghc-sbv-prof_8.17-1_amd64.deb'. dpkg-genbuildinfo --build=binary -O../haskell-sbv_8.17-1_amd64.buildinfo dpkg-genchanges --build=binary -O../haskell-sbv_8.17-1_amd64.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only 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/2161477 and its subdirectories I: Current time: Sat Jul 6 23:56:10 -12 2024 I: pbuilder-time-stamp: 1720353370 Mon Jun 5 05:33:00 UTC 2023 I: 1st build successful. Starting 2nd build on remote node ionos11-amd64.debian.net. Mon Jun 5 05:33:00 UTC 2023 I: Preparing to do remote build '2' on ionos11-amd64.debian.net. Mon Jun 5 06:02:12 UTC 2023 I: Deleting $TMPDIR on ionos11-amd64.debian.net. Mon Jun 5 06:02:13 UTC 2023 I: haskell-sbv_8.17-1_amd64.changes: Format: 1.8 Date: Fri, 29 Jul 2022 12:36:35 -0400 Source: haskell-sbv Binary: libghc-sbv-dev libghc-sbv-doc libghc-sbv-prof Architecture: amd64 all Version: 8.17-1 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group Changed-By: Scott Talbert Description: libghc-sbv-dev - libghc-sbv-doc - libghc-sbv-prof - Closes: 1014005 Changes: haskell-sbv (8.17-1) unstable; urgency=medium . [ Ilias Tsitsimpis ] * Declare compliance with Debian policy 4.6.1 . [ Scott Talbert ] * New upstream release (Closes: #1014005) Checksums-Sha1: bd00968ce2aa2ecb8955ca149ede291fdc722f04 8570 haskell-sbv_8.17-1_amd64.buildinfo 40fef32a8d437319beac2163a7b0e90a71687438 6781596 libghc-sbv-dev_8.17-1_amd64.deb eebf1d1c1f3197fcc3eb34dcc6812f95c73e828d 1795056 libghc-sbv-doc_8.17-1_all.deb 5dd297d69382fb4f1b019c4bbc39d53b692c99d7 5910576 libghc-sbv-prof_8.17-1_amd64.deb Checksums-Sha256: 584f3fa531c1322df48289fb8585cbb0d1ca00cf552ec4b43f3fafca44e41c7a 8570 haskell-sbv_8.17-1_amd64.buildinfo 618216da388b42a2701aeb11f9a1e3ce942ca9e177937584cee74a93d03488fe 6781596 libghc-sbv-dev_8.17-1_amd64.deb 902d8661ba0efd5fec1159989df0ecad6af9fe6218071788cf31ca8edea992a3 1795056 libghc-sbv-doc_8.17-1_all.deb 77e42bbefd76bb2fa4133f079a20a6d668aedc957b47e4cefff53aff2af22efa 5910576 libghc-sbv-prof_8.17-1_amd64.deb Files: 447e79890fe74d979669de46f172669f 8570 haskell optional haskell-sbv_8.17-1_amd64.buildinfo f2ab59dc8be809fdb46ace379462014a 6781596 haskell optional libghc-sbv-dev_8.17-1_amd64.deb 20ed1ce0e018f76187aaa66b723059b5 1795056 doc optional libghc-sbv-doc_8.17-1_all.deb 2cd67fa9832d83fe1d502225872e10b1 5910576 haskell optional libghc-sbv-prof_8.17-1_amd64.deb Mon Jun 5 06:02:14 UTC 2023 I: diffoscope 242 will be used to compare the two builds: # Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.iAaIovEB/haskell-sbv_8.17-1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.iAaIovEB/haskell-sbv_8.17-1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.iAaIovEB/haskell-sbv_8.17-1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.iAaIovEB/b1/haskell-sbv_8.17-1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.iAaIovEB/b2/haskell-sbv_8.17-1_amd64.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.504s) 0.504s 2 calls outputs 0.000s 1 call cleanup ## recognizes (total time: 0.179s) 0.178s 12 calls diffoscope.comparators.binary.FilesystemFile 0.000s 10 calls abc.DotChangesFile ## specialize (total time: 0.000s) 0.000s 1 call specialize Mon Jun 5 06:02:15 UTC 2023 I: diffoscope 242 found no differences in the changes files, and a .buildinfo file also exists. Mon Jun 5 06:02:15 UTC 2023 I: haskell-sbv from bookworm built successfully and reproducibly on amd64. Mon Jun 5 06:02:16 UTC 2023 I: Submitting .buildinfo files to external archives: Mon Jun 5 06:02:16 UTC 2023 I: Submitting 12K b1/haskell-sbv_8.17-1_amd64.buildinfo.asc Mon Jun 5 06:02:17 UTC 2023 I: Submitting 12K b2/haskell-sbv_8.17-1_amd64.buildinfo.asc Mon Jun 5 06:02:18 UTC 2023 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit. Mon Jun 5 06:02:18 UTC 2023 I: Done submitting .buildinfo files. Mon Jun 5 06:02:18 UTC 2023 I: Removing signed haskell-sbv_8.17-1_amd64.buildinfo.asc files: removed './b1/haskell-sbv_8.17-1_amd64.buildinfo.asc' removed './b2/haskell-sbv_8.17-1_amd64.buildinfo.asc'