I: pbuilder: network access will be disabled during build I: Current time: Tue Mar 24 00:31:10 -12 2020 I: pbuilder-time-stamp: 1585053070 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: using eatmydata during job I: Copying source file I: copying [agda-stdlib_0.17-1.dsc] I: copying [./agda-stdlib_0.17.orig.tar.gz] I: copying [./agda-stdlib_0.17-1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Fri Nov 23 12:56:08 2018 -12 gpgv: using RSA key 9B917007AE030E36E4FC248B695B7AE4BF066240 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./agda-stdlib_0.17-1.dsc dpkg-source: info: extracting agda-stdlib in agda-stdlib-0.17 dpkg-source: info: unpacking agda-stdlib_0.17.orig.tar.gz dpkg-source: info: unpacking agda-stdlib_0.17-1.debian.tar.xz I: using fakeroot in build. I: Installing the build-deps -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: i386 Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 10), agda-bin (>= 2.5.4.1), agda-bin (<< 2.5.5~), libghc-agda-dev (>= 2.5.4.1), libghc-agda-dev (<< 2.5.5~), libghc-filemanip-dev dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 19231 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 10); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on agda-bin (>= 2.5.4.1); however: Package agda-bin is not installed. pbuilder-satisfydepends-dummy depends on agda-bin (<< 2.5.5~); however: Package agda-bin is not installed. pbuilder-satisfydepends-dummy depends on libghc-agda-dev (>= 2.5.4.1); however: Package libghc-agda-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-agda-dev (<< 2.5.5~); however: Package libghc-agda-dev is not installed. pbuilder-satisfydepends-dummy depends on libghc-filemanip-dev; however: Package libghc-filemanip-dev is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: agda-bin{a} autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} gettext{a} gettext-base{a} ghc{a} groff-base{a} intltool-debian{a} libarchive-zip-perl{a} libbsd-dev{a} libbsd0{a} libcroco3{a} libelf1{a} libffi-dev{a} libfile-stripnondeterminism-perl{a} libghc-agda-dev{a} libghc-async-dev{a} libghc-base-compat-dev{a} libghc-blaze-builder-dev{a} libghc-blaze-html-dev{a} libghc-blaze-markup-dev{a} libghc-boxes-dev{a} libghc-data-hash-dev{a} libghc-edison-api-dev{a} libghc-edison-core-dev{a} libghc-edit-distance-dev{a} libghc-equivalence-dev{a} libghc-filemanip-dev{a} libghc-geniplate-mirror-dev{a} libghc-gitrev-dev{a} libghc-hashable-dev{a} libghc-hashtables-dev{a} libghc-ieee754-dev{a} libghc-murmur-hash-dev{a} libghc-network-uri-dev{a} libghc-primitive-dev{a} libghc-quickcheck2-dev{a} libghc-random-dev{a} libghc-regex-base-dev{a} libghc-regex-tdfa-dev{a} libghc-split-dev{a} libghc-stmonadtrans-dev{a} libghc-strict-dev{a} libghc-tf-random-dev{a} libghc-transformers-compat-dev{a} libghc-unix-compat-dev{a} libghc-unordered-containers-dev{a} libghc-uri-encode-dev{a} libghc-utf8-string-dev{a} libghc-vector-dev{a} libghc-zlib-dev{a} libglib2.0-0{a} libgmp-dev{a} libgmpxx4ldbl{a} libicu63{a} libmagic-mgc{a} libmagic1{a} libncurses-dev{a} libncurses5-dev{a} libncurses6{a} libpipeline1{a} libsigsegv2{a} libtool{a} libuchardet0{a} libxml2{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} zlib1g-dev{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 78 newly installed, 0 to remove and 0 not upgraded. Need to get 117 MB of archives. After unpacking 915 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main i386 libbsd0 i386 0.9.1-2 [104 kB] Get: 2 http://deb.debian.org/debian buster/main i386 bsdmainutils i386 11.1.2+b1 [193 kB] Get: 3 http://deb.debian.org/debian buster/main i386 libuchardet0 i386 0.0.6-3 [65.2 kB] Get: 4 http://deb.debian.org/debian buster/main i386 groff-base i386 1.22.4-3 [935 kB] Get: 5 http://deb.debian.org/debian buster/main i386 libpipeline1 i386 1.5.1-2 [33.3 kB] Get: 6 http://deb.debian.org/debian buster/main i386 man-db i386 2.8.5-2 [1284 kB] Get: 7 http://deb.debian.org/debian buster/main i386 libgmpxx4ldbl i386 2:6.1.2+dfsg-4 [23.2 kB] Get: 8 http://deb.debian.org/debian buster/main i386 libgmp-dev i386 2:6.1.2+dfsg-4 [648 kB] Get: 9 http://deb.debian.org/debian buster/main i386 libffi-dev i386 3.2.1-9 [156 kB] Get: 10 http://deb.debian.org/debian buster/main i386 libbsd-dev i386 0.9.1-2 [223 kB] Get: 11 http://deb.debian.org/debian buster/main i386 libncurses6 i386 6.1+20181013-2+deb10u2 [109 kB] Get: 12 http://deb.debian.org/debian buster/main i386 libncurses-dev i386 6.1+20181013-2+deb10u2 [360 kB] Get: 13 http://deb.debian.org/debian buster/main i386 libncurses5-dev i386 6.1+20181013-2+deb10u2 [948 B] Get: 14 http://deb.debian.org/debian buster/main i386 ghc i386 8.4.4+dfsg1-3 [65.5 MB] Get: 15 http://deb.debian.org/debian buster/main i386 sensible-utils all 0.0.12 [15.8 kB] Get: 16 http://deb.debian.org/debian buster/main i386 libmagic-mgc i386 1:5.35-4+deb10u1 [242 kB] Get: 17 http://deb.debian.org/debian buster/main i386 libmagic1 i386 1:5.35-4+deb10u1 [124 kB] Get: 18 http://deb.debian.org/debian buster/main i386 file i386 1:5.35-4+deb10u1 [66.3 kB] Get: 19 http://deb.debian.org/debian buster/main i386 gettext-base i386 0.19.8.1-9 [124 kB] Get: 20 http://deb.debian.org/debian buster/main i386 agda-bin i386 2.5.4.1-3+b1 [5946 kB] Get: 21 http://deb.debian.org/debian buster/main i386 libsigsegv2 i386 2.12-2 [33.2 kB] Get: 22 http://deb.debian.org/debian buster/main i386 m4 i386 1.4.18-2 [205 kB] Get: 23 http://deb.debian.org/debian buster/main i386 autoconf all 2.69-11 [341 kB] Get: 24 http://deb.debian.org/debian buster/main i386 autotools-dev all 20180224.1 [77.0 kB] Get: 25 http://deb.debian.org/debian buster/main i386 automake all 1:1.16.1-4 [771 kB] Get: 26 http://deb.debian.org/debian buster/main i386 autopoint all 0.19.8.1-9 [434 kB] Get: 27 http://deb.debian.org/debian buster/main i386 libtool all 2.4.6-9 [547 kB] Get: 28 http://deb.debian.org/debian buster/main i386 dh-autoreconf all 19 [16.9 kB] Get: 29 http://deb.debian.org/debian buster/main i386 libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 30 http://deb.debian.org/debian buster/main i386 libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 31 http://deb.debian.org/debian buster/main i386 dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 32 http://deb.debian.org/debian buster/main i386 libelf1 i386 0.176-1.1 [166 kB] Get: 33 http://deb.debian.org/debian buster/main i386 dwz i386 0.12-3 [81.4 kB] Get: 34 http://deb.debian.org/debian buster/main i386 libglib2.0-0 i386 2.58.3-2+deb10u2 [1334 kB] Get: 35 http://deb.debian.org/debian buster/main i386 libicu63 i386 63.1-6 [8443 kB] Get: 36 http://deb.debian.org/debian buster/main i386 libxml2 i386 2.9.4+dfsg1-7+b3 [721 kB] Get: 37 http://deb.debian.org/debian buster/main i386 libcroco3 i386 0.6.12-3 [151 kB] Get: 38 http://deb.debian.org/debian buster/main i386 gettext i386 0.19.8.1-9 [1314 kB] Get: 39 http://deb.debian.org/debian buster/main i386 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 40 http://deb.debian.org/debian buster/main i386 po-debconf all 1.0.21 [248 kB] Get: 41 http://deb.debian.org/debian buster/main i386 debhelper all 12.1.1 [1016 kB] Get: 42 http://deb.debian.org/debian buster/main i386 libghc-edison-api-dev i386 1.3.1-5+b2 [89.3 kB] Get: 43 http://deb.debian.org/debian buster/main i386 libghc-random-dev i386 1.1-7+b2 [133 kB] Get: 44 http://deb.debian.org/debian buster/main i386 libghc-primitive-dev i386 0.6.4.0-2+b2 [309 kB] Get: 45 http://deb.debian.org/debian buster/main i386 libghc-tf-random-dev i386 0.5-9+b2 [95.2 kB] Get: 46 http://deb.debian.org/debian buster/main i386 libghc-quickcheck2-dev i386 2.11.3-1+b2 [597 kB] Get: 47 http://deb.debian.org/debian buster/main i386 libghc-edison-core-dev i386 1.3.2.1-3+b2 [1058 kB] Get: 48 http://deb.debian.org/debian buster/main i386 libghc-hashable-dev i386 1.2.7.0-5+b1 [98.3 kB] Get: 49 http://deb.debian.org/debian buster/main i386 libghc-async-dev i386 2.2.1-2+b2 [69.7 kB] Get: 50 http://deb.debian.org/debian buster/main i386 libghc-blaze-builder-dev i386 0.4.1.0-3+b2 [86.4 kB] Get: 51 http://deb.debian.org/debian buster/main i386 libghc-blaze-markup-dev i386 0.8.2.1-4+b1 [119 kB] Get: 52 http://deb.debian.org/debian buster/main i386 libghc-blaze-html-dev i386 0.9.1.1-3+b1 [334 kB] Get: 53 http://deb.debian.org/debian buster/main i386 libghc-split-dev i386 0.2.3.3-2+b2 [51.1 kB] Get: 54 http://deb.debian.org/debian buster/main i386 libghc-boxes-dev i386 0.1.5-2+b2 [52.1 kB] Get: 55 http://deb.debian.org/debian buster/main i386 libghc-data-hash-dev i386 0.2.0.1-6+b2 [80.9 kB] Get: 56 http://deb.debian.org/debian buster/main i386 libghc-edit-distance-dev i386 0.2.2.1-8+b2 [103 kB] Get: 57 http://deb.debian.org/debian buster/main i386 libghc-stmonadtrans-dev i386 0.4.3-4+b2 [73.1 kB] Get: 58 http://deb.debian.org/debian buster/main i386 libghc-transformers-compat-dev i386 0.6.2-1+b2 [81.6 kB] Get: 59 http://deb.debian.org/debian buster/main i386 libghc-equivalence-dev i386 0.3.2-4+b2 [82.7 kB] Get: 60 http://deb.debian.org/debian buster/main i386 libghc-geniplate-mirror-dev i386 0.7.6-3+b2 [102 kB] Get: 61 http://deb.debian.org/debian buster/main i386 libghc-base-compat-dev i386 0.10.4-1+b2 [80.9 kB] Get: 62 http://deb.debian.org/debian buster/main i386 libghc-gitrev-dev i386 1.3.1-3+b2 [28.9 kB] Get: 63 http://deb.debian.org/debian buster/main i386 libghc-vector-dev i386 0.12.0.1-8+b2 [1237 kB] Get: 64 http://deb.debian.org/debian buster/main i386 libghc-hashtables-dev i386 1.2.3.1-2+b1 [211 kB] Get: 65 http://deb.debian.org/debian buster/main i386 libghc-ieee754-dev i386 0.8.0-3+b2 [76.3 kB] Get: 66 http://deb.debian.org/debian buster/main i386 libghc-murmur-hash-dev i386 0.1.0.9-3+b2 [40.7 kB] Get: 67 http://deb.debian.org/debian buster/main i386 libghc-regex-base-dev i386 0.93.2-13+b2 [67.3 kB] Get: 68 http://deb.debian.org/debian buster/main i386 libghc-regex-tdfa-dev i386 1.2.3.1-4+b2 [1682 kB] Get: 69 http://deb.debian.org/debian buster/main i386 libghc-strict-dev i386 0.3.2-15+b2 [53.6 kB] Get: 70 http://deb.debian.org/debian buster/main i386 libghc-unordered-containers-dev i386 0.2.9.0-2+b2 [223 kB] Get: 71 http://deb.debian.org/debian buster/main i386 libghc-network-uri-dev i386 2.6.1.0-6+b2 [137 kB] Get: 72 http://deb.debian.org/debian buster/main i386 libghc-utf8-string-dev i386 1.0.1.1-8+b2 [102 kB] Get: 73 http://deb.debian.org/debian buster/main i386 libghc-uri-encode-dev i386 1.5.0.5-4+b2 [20.2 kB] Get: 74 http://deb.debian.org/debian buster/main i386 zlib1g-dev i386 1:1.2.11.dfsg-1 [216 kB] Get: 75 http://deb.debian.org/debian buster/main i386 libghc-zlib-dev i386 0.6.2-2+b2 [181 kB] Get: 76 http://deb.debian.org/debian buster/main i386 libghc-agda-dev i386 2.5.4.1-3+b1 [16.8 MB] Get: 77 http://deb.debian.org/debian buster/main i386 libghc-unix-compat-dev i386 0.5.1-1+b2 [19.2 kB] Get: 78 http://deb.debian.org/debian buster/main i386 libghc-filemanip-dev i386 0.3.6.3-9+b2 [87.8 kB] Fetched 117 MB in 35s (3348 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:i386. (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 ... 19231 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_i386.deb ... Unpacking libbsd0:i386 (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_i386.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:i386. Preparing to unpack .../02-libuchardet0_0.0.6-3_i386.deb ... Unpacking libuchardet0:i386 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_i386.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:i386. Preparing to unpack .../04-libpipeline1_1.5.1-2_i386.deb ... Unpacking libpipeline1:i386 (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_i386.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package libgmpxx4ldbl:i386. Preparing to unpack .../06-libgmpxx4ldbl_2%3a6.1.2+dfsg-4_i386.deb ... Unpacking libgmpxx4ldbl:i386 (2:6.1.2+dfsg-4) ... Selecting previously unselected package libgmp-dev:i386. Preparing to unpack .../07-libgmp-dev_2%3a6.1.2+dfsg-4_i386.deb ... Unpacking libgmp-dev:i386 (2:6.1.2+dfsg-4) ... Selecting previously unselected package libffi-dev:i386. Preparing to unpack .../08-libffi-dev_3.2.1-9_i386.deb ... Unpacking libffi-dev:i386 (3.2.1-9) ... Selecting previously unselected package libbsd-dev:i386. Preparing to unpack .../09-libbsd-dev_0.9.1-2_i386.deb ... Unpacking libbsd-dev:i386 (0.9.1-2) ... Selecting previously unselected package libncurses6:i386. Preparing to unpack .../10-libncurses6_6.1+20181013-2+deb10u2_i386.deb ... Unpacking libncurses6:i386 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libncurses-dev:i386. Preparing to unpack .../11-libncurses-dev_6.1+20181013-2+deb10u2_i386.deb ... Unpacking libncurses-dev:i386 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package libncurses5-dev:i386. Preparing to unpack .../12-libncurses5-dev_6.1+20181013-2+deb10u2_i386.deb ... Unpacking libncurses5-dev:i386 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package ghc. Preparing to unpack .../13-ghc_8.4.4+dfsg1-3_i386.deb ... Unpacking ghc (8.4.4+dfsg1-3) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../14-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../15-libmagic-mgc_1%3a5.35-4+deb10u1_i386.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:i386. Preparing to unpack .../16-libmagic1_1%3a5.35-4+deb10u1_i386.deb ... Unpacking libmagic1:i386 (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../17-file_1%3a5.35-4+deb10u1_i386.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../18-gettext-base_0.19.8.1-9_i386.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package agda-bin. Preparing to unpack .../19-agda-bin_2.5.4.1-3+b1_i386.deb ... Unpacking agda-bin (2.5.4.1-3+b1) ... Selecting previously unselected package libsigsegv2:i386. Preparing to unpack .../20-libsigsegv2_2.12-2_i386.deb ... Unpacking libsigsegv2:i386 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../21-m4_1.4.18-2_i386.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../22-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../23-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../24-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../25-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../26-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../27-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../28-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../29-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../30-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:i386. Preparing to unpack .../31-libelf1_0.176-1.1_i386.deb ... Unpacking libelf1:i386 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../32-dwz_0.12-3_i386.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:i386. Preparing to unpack .../33-libglib2.0-0_2.58.3-2+deb10u2_i386.deb ... Unpacking libglib2.0-0:i386 (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:i386. Preparing to unpack .../34-libicu63_63.1-6_i386.deb ... Unpacking libicu63:i386 (63.1-6) ... Selecting previously unselected package libxml2:i386. Preparing to unpack .../35-libxml2_2.9.4+dfsg1-7+b3_i386.deb ... Unpacking libxml2:i386 (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:i386. Preparing to unpack .../36-libcroco3_0.6.12-3_i386.deb ... Unpacking libcroco3:i386 (0.6.12-3) ... Selecting previously unselected package gettext. Preparing to unpack .../37-gettext_0.19.8.1-9_i386.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../38-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../39-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../40-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Selecting previously unselected package libghc-edison-api-dev. Preparing to unpack .../41-libghc-edison-api-dev_1.3.1-5+b2_i386.deb ... Unpacking libghc-edison-api-dev (1.3.1-5+b2) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../42-libghc-random-dev_1.1-7+b2_i386.deb ... Unpacking libghc-random-dev (1.1-7+b2) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../43-libghc-primitive-dev_0.6.4.0-2+b2_i386.deb ... Unpacking libghc-primitive-dev (0.6.4.0-2+b2) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../44-libghc-tf-random-dev_0.5-9+b2_i386.deb ... Unpacking libghc-tf-random-dev (0.5-9+b2) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../45-libghc-quickcheck2-dev_2.11.3-1+b2_i386.deb ... Unpacking libghc-quickcheck2-dev (2.11.3-1+b2) ... Selecting previously unselected package libghc-edison-core-dev. Preparing to unpack .../46-libghc-edison-core-dev_1.3.2.1-3+b2_i386.deb ... Unpacking libghc-edison-core-dev (1.3.2.1-3+b2) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../47-libghc-hashable-dev_1.2.7.0-5+b1_i386.deb ... Unpacking libghc-hashable-dev (1.2.7.0-5+b1) ... Selecting previously unselected package libghc-async-dev. Preparing to unpack .../48-libghc-async-dev_2.2.1-2+b2_i386.deb ... Unpacking libghc-async-dev (2.2.1-2+b2) ... Selecting previously unselected package libghc-blaze-builder-dev. Preparing to unpack .../49-libghc-blaze-builder-dev_0.4.1.0-3+b2_i386.deb ... Unpacking libghc-blaze-builder-dev (0.4.1.0-3+b2) ... Selecting previously unselected package libghc-blaze-markup-dev. Preparing to unpack .../50-libghc-blaze-markup-dev_0.8.2.1-4+b1_i386.deb ... Unpacking libghc-blaze-markup-dev (0.8.2.1-4+b1) ... Selecting previously unselected package libghc-blaze-html-dev. Preparing to unpack .../51-libghc-blaze-html-dev_0.9.1.1-3+b1_i386.deb ... Unpacking libghc-blaze-html-dev (0.9.1.1-3+b1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../52-libghc-split-dev_0.2.3.3-2+b2_i386.deb ... Unpacking libghc-split-dev (0.2.3.3-2+b2) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../53-libghc-boxes-dev_0.1.5-2+b2_i386.deb ... Unpacking libghc-boxes-dev (0.1.5-2+b2) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../54-libghc-data-hash-dev_0.2.0.1-6+b2_i386.deb ... Unpacking libghc-data-hash-dev (0.2.0.1-6+b2) ... Selecting previously unselected package libghc-edit-distance-dev. Preparing to unpack .../55-libghc-edit-distance-dev_0.2.2.1-8+b2_i386.deb ... Unpacking libghc-edit-distance-dev (0.2.2.1-8+b2) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../56-libghc-stmonadtrans-dev_0.4.3-4+b2_i386.deb ... Unpacking libghc-stmonadtrans-dev (0.4.3-4+b2) ... Selecting previously unselected package libghc-transformers-compat-dev. Preparing to unpack .../57-libghc-transformers-compat-dev_0.6.2-1+b2_i386.deb ... Unpacking libghc-transformers-compat-dev (0.6.2-1+b2) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../58-libghc-equivalence-dev_0.3.2-4+b2_i386.deb ... Unpacking libghc-equivalence-dev (0.3.2-4+b2) ... Selecting previously unselected package libghc-geniplate-mirror-dev. Preparing to unpack .../59-libghc-geniplate-mirror-dev_0.7.6-3+b2_i386.deb ... Unpacking libghc-geniplate-mirror-dev (0.7.6-3+b2) ... Selecting previously unselected package libghc-base-compat-dev. Preparing to unpack .../60-libghc-base-compat-dev_0.10.4-1+b2_i386.deb ... Unpacking libghc-base-compat-dev (0.10.4-1+b2) ... Selecting previously unselected package libghc-gitrev-dev. Preparing to unpack .../61-libghc-gitrev-dev_1.3.1-3+b2_i386.deb ... Unpacking libghc-gitrev-dev (1.3.1-3+b2) ... Selecting previously unselected package libghc-vector-dev. Preparing to unpack .../62-libghc-vector-dev_0.12.0.1-8+b2_i386.deb ... Unpacking libghc-vector-dev (0.12.0.1-8+b2) ... Selecting previously unselected package libghc-hashtables-dev. Preparing to unpack .../63-libghc-hashtables-dev_1.2.3.1-2+b1_i386.deb ... Unpacking libghc-hashtables-dev (1.2.3.1-2+b1) ... Selecting previously unselected package libghc-ieee754-dev. Preparing to unpack .../64-libghc-ieee754-dev_0.8.0-3+b2_i386.deb ... Unpacking libghc-ieee754-dev (0.8.0-3+b2) ... Selecting previously unselected package libghc-murmur-hash-dev. Preparing to unpack .../65-libghc-murmur-hash-dev_0.1.0.9-3+b2_i386.deb ... Unpacking libghc-murmur-hash-dev (0.1.0.9-3+b2) ... Selecting previously unselected package libghc-regex-base-dev. Preparing to unpack .../66-libghc-regex-base-dev_0.93.2-13+b2_i386.deb ... Unpacking libghc-regex-base-dev (0.93.2-13+b2) ... Selecting previously unselected package libghc-regex-tdfa-dev. Preparing to unpack .../67-libghc-regex-tdfa-dev_1.2.3.1-4+b2_i386.deb ... Unpacking libghc-regex-tdfa-dev (1.2.3.1-4+b2) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../68-libghc-strict-dev_0.3.2-15+b2_i386.deb ... Unpacking libghc-strict-dev (0.3.2-15+b2) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../69-libghc-unordered-containers-dev_0.2.9.0-2+b2_i386.deb ... Unpacking libghc-unordered-containers-dev (0.2.9.0-2+b2) ... Selecting previously unselected package libghc-network-uri-dev. Preparing to unpack .../70-libghc-network-uri-dev_2.6.1.0-6+b2_i386.deb ... Unpacking libghc-network-uri-dev (2.6.1.0-6+b2) ... Selecting previously unselected package libghc-utf8-string-dev. Preparing to unpack .../71-libghc-utf8-string-dev_1.0.1.1-8+b2_i386.deb ... Unpacking libghc-utf8-string-dev (1.0.1.1-8+b2) ... Selecting previously unselected package libghc-uri-encode-dev. Preparing to unpack .../72-libghc-uri-encode-dev_1.5.0.5-4+b2_i386.deb ... Unpacking libghc-uri-encode-dev (1.5.0.5-4+b2) ... Selecting previously unselected package zlib1g-dev:i386. Preparing to unpack .../73-zlib1g-dev_1%3a1.2.11.dfsg-1_i386.deb ... Unpacking zlib1g-dev:i386 (1:1.2.11.dfsg-1) ... Selecting previously unselected package libghc-zlib-dev. Preparing to unpack .../74-libghc-zlib-dev_0.6.2-2+b2_i386.deb ... Unpacking libghc-zlib-dev (0.6.2-2+b2) ... Selecting previously unselected package libghc-agda-dev. Preparing to unpack .../75-libghc-agda-dev_2.5.4.1-3+b1_i386.deb ... Unpacking libghc-agda-dev (2.5.4.1-3+b1) ... Selecting previously unselected package libghc-unix-compat-dev. Preparing to unpack .../76-libghc-unix-compat-dev_0.5.1-1+b2_i386.deb ... Unpacking libghc-unix-compat-dev (0.5.1-1+b2) ... Selecting previously unselected package libghc-filemanip-dev. Preparing to unpack .../77-libghc-filemanip-dev_0.3.6.3-9+b2_i386.deb ... Unpacking libghc-filemanip-dev (0.3.6.3-9+b2) ... Setting up libpipeline1:i386 (1.5.1-2) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:i386 (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libmagic1:i386 (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libffi-dev:i386 (3.2.1-9) ... Setting up libicu63:i386 (63.1-6) ... Setting up autotools-dev (20180224.1) ... Setting up libgmpxx4ldbl:i386 (2:6.1.2+dfsg-4) ... Setting up libncurses6:i386 (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:i386 (2.12-2) ... Setting up autopoint (0.19.8.1-9) ... Setting up agda-bin (2.5.4.1-3+b1) ... Setting up zlib1g-dev:i386 (1:1.2.11.dfsg-1) ... Setting up sensible-utils (0.0.12) ... Setting up libuchardet0:i386 (0.0.6-3) ... Setting up libbsd0:i386 (0.9.1-2) ... Setting up libelf1:i386 (0.176-1.1) ... Setting up libxml2:i386 (2.9.4+dfsg1-7+b3) ... Setting up libbsd-dev:i386 (0.9.1-2) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libncurses-dev:i386 (6.1+20181013-2+deb10u2) ... Setting up libgmp-dev:i386 (2:6.1.2+dfsg-4) ... Setting up libtool (2.4.6-9) ... Setting up ghc (8.4.4+dfsg1-3) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Setting up libghc-random-dev (1.1-7+b2) ... Setting up libghc-edison-api-dev (1.3.1-5+b2) ... Setting up m4 (1.4.18-2) ... Setting up libghc-network-uri-dev (2.6.1.0-6+b2) ... Setting up libghc-strict-dev (0.3.2-15+b2) ... Setting up libghc-split-dev (0.2.3.3-2+b2) ... Setting up libghc-base-compat-dev (0.10.4-1+b2) ... Setting up bsdmainutils (11.1.2+b1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libghc-ieee754-dev (0.8.0-3+b2) ... Setting up libcroco3:i386 (0.6.12-3) ... Setting up libghc-stmonadtrans-dev (0.4.3-4+b2) ... Setting up autoconf (2.69-11) ... Setting up libghc-transformers-compat-dev (0.6.2-1+b2) ... Setting up libghc-regex-base-dev (0.93.2-13+b2) ... Setting up dwz (0.12-3) ... Setting up libghc-zlib-dev (0.6.2-2+b2) ... Setting up groff-base (1.22.4-3) ... Setting up libghc-murmur-hash-dev (0.1.0.9-3+b2) ... Setting up libncurses5-dev:i386 (6.1+20181013-2+deb10u2) ... Setting up libghc-geniplate-mirror-dev (0.7.6-3+b2) ... Setting up libghc-utf8-string-dev (1.0.1.1-8+b2) ... Setting up libghc-boxes-dev (0.1.5-2+b2) ... Setting up libghc-data-hash-dev (0.2.0.1-6+b2) ... Setting up libghc-uri-encode-dev (1.5.0.5-4+b2) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libghc-hashable-dev (1.2.7.0-5+b1) ... Setting up libghc-unix-compat-dev (0.5.1-1+b2) ... Setting up libghc-edit-distance-dev (0.2.2.1-8+b2) ... Setting up libghc-blaze-builder-dev (0.4.1.0-3+b2) ... Setting up gettext (0.19.8.1-9) ... Setting up libghc-primitive-dev (0.6.4.0-2+b2) ... Setting up libghc-filemanip-dev (0.3.6.3-9+b2) ... Setting up libghc-regex-tdfa-dev (1.2.3.1-4+b2) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libghc-gitrev-dev (1.3.1-3+b2) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libghc-equivalence-dev (0.3.2-4+b2) ... Setting up libghc-unordered-containers-dev (0.2.9.0-2+b2) ... Setting up libghc-blaze-markup-dev (0.8.2.1-4+b1) ... Setting up libghc-async-dev (2.2.1-2+b2) ... Setting up libghc-blaze-html-dev (0.9.1.1-3+b1) ... Setting up libghc-vector-dev (0.12.0.1-8+b2) ... Setting up libghc-tf-random-dev (0.5-9+b2) ... Setting up po-debconf (1.0.21) ... Setting up libghc-quickcheck2-dev (2.11.3-1+b2) ... Setting up libghc-edison-core-dev (1.3.2.1-3+b2) ... Setting up libghc-hashtables-dev (1.2.3.1-2+b1) ... Setting up libghc-agda-dev (2.5.4.1-3+b1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Setting up debhelper (12.1.1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/agda-stdlib-0.17/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package agda-stdlib dpkg-buildpackage: info: source version 0.17-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Sean Whitton dpkg-source --before-build . dpkg-buildpackage: info: host architecture i386 fakeroot debian/rules clean dh clean debian/rules override_dh_auto_clean make[1]: Entering directory '/build/agda-stdlib-0.17' find /build/agda-stdlib-0.17 -name "*.agdai" -delete rm -rf /build/agda-stdlib-0.17/html rm -f /build/agda-stdlib-0.17/GenerateEverything \ /build/agda-stdlib-0.17/GenerateEverything.hi \ /build/agda-stdlib-0.17/GenerateEverything.o \ /build/agda-stdlib-0.17/Everything.agda dh_auto_clean make -j10 clean make[2]: Entering directory '/build/agda-stdlib-0.17' find . -type f -name '*.agdai' -delete make[2]: Leaving directory '/build/agda-stdlib-0.17' make[1]: Leaving directory '/build/agda-stdlib-0.17' dh_clean debian/rules build dh build dh_update_autotools_config dh_autoreconf dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory '/build/agda-stdlib-0.17' ghc --make GenerateEverything.hs [1 of 1] Compiling Main ( GenerateEverything.hs, GenerateEverything.o ) Linking GenerateEverything ... ./GenerateEverything agda +RTS -K1G -RTS -i /build/agda-stdlib-0.17 -i /build/agda-stdlib-0.17/src /build/agda-stdlib-0.17/Everything.agda Checking Everything (/build/agda-stdlib-0.17/Everything.agda). Checking Algebra (/build/agda-stdlib-0.17/src/Algebra.agda). Checking Relation.Binary (/build/agda-stdlib-0.17/src/Relation/Binary.agda). Checking Data.Product (/build/agda-stdlib-0.17/src/Data/Product.agda). Checking Function (/build/agda-stdlib-0.17/src/Function.agda). Checking Level (/build/agda-stdlib-0.17/src/Level.agda). Checking Strict (/build/agda-stdlib-0.17/src/Strict.agda). Checking Relation.Nullary (/build/agda-stdlib-0.17/src/Relation/Nullary.agda). Checking Data.Empty (/build/agda-stdlib-0.17/src/Data/Empty.agda). Checking Data.Empty.Irrelevant (/build/agda-stdlib-0.17/src/Data/Empty/Irrelevant.agda). Checking Data.Sum (/build/agda-stdlib-0.17/src/Data/Sum.agda). Checking Data.Unit.Base (/build/agda-stdlib-0.17/src/Data/Unit/Base.agda). Checking Data.Maybe.Base (/build/agda-stdlib-0.17/src/Data/Maybe/Base.agda). Checking Data.Bool.Base (/build/agda-stdlib-0.17/src/Data/Bool/Base.agda). Checking Relation.Binary.Core (/build/agda-stdlib-0.17/src/Relation/Binary/Core.agda). Checking Data.Sum.Base (/build/agda-stdlib-0.17/src/Data/Sum/Base.agda). Checking Relation.Binary.PropositionalEquality.Core (/build/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Data.These (/build/agda-stdlib-0.17/src/Data/These.agda). Checking Relation.Binary.Consequences (/build/agda-stdlib-0.17/src/Relation/Binary/Consequences.agda). Checking Relation.Unary (/build/agda-stdlib-0.17/src/Relation/Unary.agda). Checking Algebra.FunctionProperties (/build/agda-stdlib-0.17/src/Algebra/FunctionProperties.agda). Checking Algebra.FunctionProperties.Core (/build/agda-stdlib-0.17/src/Algebra/FunctionProperties/Core.agda). Checking Algebra.Structures (/build/agda-stdlib-0.17/src/Algebra/Structures.agda). Checking Algebra.FunctionProperties.Consequences (/build/agda-stdlib-0.17/src/Algebra/FunctionProperties/Consequences.agda). Checking Relation.Binary.EqReasoning (/build/agda-stdlib-0.17/src/Relation/Binary/EqReasoning.agda). Checking Relation.Binary.PreorderReasoning (/build/agda-stdlib-0.17/src/Relation/Binary/PreorderReasoning.agda). Checking Relation.Binary.PropositionalEquality (/build/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality.agda). Checking Function.Equality (/build/agda-stdlib-0.17/src/Function/Equality.agda). Checking Relation.Binary.Indexed.Heterogeneous (/build/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous.agda). Checking Relation.Binary.Indexed.Heterogeneous.Core (/build/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous/Core.agda). Checking Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (/build/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda). Checking Relation.Binary.HeterogeneousEquality.Core (/build/agda-stdlib-0.17/src/Relation/Binary/HeterogeneousEquality/Core.agda). Checking Algebra.Morphism (/build/agda-stdlib-0.17/src/Algebra/Morphism.agda). Checking Algebra.Properties.Group (/build/agda-stdlib-0.17/src/Algebra/Properties/Group.agda). Checking Algebra.Operations.CommutativeMonoid (/build/agda-stdlib-0.17/src/Algebra/Operations/CommutativeMonoid.agda). Checking Data.Nat.Base (/build/agda-stdlib-0.17/src/Data/Nat/Base.agda). Checking Data.List (/build/agda-stdlib-0.17/src/Data/List.agda). Checking Data.List.Base (/build/agda-stdlib-0.17/src/Data/List/Base.agda). Checking Data.Fin (/build/agda-stdlib-0.17/src/Data/Fin.agda). Checking Data.Fin.Base (/build/agda-stdlib-0.17/src/Data/Fin/Base.agda). Checking Data.Nat (/build/agda-stdlib-0.17/src/Data/Nat.agda). Checking Data.Nat.Properties (/build/agda-stdlib-0.17/src/Data/Nat/Properties.agda). Checking Function.Injection (/build/agda-stdlib-0.17/src/Function/Injection.agda). Checking Relation.Nullary.Decidable (/build/agda-stdlib-0.17/src/Relation/Nullary/Decidable.agda). Checking Data.Unit (/build/agda-stdlib-0.17/src/Data/Unit.agda). Checking Function.Equivalence (/build/agda-stdlib-0.17/src/Function/Equivalence.agda). Checking Relation.Nullary.Negation (/build/agda-stdlib-0.17/src/Relation/Nullary/Negation.agda). Checking Category.Monad (/build/agda-stdlib-0.17/src/Category/Monad.agda). Checking Category.Monad.Indexed (/build/agda-stdlib-0.17/src/Category/Monad/Indexed.agda). Checking Category.Applicative.Indexed (/build/agda-stdlib-0.17/src/Category/Applicative/Indexed.agda). Checking Category.Functor (/build/agda-stdlib-0.17/src/Category/Functor.agda). Checking Relation.Binary.PartialOrderReasoning (/build/agda-stdlib-0.17/src/Relation/Binary/PartialOrderReasoning.agda). Checking Data.Fin.Properties (/build/agda-stdlib-0.17/src/Data/Fin/Properties.agda). Checking Category.Applicative (/build/agda-stdlib-0.17/src/Category/Applicative.agda). Checking Relation.Unary.Properties (/build/agda-stdlib-0.17/src/Relation/Unary/Properties.agda). Checking Relation.Nullary.Product (/build/agda-stdlib-0.17/src/Relation/Nullary/Product.agda). Checking Relation.Nullary.Sum (/build/agda-stdlib-0.17/src/Relation/Nullary/Sum.agda). Checking Data.Table.Base (/build/agda-stdlib-0.17/src/Data/Table/Base.agda). Checking Data.Vec (/build/agda-stdlib-0.17/src/Data/Vec.agda). Checking Algebra.Operations.Semiring (/build/agda-stdlib-0.17/src/Algebra/Operations/Semiring.agda). Checking Algebra.Properties.AbelianGroup (/build/agda-stdlib-0.17/src/Algebra/Properties/AbelianGroup.agda). Checking Algebra.Properties.BooleanAlgebra (/build/agda-stdlib-0.17/src/Algebra/Properties/BooleanAlgebra.agda). Checking Algebra.Properties.DistributiveLattice (/build/agda-stdlib-0.17/src/Algebra/Properties/DistributiveLattice.agda). Checking Algebra.Properties.Lattice (/build/agda-stdlib-0.17/src/Algebra/Properties/Lattice.agda). Checking Relation.Binary.Lattice (/build/agda-stdlib-0.17/src/Relation/Binary/Lattice.agda). Checking Algebra.Properties.BooleanAlgebra.Expression (/build/agda-stdlib-0.17/src/Algebra/Properties/BooleanAlgebra/Expression.agda). Checking Data.Vec.Categorical (/build/agda-stdlib-0.17/src/Data/Vec/Categorical.agda). Checking Function.Identity.Categorical (/build/agda-stdlib-0.17/src/Function/Identity/Categorical.agda). Checking Category.Comonad (/build/agda-stdlib-0.17/src/Category/Comonad.agda). Checking Data.Vec.Properties (/build/agda-stdlib-0.17/src/Data/Vec/Properties.agda). Checking Data.List.Any (/build/agda-stdlib-0.17/src/Data/List/Any.agda). Checking Data.List.Membership.Propositional (/build/agda-stdlib-0.17/src/Data/List/Membership/Propositional.agda). Checking Data.List.Membership.Setoid (/build/agda-stdlib-0.17/src/Data/List/Membership/Setoid.agda). Checking Function.Inverse (/build/agda-stdlib-0.17/src/Function/Inverse.agda). Checking Function.Bijection (/build/agda-stdlib-0.17/src/Function/Bijection.agda). Checking Function.Surjection (/build/agda-stdlib-0.17/src/Function/Surjection.agda). Checking Function.LeftInverse (/build/agda-stdlib-0.17/src/Function/LeftInverse.agda). Checking Relation.Binary.HeterogeneousEquality (/build/agda-stdlib-0.17/src/Relation/Binary/HeterogeneousEquality.agda). Checking Data.Unit.NonEta (/build/agda-stdlib-0.17/src/Data/Unit/NonEta.agda). Checking Relation.Binary.Indexed.Heterogeneous.Construct.At (/build/agda-stdlib-0.17/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda). Checking Data.Vec.Relation.Pointwise.Extensional (/build/agda-stdlib-0.17/src/Data/Vec/Relation/Pointwise/Extensional.agda). Checking Data.Vec.Relation.Pointwise.Inductive (/build/agda-stdlib-0.17/src/Data/Vec/Relation/Pointwise/Inductive.agda). Checking Data.Vec.All (/build/agda-stdlib-0.17/src/Data/Vec/All.agda). Checking Relation.Binary.Construct.Closure.Transitive (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/Transitive.agda). Checking Relation.Binary.Reflection (/build/agda-stdlib-0.17/src/Relation/Binary/Reflection.agda). Checking Data.Vec.N-ary (/build/agda-stdlib-0.17/src/Data/Vec/N-ary.agda). Checking Algebra.Properties.CommutativeMonoid (/build/agda-stdlib-0.17/src/Algebra/Properties/CommutativeMonoid.agda). Checking Algebra.Solver.CommutativeMonoid (/build/agda-stdlib-0.17/src/Algebra/Solver/CommutativeMonoid.agda). Checking Data.Maybe (/build/agda-stdlib-0.17/src/Data/Maybe.agda). Checking Data.Nat.GeneralisedArithmetic (/build/agda-stdlib-0.17/src/Data/Nat/GeneralisedArithmetic.agda). Checking Data.Fin.Permutation (/build/agda-stdlib-0.17/src/Data/Fin/Permutation.agda). Checking Data.Fin.Permutation.Components (/build/agda-stdlib-0.17/src/Data/Fin/Permutation/Components.agda). Checking Data.Table (/build/agda-stdlib-0.17/src/Data/Table.agda). Checking Data.Bool (/build/agda-stdlib-0.17/src/Data/Bool.agda). Checking Data.Table.Relation.Equality (/build/agda-stdlib-0.17/src/Data/Table/Relation/Equality.agda). Checking Data.Table.Properties (/build/agda-stdlib-0.17/src/Data/Table/Properties.agda). Checking Algebra.Properties.Ring (/build/agda-stdlib-0.17/src/Algebra/Properties/Ring.agda). Checking Algebra.Solver.CommutativeMonoid.Example (/build/agda-stdlib-0.17/src/Algebra/Solver/CommutativeMonoid/Example.agda). Checking Data.Bool.Properties (/build/agda-stdlib-0.17/src/Data/Bool/Properties.agda). Checking Algebra.Solver.IdempotentCommutativeMonoid (/build/agda-stdlib-0.17/src/Algebra/Solver/IdempotentCommutativeMonoid.agda). Checking Algebra.Solver.IdempotentCommutativeMonoid.Example (/build/agda-stdlib-0.17/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda). Checking Algebra.Solver.Monoid (/build/agda-stdlib-0.17/src/Algebra/Solver/Monoid.agda). Checking Data.List.Relation.Equality.DecPropositional (/build/agda-stdlib-0.17/src/Data/List/Relation/Equality/DecPropositional.agda). Checking Data.List.Relation.Equality.Propositional (/build/agda-stdlib-0.17/src/Data/List/Relation/Equality/Propositional.agda). Checking Data.List.Relation.Equality.Setoid (/build/agda-stdlib-0.17/src/Data/List/Relation/Equality/Setoid.agda). Checking Data.List.Relation.Pointwise (/build/agda-stdlib-0.17/src/Data/List/Relation/Pointwise.agda). Checking Data.List.Relation.Equality.DecSetoid (/build/agda-stdlib-0.17/src/Data/List/Relation/Equality/DecSetoid.agda). Checking Algebra.Solver.Ring (/build/agda-stdlib-0.17/src/Algebra/Solver/Ring.agda). Checking Algebra.Solver.Ring.AlmostCommutativeRing (/build/agda-stdlib-0.17/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda). Checking Algebra.Solver.Ring.Lemmas (/build/agda-stdlib-0.17/src/Algebra/Solver/Ring/Lemmas.agda). Checking Algebra.Solver.Ring.NaturalCoefficients (/build/agda-stdlib-0.17/src/Algebra/Solver/Ring/NaturalCoefficients.agda). Checking Algebra.Solver.Ring.Simple (/build/agda-stdlib-0.17/src/Algebra/Solver/Ring/Simple.agda). Checking Category.Applicative.Predicate (/build/agda-stdlib-0.17/src/Category/Applicative/Predicate.agda). Checking Category.Functor.Predicate (/build/agda-stdlib-0.17/src/Category/Functor/Predicate.agda). Checking Relation.Unary.PredicateTransformer (/build/agda-stdlib-0.17/src/Relation/Unary/PredicateTransformer.agda). Checking Category.Monad.Continuation (/build/agda-stdlib-0.17/src/Category/Monad/Continuation.agda). Checking Category.Monad.Partiality (/build/agda-stdlib-0.17/src/Category/Monad/Partiality.agda). Checking Codata.Musical.Notation (/build/agda-stdlib-0.17/src/Codata/Musical/Notation.agda). Checking Category.Monad.Partiality.All (/build/agda-stdlib-0.17/src/Category/Monad/Partiality/All.agda). Checking Category.Monad.Predicate (/build/agda-stdlib-0.17/src/Category/Monad/Predicate.agda). Checking Category.Monad.State (/build/agda-stdlib-0.17/src/Category/Monad/State.agda). Checking Codata.Cofin (/build/agda-stdlib-0.17/src/Codata/Cofin.agda). Checking Size (/build/agda-stdlib-0.17/src/Size.agda). Checking Codata.Thunk (/build/agda-stdlib-0.17/src/Codata/Thunk.agda). Checking Codata.Conat (/build/agda-stdlib-0.17/src/Codata/Conat.agda). Checking Codata.Musical.Conat (/build/agda-stdlib-0.17/src/Codata/Musical/Conat.agda). Checking Codata.Conat.Bisimilarity (/build/agda-stdlib-0.17/src/Codata/Conat/Bisimilarity.agda). Checking Codata.Musical.Cofin (/build/agda-stdlib-0.17/src/Codata/Musical/Cofin.agda). Checking Codata.Cofin.Literals (/build/agda-stdlib-0.17/src/Codata/Cofin/Literals.agda). Checking Codata.Conat.Properties (/build/agda-stdlib-0.17/src/Codata/Conat/Properties.agda). Checking Codata.Colist (/build/agda-stdlib-0.17/src/Codata/Colist.agda). Checking Data.List.NonEmpty (/build/agda-stdlib-0.17/src/Data/List/NonEmpty.agda). Checking Data.BoundedVec (/build/agda-stdlib-0.17/src/Data/BoundedVec.agda). Checking Data.BoundedVec.Inefficient (/build/agda-stdlib-0.17/src/Data/BoundedVec/Inefficient.agda). Checking Data.Nat.Solver (/build/agda-stdlib-0.17/src/Data/Nat/Solver.agda). Checking Codata.Delay (/build/agda-stdlib-0.17/src/Codata/Delay.agda). Checking Codata.Stream (/build/agda-stdlib-0.17/src/Codata/Stream.agda). Checking Codata.Musical.Stream (/build/agda-stdlib-0.17/src/Codata/Musical/Stream.agda). Checking Codata.Musical.Colist (/build/agda-stdlib-0.17/src/Codata/Musical/Colist.agda). Checking Relation.Binary.Construct.FromRel (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/FromRel.agda). Checking Codata.Colist.Bisimilarity (/build/agda-stdlib-0.17/src/Codata/Colist/Bisimilarity.agda). Checking Codata.Colist.Categorical (/build/agda-stdlib-0.17/src/Codata/Colist/Categorical.agda). Checking Codata.Colist.Properties (/build/agda-stdlib-0.17/src/Codata/Colist/Properties.agda). Checking Codata.Conat.Literals (/build/agda-stdlib-0.17/src/Codata/Conat/Literals.agda). Checking Codata.Covec (/build/agda-stdlib-0.17/src/Codata/Covec.agda). Checking Codata.Musical.Covec (/build/agda-stdlib-0.17/src/Codata/Musical/Covec.agda). Checking Codata.Covec.Bisimilarity (/build/agda-stdlib-0.17/src/Codata/Covec/Bisimilarity.agda). Checking Codata.Covec.Categorical (/build/agda-stdlib-0.17/src/Codata/Covec/Categorical.agda). Checking Codata.Covec.Properties (/build/agda-stdlib-0.17/src/Codata/Covec/Properties.agda). Checking Codata.Delay.Bisimilarity (/build/agda-stdlib-0.17/src/Codata/Delay/Bisimilarity.agda). Checking Codata.Delay.Categorical (/build/agda-stdlib-0.17/src/Codata/Delay/Categorical.agda). Checking Codata.Delay.Properties (/build/agda-stdlib-0.17/src/Codata/Delay/Properties.agda). Checking Codata.M (/build/agda-stdlib-0.17/src/Codata/M.agda). Checking Data.Container.Core (/build/agda-stdlib-0.17/src/Data/Container/Core.agda). Checking Data.Container (/build/agda-stdlib-0.17/src/Data/Container.agda). Checking Codata.Musical.M (/build/agda-stdlib-0.17/src/Codata/Musical/M.agda). Checking Data.W (/build/agda-stdlib-0.17/src/Data/W.agda). Checking Function.Related (/build/agda-stdlib-0.17/src/Function/Related.agda). Checking Codata.Musical.Colist.Infinite-merge (/build/agda-stdlib-0.17/src/Codata/Musical/Colist/Infinite-merge.agda). Checking Data.Sum.Properties (/build/agda-stdlib-0.17/src/Data/Sum/Properties.agda). Checking Data.Sum.Relation.Pointwise (/build/agda-stdlib-0.17/src/Data/Sum/Relation/Pointwise.agda). Checking Data.Sum.Relation.Core (/build/agda-stdlib-0.17/src/Data/Sum/Relation/Core.agda). Checking Function.Related.TypeIsomorphisms (/build/agda-stdlib-0.17/src/Function/Related/TypeIsomorphisms.agda). Checking Data.Product.Relation.Pointwise.NonDependent (/build/agda-stdlib-0.17/src/Data/Product/Relation/Pointwise/NonDependent.agda). Checking Data.Product.Relation.Pointwise.Dependent (/build/agda-stdlib-0.17/src/Data/Product/Relation/Pointwise/Dependent.agda). Checking Induction.Nat (/build/agda-stdlib-0.17/src/Induction/Nat.agda). Checking Induction (/build/agda-stdlib-0.17/src/Induction.agda). Checking Induction.WellFounded (/build/agda-stdlib-0.17/src/Induction/WellFounded.agda). Checking Codata.Musical.Costring (/build/agda-stdlib-0.17/src/Codata/Musical/Costring.agda). Checking Data.Char (/build/agda-stdlib-0.17/src/Data/Char.agda). Checking Relation.Binary.Construct.On (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/On.agda). Checking Data.Char.Base (/build/agda-stdlib-0.17/src/Data/Char/Base.agda). Checking Data.String.Base (/build/agda-stdlib-0.17/src/Data/String/Base.agda). Checking Data.String (/build/agda-stdlib-0.17/src/Data/String.agda). Checking Data.List.Relation.Lex.Strict (/build/agda-stdlib-0.17/src/Data/List/Relation/Lex/Strict.agda). Checking Data.List.Relation.Lex.Core (/build/agda-stdlib-0.17/src/Data/List/Relation/Lex/Core.agda). Checking Codata.Musical.M.Indexed (/build/agda-stdlib-0.17/src/Codata/Musical/M/Indexed.agda). Checking Data.Container.Indexed.Core (/build/agda-stdlib-0.17/src/Data/Container/Indexed/Core.agda). Checking Codata.Stream.Bisimilarity (/build/agda-stdlib-0.17/src/Codata/Stream/Bisimilarity.agda). Checking Codata.Stream.Categorical (/build/agda-stdlib-0.17/src/Codata/Stream/Categorical.agda). Checking Codata.Stream.Properties (/build/agda-stdlib-0.17/src/Codata/Stream/Properties.agda). Checking Data.AVL (/build/agda-stdlib-0.17/src/Data/AVL.agda). Checking Data.DifferenceList (/build/agda-stdlib-0.17/src/Data/DifferenceList.agda). Checking Data.AVL.Indexed (/build/agda-stdlib-0.17/src/Data/AVL/Indexed.agda). Checking Data.AVL.Key (/build/agda-stdlib-0.17/src/Data/AVL/Key.agda). Checking Data.AVL.Height (/build/agda-stdlib-0.17/src/Data/AVL/Height.agda). Checking Data.AVL.IndexedMap (/build/agda-stdlib-0.17/src/Data/AVL/IndexedMap.agda). Checking Data.AVL.Sets (/build/agda-stdlib-0.17/src/Data/AVL/Sets.agda). Checking Data.Bin (/build/agda-stdlib-0.17/src/Data/Bin.agda). Checking Data.Digit (/build/agda-stdlib-0.17/src/Data/Digit.agda). Checking Data.Nat.DivMod (/build/agda-stdlib-0.17/src/Data/Nat/DivMod.agda). Checking Data.Nat.DivMod.Core (/build/agda-stdlib-0.17/src/Data/Nat/DivMod/Core.agda). Checking Data.Bin.Properties (/build/agda-stdlib-0.17/src/Data/Bin/Properties.agda). Checking Data.List.Properties (/build/agda-stdlib-0.17/src/Data/List/Properties.agda). Checking Data.List.All (/build/agda-stdlib-0.17/src/Data/List/All.agda). Checking Data.Bool.Show (/build/agda-stdlib-0.17/src/Data/Bool/Show.agda). Checking Data.Bool.Solver (/build/agda-stdlib-0.17/src/Data/Bool/Solver.agda). Checking Data.Char.Unsafe (/build/agda-stdlib-0.17/src/Data/Char/Unsafe.agda). Checking Relation.Binary.PropositionalEquality.TrustMe (/build/agda-stdlib-0.17/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Checking Data.Container.Any (/build/agda-stdlib-0.17/src/Data/Container/Any.agda). Checking Data.Container.Combinator (/build/agda-stdlib-0.17/src/Data/Container/Combinator.agda). Checking Data.Container.FreeMonad (/build/agda-stdlib-0.17/src/Data/Container/FreeMonad.agda). Checking Data.Container.Indexed (/build/agda-stdlib-0.17/src/Data/Container/Indexed.agda). Checking Data.W.Indexed (/build/agda-stdlib-0.17/src/Data/W/Indexed.agda). Checking Data.Container.Indexed.Combinator (/build/agda-stdlib-0.17/src/Data/Container/Indexed/Combinator.agda). Checking Data.Container.Indexed.FreeMonad (/build/agda-stdlib-0.17/src/Data/Container/Indexed/FreeMonad.agda). Checking Data.DifferenceNat (/build/agda-stdlib-0.17/src/Data/DifferenceNat.agda). Checking Data.DifferenceVec (/build/agda-stdlib-0.17/src/Data/DifferenceVec.agda). Checking Data.Fin.Dec (/build/agda-stdlib-0.17/src/Data/Fin/Dec.agda). Checking Data.Fin.Subset.Properties (/build/agda-stdlib-0.17/src/Data/Fin/Subset/Properties.agda). Checking Data.Fin.Subset (/build/agda-stdlib-0.17/src/Data/Fin/Subset.agda). Checking Data.Fin.Literals (/build/agda-stdlib-0.17/src/Data/Fin/Literals.agda). Checking Data.Fin.Substitution (/build/agda-stdlib-0.17/src/Data/Fin/Substitution.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda). Checking Data.Fin.Substitution.Example (/build/agda-stdlib-0.17/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/build/agda-stdlib-0.17/src/Data/Fin/Substitution/Lemmas.agda). Checking Data.Fin.Substitution.List (/build/agda-stdlib-0.17/src/Data/Fin/Substitution/List.agda). Checking Data.Float (/build/agda-stdlib-0.17/src/Data/Float.agda). Checking Data.Float.Unsafe (/build/agda-stdlib-0.17/src/Data/Float/Unsafe.agda). Checking Data.Graph.Acyclic (/build/agda-stdlib-0.17/src/Data/Graph/Acyclic.agda). Checking Data.Integer (/build/agda-stdlib-0.17/src/Data/Integer.agda). Checking Data.Nat.Show (/build/agda-stdlib-0.17/src/Data/Nat/Show.agda). Checking Data.Sign (/build/agda-stdlib-0.17/src/Data/Sign.agda). Checking Data.Integer.Base (/build/agda-stdlib-0.17/src/Data/Integer/Base.agda). Checking Data.Integer.Properties (/build/agda-stdlib-0.17/src/Data/Integer/Properties.agda). Checking Data.Sign.Properties (/build/agda-stdlib-0.17/src/Data/Sign/Properties.agda). Checking Data.Integer.Addition.Properties (/build/agda-stdlib-0.17/src/Data/Integer/Addition/Properties.agda). Checking Data.Integer.Divisibility (/build/agda-stdlib-0.17/src/Data/Integer/Divisibility.agda). Checking Data.Nat.Divisibility (/build/agda-stdlib-0.17/src/Data/Nat/Divisibility.agda). Checking Data.Nat.Coprimality (/build/agda-stdlib-0.17/src/Data/Nat/Coprimality.agda). Checking Data.Nat.GCD (/build/agda-stdlib-0.17/src/Data/Nat/GCD.agda). Checking Data.Nat.GCD.Lemmas (/build/agda-stdlib-0.17/src/Data/Nat/GCD/Lemmas.agda). Checking Induction.Lexicographic (/build/agda-stdlib-0.17/src/Induction/Lexicographic.agda). Checking Data.Nat.Primality (/build/agda-stdlib-0.17/src/Data/Nat/Primality.agda). Checking Data.Integer.Literals (/build/agda-stdlib-0.17/src/Data/Integer/Literals.agda). Checking Data.Integer.Multiplication.Properties (/build/agda-stdlib-0.17/src/Data/Integer/Multiplication/Properties.agda). Checking Data.Integer.Solver (/build/agda-stdlib-0.17/src/Data/Integer/Solver.agda). Checking Data.List.All.Properties (/build/agda-stdlib-0.17/src/Data/List/All/Properties.agda). Checking Data.List.Relation.Subset.Propositional (/build/agda-stdlib-0.17/src/Data/List/Relation/Subset/Propositional.agda). Checking Data.List.Relation.Subset.Setoid (/build/agda-stdlib-0.17/src/Data/List/Relation/Subset/Setoid.agda). Checking Data.List.Any.Properties (/build/agda-stdlib-0.17/src/Data/List/Any/Properties.agda). Checking Data.List.Categorical (/build/agda-stdlib-0.17/src/Data/List/Categorical.agda). Checking Data.List.Membership.Propositional.Properties.Core (/build/agda-stdlib-0.17/src/Data/List/Membership/Propositional/Properties/Core.agda). Checking Data.Product.Properties (/build/agda-stdlib-0.17/src/Data/Product/Properties.agda). Checking Data.List.Countdown (/build/agda-stdlib-0.17/src/Data/List/Countdown.agda). Checking Data.List.Literals (/build/agda-stdlib-0.17/src/Data/List/Literals.agda). Checking Data.List.Membership.DecPropositional (/build/agda-stdlib-0.17/src/Data/List/Membership/DecPropositional.agda). Checking Data.List.Membership.DecSetoid (/build/agda-stdlib-0.17/src/Data/List/Membership/DecSetoid.agda). Checking Data.List.Membership.Propositional.Properties (/build/agda-stdlib-0.17/src/Data/List/Membership/Propositional/Properties.agda). Checking Data.List.Membership.Setoid.Properties (/build/agda-stdlib-0.17/src/Data/List/Membership/Setoid/Properties.agda). Checking Relation.Binary.Properties.DecTotalOrder (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/DecTotalOrder.agda). Checking Relation.Binary.Construct.NonStrictToStrict (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/NonStrictToStrict.agda). Checking Data.List.NonEmpty.Categorical (/build/agda-stdlib-0.17/src/Data/List/NonEmpty/Categorical.agda). Checking Data.List.NonEmpty.Properties (/build/agda-stdlib-0.17/src/Data/List/NonEmpty/Properties.agda). Checking Data.List.Relation.BagAndSetEquality (/build/agda-stdlib-0.17/src/Data/List/Relation/BagAndSetEquality.agda). Checking Data.List.Relation.Subset.Propositional.Properties (/build/agda-stdlib-0.17/src/Data/List/Relation/Subset/Propositional/Properties.agda). Checking Data.List.Relation.Subset.Setoid.Properties (/build/agda-stdlib-0.17/src/Data/List/Relation/Subset/Setoid/Properties.agda). Checking Data.List.Relation.Lex.NonStrict (/build/agda-stdlib-0.17/src/Data/List/Relation/Lex/NonStrict.agda). Checking Data.List.Relation.Permutation.Inductive (/build/agda-stdlib-0.17/src/Data/List/Relation/Permutation/Inductive.agda). Checking Data.List.Relation.Permutation.Inductive.Properties (/build/agda-stdlib-0.17/src/Data/List/Relation/Permutation/Inductive/Properties.agda). Checking Data.List.Relation.Sublist.Propositional (/build/agda-stdlib-0.17/src/Data/List/Relation/Sublist/Propositional.agda). Checking Data.List.Relation.Sublist.Propositional.Properties (/build/agda-stdlib-0.17/src/Data/List/Relation/Sublist/Propositional/Properties.agda). Checking Data.List.Relation.Sublist.Propositional.Solver (/build/agda-stdlib-0.17/src/Data/List/Relation/Sublist/Propositional/Solver.agda). Checking Data.List.Reverse (/build/agda-stdlib-0.17/src/Data/List/Reverse.agda). Checking Data.List.Solver (/build/agda-stdlib-0.17/src/Data/List/Solver.agda). Checking Data.List.Zipper (/build/agda-stdlib-0.17/src/Data/List/Zipper.agda). Checking Data.List.Zipper.Properties (/build/agda-stdlib-0.17/src/Data/List/Zipper/Properties.agda). Checking Data.Maybe.Categorical (/build/agda-stdlib-0.17/src/Data/Maybe/Categorical.agda). Checking Data.Nat.DivMod.Unsafe (/build/agda-stdlib-0.17/src/Data/Nat/DivMod/Unsafe.agda). Checking Data.Nat.Unsafe (/build/agda-stdlib-0.17/src/Data/Nat/Unsafe.agda). Checking Data.Nat.InfinitelyOften (/build/agda-stdlib-0.17/src/Data/Nat/InfinitelyOften.agda). Checking Data.Nat.LCM (/build/agda-stdlib-0.17/src/Data/Nat/LCM.agda). Checking Data.Nat.Literals (/build/agda-stdlib-0.17/src/Data/Nat/Literals.agda). Checking Data.Nat.Properties.Simple (/build/agda-stdlib-0.17/src/Data/Nat/Properties/Simple.agda). Checking Data.Plus (/build/agda-stdlib-0.17/src/Data/Plus.agda). Checking Data.Product.Categorical.Examples (/build/agda-stdlib-0.17/src/Data/Product/Categorical/Examples.agda). Checking Data.Product.Categorical.Left (/build/agda-stdlib-0.17/src/Data/Product/Categorical/Left.agda). Checking Data.Product.Categorical.Left.Base (/build/agda-stdlib-0.17/src/Data/Product/Categorical/Left/Base.agda). Checking Data.Product.Categorical.Right (/build/agda-stdlib-0.17/src/Data/Product/Categorical/Right.agda). Checking Data.Product.Categorical.Right.Base (/build/agda-stdlib-0.17/src/Data/Product/Categorical/Right/Base.agda). Checking Data.Product.N-ary (/build/agda-stdlib-0.17/src/Data/Product/N-ary.agda). Checking Data.Product.N-ary.Categorical (/build/agda-stdlib-0.17/src/Data/Product/N-ary/Categorical.agda). Checking Data.Product.N-ary.Properties (/build/agda-stdlib-0.17/src/Data/Product/N-ary/Properties.agda). Checking Data.Product.Relation.Lex.NonStrict (/build/agda-stdlib-0.17/src/Data/Product/Relation/Lex/NonStrict.agda). Checking Data.Product.Relation.Lex.Strict (/build/agda-stdlib-0.17/src/Data/Product/Relation/Lex/Strict.agda). Checking Data.Rational (/build/agda-stdlib-0.17/src/Data/Rational.agda). Checking Data.Rational.Literals (/build/agda-stdlib-0.17/src/Data/Rational/Literals.agda). Checking Data.Rational.Properties (/build/agda-stdlib-0.17/src/Data/Rational/Properties.agda). Checking Data.ReflexiveClosure (/build/agda-stdlib-0.17/src/Data/ReflexiveClosure.agda). Checking Relation.Binary.Construct.Closure.Reflexive (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/Reflexive.agda). Checking Relation.Binary.Construct.Constant (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Constant.agda). Checking Data.Star (/build/agda-stdlib-0.17/src/Data/Star.agda). Checking Data.Star.BoundedVec (/build/agda-stdlib-0.17/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/build/agda-stdlib-0.17/src/Data/Star/Nat.agda). Checking Relation.Binary.Construct.Always (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Always.agda). Checking Data.Star.Decoration (/build/agda-stdlib-0.17/src/Data/Star/Decoration.agda). Checking Data.Star.Pointer (/build/agda-stdlib-0.17/src/Data/Star/Pointer.agda). Checking Data.Star.List (/build/agda-stdlib-0.17/src/Data/Star/List.agda). Checking Data.Star.Environment (/build/agda-stdlib-0.17/src/Data/Star/Environment.agda). Checking Data.Star.Fin (/build/agda-stdlib-0.17/src/Data/Star/Fin.agda). Checking Data.Star.Properties (/build/agda-stdlib-0.17/src/Data/Star/Properties.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda). Checking Data.Star.Vec (/build/agda-stdlib-0.17/src/Data/Star/Vec.agda). Checking Data.String.Literals (/build/agda-stdlib-0.17/src/Data/String/Literals.agda). Checking Data.String.Unsafe (/build/agda-stdlib-0.17/src/Data/String/Unsafe.agda). Checking Data.Sum.Categorical.Examples (/build/agda-stdlib-0.17/src/Data/Sum/Categorical/Examples.agda). Checking Data.Sum.Categorical.Left (/build/agda-stdlib-0.17/src/Data/Sum/Categorical/Left.agda). Checking Data.Sum.Categorical.Right (/build/agda-stdlib-0.17/src/Data/Sum/Categorical/Right.agda). Checking Data.Sum.Relation.LeftOrder (/build/agda-stdlib-0.17/src/Data/Sum/Relation/LeftOrder.agda). Checking Data.These.Categorical.Left (/build/agda-stdlib-0.17/src/Data/These/Categorical/Left.agda). Checking Data.These.Categorical.Left.Base (/build/agda-stdlib-0.17/src/Data/These/Categorical/Left/Base.agda). Checking Data.These.Categorical.Right (/build/agda-stdlib-0.17/src/Data/These/Categorical/Right.agda). Checking Data.These.Categorical.Right.Base (/build/agda-stdlib-0.17/src/Data/These/Categorical/Right/Base.agda). Checking Data.Vec.All.Properties (/build/agda-stdlib-0.17/src/Data/Vec/All/Properties.agda). Checking Data.Vec.Any (/build/agda-stdlib-0.17/src/Data/Vec/Any.agda). Checking Data.Vec.Membership.Propositional (/build/agda-stdlib-0.17/src/Data/Vec/Membership/Propositional.agda). Checking Data.Vec.Membership.Propositional.Properties (/build/agda-stdlib-0.17/src/Data/Vec/Membership/Propositional/Properties.agda). Checking Data.Vec.Relation.Equality.DecPropositional (/build/agda-stdlib-0.17/src/Data/Vec/Relation/Equality/DecPropositional.agda). Checking Data.Vec.Relation.Equality.Propositional (/build/agda-stdlib-0.17/src/Data/Vec/Relation/Equality/Propositional.agda). Checking Data.Vec.Relation.Equality.Setoid (/build/agda-stdlib-0.17/src/Data/Vec/Relation/Equality/Setoid.agda). Checking Data.Vec.Relation.Equality.DecSetoid (/build/agda-stdlib-0.17/src/Data/Vec/Relation/Equality/DecSetoid.agda). Checking Data.Word (/build/agda-stdlib-0.17/src/Data/Word.agda). Checking Data.Word.Unsafe (/build/agda-stdlib-0.17/src/Data/Word/Unsafe.agda). Checking Foreign.Haskell (/build/agda-stdlib-0.17/src/Foreign/Haskell.agda). Checking Function.Reasoning (/build/agda-stdlib-0.17/src/Function/Reasoning.agda). Checking Function.Related.TypeIsomorphisms.Solver (/build/agda-stdlib-0.17/src/Function/Related/TypeIsomorphisms/Solver.agda). Checking IO (/build/agda-stdlib-0.17/src/IO.agda). Checking IO.Primitive (/build/agda-stdlib-0.17/src/IO/Primitive.agda). Checking Level.Literals (/build/agda-stdlib-0.17/src/Level/Literals.agda). Checking Record (/build/agda-stdlib-0.17/src/Record.agda). Checking Reflection (/build/agda-stdlib-0.17/src/Reflection.agda). Checking Relation.Binary.Construct.Closure.Equivalence (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/Equivalence.agda). Checking Relation.Binary.Construct.Closure.Symmetric (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Closure/Symmetric.agda). Checking Relation.Binary.Construct.Converse (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Converse.agda). Checking Relation.Binary.Construct.Flip (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Flip.agda). Checking Relation.Binary.Construct.FromPred (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/FromPred.agda). Checking Relation.Binary.Construct.Never (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/Never.agda). Checking Relation.Binary.Construct.StrictToNonStrict (/build/agda-stdlib-0.17/src/Relation/Binary/Construct/StrictToNonStrict.agda). Checking Relation.Binary.EquivalenceClosure (/build/agda-stdlib-0.17/src/Relation/Binary/EquivalenceClosure.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients (/build/agda-stdlib-0.17/src/Relation/Binary/HeterogeneousEquality/Quotients.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients.Examples (/build/agda-stdlib-0.17/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda). Checking Relation.Binary.Indexed.Homogeneous (/build/agda-stdlib-0.17/src/Relation/Binary/Indexed/Homogeneous.agda). Checking Relation.Binary.Indexed.Homogeneous.Core (/build/agda-stdlib-0.17/src/Relation/Binary/Indexed/Homogeneous/Core.agda). Checking Relation.Unary.Indexed (/build/agda-stdlib-0.17/src/Relation/Unary/Indexed.agda). Checking Relation.Binary.List.NonStrictLex (/build/agda-stdlib-0.17/src/Relation/Binary/List/NonStrictLex.agda). Checking Relation.Binary.List.Pointwise (/build/agda-stdlib-0.17/src/Relation/Binary/List/Pointwise.agda). Checking Relation.Binary.List.StrictLex (/build/agda-stdlib-0.17/src/Relation/Binary/List/StrictLex.agda). Checking Relation.Binary.OrderMorphism (/build/agda-stdlib-0.17/src/Relation/Binary/OrderMorphism.agda). Checking Relation.Binary.Product.NonStrictLex (/build/agda-stdlib-0.17/src/Relation/Binary/Product/NonStrictLex.agda). Checking Relation.Binary.Product.Pointwise (/build/agda-stdlib-0.17/src/Relation/Binary/Product/Pointwise.agda). Checking Relation.Binary.Product.StrictLex (/build/agda-stdlib-0.17/src/Relation/Binary/Product/StrictLex.agda). Checking Relation.Binary.Properties.BoundedJoinSemilattice (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda). Checking Relation.Binary.Properties.Poset (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/Poset.agda). Checking Relation.Binary.Properties.Preorder (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/Preorder.agda). Checking Relation.Binary.Properties.BoundedMeetSemilattice (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda). Checking Relation.Binary.Properties.DistributiveLattice (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/DistributiveLattice.agda). Checking Relation.Binary.SetoidReasoning (/build/agda-stdlib-0.17/src/Relation/Binary/SetoidReasoning.agda). Checking Relation.Binary.Properties.Lattice (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/Lattice.agda). Checking Relation.Binary.Properties.JoinSemilattice (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/JoinSemilattice.agda). Checking Relation.Binary.Properties.MeetSemilattice (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/MeetSemilattice.agda). Checking Relation.Binary.Properties.HeytingAlgebra (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/HeytingAlgebra.agda). Checking Relation.Binary.Properties.StrictPartialOrder (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/StrictPartialOrder.agda). Checking Relation.Binary.Properties.StrictTotalOrder (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/StrictTotalOrder.agda). Checking Relation.Binary.Properties.TotalOrder (/build/agda-stdlib-0.17/src/Relation/Binary/Properties/TotalOrder.agda). Checking Relation.Binary.Sigma.Pointwise (/build/agda-stdlib-0.17/src/Relation/Binary/Sigma/Pointwise.agda). Checking Relation.Binary.StrictPartialOrderReasoning (/build/agda-stdlib-0.17/src/Relation/Binary/StrictPartialOrderReasoning.agda). Checking Relation.Binary.Sum (/build/agda-stdlib-0.17/src/Relation/Binary/Sum.agda). Checking Relation.Binary.SymmetricClosure (/build/agda-stdlib-0.17/src/Relation/Binary/SymmetricClosure.agda). Checking Relation.Binary.Vec.Pointwise (/build/agda-stdlib-0.17/src/Relation/Binary/Vec/Pointwise.agda). Checking Relation.Nullary.Implication (/build/agda-stdlib-0.17/src/Relation/Nullary/Implication.agda). Checking Relation.Nullary.Universe (/build/agda-stdlib-0.17/src/Relation/Nullary/Universe.agda). Checking Relation.Unary.Closure.Base (/build/agda-stdlib-0.17/src/Relation/Unary/Closure/Base.agda). Checking Relation.Unary.Closure.Preorder (/build/agda-stdlib-0.17/src/Relation/Unary/Closure/Preorder.agda). Checking Relation.Unary.Closure.StrictPartialOrder (/build/agda-stdlib-0.17/src/Relation/Unary/Closure/StrictPartialOrder.agda). Checking Universe (/build/agda-stdlib-0.17/src/Universe.agda). agda --html -i /build/agda-stdlib-0.17 -i /build/agda-stdlib-0.17/src /build/agda-stdlib-0.17/README.agda Checking README (/build/agda-stdlib-0.17/README.agda). Checking README.Nat (/build/agda-stdlib-0.17/README/Nat.agda). Checking README.Integer (/build/agda-stdlib-0.17/README/Integer.agda). Checking README.AVL (/build/agda-stdlib-0.17/README/AVL.agda). Checking README.Record (/build/agda-stdlib-0.17/README/Record.agda). Checking README.Case (/build/agda-stdlib-0.17/README/Case.agda). Checking README.Container.FreeMonad (/build/agda-stdlib-0.17/README/Container/FreeMonad.agda). Checking README.Function.Reasoning (/build/agda-stdlib-0.17/README/Function/Reasoning.agda). Checking EverythingSafe (/build/agda-stdlib-0.17/EverythingSafe.agda). Warning: HTML is currently generated for ALL files which can be reached from the given module, including library files. Generating HTML for Agda.Builtin.Bool (html/Agda.Builtin.Bool.html). Generating HTML for Agda.Builtin.Char (html/Agda.Builtin.Char.html). Generating HTML for Agda.Builtin.Coinduction (html/Agda.Builtin.Coinduction.html). Generating HTML for Agda.Builtin.Equality (html/Agda.Builtin.Equality.html). Generating HTML for Agda.Builtin.Float (html/Agda.Builtin.Float.html). Generating HTML for Agda.Builtin.FromNat (html/Agda.Builtin.FromNat.html). Generating HTML for Agda.Builtin.FromNeg (html/Agda.Builtin.FromNeg.html). Generating HTML for Agda.Builtin.FromString (html/Agda.Builtin.FromString.html). Generating HTML for Agda.Builtin.IO (html/Agda.Builtin.IO.html). Generating HTML for Agda.Builtin.Int (html/Agda.Builtin.Int.html). Generating HTML for Agda.Builtin.List (html/Agda.Builtin.List.html). Generating HTML for Agda.Builtin.Nat (html/Agda.Builtin.Nat.html). Generating HTML for Agda.Builtin.Reflection (html/Agda.Builtin.Reflection.html). Generating HTML for Agda.Builtin.Sigma (html/Agda.Builtin.Sigma.html). Generating HTML for Agda.Builtin.Size (html/Agda.Builtin.Size.html). Generating HTML for Agda.Builtin.Strict (html/Agda.Builtin.Strict.html). Generating HTML for Agda.Builtin.String (html/Agda.Builtin.String.html). Generating HTML for Agda.Builtin.TrustMe (html/Agda.Builtin.TrustMe.html). Generating HTML for Agda.Builtin.Unit (html/Agda.Builtin.Unit.html). Generating HTML for Agda.Builtin.Word (html/Agda.Builtin.Word.html). Generating HTML for Agda.Primitive (html/Agda.Primitive.html). Generating HTML for Algebra (html/Algebra.html). Generating HTML for Algebra.FunctionProperties (html/Algebra.FunctionProperties.html). Generating HTML for Algebra.FunctionProperties.Consequences (html/Algebra.FunctionProperties.Consequences.html). Generating HTML for Algebra.FunctionProperties.Core (html/Algebra.FunctionProperties.Core.html). Generating HTML for Algebra.Morphism (html/Algebra.Morphism.html). Generating HTML for Algebra.Operations.CommutativeMonoid (html/Algebra.Operations.CommutativeMonoid.html). Generating HTML for Algebra.Operations.Semiring (html/Algebra.Operations.Semiring.html). Generating HTML for Algebra.Properties.AbelianGroup (html/Algebra.Properties.AbelianGroup.html). Generating HTML for Algebra.Properties.BooleanAlgebra (html/Algebra.Properties.BooleanAlgebra.html). Generating HTML for Algebra.Properties.BooleanAlgebra.Expression (html/Algebra.Properties.BooleanAlgebra.Expression.html). Generating HTML for Algebra.Properties.CommutativeMonoid (html/Algebra.Properties.CommutativeMonoid.html). Generating HTML for Algebra.Properties.DistributiveLattice (html/Algebra.Properties.DistributiveLattice.html). Generating HTML for Algebra.Properties.Group (html/Algebra.Properties.Group.html). Generating HTML for Algebra.Properties.Lattice (html/Algebra.Properties.Lattice.html). Generating HTML for Algebra.Properties.Ring (html/Algebra.Properties.Ring.html). Generating HTML for Algebra.Solver.CommutativeMonoid (html/Algebra.Solver.CommutativeMonoid.html). Generating HTML for Algebra.Solver.CommutativeMonoid.Example (html/Algebra.Solver.CommutativeMonoid.Example.html). Generating HTML for Algebra.Solver.IdempotentCommutativeMonoid (html/Algebra.Solver.IdempotentCommutativeMonoid.html). Generating HTML for Algebra.Solver.IdempotentCommutativeMonoid.Example (html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html). Generating HTML for Algebra.Solver.Monoid (html/Algebra.Solver.Monoid.html). Generating HTML for Algebra.Solver.Ring (html/Algebra.Solver.Ring.html). Generating HTML for Algebra.Solver.Ring.AlmostCommutativeRing (html/Algebra.Solver.Ring.AlmostCommutativeRing.html). Generating HTML for Algebra.Solver.Ring.Lemmas (html/Algebra.Solver.Ring.Lemmas.html). Generating HTML for Algebra.Solver.Ring.NaturalCoefficients (html/Algebra.Solver.Ring.NaturalCoefficients.html). Generating HTML for Algebra.Solver.Ring.Simple (html/Algebra.Solver.Ring.Simple.html). Generating HTML for Algebra.Structures (html/Algebra.Structures.html). Generating HTML for Category.Applicative (html/Category.Applicative.html). Generating HTML for Category.Applicative.Indexed (html/Category.Applicative.Indexed.html). Generating HTML for Category.Applicative.Predicate (html/Category.Applicative.Predicate.html). Generating HTML for Category.Comonad (html/Category.Comonad.html). Generating HTML for Category.Functor (html/Category.Functor.html). Generating HTML for Category.Functor.Predicate (html/Category.Functor.Predicate.html). Generating HTML for Category.Monad (html/Category.Monad.html). Generating HTML for Category.Monad.Continuation (html/Category.Monad.Continuation.html). Generating HTML for Category.Monad.Indexed (html/Category.Monad.Indexed.html). Generating HTML for Category.Monad.Partiality (html/Category.Monad.Partiality.html). Generating HTML for Category.Monad.Partiality.All (html/Category.Monad.Partiality.All.html). Generating HTML for Category.Monad.Predicate (html/Category.Monad.Predicate.html). Generating HTML for Category.Monad.State (html/Category.Monad.State.html). Generating HTML for Codata.Cofin (html/Codata.Cofin.html). Generating HTML for Codata.Cofin.Literals (html/Codata.Cofin.Literals.html). Generating HTML for Codata.Colist (html/Codata.Colist.html). Generating HTML for Codata.Colist.Bisimilarity (html/Codata.Colist.Bisimilarity.html). Generating HTML for Codata.Colist.Categorical (html/Codata.Colist.Categorical.html). Generating HTML for Codata.Colist.Properties (html/Codata.Colist.Properties.html). Generating HTML for Codata.Conat (html/Codata.Conat.html). Generating HTML for Codata.Conat.Bisimilarity (html/Codata.Conat.Bisimilarity.html). Generating HTML for Codata.Conat.Literals (html/Codata.Conat.Literals.html). Generating HTML for Codata.Conat.Properties (html/Codata.Conat.Properties.html). Generating HTML for Codata.Covec (html/Codata.Covec.html). Generating HTML for Codata.Covec.Bisimilarity (html/Codata.Covec.Bisimilarity.html). Generating HTML for Codata.Covec.Categorical (html/Codata.Covec.Categorical.html). Generating HTML for Codata.Covec.Properties (html/Codata.Covec.Properties.html). Generating HTML for Codata.Delay (html/Codata.Delay.html). Generating HTML for Codata.Delay.Bisimilarity (html/Codata.Delay.Bisimilarity.html). Generating HTML for Codata.Delay.Categorical (html/Codata.Delay.Categorical.html). Generating HTML for Codata.Delay.Properties (html/Codata.Delay.Properties.html). Generating HTML for Codata.M (html/Codata.M.html). Generating HTML for Codata.Musical.Cofin (html/Codata.Musical.Cofin.html). Generating HTML for Codata.Musical.Colist (html/Codata.Musical.Colist.html). Generating HTML for Codata.Musical.Colist.Infinite-merge (html/Codata.Musical.Colist.Infinite-merge.html). Generating HTML for Codata.Musical.Conat (html/Codata.Musical.Conat.html). Generating HTML for Codata.Musical.Costring (html/Codata.Musical.Costring.html). Generating HTML for Codata.Musical.Covec (html/Codata.Musical.Covec.html). Generating HTML for Codata.Musical.M (html/Codata.Musical.M.html). Generating HTML for Codata.Musical.M.Indexed (html/Codata.Musical.M.Indexed.html). Generating HTML for Codata.Musical.Notation (html/Codata.Musical.Notation.html). Generating HTML for Codata.Musical.Stream (html/Codata.Musical.Stream.html). Generating HTML for Codata.Stream (html/Codata.Stream.html). Generating HTML for Codata.Stream.Bisimilarity (html/Codata.Stream.Bisimilarity.html). Generating HTML for Codata.Stream.Categorical (html/Codata.Stream.Categorical.html). Generating HTML for Codata.Stream.Properties (html/Codata.Stream.Properties.html). Generating HTML for Codata.Thunk (html/Codata.Thunk.html). Generating HTML for Data.AVL (html/Data.AVL.html). Generating HTML for Data.AVL.Height (html/Data.AVL.Height.html). Generating HTML for Data.AVL.Indexed (html/Data.AVL.Indexed.html). Generating HTML for Data.AVL.IndexedMap (html/Data.AVL.IndexedMap.html). Generating HTML for Data.AVL.Key (html/Data.AVL.Key.html). Generating HTML for Data.AVL.Sets (html/Data.AVL.Sets.html). Generating HTML for Data.Bin (html/Data.Bin.html). Generating HTML for Data.Bin.Properties (html/Data.Bin.Properties.html). Generating HTML for Data.Bool (html/Data.Bool.html). Generating HTML for Data.Bool.Base (html/Data.Bool.Base.html). Generating HTML for Data.Bool.Properties (html/Data.Bool.Properties.html). Generating HTML for Data.Bool.Show (html/Data.Bool.Show.html). Generating HTML for Data.Bool.Solver (html/Data.Bool.Solver.html). Generating HTML for Data.BoundedVec (html/Data.BoundedVec.html). Generating HTML for Data.BoundedVec.Inefficient (html/Data.BoundedVec.Inefficient.html). Generating HTML for Data.Char (html/Data.Char.html). Generating HTML for Data.Char.Base (html/Data.Char.Base.html). Generating HTML for Data.Char.Unsafe (html/Data.Char.Unsafe.html). Generating HTML for Data.Container (html/Data.Container.html). Generating HTML for Data.Container.Any (html/Data.Container.Any.html). Generating HTML for Data.Container.Combinator (html/Data.Container.Combinator.html). Generating HTML for Data.Container.Core (html/Data.Container.Core.html). Generating HTML for Data.Container.FreeMonad (html/Data.Container.FreeMonad.html). Generating HTML for Data.Container.Indexed (html/Data.Container.Indexed.html). Generating HTML for Data.Container.Indexed.Combinator (html/Data.Container.Indexed.Combinator.html). Generating HTML for Data.Container.Indexed.Core (html/Data.Container.Indexed.Core.html). Generating HTML for Data.Container.Indexed.FreeMonad (html/Data.Container.Indexed.FreeMonad.html). Generating HTML for Data.DifferenceList (html/Data.DifferenceList.html). Generating HTML for Data.DifferenceNat (html/Data.DifferenceNat.html). Generating HTML for Data.DifferenceVec (html/Data.DifferenceVec.html). Generating HTML for Data.Digit (html/Data.Digit.html). Generating HTML for Data.Empty (html/Data.Empty.html). Generating HTML for Data.Empty.Irrelevant (html/Data.Empty.Irrelevant.html). Generating HTML for Data.Fin (html/Data.Fin.html). Generating HTML for Data.Fin.Base (html/Data.Fin.Base.html). Generating HTML for Data.Fin.Dec (html/Data.Fin.Dec.html). Generating HTML for Data.Fin.Literals (html/Data.Fin.Literals.html). Generating HTML for Data.Fin.Permutation (html/Data.Fin.Permutation.html). Generating HTML for Data.Fin.Permutation.Components (html/Data.Fin.Permutation.Components.html). Generating HTML for Data.Fin.Properties (html/Data.Fin.Properties.html). Generating HTML for Data.Fin.Subset (html/Data.Fin.Subset.html). Generating HTML for Data.Fin.Subset.Properties (html/Data.Fin.Subset.Properties.html). Generating HTML for Data.Fin.Substitution (html/Data.Fin.Substitution.html). Generating HTML for Data.Fin.Substitution.Example (html/Data.Fin.Substitution.Example.html). Generating HTML for Data.Fin.Substitution.Lemmas (html/Data.Fin.Substitution.Lemmas.html). Generating HTML for Data.Fin.Substitution.List (html/Data.Fin.Substitution.List.html). Generating HTML for Data.Float (html/Data.Float.html). Generating HTML for Data.Float.Unsafe (html/Data.Float.Unsafe.html). Generating HTML for Data.Graph.Acyclic (html/Data.Graph.Acyclic.html). Generating HTML for Data.Integer (html/Data.Integer.html). Generating HTML for Data.Integer.Addition.Properties (html/Data.Integer.Addition.Properties.html). Generating HTML for Data.Integer.Base (html/Data.Integer.Base.html). Generating HTML for Data.Integer.Divisibility (html/Data.Integer.Divisibility.html). Generating HTML for Data.Integer.Literals (html/Data.Integer.Literals.html). Generating HTML for Data.Integer.Multiplication.Properties (html/Data.Integer.Multiplication.Properties.html). Generating HTML for Data.Integer.Properties (html/Data.Integer.Properties.html). Generating HTML for Data.Integer.Solver (html/Data.Integer.Solver.html). Generating HTML for Data.List (html/Data.List.html). Generating HTML for Data.List.All (html/Data.List.All.html). Generating HTML for Data.List.All.Properties (html/Data.List.All.Properties.html). Generating HTML for Data.List.Any (html/Data.List.Any.html). Generating HTML for Data.List.Any.Properties (html/Data.List.Any.Properties.html). Generating HTML for Data.List.Base (html/Data.List.Base.html). Generating HTML for Data.List.Categorical (html/Data.List.Categorical.html). Generating HTML for Data.List.Countdown (html/Data.List.Countdown.html). Generating HTML for Data.List.Literals (html/Data.List.Literals.html). Generating HTML for Data.List.Membership.DecPropositional (html/Data.List.Membership.DecPropositional.html). Generating HTML for Data.List.Membership.DecSetoid (html/Data.List.Membership.DecSetoid.html). Generating HTML for Data.List.Membership.Propositional (html/Data.List.Membership.Propositional.html). Generating HTML for Data.List.Membership.Propositional.Properties (html/Data.List.Membership.Propositional.Properties.html). Generating HTML for Data.List.Membership.Propositional.Properties.Core (html/Data.List.Membership.Propositional.Properties.Core.html). Generating HTML for Data.List.Membership.Setoid (html/Data.List.Membership.Setoid.html). Generating HTML for Data.List.Membership.Setoid.Properties (html/Data.List.Membership.Setoid.Properties.html). Generating HTML for Data.List.NonEmpty (html/Data.List.NonEmpty.html). Generating HTML for Data.List.NonEmpty.Categorical (html/Data.List.NonEmpty.Categorical.html). Generating HTML for Data.List.NonEmpty.Properties (html/Data.List.NonEmpty.Properties.html). Generating HTML for Data.List.Properties (html/Data.List.Properties.html). Generating HTML for Data.List.Relation.BagAndSetEquality (html/Data.List.Relation.BagAndSetEquality.html). Generating HTML for Data.List.Relation.Equality.DecPropositional (html/Data.List.Relation.Equality.DecPropositional.html). Generating HTML for Data.List.Relation.Equality.DecSetoid (html/Data.List.Relation.Equality.DecSetoid.html). Generating HTML for Data.List.Relation.Equality.Propositional (html/Data.List.Relation.Equality.Propositional.html). Generating HTML for Data.List.Relation.Equality.Setoid (html/Data.List.Relation.Equality.Setoid.html). Generating HTML for Data.List.Relation.Lex.Core (html/Data.List.Relation.Lex.Core.html). Generating HTML for Data.List.Relation.Lex.NonStrict (html/Data.List.Relation.Lex.NonStrict.html). Generating HTML for Data.List.Relation.Lex.Strict (html/Data.List.Relation.Lex.Strict.html). Generating HTML for Data.List.Relation.Permutation.Inductive (html/Data.List.Relation.Permutation.Inductive.html). Generating HTML for Data.List.Relation.Permutation.Inductive.Properties (html/Data.List.Relation.Permutation.Inductive.Properties.html). Generating HTML for Data.List.Relation.Pointwise (html/Data.List.Relation.Pointwise.html). Generating HTML for Data.List.Relation.Sublist.Propositional (html/Data.List.Relation.Sublist.Propositional.html). Generating HTML for Data.List.Relation.Sublist.Propositional.Properties (html/Data.List.Relation.Sublist.Propositional.Properties.html). Generating HTML for Data.List.Relation.Sublist.Propositional.Solver (html/Data.List.Relation.Sublist.Propositional.Solver.html). Generating HTML for Data.List.Relation.Subset.Propositional (html/Data.List.Relation.Subset.Propositional.html). Generating HTML for Data.List.Relation.Subset.Propositional.Properties (html/Data.List.Relation.Subset.Propositional.Properties.html). Generating HTML for Data.List.Relation.Subset.Setoid (html/Data.List.Relation.Subset.Setoid.html). Generating HTML for Data.List.Relation.Subset.Setoid.Properties (html/Data.List.Relation.Subset.Setoid.Properties.html). Generating HTML for Data.List.Reverse (html/Data.List.Reverse.html). Generating HTML for Data.List.Solver (html/Data.List.Solver.html). Generating HTML for Data.List.Zipper (html/Data.List.Zipper.html). Generating HTML for Data.List.Zipper.Properties (html/Data.List.Zipper.Properties.html). Generating HTML for Data.Maybe (html/Data.Maybe.html). Generating HTML for Data.Maybe.Base (html/Data.Maybe.Base.html). Generating HTML for Data.Maybe.Categorical (html/Data.Maybe.Categorical.html). Generating HTML for Data.Nat (html/Data.Nat.html). Generating HTML for Data.Nat.Base (html/Data.Nat.Base.html). Generating HTML for Data.Nat.Coprimality (html/Data.Nat.Coprimality.html). Generating HTML for Data.Nat.DivMod (html/Data.Nat.DivMod.html). Generating HTML for Data.Nat.DivMod.Core (html/Data.Nat.DivMod.Core.html). Generating HTML for Data.Nat.DivMod.Unsafe (html/Data.Nat.DivMod.Unsafe.html). Generating HTML for Data.Nat.Divisibility (html/Data.Nat.Divisibility.html). Generating HTML for Data.Nat.GCD (html/Data.Nat.GCD.html). Generating HTML for Data.Nat.GCD.Lemmas (html/Data.Nat.GCD.Lemmas.html). Generating HTML for Data.Nat.GeneralisedArithmetic (html/Data.Nat.GeneralisedArithmetic.html). Generating HTML for Data.Nat.InfinitelyOften (html/Data.Nat.InfinitelyOften.html). Generating HTML for Data.Nat.LCM (html/Data.Nat.LCM.html). Generating HTML for Data.Nat.Literals (html/Data.Nat.Literals.html). Generating HTML for Data.Nat.Primality (html/Data.Nat.Primality.html). Generating HTML for Data.Nat.Properties (html/Data.Nat.Properties.html). Generating HTML for Data.Nat.Properties.Simple (html/Data.Nat.Properties.Simple.html). Generating HTML for Data.Nat.Show (html/Data.Nat.Show.html). Generating HTML for Data.Nat.Solver (html/Data.Nat.Solver.html). Generating HTML for Data.Nat.Unsafe (html/Data.Nat.Unsafe.html). Generating HTML for Data.Plus (html/Data.Plus.html). Generating HTML for Data.Product (html/Data.Product.html). Generating HTML for Data.Product.Categorical.Examples (html/Data.Product.Categorical.Examples.html). Generating HTML for Data.Product.Categorical.Left (html/Data.Product.Categorical.Left.html). Generating HTML for Data.Product.Categorical.Left.Base (html/Data.Product.Categorical.Left.Base.html). Generating HTML for Data.Product.Categorical.Right (html/Data.Product.Categorical.Right.html). Generating HTML for Data.Product.Categorical.Right.Base (html/Data.Product.Categorical.Right.Base.html). Generating HTML for Data.Product.N-ary (html/Data.Product.N-ary.html). Generating HTML for Data.Product.N-ary.Categorical (html/Data.Product.N-ary.Categorical.html). Generating HTML for Data.Product.N-ary.Properties (html/Data.Product.N-ary.Properties.html). Generating HTML for Data.Product.Properties (html/Data.Product.Properties.html). Generating HTML for Data.Product.Relation.Lex.NonStrict (html/Data.Product.Relation.Lex.NonStrict.html). Generating HTML for Data.Product.Relation.Lex.Strict (html/Data.Product.Relation.Lex.Strict.html). Generating HTML for Data.Product.Relation.Pointwise.Dependent (html/Data.Product.Relation.Pointwise.Dependent.html). Generating HTML for Data.Product.Relation.Pointwise.NonDependent (html/Data.Product.Relation.Pointwise.NonDependent.html). Generating HTML for Data.Rational (html/Data.Rational.html). Generating HTML for Data.Rational.Literals (html/Data.Rational.Literals.html). Generating HTML for Data.Rational.Properties (html/Data.Rational.Properties.html). Generating HTML for Data.ReflexiveClosure (html/Data.ReflexiveClosure.html). Generating HTML for Data.Sign (html/Data.Sign.html). Generating HTML for Data.Sign.Properties (html/Data.Sign.Properties.html). Generating HTML for Data.Star (html/Data.Star.html). Generating HTML for Data.Star.BoundedVec (html/Data.Star.BoundedVec.html). Generating HTML for Data.Star.Decoration (html/Data.Star.Decoration.html). Generating HTML for Data.Star.Environment (html/Data.Star.Environment.html). Generating HTML for Data.Star.Fin (html/Data.Star.Fin.html). Generating HTML for Data.Star.List (html/Data.Star.List.html). Generating HTML for Data.Star.Nat (html/Data.Star.Nat.html). Generating HTML for Data.Star.Pointer (html/Data.Star.Pointer.html). Generating HTML for Data.Star.Properties (html/Data.Star.Properties.html). Generating HTML for Data.Star.Vec (html/Data.Star.Vec.html). Generating HTML for Data.String (html/Data.String.html). Generating HTML for Data.String.Base (html/Data.String.Base.html). Generating HTML for Data.String.Literals (html/Data.String.Literals.html). Generating HTML for Data.String.Unsafe (html/Data.String.Unsafe.html). Generating HTML for Data.Sum (html/Data.Sum.html). Generating HTML for Data.Sum.Base (html/Data.Sum.Base.html). Generating HTML for Data.Sum.Categorical.Examples (html/Data.Sum.Categorical.Examples.html). Generating HTML for Data.Sum.Categorical.Left (html/Data.Sum.Categorical.Left.html). Generating HTML for Data.Sum.Categorical.Right (html/Data.Sum.Categorical.Right.html). Generating HTML for Data.Sum.Properties (html/Data.Sum.Properties.html). Generating HTML for Data.Sum.Relation.Core (html/Data.Sum.Relation.Core.html). Generating HTML for Data.Sum.Relation.LeftOrder (html/Data.Sum.Relation.LeftOrder.html). Generating HTML for Data.Sum.Relation.Pointwise (html/Data.Sum.Relation.Pointwise.html). Generating HTML for Data.Table (html/Data.Table.html). Generating HTML for Data.Table.Base (html/Data.Table.Base.html). Generating HTML for Data.Table.Properties (html/Data.Table.Properties.html). Generating HTML for Data.Table.Relation.Equality (html/Data.Table.Relation.Equality.html). Generating HTML for Data.These (html/Data.These.html). Generating HTML for Data.These.Categorical.Left (html/Data.These.Categorical.Left.html). Generating HTML for Data.These.Categorical.Left.Base (html/Data.These.Categorical.Left.Base.html). Generating HTML for Data.These.Categorical.Right (html/Data.These.Categorical.Right.html). Generating HTML for Data.These.Categorical.Right.Base (html/Data.These.Categorical.Right.Base.html). Generating HTML for Data.Unit (html/Data.Unit.html). Generating HTML for Data.Unit.Base (html/Data.Unit.Base.html). Generating HTML for Data.Unit.NonEta (html/Data.Unit.NonEta.html). Generating HTML for Data.Vec (html/Data.Vec.html). Generating HTML for Data.Vec.All (html/Data.Vec.All.html). Generating HTML for Data.Vec.All.Properties (html/Data.Vec.All.Properties.html). Generating HTML for Data.Vec.Any (html/Data.Vec.Any.html). Generating HTML for Data.Vec.Categorical (html/Data.Vec.Categorical.html). Generating HTML for Data.Vec.Membership.Propositional (html/Data.Vec.Membership.Propositional.html). Generating HTML for Data.Vec.Membership.Propositional.Properties (html/Data.Vec.Membership.Propositional.Properties.html). Generating HTML for Data.Vec.N-ary (html/Data.Vec.N-ary.html). Generating HTML for Data.Vec.Properties (html/Data.Vec.Properties.html). Generating HTML for Data.Vec.Relation.Equality.DecPropositional (html/Data.Vec.Relation.Equality.DecPropositional.html). Generating HTML for Data.Vec.Relation.Equality.DecSetoid (html/Data.Vec.Relation.Equality.DecSetoid.html). Generating HTML for Data.Vec.Relation.Equality.Propositional (html/Data.Vec.Relation.Equality.Propositional.html). Generating HTML for Data.Vec.Relation.Equality.Setoid (html/Data.Vec.Relation.Equality.Setoid.html). Generating HTML for Data.Vec.Relation.Pointwise.Extensional (html/Data.Vec.Relation.Pointwise.Extensional.html). Generating HTML for Data.Vec.Relation.Pointwise.Inductive (html/Data.Vec.Relation.Pointwise.Inductive.html). Generating HTML for Data.W (html/Data.W.html). Generating HTML for Data.W.Indexed (html/Data.W.Indexed.html). Generating HTML for Data.Word (html/Data.Word.html). Generating HTML for Data.Word.Unsafe (html/Data.Word.Unsafe.html). Generating HTML for Everything (html/Everything.html). Generating HTML for EverythingSafe (html/EverythingSafe.html). Generating HTML for Foreign.Haskell (html/Foreign.Haskell.html). Generating HTML for Function (html/Function.html). Generating HTML for Function.Bijection (html/Function.Bijection.html). Generating HTML for Function.Equality (html/Function.Equality.html). Generating HTML for Function.Equivalence (html/Function.Equivalence.html). Generating HTML for Function.Identity.Categorical (html/Function.Identity.Categorical.html). Generating HTML for Function.Injection (html/Function.Injection.html). Generating HTML for Function.Inverse (html/Function.Inverse.html). Generating HTML for Function.LeftInverse (html/Function.LeftInverse.html). Generating HTML for Function.Reasoning (html/Function.Reasoning.html). Generating HTML for Function.Related (html/Function.Related.html). Generating HTML for Function.Related.TypeIsomorphisms (html/Function.Related.TypeIsomorphisms.html). Generating HTML for Function.Related.TypeIsomorphisms.Solver (html/Function.Related.TypeIsomorphisms.Solver.html). Generating HTML for Function.Surjection (html/Function.Surjection.html). Generating HTML for IO (html/IO.html). Generating HTML for IO.Primitive (html/IO.Primitive.html). Generating HTML for Induction (html/Induction.html). Generating HTML for Induction.Lexicographic (html/Induction.Lexicographic.html). Generating HTML for Induction.Nat (html/Induction.Nat.html). Generating HTML for Induction.WellFounded (html/Induction.WellFounded.html). Generating HTML for Level (html/Level.html). Generating HTML for Level.Literals (html/Level.Literals.html). Generating HTML for README (html/README.html). Generating HTML for README.AVL (html/README.AVL.html). Generating HTML for README.Case (html/README.Case.html). Generating HTML for README.Container.FreeMonad (html/README.Container.FreeMonad.html). Generating HTML for README.Function.Reasoning (html/README.Function.Reasoning.html). Generating HTML for README.Integer (html/README.Integer.html). Generating HTML for README.Nat (html/README.Nat.html). Generating HTML for README.Record (html/README.Record.html). Generating HTML for Record (html/Record.html). Generating HTML for Reflection (html/Reflection.html). Generating HTML for Relation.Binary (html/Relation.Binary.html). Generating HTML for Relation.Binary.Consequences (html/Relation.Binary.Consequences.html). Generating HTML for Relation.Binary.Construct.Always (html/Relation.Binary.Construct.Always.html). Generating HTML for Relation.Binary.Construct.Closure.Equivalence (html/Relation.Binary.Construct.Closure.Equivalence.html). Generating HTML for Relation.Binary.Construct.Closure.Reflexive (html/Relation.Binary.Construct.Closure.Reflexive.html). Generating HTML for Relation.Binary.Construct.Closure.ReflexiveTransitive (html/Relation.Binary.Construct.Closure.ReflexiveTransitive.html). Generating HTML for Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties (html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.html). Generating HTML for Relation.Binary.Construct.Closure.Symmetric (html/Relation.Binary.Construct.Closure.Symmetric.html). Generating HTML for Relation.Binary.Construct.Closure.Transitive (html/Relation.Binary.Construct.Closure.Transitive.html). Generating HTML for Relation.Binary.Construct.Constant (html/Relation.Binary.Construct.Constant.html). Generating HTML for Relation.Binary.Construct.Converse (html/Relation.Binary.Construct.Converse.html). Generating HTML for Relation.Binary.Construct.Flip (html/Relation.Binary.Construct.Flip.html). Generating HTML for Relation.Binary.Construct.FromPred (html/Relation.Binary.Construct.FromPred.html). Generating HTML for Relation.Binary.Construct.FromRel (html/Relation.Binary.Construct.FromRel.html). Generating HTML for Relation.Binary.Construct.Never (html/Relation.Binary.Construct.Never.html). Generating HTML for Relation.Binary.Construct.NonStrictToStrict (html/Relation.Binary.Construct.NonStrictToStrict.html). Generating HTML for Relation.Binary.Construct.On (html/Relation.Binary.Construct.On.html). Generating HTML for Relation.Binary.Construct.StrictToNonStrict (html/Relation.Binary.Construct.StrictToNonStrict.html). Generating HTML for Relation.Binary.Core (html/Relation.Binary.Core.html). Generating HTML for Relation.Binary.EqReasoning (html/Relation.Binary.EqReasoning.html). Generating HTML for Relation.Binary.EquivalenceClosure (html/Relation.Binary.EquivalenceClosure.html). Generating HTML for Relation.Binary.HeterogeneousEquality (html/Relation.Binary.HeterogeneousEquality.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Core (html/Relation.Binary.HeterogeneousEquality.Core.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Quotients (html/Relation.Binary.HeterogeneousEquality.Quotients.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Quotients.Examples (html/Relation.Binary.HeterogeneousEquality.Quotients.Examples.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous (html/Relation.Binary.Indexed.Heterogeneous.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous.Construct.At (html/Relation.Binary.Indexed.Heterogeneous.Construct.At.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous.Core (html/Relation.Binary.Indexed.Heterogeneous.Core.html). Generating HTML for Relation.Binary.Indexed.Homogeneous (html/Relation.Binary.Indexed.Homogeneous.html). Generating HTML for Relation.Binary.Indexed.Homogeneous.Core (html/Relation.Binary.Indexed.Homogeneous.Core.html). Generating HTML for Relation.Binary.Lattice (html/Relation.Binary.Lattice.html). Generating HTML for Relation.Binary.List.NonStrictLex (html/Relation.Binary.List.NonStrictLex.html). Generating HTML for Relation.Binary.List.Pointwise (html/Relation.Binary.List.Pointwise.html). Generating HTML for Relation.Binary.List.StrictLex (html/Relation.Binary.List.StrictLex.html). Generating HTML for Relation.Binary.OrderMorphism (html/Relation.Binary.OrderMorphism.html). Generating HTML for Relation.Binary.PartialOrderReasoning (html/Relation.Binary.PartialOrderReasoning.html). Generating HTML for Relation.Binary.PreorderReasoning (html/Relation.Binary.PreorderReasoning.html). Generating HTML for Relation.Binary.Product.NonStrictLex (html/Relation.Binary.Product.NonStrictLex.html). Generating HTML for Relation.Binary.Product.Pointwise (html/Relation.Binary.Product.Pointwise.html). Generating HTML for Relation.Binary.Product.StrictLex (html/Relation.Binary.Product.StrictLex.html). Generating HTML for Relation.Binary.Properties.BoundedJoinSemilattice (html/Relation.Binary.Properties.BoundedJoinSemilattice.html). Generating HTML for Relation.Binary.Properties.BoundedMeetSemilattice (html/Relation.Binary.Properties.BoundedMeetSemilattice.html). Generating HTML for Relation.Binary.Properties.DecTotalOrder (html/Relation.Binary.Properties.DecTotalOrder.html). Generating HTML for Relation.Binary.Properties.DistributiveLattice (html/Relation.Binary.Properties.DistributiveLattice.html). Generating HTML for Relation.Binary.Properties.HeytingAlgebra (html/Relation.Binary.Properties.HeytingAlgebra.html). Generating HTML for Relation.Binary.Properties.JoinSemilattice (html/Relation.Binary.Properties.JoinSemilattice.html). Generating HTML for Relation.Binary.Properties.Lattice (html/Relation.Binary.Properties.Lattice.html). Generating HTML for Relation.Binary.Properties.MeetSemilattice (html/Relation.Binary.Properties.MeetSemilattice.html). Generating HTML for Relation.Binary.Properties.Poset (html/Relation.Binary.Properties.Poset.html). Generating HTML for Relation.Binary.Properties.Preorder (html/Relation.Binary.Properties.Preorder.html). Generating HTML for Relation.Binary.Properties.StrictPartialOrder (html/Relation.Binary.Properties.StrictPartialOrder.html). Generating HTML for Relation.Binary.Properties.StrictTotalOrder (html/Relation.Binary.Properties.StrictTotalOrder.html). Generating HTML for Relation.Binary.Properties.TotalOrder (html/Relation.Binary.Properties.TotalOrder.html). Generating HTML for Relation.Binary.PropositionalEquality (html/Relation.Binary.PropositionalEquality.html). Generating HTML for Relation.Binary.PropositionalEquality.Core (html/Relation.Binary.PropositionalEquality.Core.html). Generating HTML for Relation.Binary.PropositionalEquality.TrustMe (html/Relation.Binary.PropositionalEquality.TrustMe.html). Generating HTML for Relation.Binary.Reflection (html/Relation.Binary.Reflection.html). Generating HTML for Relation.Binary.SetoidReasoning (html/Relation.Binary.SetoidReasoning.html). Generating HTML for Relation.Binary.Sigma.Pointwise (html/Relation.Binary.Sigma.Pointwise.html). Generating HTML for Relation.Binary.StrictPartialOrderReasoning (html/Relation.Binary.StrictPartialOrderReasoning.html). Generating HTML for Relation.Binary.Sum (html/Relation.Binary.Sum.html). Generating HTML for Relation.Binary.SymmetricClosure (html/Relation.Binary.SymmetricClosure.html). Generating HTML for Relation.Binary.Vec.Pointwise (html/Relation.Binary.Vec.Pointwise.html). Generating HTML for Relation.Nullary (html/Relation.Nullary.html). Generating HTML for Relation.Nullary.Decidable (html/Relation.Nullary.Decidable.html). Generating HTML for Relation.Nullary.Implication (html/Relation.Nullary.Implication.html). Generating HTML for Relation.Nullary.Negation (html/Relation.Nullary.Negation.html). Generating HTML for Relation.Nullary.Product (html/Relation.Nullary.Product.html). Generating HTML for Relation.Nullary.Sum (html/Relation.Nullary.Sum.html). Generating HTML for Relation.Nullary.Universe (html/Relation.Nullary.Universe.html). Generating HTML for Relation.Unary (html/Relation.Unary.html). Generating HTML for Relation.Unary.Closure.Base (html/Relation.Unary.Closure.Base.html). Generating HTML for Relation.Unary.Closure.Preorder (html/Relation.Unary.Closure.Preorder.html). Generating HTML for Relation.Unary.Closure.StrictPartialOrder (html/Relation.Unary.Closure.StrictPartialOrder.html). Generating HTML for Relation.Unary.Indexed (html/Relation.Unary.Indexed.html). Generating HTML for Relation.Unary.PredicateTransformer (html/Relation.Unary.PredicateTransformer.html). Generating HTML for Relation.Unary.Properties (html/Relation.Unary.Properties.html). Generating HTML for Size (html/Size.html). Generating HTML for Strict (html/Strict.html). Generating HTML for Universe (html/Universe.html). make[1]: Leaving directory '/build/agda-stdlib-0.17' debian/rules override_dh_auto_test make[1]: Entering directory '/build/agda-stdlib-0.17' agda -i /build/agda-stdlib-0.17 -i /build/agda-stdlib-0.17/src README.agda make[1]: Leaving directory '/build/agda-stdlib-0.17' create-stamp debian/debhelper-build-stamp fakeroot debian/rules binary dh binary dh_testroot dh_prep dh_install dh_installdocs dh_installchangelogs dh_perl dh_link dh_strip_nondeterminism dh_compress dh_fixperms dh_missing dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'agda-stdlib' in '../agda-stdlib_0.17-1_all.deb'. dpkg-deb: building package 'agda-stdlib-doc' in '../agda-stdlib-doc_0.17-1_all.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../agda-stdlib_0.17-1_i386.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/30204 and its subdirectories I: Current time: Tue Mar 24 00:49:05 -12 2020 I: pbuilder-time-stamp: 1585054145