Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-smtlib/haskell-smtlib_1.1-2+b1_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-smtlib-1.1-2+b187gyv0zo/haskell-smtlib_1.1-2+b1_amd64.buildinfo Get source package info: haskell-smtlib=1.1-2 Source URL: http://snapshot.notset.fr/mr/package/haskell-smtlib/1.1-2/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 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/20220629T212513Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220629T212513Z/ 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-smtlib=1.1-2 && mkdir -p /build/haskell-smtlib-Nq9lFH && dpkg-source --no-check -x /*.dsc /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 && cd /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 && { printf '%s' 'haskell-smtlib (1.1-2+b1) 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, pretty-1.1.3.6 changed from 5289f to 98243 -- amd64 / i386 Build Daemon (x86-ubc-02) Mon, 18 Jul 2022 13:09:28 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-smtlib-Nq9lFH" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658149768" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/haskell-smtlib-Nq9lFH /tmp/haskell-smtlib-1.1-2+b187gyv0zo 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.Di1x68zQpW 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.Di1x68zQpW 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 (1048 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/20220629T212513Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220629T212513Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220719T025851Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.Di1x68zQpW Get:1 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable InRelease [165 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220719T025851Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main Sources [13.0 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main amd64 Packages [12.5 MB] Fetched 25.6 MB in 22s (1176 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.Di1x68zQpW I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-smtlib=1.1-2 && mkdir -p /build/haskell-smtlib-Nq9lFH && dpkg-source --no-check -x /*.dsc /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 && cd /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 && { printf '%s' 'haskell-smtlib (1.1-2+b1) 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, pretty-1.1.3.6 changed from 5289f to 98243 -- amd64 / i386 Build Daemon (x86-ubc-02) Mon, 18 Jul 2022 13:09:28 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-smtlib-Nq9lFH"' exec /tmp/mmdebstrap.Di1x68zQpW Reading package lists... NOTICE: 'haskell-smtlib' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-smtlib] to retrieve the latest (possibly unreleased) updates to the package. Need to get 14.4 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main haskell-smtlib 1.1-2 (dsc) [2223 B] Get:2 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main haskell-smtlib 1.1-2 (tar) [9667 B] Get:3 http://snapshot.notset.fr/archive/debian/20220629T212513Z unstable/main haskell-smtlib 1.1-2 (diff) [2556 B] Fetched 14.4 kB in 0s (263 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-smtlib_1.1-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-smtlib in /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 dpkg-source: info: unpacking haskell-smtlib_1.1.orig.tar.gz dpkg-source: info: unpacking haskell-smtlib_1.1-2.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-smtlib-Nq9lFH/haskell-smtlib-1.1 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1658149768" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.Di1x68zQpW dpkg-buildpackage: info: source package haskell-smtlib dpkg-buildpackage: info: source version 1.1-2+b1 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-02) 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-smtlib-dev.substvars dh_installdirs -plibghc-smtlib-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/WHY7uoIQTN -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-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/smtlib-1.1/ --datasubdir=smtlib --htmldir=/usr/share/doc/libghc-smtlib-doc/html/ --enable-library-profiling Using Parsec parser Configuring smtLib-1.1... Dependency base >=4.5 && <5: using base-4.15.1.0 Dependency pretty: using pretty-1.1.3.6 Source component graph: component lib Configured component graph: component smtLib-1.1-J4k40e5MXfm6a2SFgE587A include base-4.15.1.0 include pretty-1.1.3.6 Linked component graph: unit smtLib-1.1-J4k40e5MXfm6a2SFgE587A include base-4.15.1.0 include pretty-1.1.3.6 SMTLib1=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib1,SMTLib1.QF_AUFBV=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib1.QF_AUFBV,SMTLib1.QF_BV=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib1.QF_BV,SMTLib2=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib2,SMTLib2.Array=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib2.Array,SMTLib2.BitVector=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib2.BitVector,SMTLib2.Compat1=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib2.Compat1,SMTLib2.Core=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib2.Core,SMTLib2.Int=smtLib-1.1-J4k40e5MXfm6a2SFgE587A:SMTLib2.Int Ready component graph: definite smtLib-1.1-J4k40e5MXfm6a2SFgE587A depends base-4.15.1.0 depends pretty-1.1.3.6 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/smtLib-1.1-J4k40e5MXfm6a2SFgE587A 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/smtLib-1.1 Data files installed in: /usr/share/smtlib Documentation installed in: /usr/share/doc/x86_64-linux-ghc-9.0.2/smtLib-1.1 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-smtlib-dev libghc-smtlib-prof libghc-smtlib-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 smtLib-1.1.. Running Haddock on library for smtLib-1.1.. creating dist-ghc/doc/html/smtLib creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/smtLib /usr/bin/haddock '@dist-ghc/doc/html/smtLib/haddock-response3338981-3.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' 7% ( 2 / 27) in 'SMTLib1' Missing documentation for: Module header Name (src/SMTLib1/AST.hs:18) Ident (src/SMTLib1/AST.hs:21) Quant (src/SMTLib1/AST.hs:24) Conn (src/SMTLib1/AST.hs:27) Formula (src/SMTLib1/AST.hs:30) Sort (src/SMTLib1/AST.hs:41) Binder (src/SMTLib1/AST.hs:43) Term (src/SMTLib1/AST.hs:46) Literal (src/SMTLib1/AST.hs:53) Annot (src/SMTLib1/AST.hs:58) FunDecl (src/SMTLib1/AST.hs:61) PredDecl (src/SMTLib1/AST.hs:68) Status (src/SMTLib1/AST.hs:74) Command (src/SMTLib1/AST.hs:77) Script (src/SMTLib1/AST.hs:90) === (src/SMTLib1/AST.hs:121) =/= (src/SMTLib1/AST.hs:124) tInt (src/SMTLib1/AST.hs:135) funDef (src/SMTLib1/AST.hs:138) constDef (src/SMTLib1/AST.hs:145) logic (src/SMTLib1/AST.hs:149) assume (src/SMTLib1/AST.hs:152) goal (src/SMTLib1/AST.hs:155) PP (src/SMTLib1/PP.hs:8) 10% ( 4 / 41) in 'SMTLib1.QF_BV' Missing documentation for: Module header tBitVec (src/SMTLib1/QF_BV.hs:8) isBitVec (src/SMTLib1/QF_BV.hs:11) extract (src/SMTLib1/QF_BV.hs:27) bvnot (src/SMTLib1/QF_BV.hs:30) bvand (src/SMTLib1/QF_BV.hs:33) bvor (src/SMTLib1/QF_BV.hs:36) bvneg (src/SMTLib1/QF_BV.hs:39) bvadd (src/SMTLib1/QF_BV.hs:42) bvmul (src/SMTLib1/QF_BV.hs:45) bvudiv (src/SMTLib1/QF_BV.hs:48) bvurem (src/SMTLib1/QF_BV.hs:51) bvshl (src/SMTLib1/QF_BV.hs:54) bvlshr (src/SMTLib1/QF_BV.hs:57) bv (src/SMTLib1/QF_BV.hs:61) bvnand (src/SMTLib1/QF_BV.hs:65) bvnor (src/SMTLib1/QF_BV.hs:68) bvxor (src/SMTLib1/QF_BV.hs:71) bvxnor (src/SMTLib1/QF_BV.hs:74) bvcomp (src/SMTLib1/QF_BV.hs:77) bvsub (src/SMTLib1/QF_BV.hs:80) bvsdiv (src/SMTLib1/QF_BV.hs:83) bvsrem (src/SMTLib1/QF_BV.hs:86) bvsmod (src/SMTLib1/QF_BV.hs:89) bvashr (src/SMTLib1/QF_BV.hs:92) repeat (src/SMTLib1/QF_BV.hs:95) zero_extend (src/SMTLib1/QF_BV.hs:98) sign_extend (src/SMTLib1/QF_BV.hs:101) rotate_left (src/SMTLib1/QF_BV.hs:104) rotate_right (src/SMTLib1/QF_BV.hs:107) bvule (src/SMTLib1/QF_BV.hs:110) bvugt (src/SMTLib1/QF_BV.hs:113) bvuge (src/SMTLib1/QF_BV.hs:116) bvslt (src/SMTLib1/QF_BV.hs:119) bvsle (src/SMTLib1/QF_BV.hs:122) bvsgt (src/SMTLib1/QF_BV.hs:125) bvsge (src/SMTLib1/QF_BV.hs:128) Warning: 'i' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 80% ( 4 / 5) in 'SMTLib1.QF_AUFBV' Missing documentation for: Module header 0% ( 0 / 4) in 'SMTLib2.Array' Missing documentation for: Module header tArray (src/SMTLib2/Array.hs:6) select (src/SMTLib2/Array.hs:9) store (src/SMTLib2/Array.hs:12) 0% ( 0 / 38) in 'SMTLib2.BitVector' Missing documentation for: Module header tBitVec (src/SMTLib2/BitVector.hs:6) bv (src/SMTLib2/BitVector.hs:9) concat (src/SMTLib2/BitVector.hs:12) extract (src/SMTLib2/BitVector.hs:15) bvnot (src/SMTLib2/BitVector.hs:18) bvand (src/SMTLib2/BitVector.hs:21) bvor (src/SMTLib2/BitVector.hs:24) bvneg (src/SMTLib2/BitVector.hs:27) bvadd (src/SMTLib2/BitVector.hs:30) bvmul (src/SMTLib2/BitVector.hs:33) bvudiv (src/SMTLib2/BitVector.hs:36) bvurem (src/SMTLib2/BitVector.hs:39) bvshl (src/SMTLib2/BitVector.hs:42) bvlshr (src/SMTLib2/BitVector.hs:45) bvult (src/SMTLib2/BitVector.hs:48) bvnand (src/SMTLib2/BitVector.hs:51) bvnor (src/SMTLib2/BitVector.hs:54) bvxor (src/SMTLib2/BitVector.hs:57) bvxnor (src/SMTLib2/BitVector.hs:60) bvcomp (src/SMTLib2/BitVector.hs:63) bvsub (src/SMTLib2/BitVector.hs:66) bvsdiv (src/SMTLib2/BitVector.hs:69) bvsrem (src/SMTLib2/BitVector.hs:72) bvsmod (src/SMTLib2/BitVector.hs:75) bvashr (src/SMTLib2/BitVector.hs:78) repeat (src/SMTLib2/BitVector.hs:81) zero_extend (src/SMTLib2/BitVector.hs:84) sign_extend (src/SMTLib2/BitVector.hs:87) rotate_left (src/SMTLib2/BitVector.hs:90) rotate_right (src/SMTLib2/BitVector.hs:93) bvule (src/SMTLib2/BitVector.hs:96) bvugt (src/SMTLib2/BitVector.hs:99) bvuge (src/SMTLib2/BitVector.hs:102) bvslt (src/SMTLib2/BitVector.hs:105) bvsle (src/SMTLib2/BitVector.hs:108) bvsgt (src/SMTLib2/BitVector.hs:111) bvsge (src/SMTLib2/BitVector.hs:114) 0% ( 0 / 12) in 'SMTLib2.Core' Missing documentation for: Module header tBool (src/SMTLib2/Core.hs:6) true (src/SMTLib2/Core.hs:9) false (src/SMTLib2/Core.hs:12) not (src/SMTLib2/Core.hs:15) ==> (src/SMTLib2/Core.hs:18) and (src/SMTLib2/Core.hs:21) or (src/SMTLib2/Core.hs:24) xor (src/SMTLib2/Core.hs:27) === (src/SMTLib2/Core.hs:30) =/= (src/SMTLib2/Core.hs:33) ite (src/SMTLib2/Core.hs:36) 0% ( 0 / 16) in 'SMTLib2.Compat1' Missing documentation for: Module header Trans (src/SMTLib2/Compat1.hs:14) toMaybe (src/SMTLib2/Compat1.hs:16) toEither (src/SMTLib2/Compat1.hs:22) err (src/SMTLib2/Compat1.hs:42) name (src/SMTLib2/Compat1.hs:47) ident (src/SMTLib2/Compat1.hs:50) quant (src/SMTLib2/Compat1.hs:53) binder (src/SMTLib2/Compat1.hs:59) sort (src/SMTLib2/Compat1.hs:64) literal (src/SMTLib2/Compat1.hs:67) term (src/SMTLib2/Compat1.hs:74) formula (src/SMTLib2/Compat1.hs:84) annot (src/SMTLib2/Compat1.hs:122) command (src/SMTLib2/Compat1.hs:130) script (src/SMTLib2/Compat1.hs:178) 0% ( 0 / 14) in 'SMTLib2.Int' Missing documentation for: Module header tInt (src/SMTLib2/Int.hs:6) num (src/SMTLib2/Int.hs:9) nNeg (src/SMTLib2/Int.hs:12) nSub (src/SMTLib2/Int.hs:15) nAdd (src/SMTLib2/Int.hs:18) nMul (src/SMTLib2/Int.hs:21) nDiv (src/SMTLib2/Int.hs:24) nMod (src/SMTLib2/Int.hs:27) nAbs (src/SMTLib2/Int.hs:30) nLeq (src/SMTLib2/Int.hs:33) nLt (src/SMTLib2/Int.hs:36) nGeq (src/SMTLib2/Int.hs:39) nGt (src/SMTLib2/Int.hs:42) 0% ( 0 / 17) in 'SMTLib2' Missing documentation for: Module header Script (src/SMTLib2/AST.hs:105) Binder (src/SMTLib2/AST.hs:27) Defn (src/SMTLib2/AST.hs:30) Type (src/SMTLib2/AST.hs:39) Expr (src/SMTLib2/AST.hs:43) Name (src/SMTLib2/AST.hs:18) Ident (src/SMTLib2/AST.hs:21) Quant (src/SMTLib2/AST.hs:24) Literal (src/SMTLib2/AST.hs:33) Attr (src/SMTLib2/AST.hs:50) AttrVal (src/SMTLib2/AST.hs:53) Command (src/SMTLib2/AST.hs:82) Option (src/SMTLib2/AST.hs:56) InfoFlag (src/SMTLib2/AST.hs:71) app (src/SMTLib2/AST.hs:137) PP (src/SMTLib2/PP.hs:10) Warning: SMTLib1: could not find link destinations for: - GHC.Base.String - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - GHC.Types.Int - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - Data.String.IsString - Data.String.fromString - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - 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 - Text.PrettyPrint.HughesPJ.Doc - GHC.Num.Integer.Integer - GHC.Num.Num - GHC.Num.+ - GHC.Num.- - GHC.Num.* - GHC.Num.negate - GHC.Num.abs - GHC.Num.signum - GHC.Num.fromInteger - GHC.Real.Fractional - GHC.Real./ - GHC.Real.recip - GHC.Real.fromRational - GHC.Real.Rational Warning: SMTLib1.QF_BV: could not find link destinations for: - GHC.Num.Integer.Integer - GHC.Maybe.Maybe Warning: SMTLib1.QF_AUFBV: could not find link destinations for: - GHC.Num.Integer.Integer Warning: SMTLib2.BitVector: could not find link destinations for: - GHC.Num.Integer.Integer Warning: SMTLib2.Compat1: could not find link destinations for: - Text.PrettyPrint.HughesPJ.Doc - 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.Maybe.Maybe - Data.Either.Either Warning: SMTLib2.Int: could not find link destinations for: - GHC.Real.Integral Warning: SMTLib2: could not find link destinations for: - Text.PrettyPrint.HughesPJ.Doc - Data.Data.Data - Data.Data.gfoldl - Data.Data.gunfold - Data.Data.Constr - Data.Data.toConstr - Data.Data.dataTypeOf - Data.Data.DataType - Data.Data.dataCast1 - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - Data.Data.dataCast2 - Data.Data.gmapT - Data.Data.gmapQl - Data.Data.gmapQr - Data.Data.gmapQ - Data.Data.gmapQi - GHC.Types.Int - Data.Data.gmapM - GHC.Base.Monad - Data.Data.gmapMp - GHC.Base.MonadPlus - Data.Data.gmapMo - 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 - Data.String.IsString - Data.String.fromString - 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.Fractional - GHC.Real./ - GHC.Real.recip - GHC.Real.fromRational - GHC.Real.Rational Documentation created: dist-ghc/doc/html/smtLib/index.html, dist-ghc/doc/html/smtLib/smtLib.txt Running dh_listpackages libghc-smtlib-dev libghc-smtlib-prof libghc-smtlib-doc Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for smtLib-1.1.. Building library for smtLib-1.1.. [ 1 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist-ghc/build/SMTLib1/AST.o, dist-ghc/build/SMTLib1/AST.dyn_o ) [ 2 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist-ghc/build/SMTLib1/PP.o, dist-ghc/build/SMTLib1/PP.dyn_o ) [ 3 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist-ghc/build/SMTLib1.o, dist-ghc/build/SMTLib1.dyn_o ) [ 4 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist-ghc/build/SMTLib1/QF_BV.o, dist-ghc/build/SMTLib1/QF_BV.dyn_o ) [ 5 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist-ghc/build/SMTLib1/QF_AUFBV.o, dist-ghc/build/SMTLib1/QF_AUFBV.dyn_o ) [ 6 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist-ghc/build/SMTLib2/AST.o, dist-ghc/build/SMTLib2/AST.dyn_o ) [ 7 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist-ghc/build/SMTLib2/Array.o, dist-ghc/build/SMTLib2/Array.dyn_o ) [ 8 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist-ghc/build/SMTLib2/BitVector.o, dist-ghc/build/SMTLib2/BitVector.dyn_o ) [ 9 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist-ghc/build/SMTLib2/Core.o, dist-ghc/build/SMTLib2/Core.dyn_o ) [10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist-ghc/build/SMTLib2/Compat1.o, dist-ghc/build/SMTLib2/Compat1.dyn_o ) [11 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist-ghc/build/SMTLib2/Int.o, dist-ghc/build/SMTLib2/Int.dyn_o ) [12 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist-ghc/build/SMTLib2/PP.o, dist-ghc/build/SMTLib2/PP.dyn_o ) [13 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist-ghc/build/SMTLib2.o, dist-ghc/build/SMTLib2.dyn_o ) [ 1 of 13] Compiling SMTLib1.AST ( src/SMTLib1/AST.hs, dist-ghc/build/SMTLib1/AST.p_o ) [ 2 of 13] Compiling SMTLib1.PP ( src/SMTLib1/PP.hs, dist-ghc/build/SMTLib1/PP.p_o ) [ 3 of 13] Compiling SMTLib1 ( src/SMTLib1.hs, dist-ghc/build/SMTLib1.p_o ) [ 4 of 13] Compiling SMTLib1.QF_BV ( src/SMTLib1/QF_BV.hs, dist-ghc/build/SMTLib1/QF_BV.p_o ) [ 5 of 13] Compiling SMTLib1.QF_AUFBV ( src/SMTLib1/QF_AUFBV.hs, dist-ghc/build/SMTLib1/QF_AUFBV.p_o ) [ 6 of 13] Compiling SMTLib2.AST ( src/SMTLib2/AST.hs, dist-ghc/build/SMTLib2/AST.p_o ) [ 7 of 13] Compiling SMTLib2.Array ( src/SMTLib2/Array.hs, dist-ghc/build/SMTLib2/Array.p_o ) [ 8 of 13] Compiling SMTLib2.BitVector ( src/SMTLib2/BitVector.hs, dist-ghc/build/SMTLib2/BitVector.p_o ) [ 9 of 13] Compiling SMTLib2.Core ( src/SMTLib2/Core.hs, dist-ghc/build/SMTLib2/Core.p_o ) [10 of 13] Compiling SMTLib2.Compat1 ( src/SMTLib2/Compat1.hs, dist-ghc/build/SMTLib2/Compat1.p_o ) [11 of 13] Compiling SMTLib2.Int ( src/SMTLib2/Int.hs, dist-ghc/build/SMTLib2/Int.p_o ) [12 of 13] Compiling SMTLib2.PP ( src/SMTLib2/PP.hs, dist-ghc/build/SMTLib2/PP.p_o ) [13 of 13] Compiling SMTLib2 ( src/SMTLib2.hs, dist-ghc/build/SMTLib2.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-smtlib-dev libghc-smtlib-prof libghc-smtlib-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/smtLib-1.1-J4k40e5MXfm6a2SFgE587A ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp dh_haskell_install_ghc_registration --package=libghc-smtlib-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 -isrc -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 smtLib-1.1-J4k40e5MXfm6a2SFgE587A -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell98 SMTLib1 SMTLib1.QF_BV SMTLib1.QF_AUFBV SMTLib2 SMTLib2.Compat1 SMTLib2.Core SMTLib2.BitVector SMTLib2.Array SMTLib2.Int -O2 -Wall -optl-Wl,-z,relro name: smtLib version: 1.1 visibility: public id: smtLib-1.1-J4k40e5MXfm6a2SFgE587A key: smtLib-1.1-J4k40e5MXfm6a2SFgE587A license: BSD-3-Clause maintainer: iavor.diatchki@gmail.com author: Iavor S. Diatchki synopsis: A library for working with the SMTLIB format. description: A library for working with the SMTLIB format. category: SMT abi: 5ce336326ecbf1069798c9edec187329 exposed: True exposed-modules: SMTLib1 SMTLib1.QF_AUFBV SMTLib1.QF_BV SMTLib2 SMTLib2.Array SMTLib2.BitVector SMTLib2.Compat1 SMTLib2.Core SMTLib2.Int hidden-modules: SMTLib1.AST SMTLib1.PP SMTLib2.AST SMTLib2.PP import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/smtLib-1.1-J4k40e5MXfm6a2SFgE587A library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/smtLib-1.1-J4k40e5MXfm6a2SFgE587A dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/smtlib hs-libraries: HSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A depends: base-4.15.1.0 pretty-1.1.3.6 haddock-interfaces: /usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock haddock-html: /usr/share/doc/libghc-smtlib-doc/html/ Creating package registration file: smtLib-1.1.conf Running install -D --mode=644 smtLib-1.1.conf debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf Running rm -rf smtLib-1.1.conf dh_haskell_install_development_libs --package=libghc-smtlib-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-smtlib-Nq9lFH/haskell-smtlib-1.1/debian/libghc-smtlib-dev/{} ; dh_haskell_provides_ghc --package=libghc-smtlib-dev Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 id smtLib-1.1-J4k40e5MXfm6a2SFgE587A Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-J4k40e5MXfm6a2SFgE587A name smtLib Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-J4k40e5MXfm6a2SFgE587A version 1.1 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-J4k40e5MXfm6a2SFgE587A abi 5ce336326ecbf1069798c9edec187329 dh_haskell_depends_cabal --package=libghc-smtlib-dev Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 depends base-4.15.1.0 pretty-1.1.3.6 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 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 98243e0221e6ca1a5dbb337a205b5bec dh_haskell_extra_depends_ghc --package=libghc-smtlib-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 -isrc -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 smtLib-1.1-J4k40e5MXfm6a2SFgE587A -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell98 SMTLib1 SMTLib1.QF_BV SMTLib1.QF_AUFBV SMTLib2 SMTLib2.Compat1 SMTLib2.Core SMTLib2.BitVector SMTLib2.Array SMTLib2.Int -O2 -Wall -optl-Wl,-z,relro name: smtLib version: 1.1 visibility: public id: smtLib-1.1-J4k40e5MXfm6a2SFgE587A key: smtLib-1.1-J4k40e5MXfm6a2SFgE587A license: BSD-3-Clause maintainer: iavor.diatchki@gmail.com author: Iavor S. Diatchki synopsis: A library for working with the SMTLIB format. description: A library for working with the SMTLIB format. category: SMT abi: 5ce336326ecbf1069798c9edec187329 exposed: True exposed-modules: SMTLib1 SMTLib1.QF_AUFBV SMTLib1.QF_BV SMTLib2 SMTLib2.Array SMTLib2.BitVector SMTLib2.Compat1 SMTLib2.Core SMTLib2.Int hidden-modules: SMTLib1.AST SMTLib1.PP SMTLib2.AST SMTLib2.PP import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/smtLib-1.1-J4k40e5MXfm6a2SFgE587A library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/smtLib-1.1-J4k40e5MXfm6a2SFgE587A dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/smtlib hs-libraries: HSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A depends: base-4.15.1.0 pretty-1.1.3.6 haddock-interfaces: /usr/lib/ghc-doc/haddock/smtlib-1.1/smtLib.haddock haddock-html: /usr/share/doc/libghc-smtlib-doc/html/ Creating package registration file: smtLib-1.1.conf Running cp smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 depends base-4.15.1.0 pretty-1.1.3.6 Running rm -rf smtLib-1.1.conf dh_haskell_shlibdeps --package=libghc-smtlib-dev Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 library-dirs /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/smtLib-1.1-J4k40e5MXfm6a2SFgE587A Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 extra-libraries Running gcc -L/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/smtLib-1.1-J4k40e5MXfm6a2SFgE587A debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-smtlib-dev.substvars debian/dh_haskell_shlibdeps/probe dh_haskell_blurbs --package=libghc-smtlib-dev --type=dev dh_haskell_description --package=libghc-smtlib-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 A library for working with the SMTLIB format. dh_haskell_compiler --package=libghc-smtlib-dev Running dpkg-query --showformat=${Version} --show ghc 9.0.2-3 Adding cdbs dependencies to debian/libghc-smtlib-prof.substvars dh_installdirs -plibghc-smtlib-prof \ dh_haskell_install_profiling_libs --package=libghc-smtlib-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-smtlib-Nq9lFH/haskell-smtlib-1.1/debian/libghc-smtlib-prof/{} ; dh_haskell_provides_ghc --package=libghc-smtlib-prof --config-shipper="libghc-smtlib-dev" Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 id smtLib-1.1-J4k40e5MXfm6a2SFgE587A Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-J4k40e5MXfm6a2SFgE587A name smtLib Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-J4k40e5MXfm6a2SFgE587A version 1.1 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field smtLib-1.1-J4k40e5MXfm6a2SFgE587A abi 5ce336326ecbf1069798c9edec187329 dh_haskell_depends_cabal --package=libghc-smtlib-prof --config-shipper="libghc-smtlib-dev" Running cp debian/libghc-smtlib-dev/var/lib/ghc/package.conf.d/smtLib-1.1.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field smtLib-1.1 depends base-4.15.1.0 pretty-1.1.3.6 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 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 98243e0221e6ca1a5dbb337a205b5bec dh_haskell_blurbs --package=libghc-smtlib-prof --type=prof dh_haskell_description --package=libghc-smtlib-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 A library for working with the SMTLIB format. dh_haskell_compiler --package=libghc-smtlib-prof Running dpkg-query --showformat=${Version} --show ghc 9.0.2-3 dh_installdocs -plibghc-smtlib-dev dh_installexamples -plibghc-smtlib-dev dh_installman -plibghc-smtlib-dev dh_installinfo -plibghc-smtlib-dev dh_installmenu -plibghc-smtlib-dev dh_installcron -plibghc-smtlib-dev dh_systemd_enable -plibghc-smtlib-dev dh_installinit -plibghc-smtlib-dev dh_installdebconf -plibghc-smtlib-dev dh_installemacsen -plibghc-smtlib-dev dh_installcatalogs -plibghc-smtlib-dev dh_installpam -plibghc-smtlib-dev dh_installlogrotate -plibghc-smtlib-dev dh_installlogcheck -plibghc-smtlib-dev dh_installchangelogs -plibghc-smtlib-dev ./CHANGES dh_installudev -plibghc-smtlib-dev dh_lintian -plibghc-smtlib-dev dh_bugfiles -plibghc-smtlib-dev dh_install -plibghc-smtlib-dev dh_systemd_start -plibghc-smtlib-dev dh_link -plibghc-smtlib-dev dh_buildinfo -plibghc-smtlib-dev dh_installmime -plibghc-smtlib-dev dh_installgsettings -plibghc-smtlib-dev dh_installdocs -plibghc-smtlib-prof dh_installexamples -plibghc-smtlib-prof dh_installman -plibghc-smtlib-prof dh_installinfo -plibghc-smtlib-prof dh_installmenu -plibghc-smtlib-prof dh_installcron -plibghc-smtlib-prof dh_systemd_enable -plibghc-smtlib-prof dh_installinit -plibghc-smtlib-prof dh_installdebconf -plibghc-smtlib-prof dh_installemacsen -plibghc-smtlib-prof dh_installcatalogs -plibghc-smtlib-prof dh_installpam -plibghc-smtlib-prof dh_installlogrotate -plibghc-smtlib-prof dh_installlogcheck -plibghc-smtlib-prof dh_installchangelogs -plibghc-smtlib-prof ./CHANGES dh_installudev -plibghc-smtlib-prof dh_lintian -plibghc-smtlib-prof dh_bugfiles -plibghc-smtlib-prof dh_install -plibghc-smtlib-prof dh_systemd_start -plibghc-smtlib-prof dh_link -plibghc-smtlib-prof dh_buildinfo -plibghc-smtlib-prof dh_installmime -plibghc-smtlib-prof dh_installgsettings -plibghc-smtlib-prof dh_strip -plibghc-smtlib-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-smtlib-dev dh_compress -plibghc-smtlib-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-smtlib-dev dh_makeshlibs -plibghc-smtlib-dev -XlibHS dh_strip -plibghc-smtlib-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-smtlib-prof dh_compress -plibghc-smtlib-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-smtlib-prof dh_makeshlibs -plibghc-smtlib-prof -XlibHS dh_installdeb -plibghc-smtlib-dev dh_perl -plibghc-smtlib-dev dh_shlibdeps -plibghc-smtlib-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A-ghc9.0.2.so contains an unresolvable reference to symbol stg_SRT_2_info: it's probably a plugin dpkg-shlibdeps: warning: 31 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-smtlib-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A-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-smtlib-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A-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-smtlib-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A-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-smtlib-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHSsmtLib-1.1-J4k40e5MXfm6a2SFgE587A-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) dh_installdeb -plibghc-smtlib-prof dh_perl -plibghc-smtlib-prof dh_shlibdeps -plibghc-smtlib-prof -- --ignore-missing-info dh_gencontrol -plibghc-smtlib-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Recommends field of package libghc-smtlib-dev: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-smtlib-dev: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-smtlib-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-smtlib-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-smtlib-dev dh_builddeb -plibghc-smtlib-dev dpkg-deb: building package 'libghc-smtlib-dev' in '../libghc-smtlib-dev_1.1-2+b1_amd64.deb'. dh_gencontrol -plibghc-smtlib-prof dpkg-gencontrol: warning: Recommends field of package libghc-smtlib-prof: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-smtlib-prof: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-smtlib-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-smtlib-prof: substitution variable ${haskell:ghc-package} unused, but is defined dpkg-gencontrol: warning: package libghc-smtlib-prof: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-smtlib-prof dh_builddeb -plibghc-smtlib-prof dpkg-deb: building package 'libghc-smtlib-prof' in '../libghc-smtlib-prof_1.1-2+b1_amd64.deb'. dpkg-genbuildinfo --build=any -O../haskell-smtlib_1.1-2+b1_amd64.buildinfo dpkg-genchanges --build=any -O../haskell-smtlib_1.1-2+b1_amd64.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/haskell-smtlib-Nq9lFH /tmp/haskell-smtlib-1.1-2+b187gyv0zo I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.Di1x68zQpW... I: success in 620.7646 seconds md5: libghc-smtlib-dev_1.1-2+b1_amd64.deb: OK md5: libghc-smtlib-prof_1.1-2+b1_amd64.deb: OK sha1: libghc-smtlib-dev_1.1-2+b1_amd64.deb: OK sha1: libghc-smtlib-prof_1.1-2+b1_amd64.deb: OK sha256: libghc-smtlib-dev_1.1-2+b1_amd64.deb: OK sha256: libghc-smtlib-prof_1.1-2+b1_amd64.deb: OK Checksums: OK