Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-chasingbottoms/haskell-chasingbottoms_1.3.1.11-1+b2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-chasingbottoms-1.3.1.11-1+b2_9d4qe6c/haskell-chasingbottoms_1.3.1.11-1+b2_amd64.buildinfo Get source package info: haskell-chasingbottoms=1.3.1.11-1 Source URL: http://snapshot.notset.fr/mr/package/haskell-chasingbottoms/1.3.1.11-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.3 autopoint=0.21-6 autotools-dev=20220109.1 base-files=12.2 base-passwd=3.5.52 bash=5.1-6.1 binutils=2.38.90.20220713-2 binutils-common=2.38.90.20220713-2 binutils-x86-64-linux-gnu=2.38.90.20220713-2 bsdextrautils=2.38-5 bsdutils=1:2.38-5 build-essential=12.9 bzip2=1.0.8-5 cdbs=0.4.163 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.3.0-4 dash=0.5.11+git20210903+057cd650a4ed-8 dctrl-tools=2.24-3+b1 debconf=1.5.79 debhelper=13.8 debianutils=5.7-0.2 dh-autoreconf=20 dh-buildinfo=0.11+nmu2 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.9 dpkg-dev=1.21.9 dwz=0.14-1 file=1:5.41-4 findutils=4.9.0-3 g++=4:11.2.0-2 g++-11=11.3.0-4 gcc=4:11.2.0-2 gcc-11=11.3.0-4 gcc-11-base=11.3.0-4 gcc-12-base=12.1.0-5 gettext=0.21-6 gettext-base=0.21-6 ghc=9.0.2-3 ghc-prof=9.0.2-3 grep=3.7-1 groff-base=1.22.4-8 gzip=1.12-1 haskell-devscripts=0.16.22 haskell-devscripts-minimal=0.16.22 hostname=3.23 hscolour=1.24.4-3+b2 html-xml-utils=7.7-1.1 init-system-helpers=1.64 intltool-debian=0.35.0+20060710.5 libacl1=2.3.1-1 libarchive-zip-perl=1.68-1 libasan6=11.3.0-4 libatomic1=12.1.0-5 libattr1=1:2.5.1-1 libaudit-common=1:3.0.7-1 libaudit1=1:3.0.7-1+b1 libb-hooks-op-check-perl=0.22-2 libbinutils=2.38.90.20220713-2 libblkid1=2.38-5 libbrotli1=1.0.9-2+b3 libbsd-dev=0.11.6-1 libbsd0=0.11.6-1 libbz2-1.0=1.0.8-5 libc-bin=2.33-8 libc-dev-bin=2.33-8 libc6=2.33-8 libc6-dev=2.33-8 libcap-ng0=0.8.3-1 libcap2=1:2.44-1 libcc1-0=12.1.0-5 libcom-err2=1.46.5-2 libconst-fast-perl=0.014-2 libcrypt-dev=1:4.4.28-2 libcrypt1=1:4.4.28-2 libctf-nobfd0=2.38.90.20220713-2 libctf0=2.38.90.20220713-2 libcurl3-gnutls=7.84.0-2 libdata-optlist-perl=0.112-1 libdb5.3=5.3.28+dfsg1-0.10 libdebconfclient0=0.263 libdebhelper-perl=13.8 libdevel-callchecker-perl=0.008-1+b3 libdevel-confess-perl=0.009004-2 libdpkg-perl=1.21.9 libdynaloader-functions-perl=0.003-2 libelf1=0.187-1 libffi-dev=3.4.2-4 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libgcc-11-dev=11.3.0-4 libgcc-s1=12.1.0-5 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libghc-quickcheck2-dev=2.14.2-1+b2 libghc-quickcheck2-prof=2.14.2-1+b2 libghc-random-dev=1.2.1.1-2+b2 libghc-random-prof=1.2.1.1-2+b2 libghc-splitmix-dev=0.1.0.4-1+b2 libghc-splitmix-prof=0.1.0.4-1+b2 libghc-syb-dev=0.7.2.1-1+b2 libghc-syb-prof=0.7.2.1-1+b2 libgmp-dev=2:6.2.1+dfsg1-1 libgmp10=2:6.2.1+dfsg1-1 libgmpxx4ldbl=2:6.2.1+dfsg1-1 libgnutls30=3.7.6-2 libgomp1=12.1.0-5 libgpg-error0=1.45-2 libgprofng0=2.38.90.20220713-2 libgssapi-krb5-2=1.19.2-2+b2 libhogweed6=3.7.3-1 libicu71=71.1-3 libidn2-0=2.3.3-1 libipc-run3-perl=0.048-2 libisl23=0.25-1 libitm1=12.1.0-5 libk5crypto3=1.19.2-2+b2 libkeyutils1=1.6.3-1 libkrb5-3=1.19.2-2+b2 libkrb5support0=1.19.2-2+b2 libldap-2.5-0=2.5.12+dfsg-2 liblist-someutils-perl=0.58-1 liblsan0=12.1.0-5 liblz4-1=1.9.3-2 liblzma5=5.2.5-2.1 libmagic-mgc=1:5.41-4 libmagic1=1:5.41-4 libmd-dev=1.0.4-2 libmd0=1.0.4-2 libmodule-implementation-perl=0.09-2 libmodule-runtime-perl=0.016-2 libmount1=2.38-5 libmpc3=1.2.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3+20220423-2 libncurses6=6.3+20220423-2 libncursesw6=6.3+20220423-2 libnettle8=3.7.3-1 libnghttp2-14=1.47.0-1+b1 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libp11-kit0=0.24.1-1 libpam-modules=1.4.0-13 libpam-modules-bin=1.4.0-13 libpam-runtime=1.4.0-13 libpam0g=1.4.0-13 libparams-classify-perl=0.015-2 libparams-util-perl=1.102-1+b2 libpath-tiny-perl=0.122-1 libpcre2-8-0=10.40-1 libpcre3=2:8.39-14 libperl5.34=5.34.0-5 libpipeline1=1.5.6-1 libpsl5=0.21.0-1.2 libquadmath0=12.1.0-5 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.28+dfsg-6 libsasl2-modules-db=2.1.28+dfsg-6 libseccomp2=2.5.4-1 libselinux1=3.4-1 libsigsegv2=2.14-1 libsmartcols1=2.38-5 libssh2-1=1.10.0-3+b1 libssl3=3.0.4-2 libstdc++-11-dev=11.3.0-4 libstdc++6=12.1.0-5 libsub-exporter-perl=0.988-1 libsub-exporter-progressive-perl=0.001013-2 libsub-install-perl=0.928-2 libsub-override-perl=0.09-3 libsystemd0=251.3-1 libtasn1-6=4.18.0-4 libtimedate-perl=2.3300-2 libtinfo6=6.3+20220423-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.7-4 libtry-tiny-perl=0.31-1 libtsan0=11.3.0-4 libubsan1=12.1.0-5 libuchardet0=0.0.7-1 libudev1=251.3-1 libunicode-utf8-perl=0.62-1+b3 libunistring2=1.0-1 libuuid1=2.38-5 libxml2=2.9.14+dfsg-1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.18.5-1 login=1:4.11.1+dfsg1-2 lsb-base=11.2 m4=1.4.18-5 make=4.3-4.1 man-db=2.10.2-1 mawk=1.3.4.20200120-3.1 ncurses-base=6.3+20220423-2 ncurses-bin=6.3+20220423-2 patch=2.7.6-7 perl=5.34.0-5 perl-base=5.34.0-5 perl-modules-5.34=5.34.0-5 po-debconf=1.0.21+nmu1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sgml-base=1.30 sysvinit-utils=3.03-1 tar=1.34+dfsg-1 util-linux=2.38-5 util-linux-extra=2.38-5 xz-utils=5.2.5-2.1 zlib1g=1:1.2.11.dfsg-4 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220615T092214Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220615T092214Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220719T025851Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d haskell-chasingbottoms=1.3.1.11-1 && mkdir -p /build/haskell-chasingbottoms-KYTmTf && dpkg-source --no-check -x /*.dsc /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 && cd /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 && { printf '%s' 'haskell-chasingbottoms (1.3.1.11-1+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * base-4.15.1.0 changed from 3f1fa to 35e3f, containers-0.6.4.1 changed from 73c78 to 6bf65, mtl-2.2.2 changed from 74782 to 683f2 -- amd64 / i386 Build Daemon (x86-ubc-01) Mon, 18 Jul 2022 15:58:55 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-chasingbottoms-KYTmTf" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658159935" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/haskell-chasingbottoms-KYTmTf /tmp/haskell-chasingbottoms-1.3.1.11-1+b2_9d4qe6c bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220719T025851Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.jLAim2opzT as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.jLAim2opzT Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-5). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 401 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220719T025851Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220719T025851Z unstable/main amd64 fakeroot amd64 1.29-1 [87.3 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1011 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4626 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.29-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.29-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.29-1_amd64.deb ... Unpacking fakeroot (1.29-1) ... Setting up libfakeroot:amd64 (1.29-1) ... Setting up fakeroot (1.29-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-8) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220615T092214Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220615T092214Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220719T025851Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.jLAim2opzT Get:1 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable InRelease [165 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220719T025851Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main Sources [13.0 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main amd64 Packages [12.5 MB] Fetched 25.7 MB in 22s (1172 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.jLAim2opzT I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-chasingbottoms=1.3.1.11-1 && mkdir -p /build/haskell-chasingbottoms-KYTmTf && dpkg-source --no-check -x /*.dsc /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 && cd /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 && { printf '%s' 'haskell-chasingbottoms (1.3.1.11-1+b2) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * base-4.15.1.0 changed from 3f1fa to 35e3f, containers-0.6.4.1 changed from 73c78 to 6bf65, mtl-2.2.2 changed from 74782 to 683f2 -- amd64 / i386 Build Daemon (x86-ubc-01) Mon, 18 Jul 2022 15:58:55 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-chasingbottoms-KYTmTf"' exec /tmp/mmdebstrap.jLAim2opzT Reading package lists... NOTICE: 'haskell-chasingbottoms' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-chasingbottoms] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-chasingbottoms] to retrieve the latest (possibly unreleased) updates to the package. Need to get 38.1 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main haskell-chasingbottoms 1.3.1.11-1 (dsc) [2778 B] Get:2 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main haskell-chasingbottoms 1.3.1.11-1 (tar) [31.9 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220615T092214Z unstable/main haskell-chasingbottoms 1.3.1.11-1 (diff) [3344 B] Fetched 38.1 kB in 0s (489 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-chasingbottoms_1.3.1.11-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-chasingbottoms in /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 dpkg-source: info: unpacking haskell-chasingbottoms_1.3.1.11.orig.tar.gz dpkg-source: info: unpacking haskell-chasingbottoms_1.3.1.11-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658159935" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.jLAim2opzT dpkg-buildpackage: info: source package haskell-chasingbottoms dpkg-buildpackage: info: source version 1.3.1.11-1+b2 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 debian/rules clean test -x debian/rules dh_clean perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'clean_recipe' Running rm -rf dist dist-ghc dist-ghcjs dist-hugs Running rm -f debian/hlibrary.setup Running rm -f Setup.hi Setup.ho Setup.o Running rm -f rm -f build-ghc-stamp build-hugs-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-arch test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." CDBS WARNING: DEB_DH_STRIP_ARGS is deprecated since 0.4.85 CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 Adding cdbs dependencies to debian/libghc-chasingbottoms-dev.substvars dh_installdirs -plibghc-chasingbottoms-dev \ perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'make_setup_recipe' Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'configure_recipe; haddock_recipe; build_recipe; check_recipe' Running find . ! -newer /tmp/HgYjyOF6fm -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages libghc-chasingbottoms-dev libghc-chasingbottoms-prof libghc-chasingbottoms-doc Running dh_listpackages libghc-chasingbottoms-dev libghc-chasingbottoms-prof libghc-chasingbottoms-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/chasingbottoms-1.3.1.11/ --datasubdir=chasingbottoms --htmldir=/usr/share/doc/libghc-chasingbottoms-doc/html/ --enable-library-profiling Using Parsec parser Configuring ChasingBottoms-1.3.1.11... Dependency QuickCheck >=2.10 && <2.15: using QuickCheck-2.14.2 Dependency base >=4.2 && <4.17: using base-4.15.1.0 Dependency containers >=0.5 && <0.7: using containers-0.6.4.1 Dependency mtl >=2 && <2.3: using mtl-2.2.2 Dependency random >=1.0 && <1.3: using random-1.2.1.1 Dependency syb >=0.1.0.2 && <0.8: using syb-0.7.2.1 Source component graph: component lib Configured component graph: component ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 include QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG include base-4.15.1.0 include containers-0.6.4.1 include mtl-2.2.2 include random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba include syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA Linked component graph: unit ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 include QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG include base-4.15.1.0 include containers-0.6.4.1 include mtl-2.2.2 include random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba include syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA Test.ChasingBottoms=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms,Test.ChasingBottoms.Approx=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.Approx,Test.ChasingBottoms.ApproxShow=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.ApproxShow,Test.ChasingBottoms.ContinuousFunctions=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.ContinuousFunctions,Test.ChasingBottoms.IsBottom=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.IsBottom,Test.ChasingBottoms.Nat=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.Nat,Test.ChasingBottoms.SemanticOrd=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.SemanticOrd,Test.ChasingBottoms.TimeOut=ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1:Test.ChasingBottoms.TimeOut Ready component graph: definite ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG depends base-4.15.1.0 depends containers-0.6.4.1 depends mtl-2.2.2 depends random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba depends syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA Using Cabal-3.4.1.0 compiled by ghc-9.0 Using compiler: ghc-9.0.2 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 Private executables installed in: /usr/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11 Data files installed in: /usr/share/chasingbottoms Documentation installed in: /usr/share/doc/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11 Configuration files installed in: /usr/etc No alex found Using ar found on system at: /usr/bin/x86_64-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 11 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 9.0.2 found on system at: /usr/bin/ghc Using ghc-pkg version 9.0.2 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.25.1 found on system at: /usr/bin/haddock No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.68 found on system at: /usr/bin/hpc Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs Using hscolour version 1.24 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/x86_64-linux-gnu-ld.gold No pkg-config found Using runghc version 9.0.2 found on system at: /usr/bin/runghc Using strip version 2.38 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found Running dh_listpackages libghc-chasingbottoms-dev libghc-chasingbottoms-prof libghc-chasingbottoms-doc Running debian/hlibrary.setup haddock --builddir=dist-ghc --with-haddock=/usr/bin/haddock --with-ghc=ghc --verbose=2 --html --hoogle --haddock-options="--mathjax=file:///usr/share/javascript/mathjax/MathJax.js" --hyperlink-source /usr/bin/haddock --version /usr/bin/ghc --numeric-version /usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' /usr/bin/ghc --print-libdir /usr/bin/ghc-pkg init dist-ghc/package.conf.inplace creating dist-ghc/build creating dist-ghc/build/autogen creating dist-ghc/build/autogen Preprocessing library for ChasingBottoms-1.3.1.11.. Running Haddock on library for ChasingBottoms-1.3.1.11.. creating dist-ghc/doc/html/ChasingBottoms creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/ChasingBottoms /usr/bin/haddock '@dist-ghc/doc/html/ChasingBottoms/haddock-response4147815-3.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' 100% ( 6 / 6) in 'Test.ChasingBottoms.Nat' 100% ( 2 / 2) in 'Test.ChasingBottoms.Approx' 83% ( 5 / 6) in 'Test.ChasingBottoms.TimeOut' Missing documentation for: Result (Test/ChasingBottoms/TimeOut.hs:34) 100% ( 7 / 7) in 'Test.ChasingBottoms.IsBottom' 100% ( 5 / 5) in 'Test.ChasingBottoms.SemanticOrd' 100% ( 25 / 25) in 'Test.ChasingBottoms.ContinuousFunctions' 67% ( 2 / 3) in 'Test.ChasingBottoms.ApproxShow' Missing documentation for: ApproxShow (Test/ChasingBottoms/ApproxShow.hs:30) 100% ( 8 / 8) in 'Test.ChasingBottoms' Warning: Test.ChasingBottoms.Nat: could not find link destinations for: - Data.Data.Data - Test.QuickCheck.Arbitrary.Arbitrary - Test.QuickCheck.Arbitrary.arbitrary - Test.QuickCheck.Gen.Gen - Test.QuickCheck.Arbitrary.shrink - Test.QuickCheck.Arbitrary.CoArbitrary - Test.QuickCheck.Arbitrary.coarbitrary - GHC.Enum.Enum - GHC.Enum.succ - GHC.Enum.pred - GHC.Enum.toEnum - GHC.Types.Int - GHC.Enum.fromEnum - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.Num.Num - GHC.Num.+ - GHC.Num.- - GHC.Num.* - GHC.Num.negate - GHC.Num.abs - GHC.Num.signum - GHC.Num.fromInteger - GHC.Num.Integer.Integer - GHC.Real.Integral - GHC.Real.quot - GHC.Real.rem - GHC.Real.div - GHC.Real.mod - GHC.Real.quotRem - GHC.Real.divMod - GHC.Real.toInteger - GHC.Real.Real - GHC.Real.toRational - GHC.Real.Rational - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Types.False - GHC.Types.True - GHC.Maybe.Maybe - GHC.Maybe.Nothing - GHC.Maybe.Just - Data.Tuple.curry - GHC.Base.$ - Data.Tuple.snd Warning: Test.ChasingBottoms.Approx: could not find link destinations for: - Data.Data.Data Warning: Test.ChasingBottoms.TimeOut: could not find link destinations for: - GHC.Exception.Type.SomeException - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Types.IO - GHC.Base.return - GHC.IO.evaluate Warning: Test.ChasingBottoms.IsBottom: could not find link destinations for: - GHC.Types.Bool - GHC.Types.False - GHC.Types.True - GHC.IO.Exception.ArrayException - GHC.Exception.ErrorCall - Control.Exception.Base.NoMethodError - Control.Exception.Base.NonTermination - Control.Exception.Base.PatternMatchFail - Control.Exception.Base.RecConError - Control.Exception.Base.RecSelError - Control.Exception.Base.RecUpdError - GHC.Exception.Type.DivideByZero - GHC.Types.IO - GHC.Base.String - GHC.IO.Exception.AssertionFailed - GHC.Maybe.Maybe - GHC.Types.Int - GHC.Maybe.Just Warning: Test.ChasingBottoms.SemanticOrd: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Types.Int - GHC.Maybe.Just - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Maybe.Nothing - Data.Data.Data - GHC.Types.True - GHC.Types.False Warning: Test.ChasingBottoms.ContinuousFunctions: could not find link destinations for: - Test.QuickCheck.Gen.Gen - Data.Data.Data - Data.Sequence.Internal.Seq - Test.QuickCheck.Arbitrary.coarbitrary - GHC.Base.Applicative - GHC.Types.Type - GHC.Base.pure - GHC.Base.<*> - GHC.Base.liftA2 - GHC.Base.*> - GHC.Base.<* - GHC.Base.Functor - GHC.Base.fmap - GHC.Base.<$ - GHC.Base.Monad - GHC.Base.>>= - GHC.Base.>> - GHC.Base.return - Test.QuickCheck.Arbitrary.Arbitrary - Test.QuickCheck.Arbitrary.arbitrary - System.Random.Random - Test.QuickCheck.Gen.choose - Test.QuickCheck.Gen.elements - Test.QuickCheck.Gen.oneof - GHC.Types.Int - Test.QuickCheck.Gen.frequency - Test.QuickCheck.Gen.sized - Test.QuickCheck.Gen.resize - Test.ChasingBottoms.ContinuousFunctions.PatternMatches - GHC.Types.Bool - GHC.Num.Integer.Integer Warning: Test.ChasingBottoms.ApproxShow: could not find link destinations for: - GHC.Types.Int - GHC.Show.ShowS - GHC.Base.String - Data.Data.Data - GHC.Show.showsPrec Documentation created: dist-ghc/doc/html/ChasingBottoms/index.html, dist-ghc/doc/html/ChasingBottoms/ChasingBottoms.txt Running dh_listpackages libghc-chasingbottoms-dev libghc-chasingbottoms-prof libghc-chasingbottoms-doc Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for ChasingBottoms-1.3.1.11.. Building library for ChasingBottoms-1.3.1.11.. [ 1 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist-ghc/build/Test/ChasingBottoms/IsBottom.o-boot, dist-ghc/build/Test/ChasingBottoms/IsBottom.dyn_o ) [ 2 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist-ghc/build/Test/ChasingBottoms/IsType.o, dist-ghc/build/Test/ChasingBottoms/IsType.dyn_o ) [ 3 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist-ghc/build/Test/ChasingBottoms/Nat.o, dist-ghc/build/Test/ChasingBottoms/Nat.dyn_o ) [ 4 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist-ghc/build/Test/ChasingBottoms/Approx.o, dist-ghc/build/Test/ChasingBottoms/Approx.dyn_o ) [ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist-ghc/build/Test/ChasingBottoms/TimeOut.o, dist-ghc/build/Test/ChasingBottoms/TimeOut.dyn_o ) [ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist-ghc/build/Test/ChasingBottoms/IsBottom.o, dist-ghc/build/Test/ChasingBottoms/IsBottom.dyn_o ) [ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist-ghc/build/Test/ChasingBottoms/SemanticOrd.o, dist-ghc/build/Test/ChasingBottoms/SemanticOrd.dyn_o ) [ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist-ghc/build/Test/ChasingBottoms/ContinuousFunctions.o, dist-ghc/build/Test/ChasingBottoms/ContinuousFunctions.dyn_o ) [ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist-ghc/build/Test/ChasingBottoms/ApproxShow.o, dist-ghc/build/Test/ChasingBottoms/ApproxShow.dyn_o ) [10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist-ghc/build/Test/ChasingBottoms.o, dist-ghc/build/Test/ChasingBottoms.dyn_o ) [ 1 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist-ghc/build/Test/ChasingBottoms/IsBottom.p_o-boot ) [ 2 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist-ghc/build/Test/ChasingBottoms/IsType.p_o ) [ 3 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist-ghc/build/Test/ChasingBottoms/Nat.p_o ) [ 4 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist-ghc/build/Test/ChasingBottoms/Approx.p_o ) [ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist-ghc/build/Test/ChasingBottoms/TimeOut.p_o ) [ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist-ghc/build/Test/ChasingBottoms/IsBottom.p_o ) [ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist-ghc/build/Test/ChasingBottoms/SemanticOrd.p_o ) [ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist-ghc/build/Test/ChasingBottoms/ContinuousFunctions.p_o ) [ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist-ghc/build/Test/ChasingBottoms/ApproxShow.p_o ) [10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist-ghc/build/Test/ChasingBottoms.p_o ) DEB_ENABLE_TESTS not set to yes, not running any build-time tests. touch build-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'install_recipe($ARGV[0])' "debian/tmp-inst-ghc" Running dh_listpackages libghc-chasingbottoms-dev libghc-chasingbottoms-prof libghc-chasingbottoms-doc Running debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp dh_haskell_install_ghc_registration --package=libghc-chasingbottoms-dev Running debian/hlibrary.setup register --builddir=dist-ghc --gen-pkg-config --verbose=verbose+nowrap /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 ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut -optl-Wl,-z,relro name: ChasingBottoms version: 1.3.1.11 visibility: public id: ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 key: ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 license: MIT copyright: Copyright (c) Nils Anders Danielsson 2004-2021. maintainer: http://www.cse.chalmers.se/~nad/ author: Nils Anders Danielsson synopsis: For testing partial and infinite values. description: Do you ever feel the need to test code involving bottoms (e.g. calls to the @error@ function), or code involving infinite values? Then this library could be useful for you. It is usually easy to get a grip on bottoms by showing a value and waiting to see how much gets printed before the first exception is encountered. However, that quickly gets tiresome and is hard to automate using e.g. QuickCheck (). With this library you can do the tests as simply as the following examples show. Testing explicitly for bottoms: > > isBottom (head []) > True > > isBottom bottom > True > > isBottom (\_ -> bottom) > False > > isBottom (bottom, bottom) > False Comparing finite, partial values: > > ((bottom, 3) :: (Bool, Int)) ==! (bottom, 2+5-4) > True > > ((bottom, bottom) :: (Bool, Int)) True Showing partial and infinite values (@\\\/!@ is join and @\/\\!@ is meet): > > approxShow 4 $ (True, bottom) \/! (bottom, 'b') > "Just (True, 'b')" > > approxShow 4 $ (True, bottom) /\! (bottom, 'b') > "(_|_, _|_)" > > approxShow 4 $ ([1..] :: [Int]) > "[1, 2, 3, _" > > approxShow 4 $ (cycle [bottom] :: [Bool]) > "[_|_, _|_, _|_, _" Approximately comparing infinite, partial values: > > approx 100 [2,4..] ==! approx 100 (filter even [1..] :: [Int]) > True > > approx 100 [2,4..] /=! approx 100 (filter even [bottom..] :: [Int]) > True The code above relies on the fact that @bottom@, just as @error \"...\"@, @undefined@ and pattern match failures, yield exceptions. Sometimes we are dealing with properly non-terminating computations, such as the following example, and then it can be nice to be able to apply a time-out: > > timeOut' 1 (reverse [1..5]) > Value [5,4,3,2,1] > > timeOut' 1 (reverse [1..]) > NonTermination The time-out functionality can be used to treat \"slow\" computations as bottoms: @ \> let tweak = Tweak { approxDepth = Just 5, timeOutLimit = Just 2 } \> semanticEq tweak (reverse [1..], [1..]) (bottom :: [Int], [1..] :: [Int]) True @ @ \> let tweak = noTweak { timeOutLimit = Just 2 } \> semanticJoin tweak (reverse [1..], True) ([] :: [Int], bottom) Just ([],True) @ This can of course be dangerous: @ \> let tweak = noTweak { timeOutLimit = Just 0 } \> semanticEq tweak (reverse [1..100000000]) (bottom :: [Integer]) True @ Timeouts can also be applied to @IO@ computations: > > let primes () = unfoldr (\(x:xs) -> Just (x, filter ((/= 0) . (`mod` x)) xs)) [2..] > > timeOutMicro 100 (print $ primes ()) > [2,NonTermination > > timeOutMicro 10000 (print $ take 10 $ primes ()) > [2,3,5,7,11,13,17,19,23,29] > Value () For the underlying theory and a larger example involving use of QuickCheck, see the article \"Chasing Bottoms, A Case Study in Program Verification in the Presence of Partial and Infinite Values\" (). The code has been tested using GHC. Most parts can probably be ported to other Haskell compilers, but this would require some work. The @TimeOut@ functions require preemptive scheduling, and most of the rest requires @Data.Generics@; @isBottom@ only requires exceptions, though. category: Testing abi: 6565ecc39824c78f2f7a2481d9c4de2e exposed: True exposed-modules: Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut hidden-modules: Test.ChasingBottoms.IsType import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/chasingbottoms hs-libraries: HSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 depends: QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG base-4.15.1.0 containers-0.6.4.1 mtl-2.2.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA haddock-interfaces: /usr/lib/ghc-doc/haddock/chasingbottoms-1.3.1.11/ChasingBottoms.haddock haddock-html: /usr/share/doc/libghc-chasingbottoms-doc/html/ Creating package registration file: ChasingBottoms-1.3.1.11.conf Running install -D --mode=644 ChasingBottoms-1.3.1.11.conf debian/libghc-chasingbottoms-dev/var/lib/ghc/package.conf.d/ChasingBottoms-1.3.1.11.conf Running rm -rf ChasingBottoms-1.3.1.11.conf dh_haskell_install_development_libs --package=libghc-chasingbottoms-dev --source-dir="debian/tmp-inst-ghc" Running find ./usr/lib/haskell-packages/ghc/lib ( ! -name *_p.a ! -name *.p_hi ! -type d ) -exec install -D --mode=644 {} /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11/debian/libghc-chasingbottoms-dev/{} ; dh_haskell_provides_ghc --package=libghc-chasingbottoms-dev Running cp debian/libghc-chasingbottoms-dev/var/lib/ghc/package.conf.d/ChasingBottoms-1.3.1.11.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 id ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 name ChasingBottoms Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 version 1.3.1.11 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 abi 6565ecc39824c78f2f7a2481d9c4de2e dh_haskell_depends_cabal --package=libghc-chasingbottoms-dev Running cp debian/libghc-chasingbottoms-dev/var/lib/ghc/package.conf.d/ChasingBottoms-1.3.1.11.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG base-4.15.1.0 containers-0.6.4.1 mtl-2.2.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG name QuickCheck Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG version 2.14.2 Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG abi eb7c6278c5d2e1c4ee38a91cce4b5e23 Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 name base Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 version 4.15.1.0 Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 abi 35e3fb14ea19523d3d0b10f5efd96c29 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 name containers Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 version 0.6.4.1 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 abi 6bf65f421bcf293ef3bf8c06f312ef03 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 name mtl Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 version 2.2.2 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 abi 683f2e6e7af7a0e92e069e214936ea75 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba name random Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba version 1.2.1.1 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba abi fbc52d65c3ce700699fb5d1dc03a4f29 Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA name syb Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA version 0.7.2.1 Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA abi 3ecf1dac8c99784496b9431b9786e92b dh_haskell_extra_depends_ghc --package=libghc-chasingbottoms-dev Running debian/hlibrary.setup register --builddir=dist-ghc --gen-pkg-config --verbose=verbose+nowrap /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 ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut -optl-Wl,-z,relro name: ChasingBottoms version: 1.3.1.11 visibility: public id: ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 key: ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 license: MIT copyright: Copyright (c) Nils Anders Danielsson 2004-2021. maintainer: http://www.cse.chalmers.se/~nad/ author: Nils Anders Danielsson synopsis: For testing partial and infinite values. description: Do you ever feel the need to test code involving bottoms (e.g. calls to the @error@ function), or code involving infinite values? Then this library could be useful for you. It is usually easy to get a grip on bottoms by showing a value and waiting to see how much gets printed before the first exception is encountered. However, that quickly gets tiresome and is hard to automate using e.g. QuickCheck (). With this library you can do the tests as simply as the following examples show. Testing explicitly for bottoms: > > isBottom (head []) > True > > isBottom bottom > True > > isBottom (\_ -> bottom) > False > > isBottom (bottom, bottom) > False Comparing finite, partial values: > > ((bottom, 3) :: (Bool, Int)) ==! (bottom, 2+5-4) > True > > ((bottom, bottom) :: (Bool, Int)) True Showing partial and infinite values (@\\\/!@ is join and @\/\\!@ is meet): > > approxShow 4 $ (True, bottom) \/! (bottom, 'b') > "Just (True, 'b')" > > approxShow 4 $ (True, bottom) /\! (bottom, 'b') > "(_|_, _|_)" > > approxShow 4 $ ([1..] :: [Int]) > "[1, 2, 3, _" > > approxShow 4 $ (cycle [bottom] :: [Bool]) > "[_|_, _|_, _|_, _" Approximately comparing infinite, partial values: > > approx 100 [2,4..] ==! approx 100 (filter even [1..] :: [Int]) > True > > approx 100 [2,4..] /=! approx 100 (filter even [bottom..] :: [Int]) > True The code above relies on the fact that @bottom@, just as @error \"...\"@, @undefined@ and pattern match failures, yield exceptions. Sometimes we are dealing with properly non-terminating computations, such as the following example, and then it can be nice to be able to apply a time-out: > > timeOut' 1 (reverse [1..5]) > Value [5,4,3,2,1] > > timeOut' 1 (reverse [1..]) > NonTermination The time-out functionality can be used to treat \"slow\" computations as bottoms: @ \> let tweak = Tweak { approxDepth = Just 5, timeOutLimit = Just 2 } \> semanticEq tweak (reverse [1..], [1..]) (bottom :: [Int], [1..] :: [Int]) True @ @ \> let tweak = noTweak { timeOutLimit = Just 2 } \> semanticJoin tweak (reverse [1..], True) ([] :: [Int], bottom) Just ([],True) @ This can of course be dangerous: @ \> let tweak = noTweak { timeOutLimit = Just 0 } \> semanticEq tweak (reverse [1..100000000]) (bottom :: [Integer]) True @ Timeouts can also be applied to @IO@ computations: > > let primes () = unfoldr (\(x:xs) -> Just (x, filter ((/= 0) . (`mod` x)) xs)) [2..] > > timeOutMicro 100 (print $ primes ()) > [2,NonTermination > > timeOutMicro 10000 (print $ take 10 $ primes ()) > [2,3,5,7,11,13,17,19,23,29] > Value () For the underlying theory and a larger example involving use of QuickCheck, see the article \"Chasing Bottoms, A Case Study in Program Verification in the Presence of Partial and Infinite Values\" (). The code has been tested using GHC. Most parts can probably be ported to other Haskell compilers, but this would require some work. The @TimeOut@ functions require preemptive scheduling, and most of the rest requires @Data.Generics@; @isBottom@ only requires exceptions, though. category: Testing abi: 6565ecc39824c78f2f7a2481d9c4de2e exposed: True exposed-modules: Test.ChasingBottoms Test.ChasingBottoms.Approx Test.ChasingBottoms.ApproxShow Test.ChasingBottoms.ContinuousFunctions Test.ChasingBottoms.IsBottom Test.ChasingBottoms.Nat Test.ChasingBottoms.SemanticOrd Test.ChasingBottoms.TimeOut hidden-modules: Test.ChasingBottoms.IsType import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/chasingbottoms hs-libraries: HSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 depends: QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG base-4.15.1.0 containers-0.6.4.1 mtl-2.2.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA haddock-interfaces: /usr/lib/ghc-doc/haddock/chasingbottoms-1.3.1.11/ChasingBottoms.haddock haddock-html: /usr/share/doc/libghc-chasingbottoms-doc/html/ Creating package registration file: ChasingBottoms-1.3.1.11.conf Running cp ChasingBottoms-1.3.1.11.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG base-4.15.1.0 containers-0.6.4.1 mtl-2.2.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA Running rm -rf ChasingBottoms-1.3.1.11.conf dh_haskell_shlibdeps --package=libghc-chasingbottoms-dev Running cp debian/libghc-chasingbottoms-dev/var/lib/ghc/package.conf.d/ChasingBottoms-1.3.1.11.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 library-dirs /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 extra-libraries Running gcc -L/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-chasingbottoms-dev.substvars debian/dh_haskell_shlibdeps/probe dh_haskell_blurbs --package=libghc-chasingbottoms-dev --type=dev dh_haskell_description --package=libghc-chasingbottoms-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 Library for testing partial and infinite values Do you ever feel the need to test code involving bottoms (e.g. calls to the error function), or code involving infinite values? Then this library could be useful for you. . It is usually easy to get a grip on bottoms by showing a value and waiting to see how much gets printed before the first exception is encountered. However, that quickly gets tiresome and is hard to automate using e.g. QuickCheck. With this library you can do such tests like other automatic tests. dh_haskell_compiler --package=libghc-chasingbottoms-dev Running dpkg-query --showformat=${Version} --show ghc 9.0.2-3 Adding cdbs dependencies to debian/libghc-chasingbottoms-prof.substvars dh_installdirs -plibghc-chasingbottoms-prof \ dh_haskell_install_profiling_libs --package=libghc-chasingbottoms-prof --source-dir="debian/tmp-inst-ghc" Running find ./usr/lib/haskell-packages/ghc/lib ( -name *_p.a -o -name *.p_hi ) -exec install -D --mode=644 {} /build/haskell-chasingbottoms-KYTmTf/haskell-chasingbottoms-1.3.1.11/debian/libghc-chasingbottoms-prof/{} ; dh_haskell_provides_ghc --package=libghc-chasingbottoms-prof --config-shipper="libghc-chasingbottoms-dev" Running cp debian/libghc-chasingbottoms-dev/var/lib/ghc/package.conf.d/ChasingBottoms-1.3.1.11.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 id ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 name ChasingBottoms Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 version 1.3.1.11 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field ChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1 abi 6565ecc39824c78f2f7a2481d9c4de2e dh_haskell_depends_cabal --package=libghc-chasingbottoms-prof --config-shipper="libghc-chasingbottoms-dev" Running cp debian/libghc-chasingbottoms-dev/var/lib/ghc/package.conf.d/ChasingBottoms-1.3.1.11.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field ChasingBottoms-1.3.1.11 depends QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG base-4.15.1.0 containers-0.6.4.1 mtl-2.2.2 random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG name QuickCheck Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG version 2.14.2 Running ghc-pkg --global --simple-output --unit-id field QuickCheck-2.14.2-4Jclxn1Fl7EFj7lbErhjvG abi eb7c6278c5d2e1c4ee38a91cce4b5e23 Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 name base Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 version 4.15.1.0 Running ghc-pkg --global --simple-output --unit-id field base-4.15.1.0 abi 35e3fb14ea19523d3d0b10f5efd96c29 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 name containers Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 version 0.6.4.1 Running ghc-pkg --global --simple-output --unit-id field containers-0.6.4.1 abi 6bf65f421bcf293ef3bf8c06f312ef03 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 name mtl Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 version 2.2.2 Running ghc-pkg --global --simple-output --unit-id field mtl-2.2.2 abi 683f2e6e7af7a0e92e069e214936ea75 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba name random Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba version 1.2.1.1 Running ghc-pkg --global --simple-output --unit-id field random-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba abi fbc52d65c3ce700699fb5d1dc03a4f29 Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA name syb Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA version 0.7.2.1 Running ghc-pkg --global --simple-output --unit-id field syb-0.7.2.1-KYKaNnczqa08CQ4buLVjvA abi 3ecf1dac8c99784496b9431b9786e92b dh_haskell_blurbs --package=libghc-chasingbottoms-prof --type=prof dh_haskell_description --package=libghc-chasingbottoms-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 Library for testing partial and infinite values Do you ever feel the need to test code involving bottoms (e.g. calls to the error function), or code involving infinite values? Then this library could be useful for you. . It is usually easy to get a grip on bottoms by showing a value and waiting to see how much gets printed before the first exception is encountered. However, that quickly gets tiresome and is hard to automate using e.g. QuickCheck. With this library you can do such tests like other automatic tests. dh_haskell_compiler --package=libghc-chasingbottoms-prof Running dpkg-query --showformat=${Version} --show ghc 9.0.2-3 dh_installdocs -plibghc-chasingbottoms-dev dh_installexamples -plibghc-chasingbottoms-dev dh_installman -plibghc-chasingbottoms-dev dh_installinfo -plibghc-chasingbottoms-dev dh_installmenu -plibghc-chasingbottoms-dev dh_installcron -plibghc-chasingbottoms-dev dh_systemd_enable -plibghc-chasingbottoms-dev dh_installinit -plibghc-chasingbottoms-dev dh_installdebconf -plibghc-chasingbottoms-dev dh_installemacsen -plibghc-chasingbottoms-dev dh_installcatalogs -plibghc-chasingbottoms-dev dh_installpam -plibghc-chasingbottoms-dev dh_installlogrotate -plibghc-chasingbottoms-dev dh_installlogcheck -plibghc-chasingbottoms-dev dh_installchangelogs -plibghc-chasingbottoms-dev dh_installudev -plibghc-chasingbottoms-dev dh_lintian -plibghc-chasingbottoms-dev dh_bugfiles -plibghc-chasingbottoms-dev dh_install -plibghc-chasingbottoms-dev dh_systemd_start -plibghc-chasingbottoms-dev dh_link -plibghc-chasingbottoms-dev dh_buildinfo -plibghc-chasingbottoms-dev dh_installmime -plibghc-chasingbottoms-dev dh_installgsettings -plibghc-chasingbottoms-dev dh_installdocs -plibghc-chasingbottoms-prof dh_installexamples -plibghc-chasingbottoms-prof dh_installman -plibghc-chasingbottoms-prof dh_installinfo -plibghc-chasingbottoms-prof dh_installmenu -plibghc-chasingbottoms-prof dh_installcron -plibghc-chasingbottoms-prof dh_systemd_enable -plibghc-chasingbottoms-prof dh_installinit -plibghc-chasingbottoms-prof dh_installdebconf -plibghc-chasingbottoms-prof dh_installemacsen -plibghc-chasingbottoms-prof dh_installcatalogs -plibghc-chasingbottoms-prof dh_installpam -plibghc-chasingbottoms-prof dh_installlogrotate -plibghc-chasingbottoms-prof dh_installlogcheck -plibghc-chasingbottoms-prof dh_installchangelogs -plibghc-chasingbottoms-prof dh_installudev -plibghc-chasingbottoms-prof dh_lintian -plibghc-chasingbottoms-prof dh_bugfiles -plibghc-chasingbottoms-prof dh_install -plibghc-chasingbottoms-prof dh_systemd_start -plibghc-chasingbottoms-prof dh_link -plibghc-chasingbottoms-prof dh_buildinfo -plibghc-chasingbottoms-prof dh_installmime -plibghc-chasingbottoms-prof dh_installgsettings -plibghc-chasingbottoms-prof dh_strip -plibghc-chasingbottoms-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-chasingbottoms-dev dh_compress -plibghc-chasingbottoms-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-chasingbottoms-dev dh_makeshlibs -plibghc-chasingbottoms-dev -XlibHS dh_strip -plibghc-chasingbottoms-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-chasingbottoms-prof dh_compress -plibghc-chasingbottoms-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-chasingbottoms-prof dh_makeshlibs -plibghc-chasingbottoms-prof -XlibHS dh_installdeb -plibghc-chasingbottoms-dev dh_perl -plibghc-chasingbottoms-dev dh_shlibdeps -plibghc-chasingbottoms-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so contains an unresolvable reference to symbol stg_ap_pp_info: it's probably a plugin dpkg-shlibdeps: warning: 40 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSghc-boot-th-9.0.2-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libm.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHStemplate-haskell-2.17.0.0-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSarray-0.5.4.0-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSbytestring-0.10.12.1-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSmtl-2.2.2-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSrandom-1.2.1.1-C39Bl6vCcFv5bcBncES6Ba-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libgmp.so.10 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSdeepseq-1.4.5.0-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-chasingbottoms-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSChasingBottoms-1.3.1.11-AIRGB6GF37o7aebH5Leif1-ghc9.0.2.so was not linked against libHSpretty-1.1.3.6-ghc9.0.2.so (it uses none of the library's symbols) dh_installdeb -plibghc-chasingbottoms-prof dh_perl -plibghc-chasingbottoms-prof dh_shlibdeps -plibghc-chasingbottoms-prof -- --ignore-missing-info dh_gencontrol -plibghc-chasingbottoms-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Recommends field of package libghc-chasingbottoms-dev: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-chasingbottoms-dev: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: package libghc-chasingbottoms-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-chasingbottoms-dev dh_builddeb -plibghc-chasingbottoms-dev dpkg-deb: building package 'libghc-chasingbottoms-dev' in '../libghc-chasingbottoms-dev_1.3.1.11-1+b2_amd64.deb'. dh_gencontrol -plibghc-chasingbottoms-prof dpkg-gencontrol: warning: Recommends field of package libghc-chasingbottoms-prof: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-chasingbottoms-prof: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: package libghc-chasingbottoms-prof: substitution variable ${haskell:ghc-package} unused, but is defined dpkg-gencontrol: warning: package libghc-chasingbottoms-prof: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-chasingbottoms-prof dh_builddeb -plibghc-chasingbottoms-prof dpkg-deb: building package 'libghc-chasingbottoms-prof' in '../libghc-chasingbottoms-prof_1.3.1.11-1+b2_amd64.deb'. dpkg-genbuildinfo --build=any -O../haskell-chasingbottoms_1.3.1.11-1+b2_amd64.buildinfo dpkg-genchanges --build=any -O../haskell-chasingbottoms_1.3.1.11-1+b2_amd64.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/haskell-chasingbottoms-KYTmTf /tmp/haskell-chasingbottoms-1.3.1.11-1+b2_9d4qe6c I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.jLAim2opzT... I: success in 543.2624 seconds md5: libghc-chasingbottoms-dev_1.3.1.11-1+b2_amd64.deb: OK md5: libghc-chasingbottoms-prof_1.3.1.11-1+b2_amd64.deb: OK sha1: libghc-chasingbottoms-dev_1.3.1.11-1+b2_amd64.deb: OK sha1: libghc-chasingbottoms-prof_1.3.1.11-1+b2_amd64.deb: OK sha256: libghc-chasingbottoms-dev_1.3.1.11-1+b2_amd64.deb: OK sha256: libghc-chasingbottoms-prof_1.3.1.11-1+b2_amd64.deb: OK Checksums: OK