I: pbuilder: network access will be disabled during build
I: Current time: Mon Jan 20 13:59:32 -12 2025
I: pbuilder-time-stamp: 1737424772
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-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_10.2-2.dsc]
I: copying [./haskell-sbv_10.2.orig.tar.gz]
I: copying [./haskell-sbv_10.2-2.debian.tar.xz]
I: Extracting source
dpkg-source: warning: cannot verify inline signature for ./haskell-sbv_10.2-2.dsc: unsupported subcommand
dpkg-source: info: extracting haskell-sbv in haskell-sbv-10.2
dpkg-source: info: unpacking haskell-sbv_10.2.orig.tar.gz
dpkg-source: info: unpacking haskell-sbv_10.2-2.debian.tar.xz
I: Not using root during the build.
I: Installing the build-deps
I: user script /srv/workspace/pbuilder/3626108/tmp/hooks/D02_print_environment starting
I: set
BUILDDIR='/build/reproducible-path'
BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
BUILDUSERNAME='pbuilder1'
BUILD_ARCH='arm64'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 '
DISTRIBUTION='unstable'
HOME='/root'
HOST_ARCH='arm64'
IFS='
'
INVOCATION_ID='e347bde30887481ca6cf43143e7d2dd5'
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='3626108'
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.mV7i8G0W/pbuilderrc_hPIQ --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.mV7i8G0W/b1 --logfile b1/build.log haskell-sbv_10.2-2.dsc'
SUDO_GID='109'
SUDO_UID='104'
SUDO_USER='jenkins'
TERM='unknown'
TZ='/usr/share/zoneinfo/Etc/GMT+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://192.168.101.4:3128'
I: uname -a
Linux codethink02-arm64 6.1.0-30-cloud-arm64 #1 SMP Debian 6.1.124-1 (2025-01-12) aarch64 GNU/Linux
I: ls -l /bin
lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
I: user script /srv/workspace/pbuilder/3626108/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: arm64
Maintainer: Debian Pbuilder Team <pbuilder-maint@lists.alioth.debian.org>
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 (>= 9.4), 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 ... 19965 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 (>= 9.4); 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-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} libcom-err2{a} libconst-fast-perl{a} libcurl3t64-gnutls{a} libdata-optlist-perl{a} libdebhelper-perl{a} libdevel-callchecker-perl{a} libdevel-confess-perl{a} libdynaloader-functions-perl{a} libelf1t64{a} libexpat1{a} libffi-dev{a} libffi8{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-os-string-dev{a} libghc-os-string-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} libgnutls30t64{a} libgssapi-krb5-2{a} libicu72{a} libidn2-0{a} libipc-run3-perl{a} libjs-mathjax{a} libk5crypto3{a} libkeyutils1{a} libkrb5-3{a} libkrb5support0{a} libldap2{a} liblist-someutils-perl{a} libmagic-mgc{a} libmagic1t64{a} libmd-dev{a} libmodule-implementation-perl{a} libmodule-runtime-perl{a} libncurses-dev{a} libncurses6{a} libnghttp2-14{a} libnghttp3-9{a} libngtcp2-16{a} libngtcp2-crypto-gnutls8{a} libnuma-dev{a} libnuma1{a} libp11-kit0{a} libparams-classify-perl{a} libparams-util-perl{a} libpath-tiny-perl{a} libpipeline1{a} libpsl5t64{a} libpython3-stdlib{a} libpython3.13-minimal{a} libpython3.13-stdlib{a} libreadline8t64{a} librtmp1{a} libsasl2-2{a} libsasl2-modules-db{a} libssh2-1t64{a} libsub-exporter-perl{a} libsub-exporter-progressive-perl{a} libsub-install-perl{a} libtasn1-6{a} libtimedate-perl{a} libtool{a} libtry-tiny-perl{a} libuchardet0{a} libunicode-utf8-perl{a} libunistring5{a} libxml2{a} m4{a} man-db{a} media-types{a} netbase{a} po-debconf{a} python3{a} python3-minimal{a} python3-scour{a} python3.13{a} python3.13-minimal{a} readline-common{a} scour{a} sensible-utils{a} tzdata{a}
The following packages are RECOMMENDED but will NOT be installed:
ca-certificates curl krb5-locales libarchive-cpio-perl libghc-hashable-doc libghc-splitmix-doc libghc-unordered-containers-doc libgpm2 libldap-common liblist-someutils-xs-perl libltdl-dev libmail-sendmail-perl libsasl2-modules lynx publicsuffix wget
0 packages upgraded, 133 newly installed, 0 to remove and 0 not upgraded.
Need to get 227 MB of archives. After unpacking 2463 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian unstable/main arm64 libgmpxx4ldbl arm64 2:6.3.0+dfsg-3 [329 kB]
Get: 2 http://deb.debian.org/debian unstable/main arm64 libgmp-dev arm64 2:6.3.0+dfsg-3 [621 kB]
Get: 3 http://deb.debian.org/debian unstable/main arm64 libffi8 arm64 3.4.6-1 [20.9 kB]
Get: 4 http://deb.debian.org/debian unstable/main arm64 libffi-dev arm64 3.4.6-1 [57.0 kB]
Get: 5 http://deb.debian.org/debian unstable/main arm64 libmd-dev arm64 1.1.0-2+b1 [53.3 kB]
Get: 6 http://deb.debian.org/debian unstable/main arm64 libbsd-dev arm64 0.12.2-2 [257 kB]
Get: 7 http://deb.debian.org/debian unstable/main arm64 libncurses6 arm64 6.5-2+b1 [96.1 kB]
Get: 8 http://deb.debian.org/debian unstable/main arm64 libncurses-dev arm64 6.5-2+b1 [338 kB]
Get: 9 http://deb.debian.org/debian unstable/main arm64 libnuma1 arm64 2.0.18-1+b1 [21.8 kB]
Get: 10 http://deb.debian.org/debian unstable/main arm64 libnuma-dev arm64 2.0.18-1+b1 [37.8 kB]
Get: 11 http://deb.debian.org/debian unstable/main arm64 ghc arm64 9.6.6-3 [80.5 MB]
Get: 12 http://deb.debian.org/debian unstable/main arm64 fonts-mathjax all 2.7.9+dfsg-1 [2210 kB]
Get: 13 http://deb.debian.org/debian unstable/main arm64 libjs-mathjax all 2.7.9+dfsg-1 [5667 kB]
Get: 14 http://deb.debian.org/debian unstable/main arm64 ghc-doc all 9.6.6-3 [33.7 MB]
Get: 15 http://deb.debian.org/debian unstable/main arm64 libpython3.13-minimal arm64 3.13.1-3 [852 kB]
Get: 16 http://deb.debian.org/debian unstable/main arm64 libexpat1 arm64 2.6.4-1 [90.7 kB]
Get: 17 http://deb.debian.org/debian unstable/main arm64 python3.13-minimal arm64 3.13.1-3 [1990 kB]
Get: 18 http://deb.debian.org/debian unstable/main arm64 python3-minimal arm64 3.13.1-2 [27.0 kB]
Get: 19 http://deb.debian.org/debian unstable/main arm64 media-types all 10.1.0 [26.9 kB]
Get: 20 http://deb.debian.org/debian unstable/main arm64 netbase all 6.4 [12.8 kB]
Get: 21 http://deb.debian.org/debian unstable/main arm64 tzdata all 2025a-1 [259 kB]
Get: 22 http://deb.debian.org/debian unstable/main arm64 readline-common all 8.2-6 [69.4 kB]
Get: 23 http://deb.debian.org/debian unstable/main arm64 libreadline8t64 arm64 8.2-6 [159 kB]
Get: 24 http://deb.debian.org/debian unstable/main arm64 libpython3.13-stdlib arm64 3.13.1-3 [1912 kB]
Get: 25 http://deb.debian.org/debian unstable/main arm64 python3.13 arm64 3.13.1-3 [740 kB]
Get: 26 http://deb.debian.org/debian unstable/main arm64 libpython3-stdlib arm64 3.13.1-2 [9952 B]
Get: 27 http://deb.debian.org/debian unstable/main arm64 python3 arm64 3.13.1-2 [28.0 kB]
Get: 28 http://deb.debian.org/debian unstable/main arm64 sensible-utils all 0.0.24 [24.8 kB]
Get: 29 http://deb.debian.org/debian unstable/main arm64 libmagic-mgc arm64 1:5.45-3+b1 [314 kB]
Get: 30 http://deb.debian.org/debian unstable/main arm64 libmagic1t64 arm64 1:5.45-3+b1 [102 kB]
Get: 31 http://deb.debian.org/debian unstable/main arm64 file arm64 1:5.45-3+b1 [43.4 kB]
Get: 32 http://deb.debian.org/debian unstable/main arm64 gettext-base arm64 0.23.1-1 [241 kB]
Get: 33 http://deb.debian.org/debian unstable/main arm64 libuchardet0 arm64 0.0.8-1+b2 [69.2 kB]
Get: 34 http://deb.debian.org/debian unstable/main arm64 groff-base arm64 1.23.0-7 [1129 kB]
Get: 35 http://deb.debian.org/debian unstable/main arm64 bsdextrautils arm64 2.40.4-1 [91.6 kB]
Get: 36 http://deb.debian.org/debian unstable/main arm64 libpipeline1 arm64 1.5.8-1 [40.2 kB]
Get: 37 http://deb.debian.org/debian unstable/main arm64 man-db arm64 2.13.0-1 [1404 kB]
Get: 38 http://deb.debian.org/debian unstable/main arm64 m4 arm64 1.4.19-5 [284 kB]
Get: 39 http://deb.debian.org/debian unstable/main arm64 autoconf all 2.72-3 [493 kB]
Get: 40 http://deb.debian.org/debian unstable/main arm64 autotools-dev all 20220109.1 [51.6 kB]
Get: 41 http://deb.debian.org/debian unstable/main arm64 automake all 1:1.16.5-1.3 [823 kB]
Get: 42 http://deb.debian.org/debian unstable/main arm64 autopoint all 0.23.1-1 [770 kB]
Get: 43 http://deb.debian.org/debian unstable/main arm64 python3-scour all 0.38.2-5 [55.7 kB]
Get: 44 http://deb.debian.org/debian unstable/main arm64 scour all 0.38.2-5 [16.3 kB]
Get: 45 http://deb.debian.org/debian unstable/main arm64 cdbs all 0.4.167 [43.3 kB]
Get: 46 http://deb.debian.org/debian unstable/main arm64 dctrl-tools arm64 2.24-3+b1 [125 kB]
Get: 47 http://deb.debian.org/debian unstable/main arm64 libdebhelper-perl all 13.24.1 [90.9 kB]
Get: 48 http://deb.debian.org/debian unstable/main arm64 libtool all 2.5.4-2 [539 kB]
Get: 49 http://deb.debian.org/debian unstable/main arm64 dh-autoreconf all 20 [17.1 kB]
Get: 50 http://deb.debian.org/debian unstable/main arm64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 51 http://deb.debian.org/debian unstable/main arm64 libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get: 52 http://deb.debian.org/debian unstable/main arm64 dh-strip-nondeterminism all 1.14.0-1 [8448 B]
Get: 53 http://deb.debian.org/debian unstable/main arm64 libelf1t64 arm64 0.192-4 [189 kB]
Get: 54 http://deb.debian.org/debian unstable/main arm64 dwz arm64 0.15-1+b1 [102 kB]
Get: 55 http://deb.debian.org/debian unstable/main arm64 libunistring5 arm64 1.3-1 [449 kB]
Get: 56 http://deb.debian.org/debian unstable/main arm64 libicu72 arm64 72.1-6 [9239 kB]
Get: 57 http://deb.debian.org/debian unstable/main arm64 libxml2 arm64 2.12.7+dfsg+really2.9.14-0.2+b1 [630 kB]
Get: 58 http://deb.debian.org/debian unstable/main arm64 gettext arm64 0.23.1-1 [1610 kB]
Get: 59 http://deb.debian.org/debian unstable/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 60 http://deb.debian.org/debian unstable/main arm64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 61 http://deb.debian.org/debian unstable/main arm64 debhelper all 13.24.1 [920 kB]
Get: 62 http://deb.debian.org/debian unstable/main arm64 ghc-prof arm64 9.6.6-3 [64.5 MB]
Get: 63 http://deb.debian.org/debian unstable/main arm64 libbrotli1 arm64 1.1.0-2+b6 [297 kB]
Get: 64 http://deb.debian.org/debian unstable/main arm64 libidn2-0 arm64 2.3.7-2+b1 [127 kB]
Get: 65 http://deb.debian.org/debian unstable/main arm64 libp11-kit0 arm64 0.25.5-3 [409 kB]
Get: 66 http://deb.debian.org/debian unstable/main arm64 libtasn1-6 arm64 4.19.0-3+b3 [46.9 kB]
Get: 67 http://deb.debian.org/debian unstable/main arm64 libgnutls30t64 arm64 3.8.8-2 [1363 kB]
Get: 68 http://deb.debian.org/debian unstable/main arm64 libkrb5support0 arm64 1.21.3-4 [32.2 kB]
Get: 69 http://deb.debian.org/debian unstable/main arm64 libcom-err2 arm64 1.47.2-1 [23.9 kB]
Get: 70 http://deb.debian.org/debian unstable/main arm64 libk5crypto3 arm64 1.21.3-4 [81.5 kB]
Get: 71 http://deb.debian.org/debian unstable/main arm64 libkeyutils1 arm64 1.6.3-4 [9352 B]
Get: 72 http://deb.debian.org/debian unstable/main arm64 libkrb5-3 arm64 1.21.3-4 [308 kB]
Get: 73 http://deb.debian.org/debian unstable/main arm64 libgssapi-krb5-2 arm64 1.21.3-4 [127 kB]
Get: 74 http://deb.debian.org/debian unstable/main arm64 libsasl2-modules-db arm64 2.1.28+dfsg1-8+b1 [20.3 kB]
Get: 75 http://deb.debian.org/debian unstable/main arm64 libsasl2-2 arm64 2.1.28+dfsg1-8+b1 [55.7 kB]
Get: 76 http://deb.debian.org/debian unstable/main arm64 libldap2 arm64 2.6.9+dfsg-1 [179 kB]
Get: 77 http://deb.debian.org/debian unstable/main arm64 libnghttp2-14 arm64 1.64.0-1 [71.3 kB]
Get: 78 http://deb.debian.org/debian unstable/main arm64 libnghttp3-9 arm64 1.6.0-2 [60.5 kB]
Get: 79 http://deb.debian.org/debian unstable/main arm64 libngtcp2-16 arm64 1.9.1-1 [109 kB]
Get: 80 http://deb.debian.org/debian unstable/main arm64 libngtcp2-crypto-gnutls8 arm64 1.9.1-1 [17.3 kB]
Get: 81 http://deb.debian.org/debian unstable/main arm64 libpsl5t64 arm64 0.21.2-1.1+b1 [57.1 kB]
Get: 82 http://deb.debian.org/debian unstable/main arm64 librtmp1 arm64 2.4+20151223.gitfa8646d.1-2+b5 [56.8 kB]
Get: 83 http://deb.debian.org/debian unstable/main arm64 libssh2-1t64 arm64 1.11.1-1 [235 kB]
Get: 84 http://deb.debian.org/debian unstable/main arm64 libcurl3t64-gnutls arm64 8.11.1-1+b1 [331 kB]
Get: 85 http://deb.debian.org/debian unstable/main arm64 html-xml-utils arm64 7.7-1.1+b2 [291 kB]
Get: 86 http://deb.debian.org/debian unstable/main arm64 libparams-util-perl arm64 1.102-3+b1 [23.7 kB]
Get: 87 http://deb.debian.org/debian unstable/main arm64 libsub-install-perl all 0.929-1 [10.5 kB]
Get: 88 http://deb.debian.org/debian unstable/main arm64 libdata-optlist-perl all 0.114-1 [10.6 kB]
Get: 89 http://deb.debian.org/debian unstable/main arm64 libsub-exporter-perl all 0.990-1 [50.6 kB]
Get: 90 http://deb.debian.org/debian unstable/main arm64 libsub-exporter-progressive-perl all 0.001013-3 [7496 B]
Get: 91 http://deb.debian.org/debian unstable/main arm64 libconst-fast-perl all 0.014-2 [8792 B]
Get: 92 http://deb.debian.org/debian unstable/main arm64 libdevel-confess-perl all 0.009004-4 [19.3 kB]
Get: 93 http://deb.debian.org/debian unstable/main arm64 libipc-run3-perl all 0.049-1 [31.5 kB]
Get: 94 http://deb.debian.org/debian unstable/main arm64 libb-hooks-op-check-perl arm64 0.22-3+b2 [10.6 kB]
Get: 95 http://deb.debian.org/debian unstable/main arm64 libdynaloader-functions-perl all 0.004-1 [12.1 kB]
Get: 96 http://deb.debian.org/debian unstable/main arm64 libdevel-callchecker-perl arm64 0.009-1+b1 [16.3 kB]
Get: 97 http://deb.debian.org/debian unstable/main arm64 libparams-classify-perl arm64 0.015-2+b4 [22.3 kB]
Get: 98 http://deb.debian.org/debian unstable/main arm64 libmodule-runtime-perl all 0.016-2 [19.6 kB]
Get: 99 http://deb.debian.org/debian unstable/main arm64 libtry-tiny-perl all 0.32-1 [22.9 kB]
Get: 100 http://deb.debian.org/debian unstable/main arm64 libmodule-implementation-perl all 0.09-2 [12.6 kB]
Get: 101 http://deb.debian.org/debian unstable/main arm64 liblist-someutils-perl all 0.59-1 [37.1 kB]
Get: 102 http://deb.debian.org/debian unstable/main arm64 libpath-tiny-perl all 0.146-1 [56.2 kB]
Get: 103 http://deb.debian.org/debian unstable/main arm64 libtimedate-perl all 2.3300-2 [39.3 kB]
Get: 104 http://deb.debian.org/debian unstable/main arm64 libunicode-utf8-perl arm64 0.62-2+b3 [20.1 kB]
Get: 105 http://deb.debian.org/debian unstable/main arm64 haskell-devscripts-minimal all 0.16.34 [40.3 kB]
Get: 106 http://deb.debian.org/debian unstable/main arm64 hscolour arm64 1.25-1 [1358 kB]
Get: 107 http://deb.debian.org/debian unstable/main arm64 haskell-devscripts all 0.16.34 [6256 B]
Get: 108 http://deb.debian.org/debian unstable/main arm64 libghc-os-string-dev arm64 2.0.6-2 [204 kB]
Get: 109 http://deb.debian.org/debian unstable/main arm64 libghc-hashable-dev arm64 1.4.4.0-1 [126 kB]
Get: 110 http://deb.debian.org/debian unstable/main arm64 libghc-async-dev arm64 2.2.5-1 [86.9 kB]
Get: 111 http://deb.debian.org/debian unstable/main arm64 libghc-async-doc all 2.2.5-1 [81.7 kB]
Get: 112 http://deb.debian.org/debian unstable/main arm64 libghc-os-string-prof arm64 2.0.6-2 [252 kB]
Get: 113 http://deb.debian.org/debian unstable/main arm64 libghc-hashable-prof arm64 1.4.4.0-1 [139 kB]
Get: 114 http://deb.debian.org/debian unstable/main arm64 libghc-async-prof arm64 2.2.5-1 [90.2 kB]
Get: 115 http://deb.debian.org/debian unstable/main arm64 libghc-libbf-dev arm64 0.6.8-1 [193 kB]
Get: 116 http://deb.debian.org/debian unstable/main arm64 libghc-libbf-doc all 0.6.8-1 [87.8 kB]
Get: 117 http://deb.debian.org/debian unstable/main arm64 libghc-libbf-prof arm64 0.6.8-1 [178 kB]
Get: 118 http://deb.debian.org/debian unstable/main arm64 libghc-splitmix-dev arm64 0.1.0.5-2 [50.2 kB]
Get: 119 http://deb.debian.org/debian unstable/main arm64 libghc-random-dev arm64 1.2.1.2-1 [323 kB]
Get: 120 http://deb.debian.org/debian unstable/main arm64 libghc-quickcheck2-dev arm64 2.14.3-2 [696 kB]
Get: 121 http://deb.debian.org/debian unstable/main arm64 libghc-quickcheck2-doc all 2.14.3-2 [293 kB]
Get: 122 http://deb.debian.org/debian unstable/main arm64 libghc-splitmix-prof arm64 0.1.0.5-2 [51.1 kB]
Get: 123 http://deb.debian.org/debian unstable/main arm64 libghc-random-prof arm64 1.2.1.2-1 [351 kB]
Get: 124 http://deb.debian.org/debian unstable/main arm64 libghc-quickcheck2-prof arm64 2.14.3-2 [797 kB]
Get: 125 http://deb.debian.org/debian unstable/main arm64 libghc-random-doc all 1.2.1.2-1 [145 kB]
Get: 126 http://deb.debian.org/debian unstable/main arm64 libghc-syb-dev arm64 0.7.2.4-2 [112 kB]
Get: 127 http://deb.debian.org/debian unstable/main arm64 libghc-syb-doc all 0.7.2.4-2 [87.4 kB]
Get: 128 http://deb.debian.org/debian unstable/main arm64 libghc-syb-prof arm64 0.7.2.4-2 [117 kB]
Get: 129 http://deb.debian.org/debian unstable/main arm64 libghc-unordered-containers-dev arm64 0.2.20-3 [314 kB]
Get: 130 http://deb.debian.org/debian unstable/main arm64 libghc-uniplate-dev arm64 1.6.13-3 [346 kB]
Get: 131 http://deb.debian.org/debian unstable/main arm64 libghc-uniplate-doc all 1.6.13-3 [149 kB]
Get: 132 http://deb.debian.org/debian unstable/main arm64 libghc-unordered-containers-prof arm64 0.2.20-3 [435 kB]
Get: 133 http://deb.debian.org/debian unstable/main arm64 libghc-uniplate-prof arm64 1.6.13-3 [390 kB]
Fetched 227 MB in 3s (77.5 MB/s)
Preconfiguring packages ...
Selecting previously unselected package libgmpxx4ldbl:arm64.
(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 ... 19965 files and directories currently installed.)
Preparing to unpack .../00-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_arm64.deb ...
Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libgmp-dev:arm64.
Preparing to unpack .../01-libgmp-dev_2%3a6.3.0+dfsg-3_arm64.deb ...
Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-3) ...
Selecting previously unselected package libffi8:arm64.
Preparing to unpack .../02-libffi8_3.4.6-1_arm64.deb ...
Unpacking libffi8:arm64 (3.4.6-1) ...
Selecting previously unselected package libffi-dev:arm64.
Preparing to unpack .../03-libffi-dev_3.4.6-1_arm64.deb ...
Unpacking libffi-dev:arm64 (3.4.6-1) ...
Selecting previously unselected package libmd-dev:arm64.
Preparing to unpack .../04-libmd-dev_1.1.0-2+b1_arm64.deb ...
Unpacking libmd-dev:arm64 (1.1.0-2+b1) ...
Selecting previously unselected package libbsd-dev:arm64.
Preparing to unpack .../05-libbsd-dev_0.12.2-2_arm64.deb ...
Unpacking libbsd-dev:arm64 (0.12.2-2) ...
Selecting previously unselected package libncurses6:arm64.
Preparing to unpack .../06-libncurses6_6.5-2+b1_arm64.deb ...
Unpacking libncurses6:arm64 (6.5-2+b1) ...
Selecting previously unselected package libncurses-dev:arm64.
Preparing to unpack .../07-libncurses-dev_6.5-2+b1_arm64.deb ...
Unpacking libncurses-dev:arm64 (6.5-2+b1) ...
Selecting previously unselected package libnuma1:arm64.
Preparing to unpack .../08-libnuma1_2.0.18-1+b1_arm64.deb ...
Unpacking libnuma1:arm64 (2.0.18-1+b1) ...
Selecting previously unselected package libnuma-dev:arm64.
Preparing to unpack .../09-libnuma-dev_2.0.18-1+b1_arm64.deb ...
Unpacking libnuma-dev:arm64 (2.0.18-1+b1) ...
Selecting previously unselected package ghc.
Preparing to unpack .../10-ghc_9.6.6-3_arm64.deb ...
Unpacking ghc (9.6.6-3) ...
Selecting previously unselected package fonts-mathjax.
Preparing to unpack .../11-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 .../12-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 .../13-ghc-doc_9.6.6-3_all.deb ...
Unpacking ghc-doc (9.6.6-3) ...
Selecting previously unselected package libpython3.13-minimal:arm64.
Preparing to unpack .../14-libpython3.13-minimal_3.13.1-3_arm64.deb ...
Unpacking libpython3.13-minimal:arm64 (3.13.1-3) ...
Selecting previously unselected package libexpat1:arm64.
Preparing to unpack .../15-libexpat1_2.6.4-1_arm64.deb ...
Unpacking libexpat1:arm64 (2.6.4-1) ...
Selecting previously unselected package python3.13-minimal.
Preparing to unpack .../16-python3.13-minimal_3.13.1-3_arm64.deb ...
Unpacking python3.13-minimal (3.13.1-3) ...
Setting up libpython3.13-minimal:arm64 (3.13.1-3) ...
Setting up libexpat1:arm64 (2.6.4-1) ...
Setting up python3.13-minimal (3.13.1-3) ...
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 ... 34580 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.13.1-2_arm64.deb ...
Unpacking python3-minimal (3.13.1-2) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../2-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package tzdata.
Preparing to unpack .../3-tzdata_2025a-1_all.deb ...
Unpacking tzdata (2025a-1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../4-readline-common_8.2-6_all.deb ...
Unpacking readline-common (8.2-6) ...
Selecting previously unselected package libreadline8t64:arm64.
Preparing to unpack .../5-libreadline8t64_8.2-6_arm64.deb ...
Adding 'diversion of /lib/aarch64-linux-gnu/libhistory.so.8 to /lib/aarch64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/aarch64-linux-gnu/libhistory.so.8.2 to /lib/aarch64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/aarch64-linux-gnu/libreadline.so.8 to /lib/aarch64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/aarch64-linux-gnu/libreadline.so.8.2 to /lib/aarch64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:arm64 (8.2-6) ...
Selecting previously unselected package libpython3.13-stdlib:arm64.
Preparing to unpack .../6-libpython3.13-stdlib_3.13.1-3_arm64.deb ...
Unpacking libpython3.13-stdlib:arm64 (3.13.1-3) ...
Selecting previously unselected package python3.13.
Preparing to unpack .../7-python3.13_3.13.1-3_arm64.deb ...
Unpacking python3.13 (3.13.1-3) ...
Selecting previously unselected package libpython3-stdlib:arm64.
Preparing to unpack .../8-libpython3-stdlib_3.13.1-2_arm64.deb ...
Unpacking libpython3-stdlib:arm64 (3.13.1-2) ...
Setting up python3-minimal (3.13.1-2) ...
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 ... 35585 files and directories currently installed.)
Preparing to unpack .../000-python3_3.13.1-2_arm64.deb ...
Unpacking python3 (3.13.1-2) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../001-sensible-utils_0.0.24_all.deb ...
Unpacking sensible-utils (0.0.24) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../002-libmagic-mgc_1%3a5.45-3+b1_arm64.deb ...
Unpacking libmagic-mgc (1:5.45-3+b1) ...
Selecting previously unselected package libmagic1t64:arm64.
Preparing to unpack .../003-libmagic1t64_1%3a5.45-3+b1_arm64.deb ...
Unpacking libmagic1t64:arm64 (1:5.45-3+b1) ...
Selecting previously unselected package file.
Preparing to unpack .../004-file_1%3a5.45-3+b1_arm64.deb ...
Unpacking file (1:5.45-3+b1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../005-gettext-base_0.23.1-1_arm64.deb ...
Unpacking gettext-base (0.23.1-1) ...
Selecting previously unselected package libuchardet0:arm64.
Preparing to unpack .../006-libuchardet0_0.0.8-1+b2_arm64.deb ...
Unpacking libuchardet0:arm64 (0.0.8-1+b2) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../007-groff-base_1.23.0-7_arm64.deb ...
Unpacking groff-base (1.23.0-7) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../008-bsdextrautils_2.40.4-1_arm64.deb ...
Unpacking bsdextrautils (2.40.4-1) ...
Selecting previously unselected package libpipeline1:arm64.
Preparing to unpack .../009-libpipeline1_1.5.8-1_arm64.deb ...
Unpacking libpipeline1:arm64 (1.5.8-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../010-man-db_2.13.0-1_arm64.deb ...
Unpacking man-db (2.13.0-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../011-m4_1.4.19-5_arm64.deb ...
Unpacking m4 (1.4.19-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../012-autoconf_2.72-3_all.deb ...
Unpacking autoconf (2.72-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../013-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../014-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 .../015-autopoint_0.23.1-1_all.deb ...
Unpacking autopoint (0.23.1-1) ...
Selecting previously unselected package python3-scour.
Preparing to unpack .../016-python3-scour_0.38.2-5_all.deb ...
Unpacking python3-scour (0.38.2-5) ...
Selecting previously unselected package scour.
Preparing to unpack .../017-scour_0.38.2-5_all.deb ...
Unpacking scour (0.38.2-5) ...
Selecting previously unselected package cdbs.
Preparing to unpack .../018-cdbs_0.4.167_all.deb ...
Unpacking cdbs (0.4.167) ...
Selecting previously unselected package dctrl-tools.
Preparing to unpack .../019-dctrl-tools_2.24-3+b1_arm64.deb ...
Unpacking dctrl-tools (2.24-3+b1) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../020-libdebhelper-perl_13.24.1_all.deb ...
Unpacking libdebhelper-perl (13.24.1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../021-libtool_2.5.4-2_all.deb ...
Unpacking libtool (2.5.4-2) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../022-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../023-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../024-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../025-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:arm64.
Preparing to unpack .../026-libelf1t64_0.192-4_arm64.deb ...
Unpacking libelf1t64:arm64 (0.192-4) ...
Selecting previously unselected package dwz.
Preparing to unpack .../027-dwz_0.15-1+b1_arm64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libunistring5:arm64.
Preparing to unpack .../028-libunistring5_1.3-1_arm64.deb ...
Unpacking libunistring5:arm64 (1.3-1) ...
Selecting previously unselected package libicu72:arm64.
Preparing to unpack .../029-libicu72_72.1-6_arm64.deb ...
Unpacking libicu72:arm64 (72.1-6) ...
Selecting previously unselected package libxml2:arm64.
Preparing to unpack .../030-libxml2_2.12.7+dfsg+really2.9.14-0.2+b1_arm64.deb ...
Unpacking libxml2:arm64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../031-gettext_0.23.1-1_arm64.deb ...
Unpacking gettext (0.23.1-1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../032-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 .../033-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../034-debhelper_13.24.1_all.deb ...
Unpacking debhelper (13.24.1) ...
Selecting previously unselected package ghc-prof.
Preparing to unpack .../035-ghc-prof_9.6.6-3_arm64.deb ...
Unpacking ghc-prof (9.6.6-3) ...
Selecting previously unselected package libbrotli1:arm64.
Preparing to unpack .../036-libbrotli1_1.1.0-2+b6_arm64.deb ...
Unpacking libbrotli1:arm64 (1.1.0-2+b6) ...
Selecting previously unselected package libidn2-0:arm64.
Preparing to unpack .../037-libidn2-0_2.3.7-2+b1_arm64.deb ...
Unpacking libidn2-0:arm64 (2.3.7-2+b1) ...
Selecting previously unselected package libp11-kit0:arm64.
Preparing to unpack .../038-libp11-kit0_0.25.5-3_arm64.deb ...
Unpacking libp11-kit0:arm64 (0.25.5-3) ...
Selecting previously unselected package libtasn1-6:arm64.
Preparing to unpack .../039-libtasn1-6_4.19.0-3+b3_arm64.deb ...
Unpacking libtasn1-6:arm64 (4.19.0-3+b3) ...
Selecting previously unselected package libgnutls30t64:arm64.
Preparing to unpack .../040-libgnutls30t64_3.8.8-2_arm64.deb ...
Unpacking libgnutls30t64:arm64 (3.8.8-2) ...
Selecting previously unselected package libkrb5support0:arm64.
Preparing to unpack .../041-libkrb5support0_1.21.3-4_arm64.deb ...
Unpacking libkrb5support0:arm64 (1.21.3-4) ...
Selecting previously unselected package libcom-err2:arm64.
Preparing to unpack .../042-libcom-err2_1.47.2-1_arm64.deb ...
Unpacking libcom-err2:arm64 (1.47.2-1) ...
Selecting previously unselected package libk5crypto3:arm64.
Preparing to unpack .../043-libk5crypto3_1.21.3-4_arm64.deb ...
Unpacking libk5crypto3:arm64 (1.21.3-4) ...
Selecting previously unselected package libkeyutils1:arm64.
Preparing to unpack .../044-libkeyutils1_1.6.3-4_arm64.deb ...
Unpacking libkeyutils1:arm64 (1.6.3-4) ...
Selecting previously unselected package libkrb5-3:arm64.
Preparing to unpack .../045-libkrb5-3_1.21.3-4_arm64.deb ...
Unpacking libkrb5-3:arm64 (1.21.3-4) ...
Selecting previously unselected package libgssapi-krb5-2:arm64.
Preparing to unpack .../046-libgssapi-krb5-2_1.21.3-4_arm64.deb ...
Unpacking libgssapi-krb5-2:arm64 (1.21.3-4) ...
Selecting previously unselected package libsasl2-modules-db:arm64.
Preparing to unpack .../047-libsasl2-modules-db_2.1.28+dfsg1-8+b1_arm64.deb ...
Unpacking libsasl2-modules-db:arm64 (2.1.28+dfsg1-8+b1) ...
Selecting previously unselected package libsasl2-2:arm64.
Preparing to unpack .../048-libsasl2-2_2.1.28+dfsg1-8+b1_arm64.deb ...
Unpacking libsasl2-2:arm64 (2.1.28+dfsg1-8+b1) ...
Selecting previously unselected package libldap2:arm64.
Preparing to unpack .../049-libldap2_2.6.9+dfsg-1_arm64.deb ...
Unpacking libldap2:arm64 (2.6.9+dfsg-1) ...
Selecting previously unselected package libnghttp2-14:arm64.
Preparing to unpack .../050-libnghttp2-14_1.64.0-1_arm64.deb ...
Unpacking libnghttp2-14:arm64 (1.64.0-1) ...
Selecting previously unselected package libnghttp3-9:arm64.
Preparing to unpack .../051-libnghttp3-9_1.6.0-2_arm64.deb ...
Unpacking libnghttp3-9:arm64 (1.6.0-2) ...
Selecting previously unselected package libngtcp2-16:arm64.
Preparing to unpack .../052-libngtcp2-16_1.9.1-1_arm64.deb ...
Unpacking libngtcp2-16:arm64 (1.9.1-1) ...
Selecting previously unselected package libngtcp2-crypto-gnutls8:arm64.
Preparing to unpack .../053-libngtcp2-crypto-gnutls8_1.9.1-1_arm64.deb ...
Unpacking libngtcp2-crypto-gnutls8:arm64 (1.9.1-1) ...
Selecting previously unselected package libpsl5t64:arm64.
Preparing to unpack .../054-libpsl5t64_0.21.2-1.1+b1_arm64.deb ...
Unpacking libpsl5t64:arm64 (0.21.2-1.1+b1) ...
Selecting previously unselected package librtmp1:arm64.
Preparing to unpack .../055-librtmp1_2.4+20151223.gitfa8646d.1-2+b5_arm64.deb ...
Unpacking librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b5) ...
Selecting previously unselected package libssh2-1t64:arm64.
Preparing to unpack .../056-libssh2-1t64_1.11.1-1_arm64.deb ...
Unpacking libssh2-1t64:arm64 (1.11.1-1) ...
Selecting previously unselected package libcurl3t64-gnutls:arm64.
Preparing to unpack .../057-libcurl3t64-gnutls_8.11.1-1+b1_arm64.deb ...
Unpacking libcurl3t64-gnutls:arm64 (8.11.1-1+b1) ...
Selecting previously unselected package html-xml-utils.
Preparing to unpack .../058-html-xml-utils_7.7-1.1+b2_arm64.deb ...
Unpacking html-xml-utils (7.7-1.1+b2) ...
Selecting previously unselected package libparams-util-perl.
Preparing to unpack .../059-libparams-util-perl_1.102-3+b1_arm64.deb ...
Unpacking libparams-util-perl (1.102-3+b1) ...
Selecting previously unselected package libsub-install-perl.
Preparing to unpack .../060-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 .../061-libdata-optlist-perl_0.114-1_all.deb ...
Unpacking libdata-optlist-perl (0.114-1) ...
Selecting previously unselected package libsub-exporter-perl.
Preparing to unpack .../062-libsub-exporter-perl_0.990-1_all.deb ...
Unpacking libsub-exporter-perl (0.990-1) ...
Selecting previously unselected package libsub-exporter-progressive-perl.
Preparing to unpack .../063-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 .../064-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 .../065-libdevel-confess-perl_0.009004-4_all.deb ...
Unpacking libdevel-confess-perl (0.009004-4) ...
Selecting previously unselected package libipc-run3-perl.
Preparing to unpack .../066-libipc-run3-perl_0.049-1_all.deb ...
Unpacking libipc-run3-perl (0.049-1) ...
Selecting previously unselected package libb-hooks-op-check-perl:arm64.
Preparing to unpack .../067-libb-hooks-op-check-perl_0.22-3+b2_arm64.deb ...
Unpacking libb-hooks-op-check-perl:arm64 (0.22-3+b2) ...
Selecting previously unselected package libdynaloader-functions-perl.
Preparing to unpack .../068-libdynaloader-functions-perl_0.004-1_all.deb ...
Unpacking libdynaloader-functions-perl (0.004-1) ...
Selecting previously unselected package libdevel-callchecker-perl:arm64.
Preparing to unpack .../069-libdevel-callchecker-perl_0.009-1+b1_arm64.deb ...
Unpacking libdevel-callchecker-perl:arm64 (0.009-1+b1) ...
Selecting previously unselected package libparams-classify-perl:arm64.
Preparing to unpack .../070-libparams-classify-perl_0.015-2+b4_arm64.deb ...
Unpacking libparams-classify-perl:arm64 (0.015-2+b4) ...
Selecting previously unselected package libmodule-runtime-perl.
Preparing to unpack .../071-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 .../072-libtry-tiny-perl_0.32-1_all.deb ...
Unpacking libtry-tiny-perl (0.32-1) ...
Selecting previously unselected package libmodule-implementation-perl.
Preparing to unpack .../073-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 .../074-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 .../075-libpath-tiny-perl_0.146-1_all.deb ...
Unpacking libpath-tiny-perl (0.146-1) ...
Selecting previously unselected package libtimedate-perl.
Preparing to unpack .../076-libtimedate-perl_2.3300-2_all.deb ...
Unpacking libtimedate-perl (2.3300-2) ...
Selecting previously unselected package libunicode-utf8-perl.
Preparing to unpack .../077-libunicode-utf8-perl_0.62-2+b3_arm64.deb ...
Unpacking libunicode-utf8-perl (0.62-2+b3) ...
Selecting previously unselected package haskell-devscripts-minimal.
Preparing to unpack .../078-haskell-devscripts-minimal_0.16.34_all.deb ...
Unpacking haskell-devscripts-minimal (0.16.34) ...
Selecting previously unselected package hscolour.
Preparing to unpack .../079-hscolour_1.25-1_arm64.deb ...
Unpacking hscolour (1.25-1) ...
Selecting previously unselected package haskell-devscripts.
Preparing to unpack .../080-haskell-devscripts_0.16.34_all.deb ...
Unpacking haskell-devscripts (0.16.34) ...
Selecting previously unselected package libghc-os-string-dev.
Preparing to unpack .../081-libghc-os-string-dev_2.0.6-2_arm64.deb ...
Unpacking libghc-os-string-dev (2.0.6-2) ...
Selecting previously unselected package libghc-hashable-dev.
Preparing to unpack .../082-libghc-hashable-dev_1.4.4.0-1_arm64.deb ...
Unpacking libghc-hashable-dev (1.4.4.0-1) ...
Selecting previously unselected package libghc-async-dev.
Preparing to unpack .../083-libghc-async-dev_2.2.5-1_arm64.deb ...
Unpacking libghc-async-dev (2.2.5-1) ...
Selecting previously unselected package libghc-async-doc.
Preparing to unpack .../084-libghc-async-doc_2.2.5-1_all.deb ...
Unpacking libghc-async-doc (2.2.5-1) ...
Selecting previously unselected package libghc-os-string-prof.
Preparing to unpack .../085-libghc-os-string-prof_2.0.6-2_arm64.deb ...
Unpacking libghc-os-string-prof (2.0.6-2) ...
Selecting previously unselected package libghc-hashable-prof.
Preparing to unpack .../086-libghc-hashable-prof_1.4.4.0-1_arm64.deb ...
Unpacking libghc-hashable-prof (1.4.4.0-1) ...
Selecting previously unselected package libghc-async-prof.
Preparing to unpack .../087-libghc-async-prof_2.2.5-1_arm64.deb ...
Unpacking libghc-async-prof (2.2.5-1) ...
Selecting previously unselected package libghc-libbf-dev.
Preparing to unpack .../088-libghc-libbf-dev_0.6.8-1_arm64.deb ...
Unpacking libghc-libbf-dev (0.6.8-1) ...
Selecting previously unselected package libghc-libbf-doc.
Preparing to unpack .../089-libghc-libbf-doc_0.6.8-1_all.deb ...
Unpacking libghc-libbf-doc (0.6.8-1) ...
Selecting previously unselected package libghc-libbf-prof.
Preparing to unpack .../090-libghc-libbf-prof_0.6.8-1_arm64.deb ...
Unpacking libghc-libbf-prof (0.6.8-1) ...
Selecting previously unselected package libghc-splitmix-dev.
Preparing to unpack .../091-libghc-splitmix-dev_0.1.0.5-2_arm64.deb ...
Unpacking libghc-splitmix-dev (0.1.0.5-2) ...
Selecting previously unselected package libghc-random-dev.
Preparing to unpack .../092-libghc-random-dev_1.2.1.2-1_arm64.deb ...
Unpacking libghc-random-dev (1.2.1.2-1) ...
Selecting previously unselected package libghc-quickcheck2-dev.
Preparing to unpack .../093-libghc-quickcheck2-dev_2.14.3-2_arm64.deb ...
Unpacking libghc-quickcheck2-dev (2.14.3-2) ...
Selecting previously unselected package libghc-quickcheck2-doc.
Preparing to unpack .../094-libghc-quickcheck2-doc_2.14.3-2_all.deb ...
Unpacking libghc-quickcheck2-doc (2.14.3-2) ...
Selecting previously unselected package libghc-splitmix-prof.
Preparing to unpack .../095-libghc-splitmix-prof_0.1.0.5-2_arm64.deb ...
Unpacking libghc-splitmix-prof (0.1.0.5-2) ...
Selecting previously unselected package libghc-random-prof.
Preparing to unpack .../096-libghc-random-prof_1.2.1.2-1_arm64.deb ...
Unpacking libghc-random-prof (1.2.1.2-1) ...
Selecting previously unselected package libghc-quickcheck2-prof.
Preparing to unpack .../097-libghc-quickcheck2-prof_2.14.3-2_arm64.deb ...
Unpacking libghc-quickcheck2-prof (2.14.3-2) ...
Selecting previously unselected package libghc-random-doc.
Preparing to unpack .../098-libghc-random-doc_1.2.1.2-1_all.deb ...
Unpacking libghc-random-doc (1.2.1.2-1) ...
Selecting previously unselected package libghc-syb-dev.
Preparing to unpack .../099-libghc-syb-dev_0.7.2.4-2_arm64.deb ...
Unpacking libghc-syb-dev (0.7.2.4-2) ...
Selecting previously unselected package libghc-syb-doc.
Preparing to unpack .../100-libghc-syb-doc_0.7.2.4-2_all.deb ...
Unpacking libghc-syb-doc (0.7.2.4-2) ...
Selecting previously unselected package libghc-syb-prof.
Preparing to unpack .../101-libghc-syb-prof_0.7.2.4-2_arm64.deb ...
Unpacking libghc-syb-prof (0.7.2.4-2) ...
Selecting previously unselected package libghc-unordered-containers-dev.
Preparing to unpack .../102-libghc-unordered-containers-dev_0.2.20-3_arm64.deb ...
Unpacking libghc-unordered-containers-dev (0.2.20-3) ...
Selecting previously unselected package libghc-uniplate-dev.
Preparing to unpack .../103-libghc-uniplate-dev_1.6.13-3_arm64.deb ...
Unpacking libghc-uniplate-dev (1.6.13-3) ...
Selecting previously unselected package libghc-uniplate-doc.
Preparing to unpack .../104-libghc-uniplate-doc_1.6.13-3_all.deb ...
Unpacking libghc-uniplate-doc (1.6.13-3) ...
Selecting previously unselected package libghc-unordered-containers-prof.
Preparing to unpack .../105-libghc-unordered-containers-prof_0.2.20-3_arm64.deb ...
Unpacking libghc-unordered-containers-prof (0.2.20-3) ...
Selecting previously unselected package libghc-uniplate-prof.
Preparing to unpack .../106-libghc-uniplate-prof_1.6.13-3_arm64.deb ...
Unpacking libghc-uniplate-prof (1.6.13-3) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:arm64 (1.5.8-1) ...
Setting up libkeyutils1:arm64 (1.6.3-4) ...
Setting up libunicode-utf8-perl (0.62-2+b3) ...
Setting up fonts-mathjax (2.7.9+dfsg-1) ...
Setting up libicu72:arm64 (72.1-6) ...
Setting up bsdextrautils (2.40.4-1) ...
Setting up libjs-mathjax (2.7.9+dfsg-1) ...
Setting up libdynaloader-functions-perl (0.004-1) ...
Setting up libmagic-mgc (1:5.45-3+b1) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.24.1) ...
Setting up libbrotli1:arm64 (1.1.0-2+b6) ...
Setting up libmagic1t64:arm64 (1:5.45-3+b1) ...
Setting up libtry-tiny-perl (0.32-1) ...
Setting up libnghttp2-14:arm64 (1.64.0-1) ...
Setting up gettext-base (0.23.1-1) ...
Setting up m4 (1.4.19-5) ...
Setting up libcom-err2:arm64 (1.47.2-1) ...
Setting up file (1:5.45-3+b1) ...
Setting up libsub-install-perl (0.929-1) ...
Setting up libelf1t64:arm64 (0.192-4) ...
Setting up libkrb5support0:arm64 (1.21.3-4) ...
Setting up libsasl2-modules-db:arm64 (2.1.28+dfsg1-8+b1) ...
Setting up tzdata (2025a-1) ...
Current default time zone: 'Etc/UTC'
Local time is now: Tue Jan 21 02:01:06 UTC 2025.
Universal Time is now: Tue Jan 21 02:01:06 UTC 2025.
Run 'dpkg-reconfigure tzdata' if you wish to change it.
Setting up autotools-dev (20220109.1) ...
Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ...
Setting up libncurses6:arm64 (6.5-2+b1) ...
Setting up libunistring5:arm64 (1.3-1) ...
Setting up autopoint (0.23.1-1) ...
Setting up libb-hooks-op-check-perl:arm64 (0.22-3+b2) ...
Setting up libk5crypto3:arm64 (1.21.3-4) ...
Setting up libparams-util-perl (1.102-3+b1) ...
Setting up libsasl2-2:arm64 (2.1.28+dfsg1-8+b1) ...
Setting up autoconf (2.72-3) ...
Setting up libnghttp3-9:arm64 (1.6.0-2) ...
Setting up libsub-exporter-progressive-perl (0.001013-3) ...
Setting up libtimedate-perl (2.3300-2) ...
Setting up libdevel-confess-perl (0.009004-4) ...
Setting up libffi8:arm64 (3.4.6-1) ...
Setting up libnuma1:arm64 (2.0.18-1+b1) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.24) ...
Setting up libpath-tiny-perl (0.146-1) ...
Setting up libuchardet0:arm64 (0.0.8-1+b2) ...
Setting up libmd-dev:arm64 (1.1.0-2+b1) ...
Setting up libtasn1-6:arm64 (4.19.0-3+b3) ...
Setting up libipc-run3-perl (0.049-1) ...
Setting up netbase (6.4) ...
Setting up libngtcp2-16:arm64 (1.9.1-1) ...
Setting up libkrb5-3:arm64 (1.21.3-4) ...
Setting up libssh2-1t64:arm64 (1.11.1-1) ...
Setting up readline-common (8.2-6) ...
Setting up libxml2:arm64 (2.12.7+dfsg+really2.9.14-0.2+b1) ...
Setting up libbsd-dev:arm64 (0.12.2-2) ...
Setting up libldap2:arm64 (2.6.9+dfsg-1) ...
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.14.0-1) ...
Setting up libncurses-dev:arm64 (6.5-2+b1) ...
Setting up gettext (0.23.1-1) ...
Setting up hscolour (1.25-1) ...
Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-3) ...
Setting up libtool (2.5.4-2) ...
Setting up libidn2-0:arm64 (2.3.7-2+b1) ...
Setting up libffi-dev:arm64 (3.4.6-1) ...
Setting up libdevel-callchecker-perl:arm64 (0.009-1+b1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up libnuma-dev:arm64 (2.0.18-1+b1) ...
Setting up dh-autoreconf (20) ...
Setting up libp11-kit0:arm64 (0.25.5-3) ...
Setting up libgssapi-krb5-2:arm64 (1.21.3-4) ...
Setting up libdata-optlist-perl (0.114-1) ...
Setting up libreadline8t64:arm64 (8.2-6) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up groff-base (1.23.0-7) ...
Setting up libpython3.13-stdlib:arm64 (3.13.1-3) ...
Setting up libsub-exporter-perl (0.990-1) ...
Setting up libpython3-stdlib:arm64 (3.13.1-2) ...
Setting up libgnutls30t64:arm64 (3.8.8-2) ...
Setting up python3.13 (3.13.1-3) ...
Setting up ghc (9.6.6-3) ...
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
Warning: include-dirs: /usr/lib/ghc/lib/../lib/aarch64-linux-ghc-9.6.6/directory-1.3.8.5/include doesn't exist or isn't a directory
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libghc-quickcheck2-doc (2.14.3-2) ...
Setting up libparams-classify-perl:arm64 (0.015-2+b4) ...
Setting up libpsl5t64:arm64 (0.21.2-1.1+b1) ...
Setting up python3 (3.13.1-2) ...
Setting up man-db (2.13.0-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libghc-libbf-doc (0.6.8-1) ...
Setting up libghc-os-string-dev (2.0.6-2) ...
Setting up libmodule-runtime-perl (0.016-2) ...
Setting up librtmp1:arm64 (2.4+20151223.gitfa8646d.1-2+b5) ...
Setting up libghc-async-doc (2.2.5-1) ...
Setting up libghc-splitmix-dev (0.1.0.5-2) ...
Setting up ghc-doc (9.6.6-3) ...
Setting up libconst-fast-perl (0.014-2) ...
Setting up python3-scour (0.38.2-5) ...
Setting up libghc-syb-dev (0.7.2.4-2) ...
Setting up libghc-uniplate-doc (1.6.13-3) ...
Setting up libngtcp2-crypto-gnutls8:arm64 (1.9.1-1) ...
Setting up libghc-random-doc (1.2.1.2-1) ...
Setting up libghc-hashable-dev (1.4.4.0-1) ...
Setting up libghc-syb-doc (0.7.2.4-2) ...
Setting up ghc-prof (9.6.6-3) ...
Setting up libmodule-implementation-perl (0.09-2) ...
Setting up libghc-random-dev (1.2.1.2-1) ...
Setting up libcurl3t64-gnutls:arm64 (8.11.1-1+b1) ...
Setting up liblist-someutils-perl (0.59-1) ...
Setting up debhelper (13.24.1) ...
Setting up libghc-splitmix-prof (0.1.0.5-2) ...
Setting up libghc-os-string-prof (2.0.6-2) ...
Setting up libghc-quickcheck2-dev (2.14.3-2) ...
Setting up libghc-unordered-containers-dev (0.2.20-3) ...
Setting up libghc-libbf-dev (0.6.8-1) ...
Setting up libghc-uniplate-dev (1.6.13-3) ...
Setting up scour (0.38.2-5) ...
Setting up libghc-async-dev (2.2.5-1) ...
Setting up cdbs (0.4.167) ...
Setting up libghc-syb-prof (0.7.2.4-2) ...
Setting up html-xml-utils (7.7-1.1+b2) ...
Setting up libghc-random-prof (1.2.1.2-1) ...
Setting up libghc-hashable-prof (1.4.4.0-1) ...
Setting up libghc-libbf-prof (0.6.8-1) ...
Setting up haskell-devscripts-minimal (0.16.34) ...
Setting up libghc-unordered-containers-prof (0.2.20-3) ...
Setting up libghc-async-prof (2.2.5-1) ...
Setting up libghc-quickcheck2-prof (2.14.3-2) ...
Setting up libghc-uniplate-prof (1.6.13-3) ...
Setting up haskell-devscripts (0.16.34) ...
Processing triggers for libc-bin (2.40-5) ...
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/reproducible-path/haskell-sbv-10.2/ && 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_10.2-2_source.changes
dpkg-buildpackage: info: source package haskell-sbv
dpkg-buildpackage: info: source version 10.2-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Ilias Tsitsimpis <iliastsi@debian.org>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture arm64
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 debian/tmp-setup-hs
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 2] Compiling Main ( Setup.hs, Setup.o )
[2 of 2] Linking debian/hlibrary.setup
perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \
-E 'configure_recipe'
Running find . ! -newer /tmp/9UU6GbZ0Xw -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-10.2/ --datasubdir=sbv --htmldir=/usr/share/doc/libghc-sbv-doc/html/ --enable-library-profiling
Using Parsec parser
Configuring sbv-10.2...
Dependency QuickCheck: using QuickCheck-2.14.3
Dependency array: using array-0.5.6.0
Dependency async: using async-2.2.5
Dependency base >=4.16 && <5: using base-4.18.2.1
Dependency containers: using containers-0.6.7
Dependency deepseq: using deepseq-1.4.8.1
Dependency directory: using directory-1.3.8.5
Dependency filepath: using filepath-1.4.300.1
Dependency libBF: using libBF-0.6.8
Dependency mtl: using mtl-2.3.1
Dependency pretty: using pretty-1.1.3.6
Dependency process: using process-1.6.19.0
Dependency random: using random-1.2.1.2
Dependency syb: using syb-0.7.2.4
Dependency template-haskell: using template-haskell-2.20.0.0
Dependency text: using text-2.0.2
Dependency time: using time-1.12.2
Dependency transformers: using transformers-0.6.1.0
Dependency uniplate: using uniplate-1.6.13
Source component graph: component lib
Configured component graph:
component sbv-10.2-3qPm9XiglrFArtHZrKADou
include QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew
include array-0.5.6.0
include async-2.2.5-GwkBUQRsnGI18fyHYiVZaH
include base-4.18.2.1
include containers-0.6.7
include deepseq-1.4.8.1
include directory-1.3.8.5
include filepath-1.4.300.1
include libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje
include mtl-2.3.1
include pretty-1.1.3.6
include process-1.6.19.0
include random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI
include syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje
include template-haskell-2.20.0.0
include text-2.0.2
include time-1.12.2
include transformers-0.6.1.0
include uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
Linked component graph:
unit sbv-10.2-3qPm9XiglrFArtHZrKADou
include QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew
include array-0.5.6.0
include async-2.2.5-GwkBUQRsnGI18fyHYiVZaH
include base-4.18.2.1
include containers-0.6.7
include deepseq-1.4.8.1
include directory-1.3.8.5
include filepath-1.4.300.1
include libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje
include mtl-2.3.1
include pretty-1.1.3.6
include process-1.6.19.0
include random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI
include syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje
include template-haskell-2.20.0.0
include text-2.0.2
include time-1.12.2
include transformers-0.6.1.0
include uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
Data.SBV=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV,Data.SBV.Char=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Char,Data.SBV.Control=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Control,Data.SBV.Dynamic=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Dynamic,Data.SBV.Either=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Either,Data.SBV.Float=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Float,Data.SBV.Internals=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Internals,Data.SBV.List=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.List,Data.SBV.Maybe=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Maybe,Data.SBV.Rational=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Rational,Data.SBV.RegExp=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.RegExp,Data.SBV.Set=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Set,Data.SBV.String=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.String,Data.SBV.Tools.BMC=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.BMC,Data.SBV.Tools.BoundedFix=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.BoundedFix,Data.SBV.Tools.BoundedList=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.BoundedList,Data.SBV.Tools.CodeGen=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.CodeGen,Data.SBV.Tools.GenTest=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.GenTest,Data.SBV.Tools.Induction=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.Induction,Data.SBV.Tools.NaturalInduction=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.NaturalInduction,Data.SBV.Tools.Overflow=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.Overflow,Data.SBV.Tools.Polynomial=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.Polynomial,Data.SBV.Tools.Range=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.Range,Data.SBV.Tools.STree=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.STree,Data.SBV.Tools.WeakestPreconditions=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tools.WeakestPreconditions,Data.SBV.Trans=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Trans,Data.SBV.Trans.Control=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Trans.Control,Data.SBV.Tuple=sbv-10.2-3qPm9XiglrFArtHZrKADou:Data.SBV.Tuple,Documentation.SBV.Examples.BitPrecise.BitTricks=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.BitPrecise.BitTricks,Documentation.SBV.Examples.BitPrecise.BrokenSearch=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.BitPrecise.BrokenSearch,Documentation.SBV.Examples.BitPrecise.Legato=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.BitPrecise.Legato,Documentation.SBV.Examples.BitPrecise.MergeSort=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.BitPrecise.MergeSort,Documentation.SBV.Examples.BitPrecise.MultMask=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.BitPrecise.MultMask,Documentation.SBV.Examples.BitPrecise.PrefixSum=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.BitPrecise.PrefixSum,Documentation.SBV.Examples.CodeGeneration.AddSub=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.CodeGeneration.AddSub,Documentation.SBV.Examples.CodeGeneration.CRC_USB5=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.CodeGeneration.CRC_USB5,Documentation.SBV.Examples.CodeGeneration.Fibonacci=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.CodeGeneration.Fibonacci,Documentation.SBV.Examples.CodeGeneration.GCD=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.CodeGeneration.GCD,Documentation.SBV.Examples.CodeGeneration.PopulationCount=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.CodeGeneration.PopulationCount,Documentation.SBV.Examples.CodeGeneration.Uninterpreted=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.CodeGeneration.Uninterpreted,Documentation.SBV.Examples.Crypto.AES=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Crypto.AES,Documentation.SBV.Examples.Crypto.Prince=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Crypto.Prince,Documentation.SBV.Examples.Crypto.RC4=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Crypto.RC4,Documentation.SBV.Examples.Crypto.SHA=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Crypto.SHA,Documentation.SBV.Examples.DeltaSat.DeltaSat=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.DeltaSat.DeltaSat,Documentation.SBV.Examples.Existentials.CRCPolynomial=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Existentials.CRCPolynomial,Documentation.SBV.Examples.Existentials.Diophantine=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Existentials.Diophantine,Documentation.SBV.Examples.Lists.BoundedMutex=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Lists.BoundedMutex,Documentation.SBV.Examples.Lists.CountOutAndTransfer=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Lists.CountOutAndTransfer,Documentation.SBV.Examples.Lists.Fibonacci=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Lists.Fibonacci,Documentation.SBV.Examples.Lists.Nested=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Lists.Nested,Documentation.SBV.Examples.Misc.Auxiliary=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Auxiliary,Documentation.SBV.Examples.Misc.Definitions=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Definitions,Documentation.SBV.Examples.Misc.Enumerate=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Enumerate,Documentation.SBV.Examples.Misc.FirstOrderLogic=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.FirstOrderLogic,Documentation.SBV.Examples.Misc.Floating=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Floating,Documentation.SBV.Examples.Misc.LambdaArray=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.LambdaArray,Documentation.SBV.Examples.Misc.ModelExtract=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.ModelExtract,Documentation.SBV.Examples.Misc.NestedArray=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.NestedArray,Documentation.SBV.Examples.Misc.Newtypes=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Newtypes,Documentation.SBV.Examples.Misc.NoDiv0=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.NoDiv0,Documentation.SBV.Examples.Misc.Polynomials=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Polynomials,Documentation.SBV.Examples.Misc.SetAlgebra=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.SetAlgebra,Documentation.SBV.Examples.Misc.SoftConstrain=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.SoftConstrain,Documentation.SBV.Examples.Misc.Tuple=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Misc.Tuple,Documentation.SBV.Examples.Optimization.Enumerate=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Optimization.Enumerate,Documentation.SBV.Examples.Optimization.ExtField=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Optimization.ExtField,Documentation.SBV.Examples.Optimization.LinearOpt=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Optimization.LinearOpt,Documentation.SBV.Examples.Optimization.Production=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Optimization.Production,Documentation.SBV.Examples.Optimization.VM=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Optimization.VM,Documentation.SBV.Examples.ProofTools.BMC=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.ProofTools.BMC,Documentation.SBV.Examples.ProofTools.Fibonacci=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.ProofTools.Fibonacci,Documentation.SBV.Examples.ProofTools.Strengthen=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.ProofTools.Strengthen,Documentation.SBV.Examples.ProofTools.Sum=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.ProofTools.Sum,Documentation.SBV.Examples.Puzzles.AOC_2021_24=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.AOC_2021_24,Documentation.SBV.Examples.Puzzles.Birthday=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Birthday,Documentation.SBV.Examples.Puzzles.Coins=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Coins,Documentation.SBV.Examples.Puzzles.Counts=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Counts,Documentation.SBV.Examples.Puzzles.DogCatMouse=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.DogCatMouse,Documentation.SBV.Examples.Puzzles.Drinker=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Drinker,Documentation.SBV.Examples.Puzzles.Euler185=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Euler185,Documentation.SBV.Examples.Puzzles.Fish=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Fish,Documentation.SBV.Examples.Puzzles.Garden=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Garden,Documentation.SBV.Examples.Puzzles.HexPuzzle=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.HexPuzzle,Documentation.SBV.Examples.Puzzles.Jugs=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Jugs,Documentation.SBV.Examples.Puzzles.KnightsAndKnaves=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.KnightsAndKnaves,Documentation.SBV.Examples.Puzzles.LadyAndTigers=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.LadyAndTigers,Documentation.SBV.Examples.Puzzles.MagicSquare=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.MagicSquare,Documentation.SBV.Examples.Puzzles.Murder=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Murder,Documentation.SBV.Examples.Puzzles.NQueens=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.NQueens,Documentation.SBV.Examples.Puzzles.Orangutans=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Orangutans,Documentation.SBV.Examples.Puzzles.Rabbits=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Rabbits,Documentation.SBV.Examples.Puzzles.SendMoreMoney=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.SendMoreMoney,Documentation.SBV.Examples.Puzzles.Sudoku=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.Sudoku,Documentation.SBV.Examples.Puzzles.U2Bridge=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Puzzles.U2Bridge,Documentation.SBV.Examples.Queries.Abducts=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.Abducts,Documentation.SBV.Examples.Queries.AllSat=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.AllSat,Documentation.SBV.Examples.Queries.CaseSplit=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.CaseSplit,Documentation.SBV.Examples.Queries.Concurrency=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.Concurrency,Documentation.SBV.Examples.Queries.Enums=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.Enums,Documentation.SBV.Examples.Queries.FourFours=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.FourFours,Documentation.SBV.Examples.Queries.GuessNumber=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.GuessNumber,Documentation.SBV.Examples.Queries.Interpolants=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.Interpolants,Documentation.SBV.Examples.Queries.UnsatCore=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Queries.UnsatCore,Documentation.SBV.Examples.Strings.RegexCrossword=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Strings.RegexCrossword,Documentation.SBV.Examples.Strings.SQLInjection=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Strings.SQLInjection,Documentation.SBV.Examples.Transformers.SymbolicEval=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Transformers.SymbolicEval,Documentation.SBV.Examples.Uninterpreted.AUF=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.AUF,Documentation.SBV.Examples.Uninterpreted.Deduce=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.Deduce,Documentation.SBV.Examples.Uninterpreted.Function=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.Function,Documentation.SBV.Examples.Uninterpreted.Multiply=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.Multiply,Documentation.SBV.Examples.Uninterpreted.Shannon=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.Shannon,Documentation.SBV.Examples.Uninterpreted.Sort=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.Sort,Documentation.SBV.Examples.Uninterpreted.UISortAllSat=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.Uninterpreted.UISortAllSat,Documentation.SBV.Examples.WeakestPreconditions.Append=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.Append,Documentation.SBV.Examples.WeakestPreconditions.Basics=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.Basics,Documentation.SBV.Examples.WeakestPreconditions.Fib=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.Fib,Documentation.SBV.Examples.WeakestPreconditions.GCD=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.GCD,Documentation.SBV.Examples.WeakestPreconditions.IntDiv=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.IntDiv,Documentation.SBV.Examples.WeakestPreconditions.IntSqrt=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.IntSqrt,Documentation.SBV.Examples.WeakestPreconditions.Length=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.Length,Documentation.SBV.Examples.WeakestPreconditions.Sum=sbv-10.2-3qPm9XiglrFArtHZrKADou:Documentation.SBV.Examples.WeakestPreconditions.Sum
Ready component graph:
definite sbv-10.2-3qPm9XiglrFArtHZrKADou
depends QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew
depends array-0.5.6.0
depends async-2.2.5-GwkBUQRsnGI18fyHYiVZaH
depends base-4.18.2.1
depends containers-0.6.7
depends deepseq-1.4.8.1
depends directory-1.3.8.5
depends filepath-1.4.300.1
depends libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje
depends mtl-2.3.1
depends pretty-1.1.3.6
depends process-1.6.19.0
depends random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI
depends syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje
depends template-haskell-2.20.0.0
depends text-2.0.2
depends time-1.12.2
depends transformers-0.6.1.0
depends uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
Using Cabal-3.10.3.0 compiled by ghc-9.6
Using compiler: ghc-9.6.6
Using install prefix: /usr
Executables installed in: /usr/bin
Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
Dynamic Libraries installed in:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6
Private executables installed in: /usr/lib/aarch64-linux-ghc-9.6.6/sbv-10.2
Data files installed in: /usr/share/sbv
Documentation installed in: /usr/share/doc/aarch64-linux-ghc-9.6.6/sbv-10.2
Configuration files installed in: /usr/etc
No alex found
Using ar found on system at: /usr/bin/aarch64-linux-gnu-ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 14 found on system at: /usr/bin/aarch64-linux-gnu-gcc
Using ghc version 9.6.6 found on system at: /usr/bin/ghc
Using ghc-pkg version 9.6.6 found on system at: /usr/bin/ghc-pkg-9.6.6
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.29.2 found on system at: /usr/bin/haddock-ghc-9.6.6
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-ghc-9.6.6
Using hsc2hs version 0.68.9 found on system at: /usr/bin/hsc2hs-ghc-9.6.6
Using hscolour version 1.25 found on system at: /usr/bin/HsColour
No jhc found
Using ld found on system at: /usr/bin/aarch64-linux-gnu-ld
No pkg-config found
Using runghc version 9.6.6 found on system at: /usr/bin/runghc-9.6.6
Using strip version 2.43 found on system at: /usr/bin/strip
Using tar found on system at: /usr/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-10.2..
Building library for sbv-10.2..
[ 1 of 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 163] 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 )
[ 19 of 163] 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 )
[ 20 of 163] 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 )
[ 21 of 163] 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 )
[ 22 of 163] 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 )
[ 23 of 163] 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 )
[ 24 of 163] 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 )
[ 25 of 163] 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 )
[ 26 of 163] 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 )
[ 27 of 163] 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 )
[ 28 of 163] 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 )
[ 29 of 163] 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 )
[ 30 of 163] 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 )
[ 31 of 163] Compiling Data.SBV.Lambda ( Data/SBV/Lambda.hs, dist-ghc/build/Data/SBV/Lambda.o, dist-ghc/build/Data/SBV/Lambda.dyn_o )
[ 32 of 163] 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 163] 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 163] 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 163] 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 163] 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 )
[ 37 of 163] 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 )
[ 38 of 163] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.o, dist-ghc/build/Data/SBV/Tuple.dyn_o )
[ 39 of 163] 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 )
[ 40 of 163] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.o, dist-ghc/build/Data/SBV/String.dyn_o )
[ 41 of 163] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.o, dist-ghc/build/Data/SBV/Set.dyn_o )
[ 42 of 163] Compiling Data.SBV.Rational ( Data/SBV/Rational.hs, dist-ghc/build/Data/SBV/Rational.o, dist-ghc/build/Data/SBV/Rational.dyn_o )
[ 43 of 163] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.o, dist-ghc/build/Data/SBV/Maybe.dyn_o )
[ 44 of 163] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.o, dist-ghc/build/Data/SBV/List.dyn_o )
[ 45 of 163] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.o, dist-ghc/build/Data/SBV/Either.dyn_o )
[ 46 of 163] 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 )
[ 47 of 163] 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 )
[ 48 of 163] 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 )
[ 49 of 163] 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 )
[ 50 of 163] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.o, dist-ghc/build/Data/SBV/Char.dyn_o )
[ 51 of 163] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.o, dist-ghc/build/Data/SBV/RegExp.dyn_o )
[ 52 of 163] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.o, dist-ghc/build/Data/SBV/Client.dyn_o )
[ 53 of 163] 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 )
[ 54 of 163] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.o, dist-ghc/build/Data/SBV/Control.dyn_o )
[ 55 of 163] 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 )
[ 56 of 163] 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 )
[ 57 of 163] 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 )
[ 58 of 163] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.o, dist-ghc/build/Data/SBV/Internals.dyn_o )
[ 59 of 163] 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 )
[ 60 of 163] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.o, dist-ghc/build/Data/SBV/Trans.dyn_o )
[ 61 of 163] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.o, dist-ghc/build/Data/SBV.dyn_o )
[ 62 of 163] 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 )
[ 63 of 163] 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 )
[ 64 of 163] Compiling Data.SBV.Tools.NaturalInduction ( Data/SBV/Tools/NaturalInduction.hs, dist-ghc/build/Data/SBV/Tools/NaturalInduction.o, dist-ghc/build/Data/SBV/Tools/NaturalInduction.dyn_o )
[ 65 of 163] 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 )
[ 66 of 163] 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 )
[ 67 of 163] 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 )
[ 68 of 163] 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 )
[ 69 of 163] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.o, dist-ghc/build/Data/SBV/Dynamic.dyn_o )
[ 70 of 163] 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 )
[ 71 of 163] 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 )
[ 72 of 163] 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 )
[ 73 of 163] 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 )
[ 74 of 163] 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 )
[ 75 of 163] 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 )
[ 76 of 163] 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 )
[ 77 of 163] 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 )
[ 78 of 163] 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 )
[ 79 of 163] 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 )
[ 80 of 163] 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 )
[ 81 of 163] 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 )
[ 82 of 163] 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 )
[ 83 of 163] Compiling Documentation.SBV.Examples.Crypto.Prince ( Documentation/SBV/Examples/Crypto/Prince.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/Prince.o, dist-ghc/build/Documentation/SBV/Examples/Crypto/Prince.dyn_o )
[ 84 of 163] 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 )
[ 85 of 163] 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 )
[ 86 of 163] 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 )
[ 87 of 163] 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 )
[ 88 of 163] 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 )
[ 89 of 163] 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 )
[ 90 of 163] Compiling Documentation.SBV.Examples.Lists.CountOutAndTransfer ( Documentation/SBV/Examples/Lists/CountOutAndTransfer.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/CountOutAndTransfer.o, dist-ghc/build/Documentation/SBV/Examples/Lists/CountOutAndTransfer.dyn_o )
[ 91 of 163] 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 )
[ 92 of 163] 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 )
[ 93 of 163] 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 )
[ 94 of 163] Compiling Documentation.SBV.Examples.Misc.Definitions ( Documentation/SBV/Examples/Misc/Definitions.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Definitions.o, dist-ghc/build/Documentation/SBV/Examples/Misc/Definitions.dyn_o )
[ 95 of 163] 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 )
[ 96 of 163] Compiling Documentation.SBV.Examples.Misc.FirstOrderLogic ( Documentation/SBV/Examples/Misc/FirstOrderLogic.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/FirstOrderLogic.o, dist-ghc/build/Documentation/SBV/Examples/Misc/FirstOrderLogic.dyn_o )
[ 97 of 163] 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 )
[ 98 of 163] Compiling Documentation.SBV.Examples.Misc.LambdaArray ( Documentation/SBV/Examples/Misc/LambdaArray.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/LambdaArray.o, dist-ghc/build/Documentation/SBV/Examples/Misc/LambdaArray.dyn_o )
[ 99 of 163] 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 )
[100 of 163] 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 )
[101 of 163] 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 )
[102 of 163] 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 )
[103 of 163] 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 )
[104 of 163] 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 )
[105 of 163] 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 )
[106 of 163] 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 )
[107 of 163] 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 )
[108 of 163] 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 )
[109 of 163] 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 )
[110 of 163] 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 )
[111 of 163] 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 )
[112 of 163] 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 )
[113 of 163] 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 )
[114 of 163] 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 )
[115 of 163] 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 )
[116 of 163] Compiling Documentation.SBV.Examples.Puzzles.AOC_2021_24 ( Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/AOC_2021_24.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/AOC_2021_24.dyn_o )
[117 of 163] 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 )
[118 of 163] 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 )
[119 of 163] 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 )
[120 of 163] 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 )
[121 of 163] Compiling Documentation.SBV.Examples.Puzzles.Drinker ( Documentation/SBV/Examples/Puzzles/Drinker.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Drinker.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Drinker.dyn_o )
[122 of 163] 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 )
[123 of 163] 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 )
[124 of 163] 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 )
[125 of 163] 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 )
[126 of 163] Compiling Documentation.SBV.Examples.Puzzles.Jugs ( Documentation/SBV/Examples/Puzzles/Jugs.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Jugs.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Jugs.dyn_o )
[127 of 163] Compiling Documentation.SBV.Examples.Puzzles.KnightsAndKnaves ( Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.dyn_o )
[128 of 163] 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 )
[129 of 163] 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 )
[130 of 163] 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 )
[131 of 163] 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 )
[132 of 163] Compiling Documentation.SBV.Examples.Puzzles.Orangutans ( Documentation/SBV/Examples/Puzzles/Orangutans.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Orangutans.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Orangutans.dyn_o )
[133 of 163] Compiling Documentation.SBV.Examples.Puzzles.Rabbits ( Documentation/SBV/Examples/Puzzles/Rabbits.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Rabbits.o, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Rabbits.dyn_o )
[134 of 163] 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 )
[135 of 163] 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 )
[136 of 163] 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 )
[137 of 163] Compiling Documentation.SBV.Examples.Queries.Abducts ( Documentation/SBV/Examples/Queries/Abducts.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Abducts.o, dist-ghc/build/Documentation/SBV/Examples/Queries/Abducts.dyn_o )
[138 of 163] 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 )
[139 of 163] 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 )
[140 of 163] 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 )
[141 of 163] 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 )
[142 of 163] 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 )
[143 of 163] 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 )
[144 of 163] 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 )
[145 of 163] 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 )
[146 of 163] 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 )
[147 of 163] 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 )
[148 of 163] 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 )
[149 of 163] 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 )
[150 of 163] 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 )
[151 of 163] 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 )
[152 of 163] 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 )
[153 of 163] 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 )
[154 of 163] 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 )
[155 of 163] 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 )
[156 of 163] 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 )
[157 of 163] 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 )
[158 of 163] 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 )
[159 of 163] 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 )
[160 of 163] 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 )
[161 of 163] 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 )
[162 of 163] 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 )
[163 of 163] 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 163] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, dist-ghc/build/Data/SBV/Control/Types.p_o )
[ 2 of 163] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, dist-ghc/build/Data/SBV/Core/AlgReals.p_o )
[ 3 of 163] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, dist-ghc/build/Data/SBV/SMT/SMTLibNames.p_o )
[ 4 of 163] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, dist-ghc/build/Data/SBV/Utils/ExtractIO.p_o )
[ 5 of 163] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist-ghc/build/Data/SBV/Utils/Lib.p_o )
[ 6 of 163] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, dist-ghc/build/Data/SBV/Core/Kind.p_o )
[ 7 of 163] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, dist-ghc/build/Data/SBV/Utils/Numeric.p_o )
[ 8 of 163] Compiling Data.SBV.Core.SizedFloats ( Data/SBV/Core/SizedFloats.hs, dist-ghc/build/Data/SBV/Core/SizedFloats.p_o )
[ 9 of 163] Compiling Data.SBV.Float ( Data/SBV/Float.hs, dist-ghc/build/Data/SBV/Float.p_o )
[ 10 of 163] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, dist-ghc/build/Data/SBV/Core/Concrete.p_o )
[ 11 of 163] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist-ghc/build/Data/SBV/Utils/TDiff.p_o )
[ 12 of 163] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, dist-ghc/build/Data/SBV/Core/Symbolic.p_o )
[ 13 of 163] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, dist-ghc/build/Data/SBV/Core/Operations.p_o )
[ 14 of 163] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, dist-ghc/build/Data/SBV/Core/Data.p_o )
[ 15 of 163] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, dist-ghc/build/Data/SBV/Utils/SExpr.p_o )
[ 16 of 163] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, dist-ghc/build/Data/SBV/Utils/PrettyNum.p_o )
[ 17 of 163] Compiling Data.SBV.Utils.CrackNum ( Data/SBV/Utils/CrackNum.hs, dist-ghc/build/Data/SBV/Utils/CrackNum.p_o )
[ 18 of 163] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, dist-ghc/build/Data/SBV/SMT/Utils.p_o )
[ 19 of 163] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, dist-ghc/build/Data/SBV/SMT/SMTLib2.p_o )
[ 20 of 163] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, dist-ghc/build/Data/SBV/SMT/SMTLib.p_o )
[ 21 of 163] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, dist-ghc/build/Data/SBV/SMT/SMT.p_o )
[ 22 of 163] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, dist-ghc/build/Data/SBV/Provers/Z3.p_o )
[ 23 of 163] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, dist-ghc/build/Data/SBV/Provers/Yices.p_o )
[ 24 of 163] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, dist-ghc/build/Data/SBV/Provers/MathSAT.p_o )
[ 25 of 163] Compiling Data.SBV.Provers.DReal ( Data/SBV/Provers/DReal.hs, dist-ghc/build/Data/SBV/Provers/DReal.p_o )
[ 26 of 163] Compiling Data.SBV.Provers.CVC5 ( Data/SBV/Provers/CVC5.hs, dist-ghc/build/Data/SBV/Provers/CVC5.p_o )
[ 27 of 163] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, dist-ghc/build/Data/SBV/Provers/CVC4.p_o )
[ 28 of 163] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, dist-ghc/build/Data/SBV/Provers/Boolector.p_o )
[ 29 of 163] Compiling Data.SBV.Provers.Bitwuzla ( Data/SBV/Provers/Bitwuzla.hs, dist-ghc/build/Data/SBV/Provers/Bitwuzla.p_o )
[ 30 of 163] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, dist-ghc/build/Data/SBV/Provers/ABC.p_o )
[ 31 of 163] Compiling Data.SBV.Lambda ( Data/SBV/Lambda.hs, dist-ghc/build/Data/SBV/Lambda.p_o )
[ 32 of 163] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, dist-ghc/build/Data/SBV/Control/Utils.p_o )
[ 33 of 163] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, dist-ghc/build/Data/SBV/Control/Query.p_o )
[ 34 of 163] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, dist-ghc/build/Data/SBV/Trans/Control.p_o )
[ 35 of 163] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, dist-ghc/build/Data/SBV/Provers/Prover.p_o )
[ 36 of 163] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, dist-ghc/build/Data/SBV/Tools/GenTest.p_o )
[ 37 of 163] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, dist-ghc/build/Data/SBV/Core/Model.p_o )
[ 38 of 163] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, dist-ghc/build/Data/SBV/Tuple.p_o )
[ 39 of 163] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, dist-ghc/build/Data/SBV/Tools/STree.p_o )
[ 40 of 163] Compiling Data.SBV.String ( Data/SBV/String.hs, dist-ghc/build/Data/SBV/String.p_o )
[ 41 of 163] Compiling Data.SBV.Set ( Data/SBV/Set.hs, dist-ghc/build/Data/SBV/Set.p_o )
[ 42 of 163] Compiling Data.SBV.Rational ( Data/SBV/Rational.hs, dist-ghc/build/Data/SBV/Rational.p_o )
[ 43 of 163] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, dist-ghc/build/Data/SBV/Maybe.p_o )
[ 44 of 163] Compiling Data.SBV.List ( Data/SBV/List.hs, dist-ghc/build/Data/SBV/List.p_o )
[ 45 of 163] Compiling Data.SBV.Either ( Data/SBV/Either.hs, dist-ghc/build/Data/SBV/Either.p_o )
[ 46 of 163] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, dist-ghc/build/Data/SBV/Core/Sized.p_o )
[ 47 of 163] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, dist-ghc/build/Data/SBV/Tools/Polynomial.p_o )
[ 48 of 163] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, dist-ghc/build/Data/SBV/Tools/Overflow.p_o )
[ 49 of 163] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, dist-ghc/build/Data/SBV/Core/Floating.p_o )
[ 50 of 163] Compiling Data.SBV.Char ( Data/SBV/Char.hs, dist-ghc/build/Data/SBV/Char.p_o )
[ 51 of 163] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, dist-ghc/build/Data/SBV/RegExp.p_o )
[ 52 of 163] Compiling Data.SBV.Client ( Data/SBV/Client.hs, dist-ghc/build/Data/SBV/Client.p_o )
[ 53 of 163] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, dist-ghc/build/Data/SBV/Control/BaseIO.p_o )
[ 54 of 163] Compiling Data.SBV.Control ( Data/SBV/Control.hs, dist-ghc/build/Data/SBV/Control.p_o )
[ 55 of 163] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, dist-ghc/build/Data/SBV/Compilers/CodeGen.p_o )
[ 56 of 163] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, dist-ghc/build/Data/SBV/Compilers/C.p_o )
[ 57 of 163] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, dist-ghc/build/Data/SBV/Tools/CodeGen.p_o )
[ 58 of 163] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, dist-ghc/build/Data/SBV/Internals.p_o )
[ 59 of 163] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, dist-ghc/build/Data/SBV/Client/BaseIO.p_o )
[ 60 of 163] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, dist-ghc/build/Data/SBV/Trans.p_o )
[ 61 of 163] Compiling Data.SBV ( Data/SBV.hs, dist-ghc/build/Data/SBV.p_o )
[ 62 of 163] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, dist-ghc/build/Data/SBV/Tools/WeakestPreconditions.p_o )
[ 63 of 163] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, dist-ghc/build/Data/SBV/Tools/Range.p_o )
[ 64 of 163] Compiling Data.SBV.Tools.NaturalInduction ( Data/SBV/Tools/NaturalInduction.hs, dist-ghc/build/Data/SBV/Tools/NaturalInduction.p_o )
[ 65 of 163] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, dist-ghc/build/Data/SBV/Tools/Induction.p_o )
[ 66 of 163] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, dist-ghc/build/Data/SBV/Tools/BoundedList.p_o )
[ 67 of 163] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, dist-ghc/build/Data/SBV/Tools/BoundedFix.p_o )
[ 68 of 163] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, dist-ghc/build/Data/SBV/Tools/BMC.p_o )
[ 69 of 163] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, dist-ghc/build/Data/SBV/Dynamic.p_o )
[ 70 of 163] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BitTricks.p_o )
[ 71 of 163] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.p_o )
[ 72 of 163] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/Legato.p_o )
[ 73 of 163] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MergeSort.p_o )
[ 74 of 163] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/MultMask.p_o )
[ 75 of 163] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, dist-ghc/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.p_o )
[ 76 of 163] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/AddSub.p_o )
[ 77 of 163] 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 )
[ 78 of 163] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.p_o )
[ 79 of 163] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/GCD.p_o )
[ 80 of 163] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.p_o )
[ 81 of 163] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, dist-ghc/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.p_o )
[ 82 of 163] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/AES.p_o )
[ 83 of 163] Compiling Documentation.SBV.Examples.Crypto.Prince ( Documentation/SBV/Examples/Crypto/Prince.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/Prince.p_o )
[ 84 of 163] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/RC4.p_o )
[ 85 of 163] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, dist-ghc/build/Documentation/SBV/Examples/Crypto/SHA.p_o )
[ 86 of 163] Compiling Documentation.SBV.Examples.DeltaSat.DeltaSat ( Documentation/SBV/Examples/DeltaSat/DeltaSat.hs, dist-ghc/build/Documentation/SBV/Examples/DeltaSat/DeltaSat.p_o )
[ 87 of 163] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.p_o )
[ 88 of 163] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, dist-ghc/build/Documentation/SBV/Examples/Existentials/Diophantine.p_o )
[ 89 of 163] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/BoundedMutex.p_o )
[ 90 of 163] Compiling Documentation.SBV.Examples.Lists.CountOutAndTransfer ( Documentation/SBV/Examples/Lists/CountOutAndTransfer.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/CountOutAndTransfer.p_o )
[ 91 of 163] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Fibonacci.p_o )
[ 92 of 163] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, dist-ghc/build/Documentation/SBV/Examples/Lists/Nested.p_o )
[ 93 of 163] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Auxiliary.p_o )
[ 94 of 163] Compiling Documentation.SBV.Examples.Misc.Definitions ( Documentation/SBV/Examples/Misc/Definitions.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Definitions.p_o )
[ 95 of 163] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Enumerate.p_o )
[ 96 of 163] Compiling Documentation.SBV.Examples.Misc.FirstOrderLogic ( Documentation/SBV/Examples/Misc/FirstOrderLogic.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/FirstOrderLogic.p_o )
[ 97 of 163] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Floating.p_o )
[ 98 of 163] Compiling Documentation.SBV.Examples.Misc.LambdaArray ( Documentation/SBV/Examples/Misc/LambdaArray.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/LambdaArray.p_o )
[ 99 of 163] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/ModelExtract.p_o )
[100 of 163] Compiling Documentation.SBV.Examples.Misc.NestedArray ( Documentation/SBV/Examples/Misc/NestedArray.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NestedArray.p_o )
[101 of 163] Compiling Documentation.SBV.Examples.Misc.Newtypes ( Documentation/SBV/Examples/Misc/Newtypes.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Newtypes.p_o )
[102 of 163] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/NoDiv0.p_o )
[103 of 163] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Polynomials.p_o )
[104 of 163] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SetAlgebra.p_o )
[105 of 163] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/SoftConstrain.p_o )
[106 of 163] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, dist-ghc/build/Documentation/SBV/Examples/Misc/Tuple.p_o )
[107 of 163] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Enumerate.p_o )
[108 of 163] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/ExtField.p_o )
[109 of 163] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/LinearOpt.p_o )
[110 of 163] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/Production.p_o )
[111 of 163] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, dist-ghc/build/Documentation/SBV/Examples/Optimization/VM.p_o )
[112 of 163] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/BMC.p_o )
[113 of 163] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Fibonacci.p_o )
[114 of 163] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Strengthen.p_o )
[115 of 163] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, dist-ghc/build/Documentation/SBV/Examples/ProofTools/Sum.p_o )
[116 of 163] Compiling Documentation.SBV.Examples.Puzzles.AOC_2021_24 ( Documentation/SBV/Examples/Puzzles/AOC_2021_24.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/AOC_2021_24.p_o )
[117 of 163] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Birthday.p_o )
[118 of 163] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Coins.p_o )
[119 of 163] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Counts.p_o )
[120 of 163] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.p_o )
[121 of 163] Compiling Documentation.SBV.Examples.Puzzles.Drinker ( Documentation/SBV/Examples/Puzzles/Drinker.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Drinker.p_o )
[122 of 163] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Euler185.p_o )
[123 of 163] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Fish.p_o )
[124 of 163] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Garden.p_o )
[125 of 163] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.p_o )
[126 of 163] Compiling Documentation.SBV.Examples.Puzzles.Jugs ( Documentation/SBV/Examples/Puzzles/Jugs.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Jugs.p_o )
[127 of 163] Compiling Documentation.SBV.Examples.Puzzles.KnightsAndKnaves ( Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/KnightsAndKnaves.p_o )
[128 of 163] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.p_o )
[129 of 163] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/MagicSquare.p_o )
[130 of 163] Compiling Documentation.SBV.Examples.Puzzles.Murder ( Documentation/SBV/Examples/Puzzles/Murder.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Murder.p_o )
[131 of 163] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/NQueens.p_o )
[132 of 163] Compiling Documentation.SBV.Examples.Puzzles.Orangutans ( Documentation/SBV/Examples/Puzzles/Orangutans.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Orangutans.p_o )
[133 of 163] Compiling Documentation.SBV.Examples.Puzzles.Rabbits ( Documentation/SBV/Examples/Puzzles/Rabbits.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Rabbits.p_o )
[134 of 163] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.p_o )
[135 of 163] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/Sudoku.p_o )
[136 of 163] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, dist-ghc/build/Documentation/SBV/Examples/Puzzles/U2Bridge.p_o )
[137 of 163] Compiling Documentation.SBV.Examples.Queries.Abducts ( Documentation/SBV/Examples/Queries/Abducts.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Abducts.p_o )
[138 of 163] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/AllSat.p_o )
[139 of 163] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/CaseSplit.p_o )
[140 of 163] Compiling Documentation.SBV.Examples.Queries.Concurrency ( Documentation/SBV/Examples/Queries/Concurrency.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Concurrency.p_o )
[141 of 163] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Enums.p_o )
[142 of 163] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/FourFours.p_o )
[143 of 163] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/GuessNumber.p_o )
[144 of 163] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/Interpolants.p_o )
[145 of 163] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, dist-ghc/build/Documentation/SBV/Examples/Queries/UnsatCore.p_o )
[146 of 163] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/RegexCrossword.p_o )
[147 of 163] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, dist-ghc/build/Documentation/SBV/Examples/Strings/SQLInjection.p_o )
[148 of 163] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, dist-ghc/build/Documentation/SBV/Examples/Transformers/SymbolicEval.p_o )
[149 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/AUF.p_o )
[150 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Deduce.p_o )
[151 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Function.p_o )
[152 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Multiply.p_o )
[153 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Shannon.p_o )
[154 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/Sort.p_o )
[155 of 163] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, dist-ghc/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.p_o )
[156 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Append.p_o )
[157 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.Basics ( Documentation/SBV/Examples/WeakestPreconditions/Basics.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Basics.p_o )
[158 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.p_o )
[159 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.p_o )
[160 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.p_o )
[161 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.p_o )
[162 of 163] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, dist-ghc/build/Documentation/SBV/Examples/WeakestPreconditions/Length.p_o )
[163 of 163] 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
Running: /usr/bin/haddock --version
Running: /usr/bin/ghc --numeric-version
Running: /usr/bin/ghc --print-libdir
Running: /usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js'
Running: /usr/bin/ghc-pkg-9.6.6 init dist-ghc/package.conf.inplace
creating dist-ghc/build
creating dist-ghc/build/autogen
creating dist-ghc/build/autogen
creating dist-ghc/build/autogen
Preprocessing library for sbv-10.2..
Running Haddock on library for sbv-10.2..
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
Running: /usr/bin/haddock '@dist-ghc/doc/html/sbv/haddock-response3753931-1.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js'
100% ( 15 / 15) in 'Data.SBV.Float'
100% ( 73 / 73) in 'Data.SBV.Trans.Control'
100% ( 7 / 7) in 'Data.SBV.Tools.GenTest'
100% ( 16 / 16) in 'Data.SBV.Tuple'
100% ( 5 / 5) in 'Data.SBV.Tools.STree'
100% ( 35 / 35) in 'Data.SBV.String'
100% ( 31 / 31) in 'Data.SBV.Set'
100% ( 3 / 3) in 'Data.SBV.Rational'
100% ( 15 / 15) in 'Data.SBV.Maybe'
100% ( 50 / 50) 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% ( 38 / 38) in 'Data.SBV.RegExp'
100% ( 74 / 74) in 'Data.SBV.Control'
100% ( 34 / 34) in 'Data.SBV.Tools.CodeGen'
100% (287 /287) in 'Data.SBV.Internals'
100% (282 /282) in 'Data.SBV.Trans'
100% (473 /473) in 'Data.SBV'
100% ( 23 / 23) in 'Data.SBV.Tools.WeakestPreconditions'
100% ( 7 / 7) in 'Data.SBV.Tools.Range'
100% ( 3 / 3) in 'Data.SBV.Tools.NaturalInduction'
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% (195 /195) in 'Data.SBV.Dynamic'
100% ( 7 / 7) in 'Documentation.SBV.Examples.BitPrecise.BitTricks'
100% ( 8 / 8) 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% ( 15 / 15) 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% ( 10 / 10) in 'Documentation.SBV.Examples.CodeGeneration.GCD'
100% ( 12 / 12) in 'Documentation.SBV.Examples.CodeGeneration.PopulationCount'
100% ( 5 / 5) in 'Documentation.SBV.Examples.CodeGeneration.Uninterpreted'
100% ( 92 / 92) in 'Documentation.SBV.Examples.Crypto.AES'
100% ( 40 / 40) in 'Documentation.SBV.Examples.Crypto.Prince'
100% ( 19 / 19) in 'Documentation.SBV.Examples.Crypto.RC4'
100% ( 40 / 40) 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'
100% ( 11 / 11) in 'Documentation.SBV.Examples.Lists.BoundedMutex'
100% ( 5 / 5) in 'Documentation.SBV.Examples.Lists.CountOutAndTransfer'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Lists.Fibonacci'
100% ( 2 / 2) in 'Documentation.SBV.Examples.Lists.Nested'
100% ( 4 / 4) in 'Documentation.SBV.Examples.Misc.Auxiliary'
100% ( 19 / 19) in 'Documentation.SBV.Examples.Misc.Definitions'
100% ( 10 / 10) in 'Documentation.SBV.Examples.Misc.Enumerate'
100% ( 45 / 45) in 'Documentation.SBV.Examples.Misc.FirstOrderLogic'
100% ( 12 / 12) in 'Documentation.SBV.Examples.Misc.Floating'
100% ( 4 / 4) in 'Documentation.SBV.Examples.Misc.LambdaArray'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Misc.ModelExtract'
100% ( 2 / 2) in 'Documentation.SBV.Examples.Misc.NestedArray'
100% ( 9 / 9) 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% ( 35 / 35) in 'Documentation.SBV.Examples.Misc.SetAlgebra'
100% ( 2 / 2) in 'Documentation.SBV.Examples.Misc.SoftConstrain'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Misc.Tuple'
100% ( 14 / 14) in 'Documentation.SBV.Examples.Optimization.Enumerate'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Optimization.ExtField'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Optimization.LinearOpt'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Optimization.Production'
100% ( 3 / 3) 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% ( 25 / 25) in 'Documentation.SBV.Examples.Puzzles.AOC_2021_24'
100% ( 22 / 22) 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% ( 5 / 5) in 'Documentation.SBV.Examples.Puzzles.Drinker'
100% ( 4 / 4) in 'Documentation.SBV.Examples.Puzzles.Euler185'
100% ( 37 / 37) in 'Documentation.SBV.Examples.Puzzles.Fish'
100% ( 12 / 12) in 'Documentation.SBV.Examples.Puzzles.Garden'
100% ( 13 / 13) in 'Documentation.SBV.Examples.Puzzles.HexPuzzle'
100% ( 7 / 7) in 'Documentation.SBV.Examples.Puzzles.Jugs'
100% ( 20 / 20) in 'Documentation.SBV.Examples.Puzzles.KnightsAndKnaves'
100% ( 2 / 2) in 'Documentation.SBV.Examples.Puzzles.LadyAndTigers'
100% ( 9 / 9) in 'Documentation.SBV.Examples.Puzzles.MagicSquare'
100% ( 21 / 21) in 'Documentation.SBV.Examples.Puzzles.Murder'
100% ( 4 / 4) in 'Documentation.SBV.Examples.Puzzles.NQueens'
100% ( 23 / 23) in 'Documentation.SBV.Examples.Puzzles.Orangutans'
100% ( 8 / 8) in 'Documentation.SBV.Examples.Puzzles.Rabbits'
100% ( 2 / 2) in 'Documentation.SBV.Examples.Puzzles.SendMoreMoney'
100% ( 18 / 18) in 'Documentation.SBV.Examples.Puzzles.Sudoku'
100% ( 36 / 36) in 'Documentation.SBV.Examples.Puzzles.U2Bridge'
100% ( 2 / 2) in 'Documentation.SBV.Examples.Queries.Abducts'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.AllSat'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.CaseSplit'
100% ( 9 / 9) in 'Documentation.SBV.Examples.Queries.Concurrency'
100% ( 11 / 11) in 'Documentation.SBV.Examples.Queries.Enums'
100% ( 21 / 21) in 'Documentation.SBV.Examples.Queries.FourFours'
100% ( 3 / 3) in 'Documentation.SBV.Examples.Queries.GuessNumber'
100% ( 4 / 4) 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% ( 10 / 10) in 'Documentation.SBV.Examples.Uninterpreted.Deduce'
100% ( 4 / 4) in 'Documentation.SBV.Examples.Uninterpreted.Function'
100% ( 4 / 4) 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% ( 6 / 6) in 'Documentation.SBV.Examples.Uninterpreted.UISortAllSat'
100% ( 10 / 10) in 'Documentation.SBV.Examples.WeakestPreconditions.Append'
100% ( 16 / 16) in 'Documentation.SBV.Examples.WeakestPreconditions.Basics'
100% ( 18 / 18) in 'Documentation.SBV.Examples.WeakestPreconditions.Fib'
100% ( 18 / 18) 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% ( 16 / 16) in 'Documentation.SBV.Examples.WeakestPreconditions.Sum'
Warning: Data.SBV.Trans.Control: could not find link destinations for:
- Data.SBV.Core.Symbolic.Name
- Data.SBV.Control.Utils.SMTFunction
- Data.SBV.Control.Query.Assignment
Warning: Data.SBV.Tuple: could not find link destinations for:
- Data.SBV.Tuple.Tuple
- Data.SBV.Tuple.HasField
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.Core.Symbolic.Name
- Data.SBV.Control.Utils.SMTFunction
- Data.SBV.Control.Query.Assignment
Warning: Data.SBV.Internals: could not find link destinations for:
- Data.SBV.Core.Kind.constructUKind
- Data.SBV.Core.Symbolic.SMTEngine
- Data.SBV.Core.Symbolic.ArrayIndex
- Data.SBV.Core.Symbolic.SMTDef
- Data.SBV.Core.Symbolic.CnstMap
- Data.SBV.Core.Symbolic.ProgInfo
- Data.SBV.Core.Symbolic.ResultInp
- Data.SBV.Core.Symbolic.Name
- Data.SBV.Core.Symbolic.SetOp
- Data.SBV.Core.Symbolic.NROp
- Data.SBV.Core.Symbolic.SpecialRelOp
- Data.SBV.Core.Data.SkolemsTo
- Data.SBV.Core.Data.skolem
- Data.SBV.Core.Data.GEqSymbolic
- Data.SBV.Core.Model.UIKind
Warning: Data.SBV.Trans: could not find link destinations for:
- Data.SBV.Core.Kind.BVZeroWidth
- Data.SBV.Core.Kind.constructUKind
- Data.SBV.Core.Symbolic.SMTEngine
- Data.SBV.Core.Data.SkolemsTo
- Data.SBV.Core.Data.skolem
- Data.SBV.Core.Data.GEqSymbolic
- Data.SBV.Core.Model.UIKind
- Data.SBV.Core.Model.GMergeable
- Data.SBV.Client.BaseIO.ToSizedBV
- Data.SBV.Client.BaseIO.FromSizedBV
Warning: Data.SBV: could not find link destinations for:
- Data.SBV.Core.Kind.InvalidFloat
- Data.SBV.Core.Kind.BVZeroWidth
- Data.SBV.Core.Kind.constructUKind
- Data.SBV.Core.Symbolic.SMTEngine
- Data.SBV.Core.Data.SkolemsTo
- Data.SBV.Core.Data.skolem
- Data.SBV.Core.Data.GEqSymbolic
- Data.SBV.Core.Model.UIKind
- Data.SBV.Core.Model.GMergeable
- Data.SBV.Core.Model.minimize
- Data.SBV.Core.Model.maximize
- Data.SBV.Client.BaseIO.ToSizedBV
- Data.SBV.Client.BaseIO.FromSizedBV
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/, dist-ghc/doc/html/sbv/sbv.txt
Running: /usr/bin/ghc-pkg-9.6.6 recache '--package-db=dist-ghc/package.conf.inplace'
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/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
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/reproducible-path/haskell-sbv-10.2/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-10.2/
Running cp --recursive debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/sbv-10.2/sbv.haddock debian/libghc-sbv-doc/usr/lib/ghc-doc/haddock/sbv-10.2/
dh_haskell_depends_haddock --package=libghc-sbv-doc
Running haddock --interface-version
42
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.6.6-3
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_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_10.2-2_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
Running: /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-10.2-3qPm9XiglrFArtHZrKADou -hide-all-packages -Wmissing-home-modules -no-user-package-db -package-db /var/lib/ghc/package.conf.d -package-db dist-ghc/package.conf.inplace -package-id QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew -package-id array-0.5.6.0 -package-id async-2.2.5-GwkBUQRsnGI18fyHYiVZaH -package-id base-4.18.2.1 -package-id containers-0.6.7 -package-id deepseq-1.4.8.1 -package-id directory-1.3.8.5 -package-id filepath-1.4.300.1 -package-id libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje -package-id mtl-2.3.1 -package-id pretty-1.1.3.6 -package-id process-1.6.19.0 -package-id random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI -package-id syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje -package-id template-haskell-2.20.0.0 -package-id text-2.0.2 -package-id time-1.12.2 -package-id transformers-0.6.1.0 -package-id uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx -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.NaturalInduction 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.Prince 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.Lists.CountOutAndTransfer Documentation.SBV.Examples.Misc.Definitions Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.FirstOrderLogic Documentation.SBV.Examples.Misc.Floating Documentation.SBV.Examples.Misc.LambdaArray 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.AOC_2021_24 Documentation.SBV.Examples.Puzzles.Birthday Documentation.SBV.Examples.Puzzles.Coins Documentation.SBV.Examples.Puzzles.Counts Documentation.SBV.Examples.Puzzles.DogCatMouse Documentation.SBV.Examples.Puzzles.Drinker Documentation.SBV.Examples.Puzzles.Euler185 Documentation.SBV.Examples.Puzzles.Fish Documentation.SBV.Examples.Puzzles.Garden Documentation.SBV.Examples.Puzzles.HexPuzzle Documentation.SBV.Examples.Puzzles.Jugs Documentation.SBV.Examples.Puzzles.KnightsAndKnaves Documentation.SBV.Examples.Puzzles.LadyAndTigers Documentation.SBV.Examples.Puzzles.MagicSquare Documentation.SBV.Examples.Puzzles.Murder Documentation.SBV.Examples.Puzzles.NQueens Documentation.SBV.Examples.Puzzles.Orangutans Documentation.SBV.Examples.Puzzles.Rabbits Documentation.SBV.Examples.Puzzles.SendMoreMoney Documentation.SBV.Examples.Puzzles.Sudoku Documentation.SBV.Examples.Puzzles.U2Bridge Documentation.SBV.Examples.Queries.Abducts 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: 10.2
visibility: public
id: sbv-10.2-3qPm9XiglrFArtHZrKADou
key: sbv-10.2-3qPm9XiglrFArtHZrKADou
license: BSD-3-Clause
copyright: Levent Erkok, 2010-2023
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: <http://leventerkok.github.io/sbv/>
category:
Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
abi: 90c3107fd3275d0b57200d8e0029c01d
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.NaturalInduction 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.ExamplesRunning install -D --mode=644 sbv-10.2.conf debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-10.2.conf
.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.Prince
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.CountOutAndTransfer
Documentation.SBV.Examples.Lists.Fibonacci
Documentation.SBV.Examples.Lists.Nested
Documentation.SBV.Examples.Misc.Auxiliary
Documentation.SBV.Examples.Misc.Definitions
Documentation.SBV.Examples.Misc.Enumerate
Documentation.SBV.Examples.Misc.FirstOrderLogic
Documentation.SBV.Examples.Misc.Floating
Documentation.SBV.Examples.Misc.LambdaArray
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
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.Puzzles.AOC_2021_24
Documentation.SBV.Examples.Puzzles.Birthday
Documentation.SBV.Examples.Puzzles.Coins
Documentation.SBV.Examples.Puzzles.Counts
Documentation.SBV.Examples.Puzzles.DogCatMouse
Documentation.SBV.Examples.Puzzles.Drinker
Documentation.SBV.Examples.Puzzles.Euler185
Documentation.SBV.Examples.Puzzles.Fish
Documentation.SBV.Examples.Puzzles.Garden
Documentation.SBV.Examples.Puzzles.HexPuzzle
Documentation.SBV.Examples.Puzzles.Jugs
Documentation.SBV.Examples.Puzzles.KnightsAndKnaves
Documentation.SBV.Examples.Puzzles.LadyAndTigers
Documentation.SBV.Examples.Puzzles.MagicSquare
Documentation.SBV.Examples.Puzzles.Murder
Documentation.SBV.Examples.Puzzles.NQueens
Documentation.SBV.Examples.Puzzles.Orangutans
Documentation.SBV.Examples.Puzzles.Rabbits
Documentation.SBV.Examples.Puzzles.SendMoreMoney
Documentation.SBV.Examples.Puzzles.Sudoku
Documentation.SBV.Examples.Puzzles.U2Bridge
Documentation.SBV.Examples.Queries.Abducts
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.Lambda 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/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
library-dirs:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
library-dirs-static:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6
data-dir: /usr/share/sbv
hs-libraries: HSsbv-10.2-3qPm9XiglrFArtHZrKADou
depends:
QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew array-0.5.6.0
async-2.2.5-GwkBUQRsnGI18fyHYiVZaH base-4.18.2.1 containers-0.6.7
deepseq-1.4.8.1 directory-1.3.8.5 filepath-1.4.300.1
libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje mtl-2.3.1 pretty-1.1.3.6
process-1.6.19.0 random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI
syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje template-haskell-2.20.0.0
text-2.0.2 time-1.12.2 transformers-0.6.1.0
uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
haddock-interfaces: /usr/lib/ghc-doc/haddock/sbv-10.2/sbv.haddock
haddock-html: /usr/share/doc/libghc-sbv-doc/html/
Creating package registration file: sbv-10.2.conf
Running rm -rf sbv-10.2.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/reproducible-path/haskell-sbv-10.2/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-10.2.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-10.2 id
sbv-10.2-3qPm9XiglrFArtHZrKADou
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-10.2-3qPm9XiglrFArtHZrKADou name
sbv
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-10.2-3qPm9XiglrFArtHZrKADou version
10.2
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-10.2-3qPm9XiglrFArtHZrKADou abi
90c3107fd3275d0b57200d8e0029c01d
dh_haskell_depends_cabal --package=libghc-sbv-dev
Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-10.2.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-10.2 depends
QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew array-0.5.6.0 async-2.2.5-GwkBUQRsnGI18fyHYiVZaH base-4.18.2.1 containers-0.6.7 deepseq-1.4.8.1 directory-1.3.8.5 filepath-1.4.300.1 libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje mtl-2.3.1 pretty-1.1.3.6 process-1.6.19.0 random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje template-haskell-2.20.0.0 text-2.0.2 time-1.12.2 transformers-0.6.1.0 uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew name
QuickCheck
Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew version
2.14.3
Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew abi
1e8245f381b4271634d51a074868e1ac
Running ghc-pkg --global --simple-output --unit-id field array-0.5.6.0 name
array
Running ghc-pkg --global --simple-output --unit-id field array-0.5.6.0 version
0.5.6.0
Running ghc-pkg --global --simple-output --unit-id field array-0.5.6.0 abi
65c232ec2986e5134c1d311256bb2752
Running ghc-pkg --global --simple-output --unit-id field async-2.2.5-GwkBUQRsnGI18fyHYiVZaH name
async
Running ghc-pkg --global --simple-output --unit-id field async-2.2.5-GwkBUQRsnGI18fyHYiVZaH version
2.2.5
Running ghc-pkg --global --simple-output --unit-id field async-2.2.5-GwkBUQRsnGI18fyHYiVZaH abi
a3b4a0ca43ae3285b4c719c9055481e9
Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 name
base
Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 version
4.18.2.1
Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 abi
75247e98224aa00276c5a55902026a85
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 name
containers
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 version
0.6.7
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 abi
3eda8e2eab328d8c6cab76e3e0e07a12
Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.8.1 name
deepseq
Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.8.1 version
1.4.8.1
Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.8.1 abi
71feb269b8410f74472145022824fbce
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.8.5 name
directory
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.8.5 version
1.3.8.5
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.8.5 abi
71f9f0bf77287e5fa8abfc6721c32c54
Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.300.1 name
filepath
Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.300.1 version
1.4.300.1
Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.300.1 abi
4a4484e6b4e88b409e9461337271bb14
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje name
libBF
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje version
0.6.8
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje abi
38e9c8e89c2772cd939eff03fc8bc192
Running ghc-pkg --global --simple-output --unit-id field mtl-2.3.1 name
mtl
Running ghc-pkg --global --simple-output --unit-id field mtl-2.3.1 version
2.3.1
Running ghc-pkg --global --simple-output --unit-id field mtl-2.3.1 abi
f811957517e7c91db2b7d92df17038fe
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
21c218334002cb404d0699735a9bae8d
Running ghc-pkg --global --simple-output --unit-id field process-1.6.19.0 name
process
Running ghc-pkg --global --simple-output --unit-id field process-1.6.19.0 version
1.6.19.0
Running ghc-pkg --global --simple-output --unit-id field process-1.6.19.0 abi
220a3815e09499015e9284e57809d62e
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI name
random
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI version
1.2.1.2
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI abi
8af524edba75e916153593e08b33c9ae
Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje name
syb
Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje version
0.7.2.4
Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje abi
5c37cc06a1d43c72b2b0851be9f4982f
Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.20.0.0 name
template-haskell
Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.20.0.0 version
2.20.0.0
Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.20.0.0 abi
a6103ac9db3b9846a1f9fd584ae19de7
Running ghc-pkg --global --simple-output --unit-id field text-2.0.2 name
text
Running ghc-pkg --global --simple-output --unit-id field text-2.0.2 version
2.0.2
Running ghc-pkg --global --simple-output --unit-id field text-2.0.2 abi
edcc74d46bc3b20600110db51c75c238
Running ghc-pkg --global --simple-output --unit-id field time-1.12.2 name
time
Running ghc-pkg --global --simple-output --unit-id field time-1.12.2 version
1.12.2
Running ghc-pkg --global --simple-output --unit-id field time-1.12.2 abi
a9cccb66c0a7c723756ecc7e2162f4b4
Running ghc-pkg --global --simple-output --unit-id field transformers-0.6.1.0 name
transformers
Running ghc-pkg --global --simple-output --unit-id field transformers-0.6.1.0 version
0.6.1.0
Running ghc-pkg --global --simple-output --unit-id field transformers-0.6.1.0 abi
5335d0a26806e653058e1ea1669e46ff
Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx name
uniplate
Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx version
1.6.13
Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx abi
3d663341a0aaf63453d6182a9ae46a5a
dh_haskell_extra_depends_ghc --package=libghc-sbv-dev --type=dev
Running: /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-10.2-3qPm9XiglrFArtHZrKADou -hide-all-packages -Wmissing-home-modules -no-user-package-db -package-db /var/lib/ghc/package.conf.d -package-db dist-ghc/package.conf.inplace -package-id QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew -package-id array-0.5.6.0 -package-id async-2.2.5-GwkBUQRsnGI18fyHYiVZaH -package-id base-4.18.2.1 -package-id containers-0.6.7 -package-id deepseq-1.4.8.1 -package-id directory-1.3.8.5 -package-id filepath-1.4.300.1 -package-id libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje -package-id mtl-2.3.1 -package-id pretty-1.1.3.6 -package-id process-1.6.19.0 -package-id random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI -package-id syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje -package-id template-haskell-2.20.0.0 -package-id text-2.0.2 -package-id time-1.12.2 -package-id transformers-0.6.1.0 -package-id uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx -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.NaturalInduction 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.Prince 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.Lists.CountOutAndTransfer Documentation.SBV.Examples.Misc.Definitions Documentation.SBV.Examples.Misc.Enumerate Documentation.SBV.Examples.Misc.FirstOrderLogic Documentation.SBV.Examples.Misc.Floating Documentation.SBV.Examples.Misc.LambdaArray 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.AOC_2021_24 Documentation.SBV.Examples.Puzzles.Birthday Documentation.SBV.Examples.Puzzles.Coins Documentation.SBV.Examples.Puzzles.Counts Documentation.SBV.Examples.Puzzles.DogCatMouse Documentation.SBV.Examples.Puzzles.Drinker Documentation.SBV.Examples.Puzzles.Euler185 Documentation.SBV.Examples.Puzzles.Fish Documentation.SBV.Examples.Puzzles.Garden Documentation.SBV.Examples.Puzzles.HexPuzzle Documentation.SBV.Examples.Puzzles.Jugs Documentation.SBV.Examples.Puzzles.KnightsAndKnaves Documentation.SBV.Examples.Puzzles.LadyAndTigers Documentation.SBV.Examples.Puzzles.MagicSquare Documentation.SBV.Examples.Puzzles.Murder Documentation.SBV.Examples.Puzzles.NQueens Documentation.SBV.Examples.Puzzles.Orangutans Documentation.SBV.Examples.Puzzles.Rabbits Documentation.SBV.Examples.Puzzles.SendMoreMoney Documentation.SBV.Examples.Puzzles.Sudoku Documentation.SBV.Examples.Puzzles.U2Bridge Documentation.SBV.Examples.Queries.Abducts 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: 10.2
visibility: public
id: sbv-10.2-3qPm9XiglrFArtHZrKADou
key: sbv-10.2-3qPm9XiglrFArtHZrKADou
license: BSD-3-Clause
copyright: Levent Erkok, 2010-2023
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: <http://leventerkok.github.io/sbv/>
category:
Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT
abi: 90c3107fd3275d0b57200d8e0029c01d
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.NaturalInduction 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.ExamplesRunning cp sbv-10.2.conf debian/tmp-db
.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.Prince
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.CountOutAndTransfer
Documentation.SBV.Examples.Lists.Fibonacci
Documentation.SBV.Examples.Lists.Nested
Documentation.SBV.Examples.Misc.Auxiliary
Documentation.SBV.Examples.Misc.Definitions
Documentation.SBV.Examples.Misc.Enumerate
Documentation.SBV.Examples.Misc.FirstOrderLogic
Documentation.SBV.Examples.Misc.Floating
Documentation.SBV.Examples.Misc.LambdaArray
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
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.Puzzles.AOC_2021_24
Documentation.SBV.Examples.Puzzles.Birthday
Documentation.SBV.Examples.Puzzles.Coins
Documentation.SBV.Examples.Puzzles.Counts
Documentation.SBV.Examples.Puzzles.DogCatMouse
Documentation.SBV.Examples.Puzzles.Drinker
Documentation.SBV.Examples.Puzzles.Euler185
Documentation.SBV.Examples.Puzzles.Fish
Documentation.SBV.Examples.Puzzles.Garden
Documentation.SBV.Examples.Puzzles.HexPuzzle
Documentation.SBV.Examples.Puzzles.Jugs
Documentation.SBV.Examples.Puzzles.KnightsAndKnaves
Documentation.SBV.Examples.Puzzles.LadyAndTigers
Documentation.SBV.Examples.Puzzles.MagicSquare
Documentation.SBV.Examples.Puzzles.Murder
Documentation.SBV.Examples.Puzzles.NQueens
Documentation.SBV.Examples.Puzzles.Orangutans
Documentation.SBV.Examples.Puzzles.Rabbits
Documentation.SBV.Examples.Puzzles.SendMoreMoney
Documentation.SBV.Examples.Puzzles.Sudoku
Documentation.SBV.Examples.Puzzles.U2Bridge
Documentation.SBV.Examples.Queries.Abducts
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.Lambda 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/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
library-dirs:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
library-dirs-static:
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6
data-dir: /usr/share/sbv
hs-libraries: HSsbv-10.2-3qPm9XiglrFArtHZrKADou
depends:
QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew array-0.5.6.0
async-2.2.5-GwkBUQRsnGI18fyHYiVZaH base-4.18.2.1 containers-0.6.7
deepseq-1.4.8.1 directory-1.3.8.5 filepath-1.4.300.1
libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje mtl-2.3.1 pretty-1.1.3.6
process-1.6.19.0 random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI
syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje template-haskell-2.20.0.0
text-2.0.2 time-1.12.2 transformers-0.6.1.0
uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
haddock-interfaces: /usr/lib/ghc-doc/haddock/sbv-10.2/sbv.haddock
haddock-html: /usr/share/doc/libghc-sbv-doc/html/
Creating package registration file: sbv-10.2.conf
Running ghc-pkg --package-db debian/tmp-db recache
Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-10.2 depends
QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew array-0.5.6.0 async-2.2.5-GwkBUQRsnGI18fyHYiVZaH base-4.18.2.1 containers-0.6.7 deepseq-1.4.8.1 directory-1.3.8.5 filepath-1.4.300.1 libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje mtl-2.3.1 pretty-1.1.3.6 process-1.6.19.0 random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje template-haskell-2.20.0.0 text-2.0.2 time-1.12.2 transformers-0.6.1.0 uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
Running rm -rf sbv-10.2.conf
dh_haskell_shlibdeps --package=libghc-sbv-dev
Running cp debian/libghc-sbv-dev/var/lib/ghc/package.conf.d/sbv-10.2.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-10.2 library-dirs
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou
Running ghc-pkg --package-db debian/tmp-db --simple-output field sbv-10.2 extra-libraries
Running gcc -L/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/sbv-10.2-3qPm9XiglrFArtHZrKADou 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.6.6-3
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/reproducible-path/haskell-sbv-10.2/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-10.2.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-10.2 id
sbv-10.2-3qPm9XiglrFArtHZrKADou
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-10.2-3qPm9XiglrFArtHZrKADou name
sbv
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-10.2-3qPm9XiglrFArtHZrKADou version
10.2
Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field sbv-10.2-3qPm9XiglrFArtHZrKADou abi
90c3107fd3275d0b57200d8e0029c01d
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-10.2.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-10.2 depends
QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew array-0.5.6.0 async-2.2.5-GwkBUQRsnGI18fyHYiVZaH base-4.18.2.1 containers-0.6.7 deepseq-1.4.8.1 directory-1.3.8.5 filepath-1.4.300.1 libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje mtl-2.3.1 pretty-1.1.3.6 process-1.6.19.0 random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje template-haskell-2.20.0.0 text-2.0.2 time-1.12.2 transformers-0.6.1.0 uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx
Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew name
QuickCheck
Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew version
2.14.3
Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.3-2ib5howz5bF8WgkuPDgHew abi
1e8245f381b4271634d51a074868e1ac
Running ghc-pkg --global --simple-output --unit-id field array-0.5.6.0 name
array
Running ghc-pkg --global --simple-output --unit-id field array-0.5.6.0 version
0.5.6.0
Running ghc-pkg --global --simple-output --unit-id field array-0.5.6.0 abi
65c232ec2986e5134c1d311256bb2752
Running ghc-pkg --global --simple-output --unit-id field async-2.2.5-GwkBUQRsnGI18fyHYiVZaH name
async
Running ghc-pkg --global --simple-output --unit-id field async-2.2.5-GwkBUQRsnGI18fyHYiVZaH version
2.2.5
Running ghc-pkg --global --simple-output --unit-id field async-2.2.5-GwkBUQRsnGI18fyHYiVZaH abi
a3b4a0ca43ae3285b4c719c9055481e9
Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 name
base
Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 version
4.18.2.1
Running ghc-pkg --global --simple-output --unit-id field base-4.18.2.1 abi
75247e98224aa00276c5a55902026a85
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 name
containers
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 version
0.6.7
Running ghc-pkg --global --simple-output --unit-id field containers-0.6.7 abi
3eda8e2eab328d8c6cab76e3e0e07a12
Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.8.1 name
deepseq
Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.8.1 version
1.4.8.1
Running ghc-pkg --global --simple-output --unit-id field deepseq-1.4.8.1 abi
71feb269b8410f74472145022824fbce
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.8.5 name
directory
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.8.5 version
1.3.8.5
Running ghc-pkg --global --simple-output --unit-id field directory-1.3.8.5 abi
71f9f0bf77287e5fa8abfc6721c32c54
Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.300.1 name
filepath
Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.300.1 version
1.4.300.1
Running ghc-pkg --global --simple-output --unit-id field filepath-1.4.300.1 abi
4a4484e6b4e88b409e9461337271bb14
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje name
libBF
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje version
0.6.8
Running ghc-pkg --global --simple-output --unit-id field libBF-0.6.8-Ft9puAmizGkCMVZdc0EXje abi
38e9c8e89c2772cd939eff03fc8bc192
Running ghc-pkg --global --simple-output --unit-id field mtl-2.3.1 name
mtl
Running ghc-pkg --global --simple-output --unit-id field mtl-2.3.1 version
2.3.1
Running ghc-pkg --global --simple-output --unit-id field mtl-2.3.1 abi
f811957517e7c91db2b7d92df17038fe
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
21c218334002cb404d0699735a9bae8d
Running ghc-pkg --global --simple-output --unit-id field process-1.6.19.0 name
process
Running ghc-pkg --global --simple-output --unit-id field process-1.6.19.0 version
1.6.19.0
Running ghc-pkg --global --simple-output --unit-id field process-1.6.19.0 abi
220a3815e09499015e9284e57809d62e
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI name
random
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI version
1.2.1.2
Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.2-9nSipNyPzIK3OtGny4BWjI abi
8af524edba75e916153593e08b33c9ae
Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje name
syb
Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje version
0.7.2.4
Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje abi
5c37cc06a1d43c72b2b0851be9f4982f
Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.20.0.0 name
template-haskell
Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.20.0.0 version
2.20.0.0
Running ghc-pkg --global --simple-output --unit-id field template-haskell-2.20.0.0 abi
a6103ac9db3b9846a1f9fd584ae19de7
Running ghc-pkg --global --simple-output --unit-id field text-2.0.2 name
text
Running ghc-pkg --global --simple-output --unit-id field text-2.0.2 version
2.0.2
Running ghc-pkg --global --simple-output --unit-id field text-2.0.2 abi
edcc74d46bc3b20600110db51c75c238
Running ghc-pkg --global --simple-output --unit-id field time-1.12.2 name
time
Running ghc-pkg --global --simple-output --unit-id field time-1.12.2 version
1.12.2
Running ghc-pkg --global --simple-output --unit-id field time-1.12.2 abi
a9cccb66c0a7c723756ecc7e2162f4b4
Running ghc-pkg --global --simple-output --unit-id field transformers-0.6.1.0 name
transformers
Running ghc-pkg --global --simple-output --unit-id field transformers-0.6.1.0 version
0.6.1.0
Running ghc-pkg --global --simple-output --unit-id field transformers-0.6.1.0 abi
5335d0a26806e653058e1ea1669e46ff
Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx name
uniplate
Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx version
1.6.13
Running ghc-pkg --global --simple-output --unit-id field uniplate-1.6.13-8IPoFwzM8OQ6V56YCCRklx abi
3d663341a0aaf63453d6182a9ae46a5a
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.6.6-3
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_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_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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so contains an unresolvable reference to symbol rtsSupportsBoundThreads: it's probably a plugin
dpkg-shlibdeps: warning: 100 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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSunix-2.8.4.0-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSexceptions-0.10.7-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSunordered-containers-0.2.20-L2f4rG7tZCFBbDP6h5B45u-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSstm-2.5.1.0-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSbinary-0.8.9.1-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSos-string-2.0.6-KoVBRYToiZNKBGfpQU5BBD-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSarray-0.5.6.0-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHShashable-1.4.4.0-6LwNVbCxvPM4xnIyHdPbWQ-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSghc-boot-th-9.6.6-ghc9.6.6.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/aarch64-linux-ghc-9.6.6/libHSsbv-10.2-3qPm9XiglrFArtHZrKADou-ghc9.6.6.so was not linked against libHSsyb-0.7.2.4-CGf6yzYBtNj1GaPOXC2hje-ghc9.6.6.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_10.2-2_arm64.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_10.2-2_arm64.deb'.
dpkg-genbuildinfo --build=binary -O../haskell-sbv_10.2-2_arm64.buildinfo
dpkg-genchanges --build=binary -O../haskell-sbv_10.2-2_arm64.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: not including original 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/3626108 and its subdirectories
I: Current time: Mon Jan 20 14:26:27 -12 2025
I: pbuilder-time-stamp: 1737426387