Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-copilot-core/haskell-copilot-core_3.10-2_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-copilot-core-3.10-27o4g6fot/haskell-copilot-core_3.10-2_amd64.buildinfo Get source package info: haskell-copilot-core=3.10-2 Source URL: http://snapshot.notset.fr/mr/package/haskell-copilot-core/3.10-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-6 bsdutils=1:2.38-6 build-essential=12.9 bzip2=1.0.8-5 cdbs=0.4.163 coreutils=8.32-4.1 cpp=4:12.1.0-3 cpp-12=12.1.0-7 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:12.1.0-3 g++-12=12.1.0-7 gcc=4:12.1.0-3 gcc-12=12.1.0-7 gcc-12-base=12.1.0-7 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-minimal=0.16.25 hostname=3.23 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 libasan8=12.1.0-7 libatomic1=12.1.0-7 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-6 libbrotli1=1.0.9-2+b4 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+b1 libcap2=1:2.44-1 libcc1-0=12.1.0-7 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-12-dev=12.1.0-7 libgcc-s1=12.1.0-7 libgcrypt20=1.10.1-2 libgdbm-compat4=1.23-1 libgdbm6=1.23-1 libghc-ansi-terminal-dev=0.11.3-1+b2 libghc-ansi-terminal-prof=0.11.3-1+b2 libghc-ansi-wl-pprint-dev=0.6.9-5+b2 libghc-ansi-wl-pprint-prof=0.6.9-5+b2 libghc-call-stack-dev=0.4.0-1+b2 libghc-call-stack-prof=0.4.0-1+b2 libghc-colour-dev=2.3.6-1+b2 libghc-colour-prof=2.3.6-1+b2 libghc-dlist-dev=1.0-2+b2 libghc-dlist-prof=1.0-2+b2 libghc-extensible-exceptions-dev=0.1.1.4-12+b2 libghc-extensible-exceptions-prof=0.1.1.4-12+b2 libghc-hostname-dev=1.0-16+b2 libghc-hostname-prof=1.0-16+b2 libghc-hunit-dev=1.6.2.0-1+b2 libghc-hunit-prof=1.6.2.0-1+b2 libghc-old-locale-dev=1.0.0.7-10+b2 libghc-old-locale-prof=1.0.0.7-10+b2 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-regex-base-dev=0.94.0.2-1+b2 libghc-regex-base-prof=0.94.0.2-1+b2 libghc-regex-posix-dev=0.96.0.1-1+b2 libghc-regex-posix-prof=0.96.0.1-1+b2 libghc-splitmix-dev=0.1.0.4-1+b2 libghc-splitmix-prof=0.1.0.4-1+b2 libghc-test-framework-dev=0.8.2.0-7+b1 libghc-test-framework-hunit-dev=0.3.0.2-8 libghc-test-framework-hunit-prof=0.3.0.2-8 libghc-test-framework-prof=0.8.2.0-7+b1 libghc-test-framework-quickcheck2-dev=0.3.0.5-5+b1 libghc-test-framework-quickcheck2-prof=0.3.0.5-5+b1 libghc-xml-dev=1.3.14-11+b2 libghc-xml-prof=1.3.14-11+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-7 libgpg-error0=1.45-2 libgprofng0=2.38.90.20220713-2 libgssapi-krb5-2=1.20-1 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-7 libk5crypto3=1.20-1 libkeyutils1=1.6.3-1 libkrb5-3=1.20-1 libkrb5support0=1.20-1 libldap-2.5-0=2.5.12+dfsg-2 liblist-someutils-perl=0.58-1 liblsan0=12.1.0-7 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-6 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.48.0-1 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-7 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+b1 libselinux1=3.4-1+b1 libsigsegv2=2.14-1 libsmartcols1=2.38-6 libssh2-1=1.10.0-3+b1 libssl3=3.0.5-1 libstdc++-12-dev=12.1.0-7 libstdc++6=12.1.0-7 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 libtsan2=12.1.0-7 libubsan1=12.1.0-7 libuchardet0=0.0.7-1 libudev1=251.3-1 libunicode-utf8-perl=0.62-1+b3 libunistring2=1.0-1 libuuid1=2.38-6 libxml2=2.9.14+dfsg-1+b1 libzstd1=1.5.2+dfsg-1 linux-libc-dev=5.18.14-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-6 util-linux-extra=2.38-6 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/20220730T210458Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220730T210458Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220730T085813Z/ 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-copilot-core=3.10-2 && mkdir -p /build/haskell-copilot-core-KoCZp6 && dpkg-source --no-check -x /*.dsc /build/haskell-copilot-core-KoCZp6/haskell-copilot-core-3.10 && chown -R builduser:builduser /build/haskell-copilot-core-KoCZp6" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-copilot-core-KoCZp6/haskell-copilot-core-3.10 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1659190215" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/haskell-copilot-core-KoCZp6 /tmp/haskell-copilot-core-3.10-27o4g6fot bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220730T085813Z 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.HAse0NjiOP 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.HAse0NjiOP Reading package lists... Building dependency tree... util-linux is already the newest version (2.38-6). 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/20220730T085813Z unstable/main amd64 libfakeroot amd64 1.29-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220730T085813Z 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 (1020 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 ... 4629 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/20220730T210458Z/ unstable main deb-src http://snapshot.notset.fr/archive/debian/20220730T210458Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220730T085813Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.HAse0NjiOP Get:1 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable InRelease [192 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20220730T085813Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main Sources [13.1 MB] Get:4 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main amd64 Packages [12.6 MB] Fetched 25.8 MB in 22s (1190 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.HAse0NjiOP I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-copilot-core=3.10-2 && mkdir -p /build/haskell-copilot-core-KoCZp6 && dpkg-source --no-check -x /*.dsc /build/haskell-copilot-core-KoCZp6/haskell-copilot-core-3.10 && chown -R builduser:builduser /build/haskell-copilot-core-KoCZp6"' exec /tmp/mmdebstrap.HAse0NjiOP Reading package lists... NOTICE: 'haskell-copilot-core' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-core] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-core] to retrieve the latest (possibly unreleased) updates to the package. Need to get 33.9 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main haskell-copilot-core 3.10-2 (dsc) [2715 B] Get:2 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main haskell-copilot-core 3.10-2 (tar) [28.8 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220730T210458Z unstable/main haskell-copilot-core 3.10-2 (diff) [2348 B] Fetched 33.9 kB in 0s (524 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-copilot-core_3.10-2.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-copilot-core in /build/haskell-copilot-core-KoCZp6/haskell-copilot-core-3.10 dpkg-source: info: unpacking haskell-copilot-core_3.10.orig.tar.gz dpkg-source: info: unpacking haskell-copilot-core_3.10-2.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-copilot-core-KoCZp6/haskell-copilot-core-3.10 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1659190215" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.HAse0NjiOP dpkg-buildpackage: info: source package haskell-copilot-core dpkg-buildpackage: info: source version 3.10-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Scott Talbert dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot debian/rules clean test -x debian/rules dh_clean perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'clean_recipe' Running rm -rf dist dist-ghc dist-ghcjs dist-hugs Running rm -f debian/hlibrary.setup Running rm -f Setup.hi Setup.ho Setup.o Running rm -f rm -f configure-ghc-stamp rm -f build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -f check-ghc-stamp rm -f debian/tmp rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs rm -rf debian/tmp-db rm -f debian/hlibrary.Makefile debian/rules build-arch test -x debian/rules 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 fakeroot 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-copilot-core-dev.substvars dh_installdirs -plibghc-copilot-core-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' Running find . ! -newer /tmp/aQXY4dBx0y -exec touch -d 1998-01-01 UTC {} ; Running dh_listpackages libghc-copilot-core-dev libghc-copilot-core-prof libghc-copilot-core-doc Running dh_listpackages libghc-copilot-core-dev libghc-copilot-core-prof libghc-copilot-core-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/copilot-core-3.10/ --datasubdir=copilot-core --htmldir=/usr/share/doc/libghc-copilot-core-doc/html/ --enable-library-profiling Using Parsec parser Configuring copilot-core-3.10... Dependency base >=4.9 && <5: using base-4.15.1.0 Dependency dlist: using dlist-1.0 Dependency pretty >=1.0 && <1.2: using pretty-1.1.3.6 Source component graph: component lib Configured component graph: component copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp include base-4.15.1.0 include dlist-1.0-9xW5LAwZRkJL6y4M05H3am include pretty-1.1.3.6 Linked component graph: unit copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp include base-4.15.1.0 include dlist-1.0-9xW5LAwZRkJL6y4M05H3am include pretty-1.1.3.6 Copilot.Core=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core,Copilot.Core.Expr=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Expr,Copilot.Core.External=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.External,Copilot.Core.Interpret=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Interpret,Copilot.Core.Interpret.Eval=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Interpret.Eval,Copilot.Core.Operators=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Operators,Copilot.Core.PrettyDot=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.PrettyDot,Copilot.Core.PrettyPrint=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.PrettyPrint,Copilot.Core.Spec=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Spec,Copilot.Core.Type=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Type,Copilot.Core.Type.Array=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Type.Array,Copilot.Core.Type.Dynamic=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Type.Dynamic,Copilot.Core.Type.Equality=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Type.Equality,Copilot.Core.Type.Show=copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp:Copilot.Core.Type.Show Ready component graph: definite copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp depends base-4.15.1.0 depends dlist-1.0-9xW5LAwZRkJL6y4M05H3am 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/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp 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/copilot-core-3.10 Data files installed in: /usr/share/copilot-core Documentation installed in: /usr/share/doc/x86_64-linux-ghc-9.0.2/copilot-core-3.10 Configuration files installed in: /usr/etc No alex found Using ar found on system at: /usr/bin/x86_64-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 12 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 9.0.2 found on system at: /usr/bin/ghc Using ghc-pkg version 9.0.2 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.25.1 found on system at: /usr/bin/haddock No happy found Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.68 found on system at: /usr/bin/hpc Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs No hscolour found 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 touch configure-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'build_recipe' Running dh_listpackages libghc-copilot-core-dev libghc-copilot-core-prof libghc-copilot-core-doc Preprocessing library for copilot-core-3.10.. Building library for copilot-core-3.10.. [ 1 of 17] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, dist-ghc/build/Copilot/Core/Error.o, dist-ghc/build/Copilot/Core/Error.dyn_o ) [ 2 of 17] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, dist-ghc/build/Copilot/Core/Type/Array.o, dist-ghc/build/Copilot/Core/Type/Array.dyn_o ) [ 3 of 17] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, dist-ghc/build/Copilot/Core/Type/Equality.o, dist-ghc/build/Copilot/Core/Type/Equality.dyn_o ) src/Copilot/Core/Type/Equality.hs:19:15: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 19 | data Equal :: * -> * -> * where | ^ src/Copilot/Core/Type/Equality.hs:19:20: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 19 | data Equal :: * -> * -> * where | ^ src/Copilot/Core/Type/Equality.hs:19:25: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 19 | data Equal :: * -> * -> * where | ^ [ 4 of 17] Compiling Copilot.Core.Type.Dynamic ( src/Copilot/Core/Type/Dynamic.hs, dist-ghc/build/Copilot/Core/Type/Dynamic.o, dist-ghc/build/Copilot/Core/Type/Dynamic.dyn_o ) src/Copilot/Core/Type/Dynamic.hs:28:18: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 28 | data Dynamic :: (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:28:23: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 28 | data Dynamic :: (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:28:29: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 28 | data Dynamic :: (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:19: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:24: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:31: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:36: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:42: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ [ 5 of 17] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist-ghc/build/Copilot/Core/Type.o, dist-ghc/build/Copilot/Core/Type.dyn_o ) src/Copilot/Core/Type.hs:91:14: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 91 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:91:19: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 91 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:116:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘tysize’: Patterns not matched: Struct _ | 116 | tysize ty@(Array ty'@(Array _)) = tylength ty * tysize ty' | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Core/Type.hs:214:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘simpleType’: Patterns not matched: Struct _ | 214 | simpleType (Array t) = SArray t | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 6 of 17] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist-ghc/build/Copilot/Core/Operators.o, dist-ghc/build/Copilot/Core/Operators.dyn_o ) [ 7 of 17] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist-ghc/build/Copilot/Core/Expr.o, dist-ghc/build/Copilot/Core/Expr.dyn_o ) [ 8 of 17] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist-ghc/build/Copilot/Core/Spec.o, dist-ghc/build/Copilot/Core/Spec.dyn_o ) [ 9 of 17] Compiling Copilot.Core.External ( src/Copilot/Core/External.hs, dist-ghc/build/Copilot/Core/External.o, dist-ghc/build/Copilot/Core/External.dyn_o ) src/Copilot/Core/External.hs:5:14: warning: [-Wtrustworthy-safe] ‘Copilot.Core.External’ is marked as Trustworthy but has been inferred as safe! | 5 | {-# LANGUAGE Trustworthy #-} | ^^^^^^^^^^^ src/Copilot/Core/External.hs:21:1: warning: [-Wunused-imports] The import of ‘Data.Typeable’ is redundant except perhaps to import instances from ‘Data.Typeable’ To import instances alone, use: import Data.Typeable() | 21 | import Data.Typeable (Typeable) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Copilot/Core/External.hs:54:1: warning: [-Wunused-top-binds] Defined but not used: ‘externVarsUExpr’ | 54 | externVarsUExpr UExpr { uExprExpr = e } = externVarsExpr e | ^^^^^^^^^^^^^^^ [10 of 17] Compiling Copilot.Core ( src/Copilot/Core.hs, dist-ghc/build/Copilot/Core.o, dist-ghc/build/Copilot/Core.dyn_o ) [11 of 17] Compiling Copilot.Core.Type.ShowInternal ( src/Copilot/Core/Type/ShowInternal.hs, dist-ghc/build/Copilot/Core/Type/ShowInternal.o, dist-ghc/build/Copilot/Core/Type/ShowInternal.dyn_o ) src/Copilot/Core/Type/ShowInternal.hs:53:11: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:40:10 | 53 | Array t -> "Array " ++ showType t | ^ src/Copilot/Core/Type/ShowInternal.hs:54:12: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:40:10 | 54 | Struct t -> "Struct" | ^ src/Copilot/Core/Type/ShowInternal.hs:54:12: warning: [-Wunused-matches] Defined but not used: ‘t’ | 54 | Struct t -> "Struct" | ^ src/Copilot/Core/Type/ShowInternal.hs:76:11: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:63:9 | 76 | Array t -> ShowWit | ^ src/Copilot/Core/Type/ShowInternal.hs:76:11: warning: [-Wunused-matches] Defined but not used: ‘t’ | 76 | Array t -> ShowWit | ^ src/Copilot/Core/Type/ShowInternal.hs:77:12: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:63:9 | 77 | Struct t -> ShowWit | ^ src/Copilot/Core/Type/ShowInternal.hs:77:12: warning: [-Wunused-matches] Defined but not used: ‘t’ | 77 | Struct t -> ShowWit | ^ [12 of 17] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, dist-ghc/build/Copilot/Core/Type/Show.o, dist-ghc/build/Copilot/Core/Type/Show.dyn_o ) [13 of 17] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, dist-ghc/build/Copilot/Core/PrettyPrint.o, dist-ghc/build/Copilot/Core/PrettyPrint.dyn_o ) [14 of 17] Compiling Copilot.Core.PrettyDot ( src/Copilot/Core/PrettyDot.hs, dist-ghc/build/Copilot/Core/PrettyDot.o, dist-ghc/build/Copilot/Core/PrettyDot.dyn_o ) src/Copilot/Core/PrettyDot.hs:94:12: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: GetField _ _ _ | 94 | ppOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Core/PrettyDot.hs:121:12: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Index _ | 121 | ppOp2 op = case op of | ^^^^^^^^^^... [15 of 17] Compiling Copilot.Core.Interpret.Eval ( src/Copilot/Core/Interpret/Eval.hs, dist-ghc/build/Copilot/Core/Interpret/Eval.o, dist-ghc/build/Copilot/Core/Interpret/Eval.dyn_o ) src/Copilot/Core/Interpret/Eval.hs:145:8: warning: [-Wunused-matches] Defined but not used: ‘t’ | 145 | Drop t i id -> | ^ src/Copilot/Core/Interpret/Eval.hs:148:9: warning: [-Wunused-matches] Defined but not used: ‘t1’ | 148 | Local t1 _ name e1 e2 -> | ^^ src/Copilot/Core/Interpret/Eval.hs:152:7: warning: [-Wunused-matches] Defined but not used: ‘t’ | 152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic | ^ src/Copilot/Core/Interpret/Eval.hs:188:14: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: GetField Copilot.Core.Type.Bool Copilot.Core.Type.Bool _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int8 _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int16 _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int32 _ ... | 188 | evalOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Core/Interpret/Eval.hs:270:36: warning: [-Wunused-matches] Defined but not used: ‘t’ | 270 | , streamExprType = t } = | ^ src/Copilot/Core/Interpret/Eval.hs:289:42: warning: [-Wunused-matches] Defined but not used: ‘t’ | 289 | , streamExprType = t } = | ^ [16 of 17] Compiling Copilot.Core.Interpret.Render ( src/Copilot/Core/Interpret/Render.hs, dist-ghc/build/Copilot/Core/Interpret/Render.o, dist-ghc/build/Copilot/Core/Interpret/Render.dyn_o ) src/Copilot/Core/Interpret/Render.hs:108:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: docLen :: Doc -> Int | 108 | docLen d = length $ render d | ^^^^^^ src/Copilot/Core/Interpret/Render.hs:112:8: warning: [-Wname-shadowing] This binding for ‘max’ shadows the existing binding imported from ‘Prelude’ at src/Copilot/Core/Interpret/Render.hs:17:1-28 (and originally defined in ‘ghc-prim-0.7.0:GHC.Classes’) | 112 | pad lx max b ls = ls ++ replicate (max - lx) b | ^^^ [17 of 17] Compiling Copilot.Core.Interpret ( src/Copilot/Core/Interpret.hs, dist-ghc/build/Copilot/Core/Interpret.o, dist-ghc/build/Copilot/Core/Interpret.dyn_o ) src/Copilot/Core/Interpret.hs:15:1: warning: [-Wunused-imports] The import of ‘Copilot.Core.Type.ShowInternal’ is redundant except perhaps to import instances from ‘Copilot.Core.Type.ShowInternal’ To import instances alone, use: import Copilot.Core.Type.ShowInternal() | 15 | import Copilot.Core.Type.ShowInternal (ShowType(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 1 of 17] Compiling Copilot.Core.Error ( src/Copilot/Core/Error.hs, dist-ghc/build/Copilot/Core/Error.p_o ) [ 2 of 17] Compiling Copilot.Core.Type.Array ( src/Copilot/Core/Type/Array.hs, dist-ghc/build/Copilot/Core/Type/Array.p_o ) [ 3 of 17] Compiling Copilot.Core.Type.Equality ( src/Copilot/Core/Type/Equality.hs, dist-ghc/build/Copilot/Core/Type/Equality.p_o ) src/Copilot/Core/Type/Equality.hs:19:15: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 19 | data Equal :: * -> * -> * where | ^ src/Copilot/Core/Type/Equality.hs:19:20: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 19 | data Equal :: * -> * -> * where | ^ src/Copilot/Core/Type/Equality.hs:19:25: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 19 | data Equal :: * -> * -> * where | ^ [ 4 of 17] Compiling Copilot.Core.Type.Dynamic ( src/Copilot/Core/Type/Dynamic.hs, dist-ghc/build/Copilot/Core/Type/Dynamic.p_o ) src/Copilot/Core/Type/Dynamic.hs:28:18: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 28 | data Dynamic :: (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:28:23: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 28 | data Dynamic :: (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:28:29: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 28 | data Dynamic :: (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:19: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:24: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:31: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:36: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ src/Copilot/Core/Type/Dynamic.hs:32:42: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 32 | data DynamicF :: (* -> *) -> (* -> *) -> * where | ^ [ 5 of 17] Compiling Copilot.Core.Type ( src/Copilot/Core/Type.hs, dist-ghc/build/Copilot/Core/Type.p_o ) src/Copilot/Core/Type.hs:91:14: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 91 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:91:19: warning: [-Wstar-is-type] Using ‘*’ (or its Unicode variant) to mean ‘Data.Kind.Type’ relies on the StarIsType extension, which will become deprecated in the future. Suggested fix: use ‘Type’ from ‘Data.Kind’ instead. | 91 | data Type :: * -> * where | ^ src/Copilot/Core/Type.hs:116:1: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘tysize’: Patterns not matched: Struct _ | 116 | tysize ty@(Array ty'@(Array _)) = tylength ty * tysize ty' | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Copilot/Core/Type.hs:214:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In an equation for ‘simpleType’: Patterns not matched: Struct _ | 214 | simpleType (Array t) = SArray t | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 6 of 17] Compiling Copilot.Core.Operators ( src/Copilot/Core/Operators.hs, dist-ghc/build/Copilot/Core/Operators.p_o ) [ 7 of 17] Compiling Copilot.Core.Expr ( src/Copilot/Core/Expr.hs, dist-ghc/build/Copilot/Core/Expr.p_o ) [ 8 of 17] Compiling Copilot.Core.Spec ( src/Copilot/Core/Spec.hs, dist-ghc/build/Copilot/Core/Spec.p_o ) [ 9 of 17] Compiling Copilot.Core.External ( src/Copilot/Core/External.hs, dist-ghc/build/Copilot/Core/External.p_o ) src/Copilot/Core/External.hs:5:14: warning: [-Wtrustworthy-safe] ‘Copilot.Core.External’ is marked as Trustworthy but has been inferred as safe! | 5 | {-# LANGUAGE Trustworthy #-} | ^^^^^^^^^^^ src/Copilot/Core/External.hs:21:1: warning: [-Wunused-imports] The import of ‘Data.Typeable’ is redundant except perhaps to import instances from ‘Data.Typeable’ To import instances alone, use: import Data.Typeable() | 21 | import Data.Typeable (Typeable) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Copilot/Core/External.hs:54:1: warning: [-Wunused-top-binds] Defined but not used: ‘externVarsUExpr’ | 54 | externVarsUExpr UExpr { uExprExpr = e } = externVarsExpr e | ^^^^^^^^^^^^^^^ [10 of 17] Compiling Copilot.Core ( src/Copilot/Core.hs, dist-ghc/build/Copilot/Core.p_o ) [11 of 17] Compiling Copilot.Core.Type.ShowInternal ( src/Copilot/Core/Type/ShowInternal.hs, dist-ghc/build/Copilot/Core/Type/ShowInternal.p_o ) src/Copilot/Core/Type/ShowInternal.hs:53:11: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:40:10 | 53 | Array t -> "Array " ++ showType t | ^ src/Copilot/Core/Type/ShowInternal.hs:54:12: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:40:10 | 54 | Struct t -> "Struct" | ^ src/Copilot/Core/Type/ShowInternal.hs:54:12: warning: [-Wunused-matches] Defined but not used: ‘t’ | 54 | Struct t -> "Struct" | ^ src/Copilot/Core/Type/ShowInternal.hs:76:11: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:63:9 | 76 | Array t -> ShowWit | ^ src/Copilot/Core/Type/ShowInternal.hs:76:11: warning: [-Wunused-matches] Defined but not used: ‘t’ | 76 | Array t -> ShowWit | ^ src/Copilot/Core/Type/ShowInternal.hs:77:12: warning: [-Wname-shadowing] This binding for ‘t’ shadows the existing binding bound at src/Copilot/Core/Type/ShowInternal.hs:63:9 | 77 | Struct t -> ShowWit | ^ src/Copilot/Core/Type/ShowInternal.hs:77:12: warning: [-Wunused-matches] Defined but not used: ‘t’ | 77 | Struct t -> ShowWit | ^ [12 of 17] Compiling Copilot.Core.Type.Show ( src/Copilot/Core/Type/Show.hs, dist-ghc/build/Copilot/Core/Type/Show.p_o ) [13 of 17] Compiling Copilot.Core.PrettyPrint ( src/Copilot/Core/PrettyPrint.hs, dist-ghc/build/Copilot/Core/PrettyPrint.p_o ) [14 of 17] Compiling Copilot.Core.PrettyDot ( src/Copilot/Core/PrettyDot.hs, dist-ghc/build/Copilot/Core/PrettyDot.p_o ) src/Copilot/Core/PrettyDot.hs:94:12: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: GetField _ _ _ | 94 | ppOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Core/PrettyDot.hs:121:12: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: Index _ | 121 | ppOp2 op = case op of | ^^^^^^^^^^... [15 of 17] Compiling Copilot.Core.Interpret.Eval ( src/Copilot/Core/Interpret/Eval.hs, dist-ghc/build/Copilot/Core/Interpret/Eval.p_o ) src/Copilot/Core/Interpret/Eval.hs:145:8: warning: [-Wunused-matches] Defined but not used: ‘t’ | 145 | Drop t i id -> | ^ src/Copilot/Core/Interpret/Eval.hs:148:9: warning: [-Wunused-matches] Defined but not used: ‘t1’ | 148 | Local t1 _ name e1 e2 -> | ^^ src/Copilot/Core/Interpret/Eval.hs:152:7: warning: [-Wunused-matches] Defined but not used: ‘t’ | 152 | Var t name -> fromJust $ lookup name locs >>= fromDynamic | ^ src/Copilot/Core/Interpret/Eval.hs:188:14: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: GetField Copilot.Core.Type.Bool Copilot.Core.Type.Bool _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int8 _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int16 _ GetField Copilot.Core.Type.Bool Copilot.Core.Type.Int32 _ ... | 188 | evalOp1 op = case op of | ^^^^^^^^^^... src/Copilot/Core/Interpret/Eval.hs:270:36: warning: [-Wunused-matches] Defined but not used: ‘t’ | 270 | , streamExprType = t } = | ^ src/Copilot/Core/Interpret/Eval.hs:289:42: warning: [-Wunused-matches] Defined but not used: ‘t’ | 289 | , streamExprType = t } = | ^ [16 of 17] Compiling Copilot.Core.Interpret.Render ( src/Copilot/Core/Interpret/Render.hs, dist-ghc/build/Copilot/Core/Interpret/Render.p_o ) src/Copilot/Core/Interpret/Render.hs:108:1: warning: [-Wmissing-signatures] Top-level binding with no type signature: docLen :: Doc -> Int | 108 | docLen d = length $ render d | ^^^^^^ src/Copilot/Core/Interpret/Render.hs:112:8: warning: [-Wname-shadowing] This binding for ‘max’ shadows the existing binding imported from ‘Prelude’ at src/Copilot/Core/Interpret/Render.hs:17:1-28 (and originally defined in ‘ghc-prim-0.7.0:GHC.Classes’) | 112 | pad lx max b ls = ls ++ replicate (max - lx) b | ^^^ [17 of 17] Compiling Copilot.Core.Interpret ( src/Copilot/Core/Interpret.hs, dist-ghc/build/Copilot/Core/Interpret.p_o ) src/Copilot/Core/Interpret.hs:15:1: warning: [-Wunused-imports] The import of ‘Copilot.Core.Type.ShowInternal’ is redundant except perhaps to import instances from ‘Copilot.Core.Type.ShowInternal’ To import instances alone, use: import Copilot.Core.Type.ShowInternal() | 15 | import Copilot.Core.Type.ShowInternal (ShowType(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ touch build-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'check_recipe' DEB_BUILD_OPTIONS contains nocheck, not running any build-time tests. touch check-ghc-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'haddock_recipe' Running dh_listpackages libghc-copilot-core-dev libghc-copilot-core-prof libghc-copilot-core-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 copilot-core-3.10.. Running Haddock on library for copilot-core-3.10.. creating dist-ghc/doc/html/copilot-core creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/copilot-core /usr/bin/haddock '@dist-ghc/doc/html/copilot-core/haddock-response1754287-1.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' 100% ( 8 / 8) in 'Copilot.Core.Type.Array' 100% ( 8 / 8) in 'Copilot.Core.Type.Equality' 100% ( 5 / 5) in 'Copilot.Core.Type.Dynamic' 100% ( 14 / 14) in 'Copilot.Core.Type' 100% ( 4 / 4) in 'Copilot.Core.Operators' 100% ( 6 / 6) in 'Copilot.Core.Expr' 100% ( 6 / 6) in 'Copilot.Core.Spec' 100% ( 3 / 3) in 'Copilot.Core.External' Warning: Copilot.Core: Could not find documentation for exported module: Data.Int Warning: Copilot.Core: Could not find documentation for exported module: Data.Word 100% ( 7 / 7) in 'Copilot.Core' 100% ( 4 / 4) in 'Copilot.Core.Type.Show' 100% ( 3 / 3) in 'Copilot.Core.PrettyPrint' 100% ( 3 / 3) in 'Copilot.Core.PrettyDot' 100% ( 6 / 6) in 'Copilot.Core.Interpret.Eval' 100% ( 3 / 3) in 'Copilot.Core.Interpret' Warning: Copilot.Core.Type.Array: could not find link destinations for: - GHC.Types.Nat - Data.Foldable.Foldable - GHC.Types.Type - Data.Foldable.fold - GHC.Base.Monoid - Data.Foldable.foldMap - Data.Foldable.foldMap' - Data.Foldable.foldr - Data.Foldable.foldr' - Data.Foldable.foldl - Data.Foldable.foldl' - Data.Foldable.foldr1 - Data.Foldable.foldl1 - Data.Foldable.toList - Data.Foldable.null - GHC.Types.Bool - Data.Foldable.length - GHC.Types.Int - Data.Foldable.elem - GHC.Classes.Eq - Data.Foldable.maximum - GHC.Classes.Ord - Data.Foldable.minimum - Data.Foldable.sum - GHC.Num.Num - Data.Foldable.product - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - Data.Typeable.Internal.Typeable - GHC.TypeNats.KnownNat Warning: Copilot.Core.Type.Equality: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Types.Type Warning: Copilot.Core.Type.Dynamic: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Maybe.Nothing Warning: Copilot.Core.Type: could not find link destinations for: - GHC.Types.Bool - GHC.Int.Int8 - GHC.Int.Int16 - GHC.Int.Int32 - GHC.Int.Int64 - GHC.Word.Word8 - GHC.Word.Word16 - GHC.Word.Word32 - GHC.Word.Word64 - GHC.Types.Float - GHC.Types.Double - GHC.TypeNats.KnownNat - GHC.Types.Type - GHC.Maybe.Maybe - GHC.Show.Show - Data.Typeable.Internal.Typeable - GHC.Classes.Eq - GHC.Classes.== - GHC.Classes./= - GHC.Types.Int - GHC.TypeLits.KnownSymbol - GHC.Types.Symbol - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList Warning: Copilot.Core.Operators: could not find link destinations for: - GHC.Types.Bool - GHC.Num.Num - GHC.Real.Fractional - GHC.Float.Floating - GHC.Real.RealFrac - Data.Bits.Bits - GHC.Real.Integral - GHC.TypeLits.KnownSymbol - GHC.Float.RealFloat - GHC.Classes.Eq - GHC.Classes.Ord - GHC.Word.Word32 Warning: Copilot.Core.Expr: could not find link destinations for: - GHC.Types.Int - GHC.Base.String - Data.Typeable.Internal.Typeable - GHC.Maybe.Maybe - GHC.Word.Word32 Warning: Copilot.Core.Spec: could not find link destinations for: - Data.Typeable.Internal.Typeable - GHC.Types.Bool Warning: Copilot.Core.Type.Show: could not find link destinations for: - GHC.Base.String Warning: Copilot.Core.PrettyPrint: could not find link destinations for: - GHC.Base.String - Text.PrettyPrint.HughesPJ.Doc Warning: Copilot.Core.PrettyDot: could not find link destinations for: - GHC.Base.String - GHC.Types.Bool Warning: Copilot.Core.Interpret.Eval: could not find link destinations for: - Data.Dynamic.Dynamic - GHC.Base.String - GHC.Maybe.Maybe - GHC.Maybe.Nothing - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Show.showList - Copilot.Core.Interpret.Eval.InterpException Warning: Copilot.Core.Interpret: could not find link destinations for: - GHC.Types.Int - GHC.Base.String Documentation created: dist-ghc/doc/html/copilot-core/index.html, dist-ghc/doc/html/copilot-core/copilot-core.txt touch build-haddock-stamp perl -d:Confess -MDebian::Debhelper::Buildsystem::Haskell::Recipes=/.*/ \ -E 'install_recipe($ARGV[0])' "debian/tmp-inst-ghc" Running dh_listpackages libghc-copilot-core-dev libghc-copilot-core-prof libghc-copilot-core-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/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp ln --symbolic --force "debian/tmp-inst-ghc" debian/tmp dh_haskell_install_ghc_registration --package=libghc-copilot-core-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 copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Copilot.Core Copilot.Core.Expr Copilot.Core.External Copilot.Core.Interpret Copilot.Core.Interpret.Eval Copilot.Core.Operators Copilot.Core.Spec Copilot.Core.Type Copilot.Core.Type.Array Copilot.Core.Type.Dynamic Copilot.Core.Type.Equality Copilot.Core.Type.Show Copilot.Core.PrettyPrint Copilot.Core.PrettyDot -Wall -fno-warn-orphans -optl-Wl,-z,relro name: copilot-core version: 3.10 visibility: public id: copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp key: copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp license: BSD-3-Clause maintainer: Ivan Perez author: Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordbyop Wegmann, Ivan Perez stability: Experimental homepage: https://copilot-language.github.io synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at . category: Language, Embedded abi: c35bd910971895a09b198cb3db72ba10 exposed: True exposed-modules: Copilot.Core Copilot.Core.Expr Copilot.Core.External Copilot.Core.Interpret Copilot.Core.Interpret.Eval Copilot.Core.Operators Copilot.Core.PrettyDot Copilot.Core.PrettyPrint Copilot.Core.Spec Copilot.Core.Type Copilot.Core.Type.Array Copilot.Core.Type.Dynamic Copilot.Core.Type.Equality Copilot.Core.Type.Show hidden-modules: Copilot.Core.Error Copilot.Core.Interpret.Render Copilot.Core.Type.ShowInternal import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/copilot-core hs-libraries: HScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp depends: base-4.15.1.0 dlist-1.0-9xW5LAwZRkJL6y4M05H3am pretty-1.1.3.6 haddock-interfaces: /usr/lib/ghc-doc/haddock/copilot-core-3.10/copilot-core.haddock haddock-html: /usr/share/doc/libghc-copilot-core-doc/html/ Creating package registration file: copilot-core-3.10.conf Running install -D --mode=644 copilot-core-3.10.conf debian/libghc-copilot-core-dev/var/lib/ghc/package.conf.d/copilot-core-3.10.conf Running rm -rf copilot-core-3.10.conf dh_haskell_install_development_libs --package=libghc-copilot-core-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-copilot-core-KoCZp6/haskell-copilot-core-3.10/debian/libghc-copilot-core-dev/{} ; dh_haskell_provides_ghc --package=libghc-copilot-core-dev Running cp debian/libghc-copilot-core-dev/var/lib/ghc/package.conf.d/copilot-core-3.10.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 id copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp name copilot-core Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp version 3.10 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp abi c35bd910971895a09b198cb3db72ba10 dh_haskell_depends_cabal --package=libghc-copilot-core-dev Running cp debian/libghc-copilot-core-dev/var/lib/ghc/package.conf.d/copilot-core-3.10.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 depends base-4.15.1.0 dlist-1.0-9xW5LAwZRkJL6y4M05H3am 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 dlist-1.0-9xW5LAwZRkJL6y4M05H3am name dlist Running ghc-pkg --global --simple-output --unit-id field dlist-1.0-9xW5LAwZRkJL6y4M05H3am version 1.0 Running ghc-pkg --global --simple-output --unit-id field dlist-1.0-9xW5LAwZRkJL6y4M05H3am abi c0960931d4bc05e8b52478a2059bbe30 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-copilot-core-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 copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp -hide-all-packages -Wmissing-home-modules -no-user-package-db -XHaskell2010 Copilot.Core Copilot.Core.Expr Copilot.Core.External Copilot.Core.Interpret Copilot.Core.Interpret.Eval Copilot.Core.Operators Copilot.Core.Spec Copilot.Core.Type Copilot.Core.Type.Array Copilot.Core.Type.Dynamic Copilot.Core.Type.Equality Copilot.Core.Type.Show Copilot.Core.PrettyPrint Copilot.Core.PrettyDot -Wall -fno-warn-orphans -optl-Wl,-z,relro name: copilot-core version: 3.10 visibility: public id: copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp key: copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp license: BSD-3-Clause maintainer: Ivan Perez author: Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller, Nis Nordbyop Wegmann, Ivan Perez stability: Experimental homepage: https://copilot-language.github.io synopsis: An intermediate representation for Copilot. description: Intermediate representation for Copilot. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at . category: Language, Embedded abi: c35bd910971895a09b198cb3db72ba10 exposed: True exposed-modules: Copilot.Core Copilot.Core.Expr Copilot.Core.External Copilot.Core.Interpret Copilot.Core.Interpret.Eval Copilot.Core.Operators Copilot.Core.PrettyDot Copilot.Core.PrettyPrint Copilot.Core.Spec Copilot.Core.Type Copilot.Core.Type.Array Copilot.Core.Type.Dynamic Copilot.Core.Type.Equality Copilot.Core.Type.Show hidden-modules: Copilot.Core.Error Copilot.Core.Interpret.Render Copilot.Core.Type.ShowInternal import-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp dynamic-library-dirs: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2 data-dir: /usr/share/copilot-core hs-libraries: HScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp depends: base-4.15.1.0 dlist-1.0-9xW5LAwZRkJL6y4M05H3am pretty-1.1.3.6 haddock-interfaces: /usr/lib/ghc-doc/haddock/copilot-core-3.10/copilot-core.haddock haddock-html: /usr/share/doc/libghc-copilot-core-doc/html/ Creating package registration file: copilot-core-3.10.conf Running cp copilot-core-3.10.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 depends base-4.15.1.0 dlist-1.0-9xW5LAwZRkJL6y4M05H3am pretty-1.1.3.6 Running rm -rf copilot-core-3.10.conf dh_haskell_shlibdeps --package=libghc-copilot-core-dev Running cp debian/libghc-copilot-core-dev/var/lib/ghc/package.conf.d/copilot-core-3.10.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 library-dirs /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 extra-libraries Running gcc -L/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp debian/dh_haskell_shlibdeps/probe.c -o debian/dh_haskell_shlibdeps/probe Running dpkg-shlibdeps --warnings=1 -Tdebian/libghc-copilot-core-dev.substvars debian/dh_haskell_shlibdeps/probe dh_haskell_blurbs --package=libghc-copilot-core-dev --type=dev dh_haskell_description --package=libghc-copilot-core-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 An intermediate representation for Copilot. Intermediate representation for Copilot. . Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. . A tutorial, examples, and other information are available at . dh_haskell_compiler --package=libghc-copilot-core-dev Running dpkg-query --showformat=${Version} --show ghc 9.0.2-3 Adding cdbs dependencies to debian/libghc-copilot-core-prof.substvars dh_installdirs -plibghc-copilot-core-prof \ dh_haskell_install_profiling_libs --package=libghc-copilot-core-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-copilot-core-KoCZp6/haskell-copilot-core-3.10/debian/libghc-copilot-core-prof/{} ; dh_haskell_provides_ghc --package=libghc-copilot-core-prof --config-shipper="libghc-copilot-core-dev" Running cp debian/libghc-copilot-core-dev/var/lib/ghc/package.conf.d/copilot-core-3.10.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 id copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp name copilot-core Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp version 3.10 Running ghc-pkg --package-db debian/tmp-db --simple-output --unit-id field copilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp abi c35bd910971895a09b198cb3db72ba10 dh_haskell_depends_cabal --package=libghc-copilot-core-prof --config-shipper="libghc-copilot-core-dev" Running cp debian/libghc-copilot-core-dev/var/lib/ghc/package.conf.d/copilot-core-3.10.conf debian/tmp-db Running ghc-pkg --package-db debian/tmp-db recache Running ghc-pkg --package-db debian/tmp-db --simple-output field copilot-core-3.10 depends base-4.15.1.0 dlist-1.0-9xW5LAwZRkJL6y4M05H3am 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 dlist-1.0-9xW5LAwZRkJL6y4M05H3am name dlist Running ghc-pkg --global --simple-output --unit-id field dlist-1.0-9xW5LAwZRkJL6y4M05H3am version 1.0 Running ghc-pkg --global --simple-output --unit-id field dlist-1.0-9xW5LAwZRkJL6y4M05H3am abi c0960931d4bc05e8b52478a2059bbe30 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-copilot-core-prof --type=prof dh_haskell_description --package=libghc-copilot-core-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 An intermediate representation for Copilot. Intermediate representation for Copilot. . Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. . A tutorial, examples, and other information are available at . dh_haskell_compiler --package=libghc-copilot-core-prof Running dpkg-query --showformat=${Version} --show ghc 9.0.2-3 dh_installdocs -plibghc-copilot-core-dev dh_installexamples -plibghc-copilot-core-dev dh_installman -plibghc-copilot-core-dev dh_installinfo -plibghc-copilot-core-dev dh_installmenu -plibghc-copilot-core-dev dh_installcron -plibghc-copilot-core-dev dh_systemd_enable -plibghc-copilot-core-dev dh_installinit -plibghc-copilot-core-dev dh_installdebconf -plibghc-copilot-core-dev dh_installemacsen -plibghc-copilot-core-dev dh_installcatalogs -plibghc-copilot-core-dev dh_installpam -plibghc-copilot-core-dev dh_installlogrotate -plibghc-copilot-core-dev dh_installlogcheck -plibghc-copilot-core-dev dh_installchangelogs -plibghc-copilot-core-dev ./CHANGELOG dh_installudev -plibghc-copilot-core-dev dh_lintian -plibghc-copilot-core-dev dh_bugfiles -plibghc-copilot-core-dev dh_install -plibghc-copilot-core-dev dh_systemd_start -plibghc-copilot-core-dev dh_link -plibghc-copilot-core-dev dh_buildinfo -plibghc-copilot-core-dev dh_installmime -plibghc-copilot-core-dev dh_installgsettings -plibghc-copilot-core-dev dh_installdocs -plibghc-copilot-core-prof dh_installexamples -plibghc-copilot-core-prof dh_installman -plibghc-copilot-core-prof dh_installinfo -plibghc-copilot-core-prof dh_installmenu -plibghc-copilot-core-prof dh_installcron -plibghc-copilot-core-prof dh_systemd_enable -plibghc-copilot-core-prof dh_installinit -plibghc-copilot-core-prof dh_installdebconf -plibghc-copilot-core-prof dh_installemacsen -plibghc-copilot-core-prof dh_installcatalogs -plibghc-copilot-core-prof dh_installpam -plibghc-copilot-core-prof dh_installlogrotate -plibghc-copilot-core-prof dh_installlogcheck -plibghc-copilot-core-prof dh_installchangelogs -plibghc-copilot-core-prof ./CHANGELOG dh_installudev -plibghc-copilot-core-prof dh_lintian -plibghc-copilot-core-prof dh_bugfiles -plibghc-copilot-core-prof dh_install -plibghc-copilot-core-prof dh_systemd_start -plibghc-copilot-core-prof dh_link -plibghc-copilot-core-prof dh_buildinfo -plibghc-copilot-core-prof dh_installmime -plibghc-copilot-core-prof dh_installgsettings -plibghc-copilot-core-prof dh_strip -plibghc-copilot-core-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-copilot-core-dev dh_compress -plibghc-copilot-core-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-copilot-core-dev dh_makeshlibs -plibghc-copilot-core-dev -XlibHS dh_strip -plibghc-copilot-core-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-copilot-core-prof dh_compress -plibghc-copilot-core-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-copilot-core-prof dh_makeshlibs -plibghc-copilot-core-prof -XlibHS dh_installdeb -plibghc-copilot-core-dev dh_perl -plibghc-copilot-core-dev dh_shlibdeps -plibghc-copilot-core-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-copilot-core-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp-ghc9.0.2.so contains an unresolvable reference to symbol stg_sel_0_upd_info: it's probably a plugin dpkg-shlibdeps: warning: 26 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-core-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp-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-copilot-core-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp-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-copilot-core-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp-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-copilot-core-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp-ghc9.0.2.so was not linked against libHSdlist-1.0-9xW5LAwZRkJL6y4M05H3am-ghc9.0.2.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-copilot-core-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.0.2/libHScopilot-core-3.10-K6ZaSQNCHJu8FcHuRaTkOp-ghc9.0.2.so was not linked against libgmp.so.10 (it uses none of the library's symbols) dh_installdeb -plibghc-copilot-core-prof dh_perl -plibghc-copilot-core-prof dh_shlibdeps -plibghc-copilot-core-prof -- --ignore-missing-info dh_gencontrol -plibghc-copilot-core-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Recommends field of package libghc-copilot-core-dev: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-copilot-core-dev: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-copilot-core-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-copilot-core-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-copilot-core-dev dh_builddeb -plibghc-copilot-core-dev dpkg-deb: building package 'libghc-copilot-core-dev' in '../libghc-copilot-core-dev_3.10-2_amd64.deb'. dh_gencontrol -plibghc-copilot-core-prof dpkg-gencontrol: warning: Recommends field of package libghc-copilot-core-prof: substitution variable ${haskell:Recommends} used, but is not defined dpkg-gencontrol: warning: Suggests field of package libghc-copilot-core-prof: substitution variable ${haskell:Suggests} used, but is not defined dpkg-gencontrol: warning: Conflicts field of package libghc-copilot-core-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-copilot-core-prof: substitution variable ${haskell:ghc-package} unused, but is defined dpkg-gencontrol: warning: package libghc-copilot-core-prof: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-copilot-core-prof dh_builddeb -plibghc-copilot-core-prof dpkg-deb: building package 'libghc-copilot-core-prof' in '../libghc-copilot-core-prof_3.10-2_amd64.deb'. dpkg-genbuildinfo --build=any -O../haskell-copilot-core_3.10-2_amd64.buildinfo dpkg-genchanges --build=any -O../haskell-copilot-core_3.10-2_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-copilot-core-KoCZp6 /tmp/haskell-copilot-core-3.10-27o4g6fot I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.HAse0NjiOP... I: success in 896.3359 seconds md5: Value of 'md5' differs for libghc-copilot-core-dev_3.10-2_amd64.deb md5: Size differs for libghc-copilot-core-dev_3.10-2_amd64.deb md5: Value of 'md5' differs for libghc-copilot-core-prof_3.10-2_amd64.deb md5: Size differs for libghc-copilot-core-prof_3.10-2_amd64.deb sha1: Value of 'sha1' differs for libghc-copilot-core-dev_3.10-2_amd64.deb sha1: Size differs for libghc-copilot-core-dev_3.10-2_amd64.deb sha1: Value of 'sha1' differs for libghc-copilot-core-prof_3.10-2_amd64.deb sha1: Size differs for libghc-copilot-core-prof_3.10-2_amd64.deb sha256: Value of 'sha256' differs for libghc-copilot-core-dev_3.10-2_amd64.deb sha256: Size differs for libghc-copilot-core-dev_3.10-2_amd64.deb sha256: Value of 'sha256' differs for libghc-copilot-core-prof_3.10-2_amd64.deb sha256: Size differs for libghc-copilot-core-prof_3.10-2_amd64.deb Checksums: FAIL Cannot generate diffoscope for libghc-copilot-core-dev_3.10-2_amd64.deb: RetryError[] Cannot generate diffoscope for libghc-copilot-core-prof_3.10-2_amd64.deb: RetryError[]