Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-sbv/haskell-sbv_8.7-1+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-sbv-8.7-1+b10uyjy8t1/haskell-sbv_8.7-1+b1_amd64.buildinfo Get source package info: haskell-sbv=8.7-1 Source URL: http://snapshot.notset.fr/mr/package/haskell-sbv/8.7-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.69-11.1 automake=1:1.16.2-3 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-7 binutils=2.35-2 binutils-common=2.35-2 binutils-x86-64-linux-gnu=2.35-2 bsdextrautils=2.36-2 bsdutils=1:2.36-2 build-essential=12.8 bzip2=1.0.8-4 cdbs=0.4.162 coreutils=8.32-3 cpp=4:10.1.0-1 cpp-10=10.2.0-5 dash=0.5.10.2-7 dctrl-tools=2.24-3+b1 debconf=1.5.74 debhelper=13.2 debianutils=4.11 dh-autoreconf=19 dh-buildinfo=0.11+nmu2 dh-strip-nondeterminism=1.9.0-1 diffutils=1:3.7-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13-5 file=1:5.38-5 findutils=4.7.0-1 g++=4:10.1.0-1 g++-10=10.2.0-5 gcc=4:10.1.0-1 gcc-10=10.2.0-5 gcc-10-base=10.2.0-5 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 ghc=8.8.4-1 ghc-prof=8.8.4-1 grep=3.4-1 groff-base=1.22.4-5 gzip=1.10-2 haskell-devscripts=0.16.0 haskell-devscripts-minimal=0.16.0 hostname=3.23 hscolour=1.24.4-3+b1 html-xml-utils=7.7-1 init-system-helpers=1.58 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-8 libarchive-zip-perl=1.68-1 libasan6=10.2.0-5 libatomic1=10.2.0-5 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3 libaudit1=1:2.8.5-3+b1 libbinutils=2.35-2 libblkid1=2.36-2 libbrotli1=1.0.7-7 libbsd-dev=0.10.0-1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-3 libc-dev-bin=2.31-3 libc6=2.31-3 libc6-dev=2.31-3 libcap-ng0=0.7.9-2.2 libcc1-0=10.2.0-5 libcom-err2=1.45.6-1 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.16-1 libcrypt1=1:4.4.16-1 libctf-nobfd0=2.35-2 libctf0=2.35-2 libcurl3-gnutls=7.68.0-1+b1 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.253 libdebhelper-perl=13.2 libdpkg-perl=1.20.5 libelf1=0.180-1+b1 libffi-dev=3.3-4 libffi7=3.3-4 libfile-stripnondeterminism-perl=1.9.0-1 libgcc-10-dev=10.2.0-5 libgcc-s1=10.2.0-5 libgcrypt20=1.8.6-2 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libghc-async-dev=2.2.2-2+b1 libghc-async-prof=2.2.2-2+b1 libghc-cracknum-dev=2.3-2+b1 libghc-cracknum-prof=2.3-2+b1 libghc-floatinghex-dev=0.4-4+b1 libghc-floatinghex-prof=0.4-4+b1 libghc-generic-deriving-dev=1.13.1-1+b1 libghc-generic-deriving-prof=1.13.1-1+b1 libghc-hashable-dev=1.3.0.0-2+b1 libghc-hashable-prof=1.3.0.0-2+b1 libghc-quickcheck2-dev=2.13.2-1+b2 libghc-quickcheck2-prof=2.13.2-1+b2 libghc-random-dev=1.1-12+b1 libghc-random-prof=1.1-12+b1 libghc-splitmix-dev=0.0.5-1 libghc-splitmix-prof=0.0.5-1 libghc-syb-dev=0.7.1-2+b1 libghc-syb-prof=0.7.1-2+b1 libghc-th-abstraction-dev=0.3.2.0-1+b1 libghc-th-abstraction-prof=0.3.2.0-1+b1 libglib2.0-0=2.64.4-1 libgmp-dev=2:6.2.0+dfsg-6 libgmp10=2:6.2.0+dfsg-6 libgmpxx4ldbl=2:6.2.0+dfsg-6 libgnutls30=3.6.14-2+b1 libgomp1=10.2.0-5 libgpg-error0=1.38-2 libgssapi-krb5-2=1.17-10 libhogweed6=3.6-2 libicu67=67.1-4 libidn2-0=2.3.0-1 libisl22=0.22.1-1 libitm1=10.2.0-5 libk5crypto3=1.17-10 libkeyutils1=1.6.1-2 libkrb5-3=1.17-10 libkrb5support0=1.17-10 libldap-2.4-2=2.4.50+dfsg-1+b1 libldap-common=2.4.50+dfsg-1 liblsan0=10.2.0-5 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.38-5 libmagic1=1:5.38-5 libmount1=2.36-2 libmpc3=1.2.0~rc1-1 libmpfr6=4.1.0-3 libncurses-dev=6.2-1 libncurses5-dev=6.2-1 libncurses6=6.2-1 libncursesw6=6.2-1 libnettle8=3.6-2 libnghttp2-14=1.41.0-3 libp11-kit0=0.23.20-1 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libpcre2-8-0=10.34-7 libpcre3=2:8.39-13 libperl5.30=5.30.3-4 libpipeline1=1.5.3-1 libpsl5=0.21.0-1.1 libquadmath0=10.2.0-5 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.27+dfsg-2 libsasl2-modules-db=2.1.27+dfsg-2 libseccomp2=2.4.3-1+b1 libselinux1=3.1-2 libsigsegv2=2.12-2 libsmartcols1=2.36-2 libssh2-1=1.8.0-2.1 libssl1.1=1.1.1g-1 libstdc++-10-dev=10.2.0-5 libstdc++6=10.2.0-5 libsub-override-perl=0.09-2 libsystemd0=246.1-1 libtasn1-6=4.16.0-2 libtinfo6=6.2-1 libtool=2.4.6-14 libtsan0=10.2.0-5 libubsan1=10.2.0-5 libuchardet0=0.0.7-1 libudev1=246.1-1 libunistring2=0.9.10-4 libuuid1=2.36-2 libxml2=2.9.10+dfsg-5+b1 libzstd1=1.4.5+dfsg-4 linux-libc-dev=5.7.10-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2-1 ncurses-bin=6.2-1 patch=2.7.6-6 perl=5.30.3-4 perl-base=5.30.3-4 perl-modules-5.30=5.30.3-4 po-debconf=1.0.21 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-4 tar=1.30+dfsg-7 util-linux=2.36-2 xz-utils=5.2.4-1+b1 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201207T203938Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200817T205605Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d haskell-sbv=8.7-1 && mkdir -p /build/haskell-sbv-EsEePs && dpkg-source --no-check -x /*.dsc /build/haskell-sbv-EsEePs/haskell-sbv-8.7 && cd /build/haskell-sbv-EsEePs/haskell-sbv-8.7 && { printf '%s' 'haskell-sbv (8.7-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * quickcheck-2.13.2 changed from 09438 to 3e7ed -- amd64 / i386 Build Daemon (x86-csail-01) Wed, 19 Aug 2020 17:36:15 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-sbv-EsEePs" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-sbv-EsEePs/haskell-sbv-8.7 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1597858575" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/haskell-sbv-EsEePs /tmp/haskell-sbv-8.7-1+b10uyjy8t1 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.ZdqekQtyy1 as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.ZdqekQtyy1 Reading package lists... Building dependency tree... util-linux is already the newest version (2.36-2). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 132 kB of archives. After this operation, 393 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable/main amd64 fakeroot amd64 1.24-1 [85.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 132 kB in 0s (1094 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4577 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.24-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.24-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.24-1_amd64.deb ... Unpacking fakeroot (1.24-1) ... Setting up libfakeroot:amd64 (1.24-1) ... Setting up fakeroot (1.24-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.31-3) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20201207T203938Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200817T205605Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.ZdqekQtyy1 Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20201207T203938Z unstable InRelease [153 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20200817T205605Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20201207T203938Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20201207T203938Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20201207T203938Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20201207T203938Z unstable/main amd64 Packages [11.6 MB] Fetched 34.3 MB in 29s (1182 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.ZdqekQtyy1 I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-sbv=8.7-1 && mkdir -p /build/haskell-sbv-EsEePs && dpkg-source --no-check -x /*.dsc /build/haskell-sbv-EsEePs/haskell-sbv-8.7 && cd /build/haskell-sbv-EsEePs/haskell-sbv-8.7 && { printf '%s' 'haskell-sbv (8.7-1+b1) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * quickcheck-2.13.2 changed from 09438 to 3e7ed -- amd64 / i386 Build Daemon (x86-csail-01) Wed, 19 Aug 2020 17:36:15 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-sbv-EsEePs"' exec /tmp/mmdebstrap.ZdqekQtyy1 Reading package lists... NOTICE: 'haskell-sbv' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-sbv] to retrieve the latest (possibly unreleased) updates to the package. Need to get 879 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-sbv 8.7-1 (dsc) [2622 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-sbv 8.7-1 (tar) [873 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-sbv 8.7-1 (diff) [2804 B] Fetched 879 kB in 1s (1151 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-sbv_8.7-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-sbv in /build/haskell-sbv-EsEePs/haskell-sbv-8.7 dpkg-source: info: unpacking haskell-sbv_8.7.orig.tar.gz dpkg-source: info: unpacking haskell-sbv_8.7-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-sbv-EsEePs/haskell-sbv-8.7 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1597858575" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.ZdqekQtyy1 dpkg-buildpackage: info: source package haskell-sbv dpkg-buildpackage: info: source version 8.7-1+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-csail-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean test -x debian/rules dh_clean . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ clean_recipe Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\* Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs Running rm -f debian/hlibrary.Makefile Running rm -rf debian/dh_haskell_shlibdeps Running rm -rf debian/tmp-db debian/rules binary-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." CDBS WARNING: DEB_DH_STRIP_ARGS is deprecated since 0.4.85 CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ make_setup_recipe Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ configure_recipe Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/sbv-8.7/ --datasubdir=sbv --htmldir=/usr/share/doc/libghc-sbv-doc/html/ --enable-library-profiling Using Parsec parser Configuring sbv-8.7... Flags chosen: skiphlinttester=False Dependency QuickCheck -any: using QuickCheck-2.13.2 Dependency array -any: using array-0.5.4.0 Dependency async -any: using async-2.2.2 Dependency base >=4.11 && <5: using base-4.13.0.0 Dependency containers -any: using containers-0.6.2.1 Dependency crackNum >=2.3: using crackNum-2.3 Dependency deepseq -any: using deepseq-1.4.4.0 Dependency directory -any: using directory-1.3.6.0 Dependency filepath -any: using filepath-1.4.2.1 Dependency generic-deriving -any: using generic-deriving-1.13.1 Dependency mtl -any: using mtl-2.2.2 Dependency pretty -any: using pretty-1.1.3.6 Dependency process -any: using process-1.6.9.0 Dependency random -any: using random-1.1 Dependency syb -any: using syb-0.7.1 Dependency template-haskell -any: using template-haskell-2.15.0.0 Dependency time -any: using time-1.9.3 Dependency transformers -any: using transformers-0.5.6.2 Source component graph: component lib Configured component graph: component sbv-8.7-9mSEXJN8olRBwPWTmi3EMV include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include array-0.5.4.0 include async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 include base-4.13.0.0 include containers-0.6.2.1 include crackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy include deepseq-1.4.4.0 include directory-1.3.6.0 include filepath-1.4.2.1 include generic-deriving-1.13.1-401x1KvA5C638rgKTLqAa8 include mtl-2.2.2 include pretty-1.1.3.6 include process-1.6.9.0 include random-1.1-CUqV1zxrwrE4K5XCdTZSYy include syb-0.7.1-HZot41yU46FEB2GjLEhNpM include template-haskell-2.15.0.0 include time-1.9.3 include transformers-0.5.6.2 Linked component graph: unit sbv-8.7-9mSEXJN8olRBwPWTmi3EMV include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include array-0.5.4.0 include async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 include base-4.13.0.0 include containers-0.6.2.1 include crackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy include deepseq-1.4.4.0 include directory-1.3.6.0 include filepath-1.4.2.1 include generic-deriving-1.13.1-401x1KvA5C638rgKTLqAa8 include mtl-2.2.2 include pretty-1.1.3.6 include process-1.6.9.0 include random-1.1-CUqV1zxrwrE4K5XCdTZSYy include syb-0.7.1-HZot41yU46FEB2GjLEhNpM include template-haskell-2.15.0.0 include time-1.9.3 include transformers-0.5.6.2 Data.SBV=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV,Data.SBV.Char=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Char,Data.SBV.Control=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Control,Data.SBV.Dynamic=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Dynamic,Data.SBV.Either=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Either,Data.SBV.Internals=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Internals,Data.SBV.List=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.List,Data.SBV.Maybe=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Maybe,Data.SBV.RegExp=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.RegExp,Data.SBV.Set=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Set,Data.SBV.String=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.String,Data.SBV.Tools.BMC=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.BMC,Data.SBV.Tools.BoundedFix=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.BoundedFix,Data.SBV.Tools.BoundedList=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.BoundedList,Data.SBV.Tools.CodeGen=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.CodeGen,Data.SBV.Tools.GenTest=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.GenTest,Data.SBV.Tools.Induction=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Induction,Data.SBV.Tools.Overflow=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Overflow,Data.SBV.Tools.Polynomial=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Polynomial,Data.SBV.Tools.Range=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.Range,Data.SBV.Tools.STree=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.STree,Data.SBV.Tools.WeakestPreconditions=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tools.WeakestPreconditions,Data.SBV.Trans=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Trans,Data.SBV.Trans.Control=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Trans.Control,Data.SBV.Tuple=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Data.SBV.Tuple,Documentation.SBV.Examples.BitPrecise.BitTricks=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.BitTricks,Documentation.SBV.Examples.BitPrecise.BrokenSearch=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.BrokenSearch,Documentation.SBV.Examples.BitPrecise.Legato=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.Legato,Documentation.SBV.Examples.BitPrecise.MergeSort=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.MergeSort,Documentation.SBV.Examples.BitPrecise.MultMask=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.MultMask,Documentation.SBV.Examples.BitPrecise.PrefixSum=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.BitPrecise.PrefixSum,Documentation.SBV.Examples.CodeGeneration.AddSub=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.AddSub,Documentation.SBV.Examples.CodeGeneration.CRC_USB5=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.CRC_USB5,Documentation.SBV.Examples.CodeGeneration.Fibonacci=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.Fibonacci,Documentation.SBV.Examples.CodeGeneration.GCD=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.GCD,Documentation.SBV.Examples.CodeGeneration.PopulationCount=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.PopulationCount,Documentation.SBV.Examples.CodeGeneration.Uninterpreted=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.CodeGeneration.Uninterpreted,Documentation.SBV.Examples.Crypto.AES=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Crypto.AES,Documentation.SBV.Examples.Crypto.RC4=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Crypto.RC4,Documentation.SBV.Examples.Crypto.SHA=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Crypto.SHA,Documentation.SBV.Examples.Existentials.CRCPolynomial=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Existentials.CRCPolynomial,Documentation.SBV.Examples.Existentials.Diophantine=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Existentials.Diophantine,Documentation.SBV.Examples.Lists.BoundedMutex=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Lists.BoundedMutex,Documentation.SBV.Examples.Lists.Fibonacci=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Lists.Fibonacci,Documentation.SBV.Examples.Lists.Nested=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Lists.Nested,Documentation.SBV.Examples.Misc.Auxiliary=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Auxiliary,Documentation.SBV.Examples.Misc.Enumerate=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Enumerate,Documentation.SBV.Examples.Misc.Floating=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Floating,Documentation.SBV.Examples.Misc.ModelExtract=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.ModelExtract,Documentation.SBV.Examples.Misc.Newtypes=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Newtypes,Documentation.SBV.Examples.Misc.NoDiv0=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.NoDiv0,Documentation.SBV.Examples.Misc.Polynomials=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Polynomials,Documentation.SBV.Examples.Misc.SetAlgebra=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.SetAlgebra,Documentation.SBV.Examples.Misc.SoftConstrain=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.SoftConstrain,Documentation.SBV.Examples.Misc.Tuple=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Misc.Tuple,Documentation.SBV.Examples.Optimization.Enumerate=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.Enumerate,Documentation.SBV.Examples.Optimization.ExtField=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.ExtField,Documentation.SBV.Examples.Optimization.LinearOpt=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.LinearOpt,Documentation.SBV.Examples.Optimization.Production=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.Production,Documentation.SBV.Examples.Optimization.VM=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Optimization.VM,Documentation.SBV.Examples.ProofTools.BMC=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.BMC,Documentation.SBV.Examples.ProofTools.Fibonacci=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.Fibonacci,Documentation.SBV.Examples.ProofTools.Strengthen=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.Strengthen,Documentation.SBV.Examples.ProofTools.Sum=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.ProofTools.Sum,Documentation.SBV.Examples.Puzzles.Birthday=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Birthday,Documentation.SBV.Examples.Puzzles.Coins=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Coins,Documentation.SBV.Examples.Puzzles.Counts=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Counts,Documentation.SBV.Examples.Puzzles.DogCatMouse=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.DogCatMouse,Documentation.SBV.Examples.Puzzles.Euler185=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Euler185,Documentation.SBV.Examples.Puzzles.Fish=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Fish,Documentation.SBV.Examples.Puzzles.Garden=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Garden,Documentation.SBV.Examples.Puzzles.HexPuzzle=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.HexPuzzle,Documentation.SBV.Examples.Puzzles.LadyAndTigers=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.LadyAndTigers,Documentation.SBV.Examples.Puzzles.MagicSquare=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.MagicSquare,Documentation.SBV.Examples.Puzzles.NQueens=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.NQueens,Documentation.SBV.Examples.Puzzles.SendMoreMoney=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.SendMoreMoney,Documentation.SBV.Examples.Puzzles.Sudoku=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.Sudoku,Documentation.SBV.Examples.Puzzles.U2Bridge=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Puzzles.U2Bridge,Documentation.SBV.Examples.Queries.AllSat=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.AllSat,Documentation.SBV.Examples.Queries.CaseSplit=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.CaseSplit,Documentation.SBV.Examples.Queries.Concurrency=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.Concurrency,Documentation.SBV.Examples.Queries.Enums=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.Enums,Documentation.SBV.Examples.Queries.FourFours=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.FourFours,Documentation.SBV.Examples.Queries.GuessNumber=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.GuessNumber,Documentation.SBV.Examples.Queries.Interpolants=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.Interpolants,Documentation.SBV.Examples.Queries.UnsatCore=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Queries.UnsatCore,Documentation.SBV.Examples.Strings.RegexCrossword=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Strings.RegexCrossword,Documentation.SBV.Examples.Strings.SQLInjection=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Strings.SQLInjection,Documentation.SBV.Examples.Transformers.SymbolicEval=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Transformers.SymbolicEval,Documentation.SBV.Examples.Uninterpreted.AUF=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.AUF,Documentation.SBV.Examples.Uninterpreted.Deduce=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Deduce,Documentation.SBV.Examples.Uninterpreted.Function=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Function,Documentation.SBV.Examples.Uninterpreted.Multiply=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Multiply,Documentation.SBV.Examples.Uninterpreted.Shannon=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Shannon,Documentation.SBV.Examples.Uninterpreted.Sort=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.Sort,Documentation.SBV.Examples.Uninterpreted.UISortAllSat=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.Uninterpreted.UISortAllSat,Documentation.SBV.Examples.WeakestPreconditions.Append=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Append,Documentation.SBV.Examples.WeakestPreconditions.Basics=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Basics,Documentation.SBV.Examples.WeakestPreconditions.Fib=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Fib,Documentation.SBV.Examples.WeakestPreconditions.GCD=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.GCD,Documentation.SBV.Examples.WeakestPreconditions.IntDiv=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.IntDiv,Documentation.SBV.Examples.WeakestPreconditions.IntSqrt=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.IntSqrt,Documentation.SBV.Examples.WeakestPreconditions.Length=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Length,Documentation.SBV.Examples.WeakestPreconditions.Sum=sbv-8.7-9mSEXJN8olRBwPWTmi3EMV:Documentation.SBV.Examples.WeakestPreconditions.Sum Ready component graph: definite sbv-8.7-9mSEXJN8olRBwPWTmi3EMV depends QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD depends array-0.5.4.0 depends async-2.2.2-1jIe70QEPH1GVJJWPbuUZ4 depends base-4.13.0.0 depends containers-0.6.2.1 depends crackNum-2.3-5wzdqqnhc4L2OEYbKaHIPy depends deepseq-1.4.4.0 depends directory-1.3.6.0 depends filepath-1.4.2.1 depends generic-deriving-1.13.1-401x1KvA5C638rgKTLqAa8 depends mtl-2.2.2 depends pretty-1.1.3.6 depends process-1.6.9.0 depends random-1.1-CUqV1zxrwrE4K5XCdTZSYy depends syb-0.7.1-HZot41yU46FEB2GjLEhNpM depends template-haskell-2.15.0.0 depends time-1.9.3 depends transformers-0.5.6.2 Using Cabal-3.0.1.0 compiled by ghc-8.8 Using compiler: ghc-8.8.4 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/sbv-8.7-9mSEXJN8olRBwPWTmi3EMV Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4 Private executables installed in: /usr/lib/x86_64-linux-ghc-8.8.4/sbv-8.7 Data files installed in: /usr/share/sbv Documentation installed in: /usr/share/doc/x86_64-linux-ghc-8.8.4/sbv-8.7 Configuration files installed in: /usr/etc No alex found Using ar found on system at: /usr/bin/x86_64-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 10 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 8.8.4 found on system at: /usr/bin/ghc Using ghc-pkg version 8.8.4 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.23.0 found on system at: /usr/bin/haddock No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.67 found on system at: /usr/bin/hpc Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs Using hscolour version 1.24 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/x86_64-linux-gnu-ld.gold No pkg-config found Using runghc version 8.8.4 found on system at: /usr/bin/runghc Using strip version 2.35 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found touch configure-ghc-stamp . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for sbv-8.7.. Building library for sbv-8.7.. [ 1 of 139] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.o ) [ 2 of 139] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.o ) [ 3 of 139] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.o ) [ 4 of 139] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.o ) [ 5 of 139] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.o ) [ 6 of 139] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.o ) [ 7 of 139] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.o ) [ 8 of 139] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.o ) [ 9 of 139] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.o ) [ 10 of 139] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.o ) [ 11 of 139] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.o ) [ 12 of 139] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.o ) [ 13 of 139] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.o ) [ 14 of 139] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.o ) [ 15 of 139] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.o ) [ 16 of 139] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.o ) [ 17 of 139] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.o ) [ 18 of 139] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.o ) [ 19 of 139] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.o ) [ 20 of 139] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.o ) [ 21 of 139] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.o ) [ 22 of 139] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.o ) [ 23 of 139] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.o ) [ 24 of 139] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.o ) [ 25 of 139] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.o ) [ 26 of 139] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.o ) [ 27 of 139] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.o ) [ 28 of 139] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.o ) [ 29 of 139] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.o ) [ 30 of 139] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.o ) [ 31 of 139] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.o ) [ 32 of 139] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.o ) [ 33 of 139] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.o ) [ 34 of 139] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.o ) [ 35 of 139] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.o ) [ 36 of 139] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.o ) [ 37 of 139] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.o ) [ 38 of 139] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.o ) [ 39 of 139] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.o ) [ 40 of 139] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.o ) [ 41 of 139] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.o ) [ 42 of 139] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.o ) [ 43 of 139] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.o ) [ 44 of 139] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.o ) [ 45 of 139] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.o ) [ 46 of 139] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.o ) [ 47 of 139] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.o ) [ 48 of 139] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.o ) [ 49 of 139] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.o ) [ 50 of 139] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.o ) [ 51 of 139] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.o ) [ 52 of 139] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.o ) [ 53 of 139] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.o ) [ 54 of 139] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.o ) [ 55 of 139] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.o ) [ 56 of 139] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.o ) [ 57 of 139] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.o ) [ 58 of 139] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.o ) [ 59 of 139] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.o ) [ 60 of 139] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.o ) [ 61 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.o ) [ 62 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.o ) [ 63 of 139] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.o ) [ 64 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.o ) [ 65 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.o ) [ 66 of 139] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.o ) [ 67 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.o ) [ 68 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.o ) [ 69 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.o ) [ 70 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.o ) [ 71 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.o ) [ 72 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.o ) [ 73 of 139] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.o ) [ 74 of 139] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.o ) [ 75 of 139] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.o ) [ 76 of 139] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.o ) [ 77 of 139] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.o ) [ 78 of 139] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.o ) [ 79 of 139] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.o ) [ 80 of 139] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.o ) [ 81 of 139] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.o ) [ 82 of 139] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.o ) [ 83 of 139] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.o ) [ 84 of 139] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.o ) [ 85 of 139] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.o ) [ 86 of 139] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.o ) [ 87 of 139] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.o ) [ 88 of 139] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.o ) [ 89 of 139] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.o ) [ 90 of 139] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.o ) [ 91 of 139] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.o ) [ 92 of 139] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.o ) [ 93 of 139] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.o ) [ 94 of 139] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.o ) [ 95 of 139] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.o ) [ 96 of 139] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.o ) [ 97 of 139] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.o ) [ 98 of 139] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.o ) [ 99 of 139] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.o ) [100 of 139] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.o ) [101 of 139] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.o ) [102 of 139] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.o ) [103 of 139] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.o ) [104 of 139] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.o ) [105 of 139] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.o ) [106 of 139] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.o ) [107 of 139] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.o ) [108 of 139] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.o ) [109 of 139] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.o ) [110 of 139] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.o ) [111 of 139] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.o ) [112 of 139] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.o ) [113 of 139] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.o ) [114 of 139] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.o ) [115 of 139] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.o ) [116 of 139] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.o ) [117 of 139] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.o ) [118 of 139] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.o ) [119 of 139] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.o ) [120 of 139] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.o ) [121 of 139] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.o ) [122 of 139] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.o ) [123 of 139] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.o ) [124 of 139] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.o ) [125 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.o ) [126 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.o ) [127 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.o ) [128 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.o ) [129 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.o ) [130 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.o ) [131 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.o ) [132 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.o ) [133 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.o ) [134 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.o ) [135 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.o ) [136 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.o ) [137 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.o ) [138 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.o ) [139 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.o ) [ 1 of 139] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.p_o ) [ 2 of 139] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.p_o ) [ 3 of 139] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.p_o ) [ 4 of 139] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.p_o ) [ 5 of 139] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.p_o ) [ 6 of 139] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.p_o ) [ 7 of 139] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.p_o ) [ 8 of 139] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.p_o ) [ 9 of 139] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.p_o ) [ 10 of 139] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.p_o ) [ 11 of 139] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.p_o ) [ 12 of 139] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.p_o ) [ 13 of 139] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.p_o ) [ 14 of 139] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.p_o ) [ 15 of 139] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.p_o ) [ 16 of 139] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.p_o ) [ 17 of 139] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.p_o ) [ 18 of 139] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.p_o ) [ 19 of 139] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.p_o ) [ 20 of 139] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.p_o ) [ 21 of 139] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.p_o ) [ 22 of 139] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.p_o ) [ 23 of 139] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.p_o ) [ 24 of 139] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.p_o ) [ 25 of 139] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.p_o ) [ 26 of 139] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.p_o ) [ 27 of 139] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.p_o ) [ 28 of 139] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.p_o ) [ 29 of 139] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.p_o ) [ 30 of 139] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.p_o ) [ 31 of 139] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.p_o ) [ 32 of 139] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.p_o ) [ 33 of 139] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.p_o ) [ 34 of 139] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.p_o ) [ 35 of 139] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.p_o ) [ 36 of 139] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.p_o ) [ 37 of 139] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.p_o ) [ 38 of 139] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.p_o ) [ 39 of 139] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.p_o ) [ 40 of 139] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.p_o ) [ 41 of 139] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.p_o ) [ 42 of 139] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.p_o ) [ 43 of 139] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.p_o ) [ 44 of 139] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.p_o ) [ 45 of 139] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.p_o ) [ 46 of 139] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.p_o ) [ 47 of 139] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.p_o ) [ 48 of 139] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.p_o ) [ 49 of 139] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.p_o ) [ 50 of 139] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.p_o ) [ 51 of 139] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.p_o ) [ 52 of 139] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.p_o ) [ 53 of 139] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.p_o ) [ 54 of 139] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.p_o ) [ 55 of 139] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.p_o ) [ 56 of 139] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.p_o ) [ 57 of 139] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.p_o ) [ 58 of 139] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.p_o ) [ 59 of 139] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.p_o ) [ 60 of 139] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.p_o ) [ 61 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.p_o ) [ 62 of 139] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.p_o ) [ 63 of 139] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.p_o ) [ 64 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.p_o ) [ 65 of 139] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.p_o ) [ 66 of 139] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.p_o ) [ 67 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.p_o ) [ 68 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.p_o ) [ 69 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.p_o ) [ 70 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.p_o ) [ 71 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.p_o ) [ 72 of 139] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.p_o ) [ 73 of 139] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.p_o ) [ 74 of 139] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.p_o ) [ 75 of 139] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.p_o ) [ 76 of 139] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.p_o ) [ 77 of 139] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.p_o ) [ 78 of 139] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.p_o ) [ 79 of 139] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.p_o ) [ 80 of 139] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.p_o ) [ 81 of 139] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.p_o ) [ 82 of 139] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.p_o ) [ 83 of 139] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.p_o ) [ 84 of 139] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.p_o ) [ 85 of 139] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.p_o ) [ 86 of 139] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.p_o ) [ 87 of 139] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.p_o ) [ 88 of 139] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.p_o ) [ 89 of 139] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.p_o ) [ 90 of 139] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.p_o ) [ 91 of 139] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.p_o ) [ 92 of 139] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.p_o ) [ 93 of 139] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.p_o ) [ 94 of 139] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.p_o ) [ 95 of 139] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.p_o ) [ 96 of 139] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.p_o ) [ 97 of 139] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.p_o ) [ 98 of 139] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.p_o ) [ 99 of 139] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.p_o ) [100 of 139] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.p_o ) [101 of 139] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.p_o ) [102 of 139] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.p_o ) [103 of 139] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.p_o ) [104 of 139] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.p_o ) [105 of 139] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.p_o ) [106 of 139] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.p_o ) [107 of 139] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.p_o ) [108 of 139] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.p_o ) [109 of 139] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.p_o ) [110 of 139] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.p_o ) [111 of 139] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.p_o ) [112 of 139] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.p_o ) [113 of 139] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.p_o ) [114 of 139] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.p_o ) [115 of 139] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.p_o ) [116 of 139] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.p_o ) [117 of 139] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.p_o ) [118 of 139] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.p_o ) [119 of 139] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.p_o ) [120 of 139] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.p_o ) [121 of 139] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.p_o ) [122 of 139] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.p_o ) [123 of 139] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.p_o ) [124 of 139] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.p_o ) [125 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.p_o ) [126 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.p_o ) [127 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.p_o ) [128 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.p_o ) [129 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.p_o ) [130 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.p_o ) [131 of 139] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.p_o ) [132 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.p_o ) [133 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.p_o ) [134 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.p_o ) [135 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.p_o ) [136 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.p_o ) [137 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.p_o ) [138 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.p_o ) [139 of 139] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.p_o ) touch build-ghc-stamp DEB_ENABLE_TESTS not set to yes, not running any tests. touch check-ghc-stamp Adding cdbs dependencies to debian/libghc-sbv-dev.substvars dh_installdirs -plibghc-sbv-dev \ debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/sbv-8.7-9mSEXJN8olRBwPWTmi3EMV . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ extra_depends_recipe ghc Running dh_haskell_extra_depends ghc sbv-8.7.conf . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_dev_recipe "libghc-sbv-dev" Running cd debian/tmp-inst-ghc Running mkdir -p usr/lib/haskell-packages/ghc/lib Running find usr/lib/haskell-packages/ghc/lib/ \( \! -name \*_p.a \! -name \*.p_hi \! -type d \) -exec install -Dm 644 \{\} ../libghc-sbv-dev/\{\} \; Running install -Dm 644 sbv-8.7.conf debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-8.7.conf Running rm -f sbv-8.7.conf Running dh_haskell_provides -plibghc-sbv-dev Running dh_haskell_depends -plibghc-sbv-dev Running dh_haskell_shlibdeps -plibghc-sbv-dev dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory dh_haskell_blurbs "ghc" -plibghc-sbv-dev Adding cdbs dependencies to debian/libghc-sbv-prof.substvars dh_installdirs -plibghc-sbv-prof \ . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_prof_recipe "libghc-sbv-prof" Running cd debian/tmp-inst-ghc Running mkdir -p usr/lib/haskell-packages/ghc/lib Running find usr/lib/haskell-packages/ghc/lib/ \! \( \! -name \*_p.a \! -name \*.p_hi \) -exec install -Dm 644 \{\} ../libghc-sbv-prof/\{\} \; Running dh_haskell_provides -plibghc-sbv-prof Running dh_haskell_depends -plibghc-sbv-prof dh_haskell_blurbs "ghc" -plibghc-sbv-prof dh_installdocs -plibghc-sbv-dev dh_installexamples -plibghc-sbv-dev dh_installman -plibghc-sbv-dev dh_installinfo -plibghc-sbv-dev dh_installmenu -plibghc-sbv-dev dh_installcron -plibghc-sbv-dev dh_systemd_enable -plibghc-sbv-dev dh_installinit -plibghc-sbv-dev dh_installdebconf -plibghc-sbv-dev dh_installemacsen -plibghc-sbv-dev dh_installcatalogs -plibghc-sbv-dev dh_installpam -plibghc-sbv-dev dh_installlogrotate -plibghc-sbv-dev dh_installlogcheck -plibghc-sbv-dev dh_installchangelogs -plibghc-sbv-dev dh_installudev -plibghc-sbv-dev dh_lintian -plibghc-sbv-dev dh_bugfiles -plibghc-sbv-dev dh_install -plibghc-sbv-dev dh_systemd_start -plibghc-sbv-dev dh_link -plibghc-sbv-dev dh_buildinfo -plibghc-sbv-dev dh_installmime -plibghc-sbv-dev dh_installgsettings -plibghc-sbv-dev dh_installdocs -plibghc-sbv-prof dh_installexamples -plibghc-sbv-prof dh_installman -plibghc-sbv-prof dh_installinfo -plibghc-sbv-prof dh_installmenu -plibghc-sbv-prof dh_installcron -plibghc-sbv-prof dh_systemd_enable -plibghc-sbv-prof dh_installinit -plibghc-sbv-prof dh_installdebconf -plibghc-sbv-prof dh_installemacsen -plibghc-sbv-prof dh_installcatalogs -plibghc-sbv-prof dh_installpam -plibghc-sbv-prof dh_installlogrotate -plibghc-sbv-prof dh_installlogcheck -plibghc-sbv-prof dh_installchangelogs -plibghc-sbv-prof dh_installudev -plibghc-sbv-prof dh_lintian -plibghc-sbv-prof dh_bugfiles -plibghc-sbv-prof dh_install -plibghc-sbv-prof dh_systemd_start -plibghc-sbv-prof dh_link -plibghc-sbv-prof dh_buildinfo -plibghc-sbv-prof dh_installmime -plibghc-sbv-prof dh_installgsettings -plibghc-sbv-prof dh_strip -plibghc-sbv-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-sbv-dev dh_compress -plibghc-sbv-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-sbv-dev dh_makeshlibs -plibghc-sbv-dev -XlibHS dh_strip -plibghc-sbv-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-sbv-prof dh_compress -plibghc-sbv-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-sbv-prof dh_makeshlibs -plibghc-sbv-prof -XlibHS dh_installdeb -plibghc-sbv-dev dh_perl -plibghc-sbv-dev dh_shlibdeps -plibghc-sbv-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so contains an unresolvable reference to symbol stg_newArrayzh: it's probably a plugin dpkg-shlibdeps: warning: 89 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-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSstm-2.5.0.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSghc-boot-th-8.8.4-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libpthread.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libgmp.so.10 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSunix-2.7.2.2-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSFloatingHex-0.4-HBuF3AVXDMJCGHQvWDd2Db-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against librt.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSth-abstraction-0.3.2.0-D5zRQZUNFcq6kU1WHIrSvs-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSbinary-0.8.7.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSarray-0.5.4.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHStext-1.2.4.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSbytestring-0.10.10.1-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libutil.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libdl.so.2 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHShashable-1.3.0.0-AOP4LTmShW4Dax9brHgY53-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-sbv-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSsbv-8.7-9mSEXJN8olRBwPWTmi3EMV-ghc8.8.4.so was not linked against libHSsyb-0.7.1-HZot41yU46FEB2GjLEhNpM-ghc8.8.4.so (it uses none of the library's symbols) dh_installdeb -plibghc-sbv-prof dh_perl -plibghc-sbv-prof dh_shlibdeps -plibghc-sbv-prof -- --ignore-missing-info dh_gencontrol -plibghc-sbv-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Conflicts field of package libghc-sbv-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-sbv-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-sbv-dev dh_builddeb -plibghc-sbv-dev dpkg-deb: building package 'libghc-sbv-dev' in '../libghc-sbv-dev_8.7-1+b1_amd64.deb'. dh_gencontrol -plibghc-sbv-prof dpkg-gencontrol: warning: Conflicts field of package libghc-sbv-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-sbv-prof: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-sbv-prof dh_builddeb -plibghc-sbv-prof dpkg-deb: building package 'libghc-sbv-prof' in '../libghc-sbv-prof_8.7-1+b1_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../haskell-sbv_8.7-1+b1_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: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/haskell-sbv-EsEePs /tmp/haskell-sbv-8.7-1+b10uyjy8t1 I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.ZdqekQtyy1... I: success in 1814.3157 seconds md5: libghc-sbv-dev_8.7-1+b1_amd64.deb: OK md5: libghc-sbv-prof_8.7-1+b1_amd64.deb: OK sha1: libghc-sbv-dev_8.7-1+b1_amd64.deb: OK sha1: libghc-sbv-prof_8.7-1+b1_amd64.deb: OK sha256: libghc-sbv-dev_8.7-1+b1_amd64.deb: OK sha256: libghc-sbv-prof_8.7-1+b1_amd64.deb: OK Checksums: OK