RUN: /bin/echo ['echo', 'Forking build subprocess...'] Forking build subprocess... RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8', '/home/buildd/filecache-default/dc12f4f8faedec0309751fc42e5271dd5c1790e2'] Synching the system clock with the buildd NTP service... 26 May 02:58:00 ntpdate[16503]: adjust time server 10.211.37.1 offset 0.000093 sec Unpacking chroot for build 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8'] Mounting chroot for build 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 RUN: /usr/share/launchpad-buildd/slavebin/apply-ogre-model ['apply-ogre-model', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8', 'universe'] Attempting OGRE for universe in build-7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 No OGRE sources.list found. RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8', 'deb http://ftpmaster.internal/ubuntu maverick main universe'] Overriding sources.list in build-7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8'] Updating debian chroot for build 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 Get:1 http://ftpmaster.internal maverick Release.gpg [189B] Get:2 http://ftpmaster.internal maverick Release [57.3kB] Get:3 http://ftpmaster.internal maverick/main Packages [1426kB] Get:4 http://ftpmaster.internal maverick/universe Packages [5614kB] Fetched 7097kB in 7s (895kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: libglib2.0-0 libusb-0.1-4 2 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 1214kB of archives. After this operation, 36.9kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libglib2.0-0 libusb-0.1-4 Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ maverick/main libglib2.0-0 2.25.7-0ubuntu1 [1193kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main libusb-0.1-4 2:0.1.12-15 [20.3kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 1214kB in 0s (11.2MB/s) (Reading database ... 13331 files and directories currently installed.) Preparing to replace libglib2.0-0 2.25.5-1ubuntu2 (using .../libglib2.0-0_2.25.7-0ubuntu1_i386.deb) ... Unpacking replacement libglib2.0-0 ... Preparing to replace libusb-0.1-4 2:0.1.12-14 (using .../libusb-0.1-4_2%3a0.1.12-15_i386.deb) ... Unpacking replacement libusb-0.1-4 ... Setting up libglib2.0-0 (2.25.7-0ubuntu1) ... Setting up libusb-0.1-4 (2:0.1.12-15) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8', 'maverick', '--nolog', '--batch', '--archive=ubuntu', '--dist=maverick', '-A', '--purpose=PRIMARY', '--comp=universe', 'agda-stdlib_0.3-3fakesync.dsc'] Initiating build 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 with 2 processor cores. Automatic build of agda-stdlib_0.3-3fakesync on vernadsky by sbuild/i386 1.170.5 Build started at 20100526-0258 ****************************************************************************** agda-stdlib_0.3-3fakesync.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 7.0.50~), procps | hurd, agda-bin (>= 2.2.6), agda-bin (<< 2.2.6.1~), libghc6-agda-dev (>= 2.2.6), libghc6-agda-dev (<< 2.2.6.1~) Checking for already installed source dependencies... debhelper: missing procps: already installed (1:3.2.8-1ubuntu4) agda-bin: missing agda-bin: missing libghc6-agda-dev: missing libghc6-agda-dev: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper agda-bin agda-bin libghc6-agda-dev libghc6-agda-dev Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils file gettext gettext-base ghc6 groff-base html2text intltool-debian libbsd-dev libbsd0 libcroco3 libffi-dev libffi5 libghc6-binary-dev libghc6-haskeline-dev libghc6-haskell-src-dev libghc6-mtl-dev libghc6-quickcheck2-dev libghc6-xhtml-dev libghc6-zlib-dev libgmp3-dev libgmpxx4ldbl libmagic1 libxml2 man-db po-debconf zlib1g-dev Suggested packages: agda-mode wamerican wordlist whois vacation dh-make gettext-doc ghc6-prof ghc6-doc haskell-doc groff libghc6-agda-doc libghc6-binary-doc libghc6-binary-prof libghc6-haskeline-doc libghc6-haskeline-prof libghc6-haskell-src-doc libghc6-haskell-src-prof libghc6-mtl-doc libghc6-mtl-prof libghc6-quickcheck2-doc libghc6-quickcheck2-prof libghc6-xhtml-doc libghc6-xhtml-prof libghc6-zlib-doc libghc6-zlib-prof libgmp3-doc libmpfr-dev less www-browser libmail-box-perl Recommended packages: curl wget lynx autopoint xml-core libmail-sendmail-perl The following NEW packages will be installed: agda-bin bsdmainutils debhelper file gettext gettext-base ghc6 groff-base html2text intltool-debian libbsd-dev libbsd0 libcroco3 libffi-dev libffi5 libghc6-agda-dev libghc6-binary-dev libghc6-haskeline-dev libghc6-haskell-src-dev libghc6-mtl-dev libghc6-quickcheck2-dev libghc6-xhtml-dev libghc6-zlib-dev libgmp3-dev libgmpxx4ldbl libmagic1 libxml2 man-db po-debconf zlib1g-dev 0 upgraded, 30 newly installed, 0 to remove and 0 not upgraded. Need to get 85.5MB of archives. After this operation, 371MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libmagic1 file bsdmainutils gettext-base groff-base libbsd0 libxml2 man-db libffi5 agda-bin html2text libcroco3 gettext intltool-debian po-debconf debhelper libgmpxx4ldbl libgmp3-dev libffi-dev libbsd-dev ghc6 libghc6-mtl-dev libghc6-quickcheck2-dev libghc6-binary-dev libghc6-haskeline-dev libghc6-haskell-src-dev libghc6-xhtml-dev zlib1g-dev libghc6-zlib-dev libghc6-agda-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ maverick/main libmagic1 5.03-5ubuntu1 [392kB] Get:2 http://ftpmaster.internal/ubuntu/ maverick/main file 5.03-5ubuntu1 [47.4kB] Get:3 http://ftpmaster.internal/ubuntu/ maverick/main bsdmainutils 8.0.1ubuntu1 [191kB] Get:4 http://ftpmaster.internal/ubuntu/ maverick/main gettext-base 0.17-11ubuntu1 [70.4kB] Get:5 http://ftpmaster.internal/ubuntu/ maverick/main groff-base 1.20.1-10 [1090kB] Get:6 http://ftpmaster.internal/ubuntu/ maverick/main libbsd0 0.2.0-1 [41.8kB] Get:7 http://ftpmaster.internal/ubuntu/ maverick/main libxml2 2.7.6.dfsg-1ubuntu1 [827kB] Get:8 http://ftpmaster.internal/ubuntu/ maverick/main man-db 2.5.7-3 [1082kB] Get:9 http://ftpmaster.internal/ubuntu/ maverick/main libffi5 3.0.9-2ubuntu1 [16.3kB] Get:10 http://ftpmaster.internal/ubuntu/ maverick/universe agda-bin 2.2.6-1build1 [2676kB] Get:11 http://ftpmaster.internal/ubuntu/ maverick/main html2text 1.3.2a-15 [101kB] Get:12 http://ftpmaster.internal/ubuntu/ maverick/main libcroco3 0.6.2-1 [92.5kB] Get:13 http://ftpmaster.internal/ubuntu/ maverick/main gettext 0.17-11ubuntu1 [1727kB] Get:14 http://ftpmaster.internal/ubuntu/ maverick/main intltool-debian 0.35.0+20060710.1 [31.6kB] Get:15 http://ftpmaster.internal/ubuntu/ maverick/main po-debconf 1.0.16 [224kB] Get:16 http://ftpmaster.internal/ubuntu/ maverick/main debhelper 7.4.19ubuntu1 [467kB] Get:17 http://ftpmaster.internal/ubuntu/ maverick/main libgmpxx4ldbl 2:4.3.2+dfsg-1ubuntu1 [18.7kB] Get:18 http://ftpmaster.internal/ubuntu/ maverick/main libgmp3-dev 2:4.3.2+dfsg-1ubuntu1 [668kB] Get:19 http://ftpmaster.internal/ubuntu/ maverick/main libffi-dev 3.0.9-2ubuntu1 [95.2kB] Get:20 http://ftpmaster.internal/ubuntu/ maverick/main libbsd-dev 0.2.0-1 [91.7kB] Get:21 http://ftpmaster.internal/ubuntu/ maverick/universe ghc6 6.12.1-13 [63.0MB] Get:22 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-mtl-dev 1.1.0.2-10 [194kB] Get:23 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-quickcheck2-dev 2.1.0.3-1 [379kB] Get:24 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-binary-dev 0.5.0.2-1 [196kB] Get:25 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-haskeline-dev 0.6.2.2-1 [758kB] Get:26 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-haskell-src-dev 1.0.1.3-2 [953kB] Get:27 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-xhtml-dev 3000.2.0.1-6 [216kB] Get:28 http://ftpmaster.internal/ubuntu/ maverick/main zlib1g-dev 1:1.2.3.4.dfsg-3ubuntu1 [188kB] Get:29 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-zlib-dev 0.5.2.0-4 [76.7kB] Get:30 http://ftpmaster.internal/ubuntu/ maverick/universe libghc6-agda-dev 2.2.6-7 [9533kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 85.5MB in 8s (10.6MB/s) Selecting previously deselected package libmagic1. (Reading database ... 13331 files and directories currently installed.) Unpacking libmagic1 (from .../libmagic1_5.03-5ubuntu1_i386.deb) ... Selecting previously deselected package file. Unpacking file (from .../file_5.03-5ubuntu1_i386.deb) ... Selecting previously deselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_8.0.1ubuntu1_i386.deb) ... Selecting previously deselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.17-11ubuntu1_i386.deb) ... Selecting previously deselected package groff-base. Unpacking groff-base (from .../groff-base_1.20.1-10_i386.deb) ... Selecting previously deselected package libbsd0. Unpacking libbsd0 (from .../libbsd0_0.2.0-1_i386.deb) ... Selecting previously deselected package libxml2. Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-1ubuntu1_i386.deb) ... Selecting previously deselected package man-db. Unpacking man-db (from .../man-db_2.5.7-3_i386.deb) ... Selecting previously deselected package libffi5. Unpacking libffi5 (from .../libffi5_3.0.9-2ubuntu1_i386.deb) ... Selecting previously deselected package agda-bin. Unpacking agda-bin (from .../agda-bin_2.2.6-1build1_i386.deb) ... Selecting previously deselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15_i386.deb) ... Selecting previously deselected package libcroco3. Unpacking libcroco3 (from .../libcroco3_0.6.2-1_i386.deb) ... Selecting previously deselected package gettext. Unpacking gettext (from .../gettext_0.17-11ubuntu1_i386.deb) ... Selecting previously deselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously deselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16_all.deb) ... Selecting previously deselected package debhelper. Unpacking debhelper (from .../debhelper_7.4.19ubuntu1_all.deb) ... Selecting previously deselected package libgmpxx4ldbl. Unpacking libgmpxx4ldbl (from .../libgmpxx4ldbl_2%3a4.3.2+dfsg-1ubuntu1_i386.deb) ... Selecting previously deselected package libgmp3-dev. Unpacking libgmp3-dev (from .../libgmp3-dev_2%3a4.3.2+dfsg-1ubuntu1_i386.deb) ... Selecting previously deselected package libffi-dev. Unpacking libffi-dev (from .../libffi-dev_3.0.9-2ubuntu1_i386.deb) ... Selecting previously deselected package libbsd-dev. Unpacking libbsd-dev (from .../libbsd-dev_0.2.0-1_i386.deb) ... Selecting previously deselected package ghc6. Unpacking ghc6 (from .../ghc6_6.12.1-13_i386.deb) ... Selecting previously deselected package libghc6-mtl-dev. Unpacking libghc6-mtl-dev (from .../libghc6-mtl-dev_1.1.0.2-10_i386.deb) ... Selecting previously deselected package libghc6-quickcheck2-dev. Unpacking libghc6-quickcheck2-dev (from .../libghc6-quickcheck2-dev_2.1.0.3-1_i386.deb) ... Selecting previously deselected package libghc6-binary-dev. Unpacking libghc6-binary-dev (from .../libghc6-binary-dev_0.5.0.2-1_i386.deb) ... Selecting previously deselected package libghc6-haskeline-dev. Unpacking libghc6-haskeline-dev (from .../libghc6-haskeline-dev_0.6.2.2-1_i386.deb) ... Selecting previously deselected package libghc6-haskell-src-dev. Unpacking libghc6-haskell-src-dev (from .../libghc6-haskell-src-dev_1.0.1.3-2_i386.deb) ... Selecting previously deselected package libghc6-xhtml-dev. Unpacking libghc6-xhtml-dev (from .../libghc6-xhtml-dev_3000.2.0.1-6_i386.deb) ... Selecting previously deselected package zlib1g-dev. Unpacking zlib1g-dev (from .../zlib1g-dev_1%3a1.2.3.4.dfsg-3ubuntu1_i386.deb) ... Selecting previously deselected package libghc6-zlib-dev. Unpacking libghc6-zlib-dev (from .../libghc6-zlib-dev_0.5.2.0-4_i386.deb) ... Selecting previously deselected package libghc6-agda-dev. Unpacking libghc6-agda-dev (from .../libghc6-agda-dev_2.2.6-7_i386.deb) ... Setting up libmagic1 (5.03-5ubuntu1) ... Setting up file (5.03-5ubuntu1) ... Setting up bsdmainutils (8.0.1ubuntu1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode. Setting up gettext-base (0.17-11ubuntu1) ... Setting up groff-base (1.20.1-10) ... Setting up libbsd0 (0.2.0-1) ... Setting up libxml2 (2.7.6.dfsg-1ubuntu1) ... Setting up man-db (2.5.7-3) ... Building database of manual pages ... Setting up libffi5 (3.0.9-2ubuntu1) ... Setting up agda-bin (2.2.6-1build1) ... Setting up html2text (1.3.2a-15) ... Setting up libcroco3 (0.6.2-1) ... Setting up gettext (0.17-11ubuntu1) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16) ... Setting up debhelper (7.4.19ubuntu1) ... Setting up libgmpxx4ldbl (2:4.3.2+dfsg-1ubuntu1) ... Setting up libgmp3-dev (2:4.3.2+dfsg-1ubuntu1) ... Setting up libffi-dev (3.0.9-2ubuntu1) ... Setting up libbsd-dev (0.2.0-1) ... Setting up ghc6 (6.12.1-13) ... update-alternatives: using /usr/bin/runghc6 to provide /usr/bin/runhaskell (runhaskell) in auto mode. update-alternatives: using /usr/bin/ghc6 to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode. update-alternatives: using /usr/lib/ghc-6.12.1/bin/ghc to provide /usr/bin/ghc (ghc) in auto mode. update-alternatives: warning: skip creation of /usr/bin/hasktags because associated file /usr/lib/ghc-6.12.1/bin/hasktags (of link group ghc) doesn't exist. Setting up libghc6-mtl-dev (1.1.0.2-10) ... Setting up libghc6-quickcheck2-dev (2.1.0.3-1) ... Setting up libghc6-binary-dev (0.5.0.2-1) ... Setting up libghc6-haskeline-dev (0.6.2.2-1) ... Setting up libghc6-haskell-src-dev (1.0.1.3-2) ... Setting up libghc6-xhtml-dev (3000.2.0.1-6) ... Setting up zlib1g-dev (1:1.2.3.4.dfsg-3ubuntu1) ... Setting up libghc6-zlib-dev (0.5.2.0-4) ... Setting up libghc6-agda-dev (2.2.6-7) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.11.1-0ubuntu9 make_3.81-8 dpkg-dev_1.15.7.2ubuntu1 gcc-4.4_4.4.4-2ubuntu2 g++-4.4_4.4.4-2ubuntu2 binutils_2.20.51.20100518-1ubuntu1 libstdc++6-4.4-dev_4.4.4-2ubuntu2 libstdc++6_4.5.0-3ubuntu1 ------------------------------------------------------------------------------ gpgv: Signature made Tue May 25 21:13:38 2010 UTC using DSA key ID 20BFCDC7 gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./agda-stdlib_0.3-3fakesync.dsc dpkg-source: info: extracting agda-stdlib in agda-stdlib-0.3 dpkg-source: info: unpacking agda-stdlib_0.3.orig.tar.gz dpkg-source: info: applying agda-stdlib_0.3-3fakesync.diff.gz dpkg-buildpackage: export CFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export CPPFLAGS from dpkg-buildflags (origin: vendor): dpkg-buildpackage: export CXXFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export FFLAGS from dpkg-buildflags (origin: vendor): -g -O2 dpkg-buildpackage: export LDFLAGS from dpkg-buildflags (origin: vendor): -Wl,-Bsymbolic-functions dpkg-buildpackage: source package agda-stdlib dpkg-buildpackage: source version 0.3-3fakesync dpkg-buildpackage: host architecture i386 /usr/bin/fakeroot debian/rules clean dh clean dh_testdir debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/agda-stdlib-0.3' find /build/buildd/agda-stdlib-0.3 -name "*.agdai" -delete rm -rf /build/buildd/agda-stdlib-0.3/html dh_auto_clean make[1]: Leaving directory `/build/buildd/agda-stdlib-0.3' dh_clean debian/rules build dh build dh_testdir dh_auto_configure debian/rules override_dh_auto_build make[1]: Entering directory `/build/buildd/agda-stdlib-0.3' sh /build/buildd/agda-stdlib-0.3/debian/watcher.sh "$PPID" "/build/buildd/agda-stdlib-0.3" "/build/buildd/agda-stdlib-0.3/build-stamp" 'agda' & Watcher: Check PID: 26305 Watcher: Directory: /build/buildd/agda-stdlib-0.3 Watcher: File: /build/buildd/agda-stdlib-0.3/build-stamp Watcher: Grep for: agda Watcher: creating lock agda -i /build/buildd/agda-stdlib-0.3 -i /build/buildd/agda-stdlib-0.3/src /build/buildd/agda-stdlib-0.3/Everything.agda Checking Everything (/build/buildd/agda-stdlib-0.3/Everything.agda). Checking Algebra (/build/buildd/agda-stdlib-0.3/src/Algebra.agda). Checking Relation.Binary (/build/buildd/agda-stdlib-0.3/src/Relation/Binary.agda). Checking Data.Product (/build/buildd/agda-stdlib-0.3/src/Data/Product.agda). Checking Data.Function (/build/buildd/agda-stdlib-0.3/src/Data/Function.agda). Checking Level (/build/buildd/agda-stdlib-0.3/src/Level.agda). Checking Relation.Nullary.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Core.agda). Checking Data.Empty (/build/buildd/agda-stdlib-0.3/src/Data/Empty.agda). Checking Data.Sum (/build/buildd/agda-stdlib-0.3/src/Data/Sum.agda). Checking Data.Maybe.Core (/build/buildd/agda-stdlib-0.3/src/Data/Maybe/Core.agda). Checking Relation.Binary.PropositionalEquality.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Relation.Binary.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Core.agda). Checking Relation.Binary.Consequences.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Consequences/Core.agda). Checking Relation.Binary.Consequences (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Consequences.agda). Checking Algebra.FunctionProperties (/build/buildd/agda-stdlib-0.3/src/Algebra/FunctionProperties.agda). Checking Algebra.FunctionProperties.Core (/build/buildd/agda-stdlib-0.3/src/Algebra/FunctionProperties/Core.agda). Checking Algebra.Structures (/build/buildd/agda-stdlib-0.3/src/Algebra/Structures.agda). Checking Relation.Binary.EqReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/EqReasoning.agda). Checking Relation.Binary.PreorderReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PreorderReasoning.agda). Checking Algebra.Morphism (/build/buildd/agda-stdlib-0.3/src/Algebra/Morphism.agda). Checking Algebra.Props.Group (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/Group.agda). Checking Algebra.Operations (/build/buildd/agda-stdlib-0.3/src/Algebra/Operations.agda). Checking Data.Nat (/build/buildd/agda-stdlib-0.3/src/Data/Nat.agda). Checking Data.Function.Equality (/build/buildd/agda-stdlib-0.3/src/Data/Function/Equality.agda). Checking Data.Function.Injection (/build/buildd/agda-stdlib-0.3/src/Data/Function/Injection.agda). Checking Relation.Nullary (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary.agda). Checking Relation.Binary.PropositionalEquality (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality.agda). Checking Relation.Binary.PartialOrderReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PartialOrderReasoning.agda). Checking Algebra.Props.AbelianGroup (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/AbelianGroup.agda). Checking Algebra.Props.BooleanAlgebra (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/BooleanAlgebra.agda). Checking Algebra.Props.DistributiveLattice (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/DistributiveLattice.agda). Checking Algebra.Props.Lattice (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/Lattice.agda). Checking Algebra.Props.Ring (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/Ring.agda). Checking Algebra.RingSolver (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver.agda). Checking Algebra.RingSolver.AlmostCommutativeRing (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/AlmostCommutativeRing.agda). Checking Algebra.RingSolver.Lemmas (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/Lemmas.agda). Checking Relation.Binary.Reflection (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Reflection.agda). Checking Data.Fin (/build/buildd/agda-stdlib-0.3/src/Data/Fin.agda). Checking Relation.Nullary.Decidable (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Decidable.agda). Checking Data.Bool (/build/buildd/agda-stdlib-0.3/src/Data/Bool.agda). Checking Data.Unit (/build/buildd/agda-stdlib-0.3/src/Data/Unit.agda). Checking Data.Vec (/build/buildd/agda-stdlib-0.3/src/Data/Vec.agda). Checking Data.List (/build/buildd/agda-stdlib-0.3/src/Data/List.agda). Checking Data.Maybe (/build/buildd/agda-stdlib-0.3/src/Data/Maybe.agda). Checking Category.Functor (/build/buildd/agda-stdlib-0.3/src/Category/Functor.agda). Checking Category.Monad (/build/buildd/agda-stdlib-0.3/src/Category/Monad.agda). Checking Category.Monad.Indexed (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Indexed.agda). Checking Category.Applicative.Indexed (/build/buildd/agda-stdlib-0.3/src/Category/Applicative/Indexed.agda). Checking Category.Monad.Identity (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Identity.agda). Checking Data.Vec.N-ary (/build/buildd/agda-stdlib-0.3/src/Data/Vec/N-ary.agda). Checking Algebra.RingSolver.Simple (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/Simple.agda). Checking Category.Applicative (/build/buildd/agda-stdlib-0.3/src/Category/Applicative.agda). Checking Category.Monad.Continuation (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Continuation.agda). Checking Category.Monad.Partiality (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Partiality.agda). Checking Coinduction (/build/buildd/agda-stdlib-0.3/src/Coinduction.agda). Checking Category.Monad.State (/build/buildd/agda-stdlib-0.3/src/Category/Monad/State.agda). Checking Data.AVL (/build/buildd/agda-stdlib-0.3/src/Data/AVL.agda). Checking Data.DifferenceList (/build/buildd/agda-stdlib-0.3/src/Data/DifferenceList.agda). Checking Data.AVL.IndexedMap (/build/buildd/agda-stdlib-0.3/src/Data/AVL/IndexedMap.agda). Checking Data.AVL.Sets (/build/buildd/agda-stdlib-0.3/src/Data/AVL/Sets.agda). Checking Data.Bin (/build/buildd/agda-stdlib-0.3/src/Data/Bin.agda). Checking Data.Nat.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Properties.agda). Checking Data.Digit (/build/buildd/agda-stdlib-0.3/src/Data/Digit.agda). Checking Data.Char (/build/buildd/agda-stdlib-0.3/src/Data/Char.agda). Checking Induction.Nat (/build/buildd/agda-stdlib-0.3/src/Induction/Nat.agda). Checking Data.Fin.Props (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Props.agda). Checking Induction (/build/buildd/agda-stdlib-0.3/src/Induction.agda). Checking Relation.Unary (/build/buildd/agda-stdlib-0.3/src/Relation/Unary.agda). Checking Induction.WellFounded (/build/buildd/agda-stdlib-0.3/src/Induction/WellFounded.agda). Checking Data.Nat.DivMod (/build/buildd/agda-stdlib-0.3/src/Data/Nat/DivMod.agda). Checking Data.Bool.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Bool/Properties.agda). Checking Data.Bool.Show (/build/buildd/agda-stdlib-0.3/src/Data/Bool/Show.agda). Checking Data.String (/build/buildd/agda-stdlib-0.3/src/Data/String.agda). Checking Data.Colist (/build/buildd/agda-stdlib-0.3/src/Data/Colist.agda). Checking Data.Conat (/build/buildd/agda-stdlib-0.3/src/Data/Conat.agda). Checking Data.List.NonEmpty (/build/buildd/agda-stdlib-0.3/src/Data/List/NonEmpty.agda). Checking Data.BoundedVec.Inefficient (/build/buildd/agda-stdlib-0.3/src/Data/BoundedVec/Inefficient.agda). Checking Relation.Binary.InducedPreorders (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/InducedPreorders.agda). Checking Relation.Nullary.Negation (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Negation.agda). Checking Data.Fin.Dec (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Dec.agda). Checking Data.Fin.Subset (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Subset.agda). Checking Data.Fin.Subset.Props (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Subset/Props.agda). Checking Relation.Binary.PropositionalEquality.TrustMe (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Checking Data.BoundedVec (/build/buildd/agda-stdlib-0.3/src/Data/BoundedVec.agda). Checking Data.Cofin (/build/buildd/agda-stdlib-0.3/src/Data/Cofin.agda). Checking Data.Covec (/build/buildd/agda-stdlib-0.3/src/Data/Covec.agda). Checking Data.DifferenceNat (/build/buildd/agda-stdlib-0.3/src/Data/DifferenceNat.agda). Checking Data.DifferenceVec (/build/buildd/agda-stdlib-0.3/src/Data/DifferenceVec.agda). Checking Data.Fin.Substitution (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution.agda). Checking Data.Star (/build/buildd/agda-stdlib-0.3/src/Data/Star.agda). Watcher: Tick. buildd 16584 0.0 0.0 1772 512 ? S 01:58 0:00 /bin/sh /usr/share/launchpad-buildd/slavebin/sbuild-package 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 maverick --nolog --batch --archive=ubuntu --dist=maverick -A --purpose=PRIMARY --comp=universe agda-stdlib_0.3-3fakesync.dsc buildd 16592 0.0 0.2 8104 5484 ? S 01:58 0:00 /usr/bin/perl /usr/bin/sbuild --nolog --batch --archive=ubuntu --dist=maverick -A --purpose=PRIMARY --comp=universe agda-stdlib_0.3-3fakesync.dsc buildd 26235 0.0 0.0 2596 1148 ? S 01:59 0:00 /bin/su buildd -s /bin/sh -c cd /build/buildd/agda-stdlib-0.3 && PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin:/usr/games DEB_BUILD_OPTIONS="parallel=2" exec dpkg-buildpackage -us -uc -b -m'Ubuntu/i386 Build Daemon ' -r/usr/bin/fakeroot 2>&1 buildd 26307 0.0 0.0 1848 540 ? S 01:59 0:00 sh /build/buildd/agda-stdlib-0.3/debian/watcher.sh 26305 /build/buildd/agda-stdlib-0.3 /build/buildd/agda-stdlib-0.3/build-stamp agda buildd 26309 99.9 37.3 779644 774676 ? R 01:59 9:59 agda -i /build/buildd/agda-stdlib-0.3 -i /build/buildd/agda-stdlib-0.3/src /build/buildd/agda-stdlib-0.3/Everything.agda Checking Data.Fin.Substitution.Example (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/Lemmas.agda). Checking Data.Vec.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Vec/Properties.agda). Checking Data.Vec.Equality (/build/buildd/agda-stdlib-0.3/src/Data/Vec/Equality.agda). Checking Relation.Binary.HeterogeneousEquality (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/HeterogeneousEquality.agda). Checking Data.Fin.Substitution.List (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/List.agda). Checking Data.List.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/Properties.agda). Checking Data.Function.LeftInverse (/build/buildd/agda-stdlib-0.3/src/Data/Function/LeftInverse.agda). Checking Data.Graph.Acyclic (/build/buildd/agda-stdlib-0.3/src/Data/Graph/Acyclic.agda). Checking Data.Integer (/build/buildd/agda-stdlib-0.3/src/Data/Integer.agda). Checking Data.Nat.Show (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Show.agda). Checking Data.Sign (/build/buildd/agda-stdlib-0.3/src/Data/Sign.agda). Checking Data.Integer.Divisibility (/build/buildd/agda-stdlib-0.3/src/Data/Integer/Divisibility.agda). Checking Data.Integer.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Integer/Properties.agda). Checking Data.Sign.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Sign/Properties.agda). Checking Data.Nat.Divisibility (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Divisibility.agda). Checking Data.Nat.Coprimality (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Coprimality.agda). Checking Data.Nat.GCD (/build/buildd/agda-stdlib-0.3/src/Data/Nat/GCD.agda). Checking Induction.Lexicographic (/build/buildd/agda-stdlib-0.3/src/Induction/Lexicographic.agda). Checking Data.Nat.GCD.Lemmas (/build/buildd/agda-stdlib-0.3/src/Data/Nat/GCD/Lemmas.agda). Checking Data.List.All (/build/buildd/agda-stdlib-0.3/src/Data/List/All.agda). Checking Data.List.Any (/build/buildd/agda-stdlib-0.3/src/Data/List/Any.agda). Checking Relation.Binary.List.Pointwise (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/List/Pointwise.agda). Checking Relation.Binary.Props.Preorder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/Preorder.agda). Checking Data.List.All.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/All/Properties.agda). Checking Data.List.Any.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/Any/Properties.agda). Checking Relation.Binary.Product.Pointwise (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/Pointwise.agda). Checking Relation.Nullary.Product (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Product.agda). Checking Relation.Binary.Props.DecTotalOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/DecTotalOrder.agda). Checking Relation.Binary.NonStrictToStrict (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/NonStrictToStrict.agda). Checking Data.List.Countdown (/build/buildd/agda-stdlib-0.3/src/Data/List/Countdown.agda). Checking Data.List.NonEmpty.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/NonEmpty/Properties.agda). Checking Data.List.Reverse (/build/buildd/agda-stdlib-0.3/src/Data/List/Reverse.agda). Checking Data.Map (/build/buildd/agda-stdlib-0.3/src/Data/Map.agda). Checking Data.Nat.InfinitelyOften (/build/buildd/agda-stdlib-0.3/src/Data/Nat/InfinitelyOften.agda). Checking Data.Nat.LCM (/build/buildd/agda-stdlib-0.3/src/Data/Nat/LCM.agda). Checking Data.Product.Record (/build/buildd/agda-stdlib-0.3/src/Data/Product/Record.agda). Checking Data.Rational (/build/buildd/agda-stdlib-0.3/src/Data/Rational.agda). Checking Data.Sets (/build/buildd/agda-stdlib-0.3/src/Data/Sets.agda). Checking Relation.Binary.OrderMorphism (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/OrderMorphism.agda). Checking Data.Star.BoundedVec (/build/buildd/agda-stdlib-0.3/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/build/buildd/agda-stdlib-0.3/src/Data/Star/Nat.agda). Checking Relation.Binary.Simple (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Simple.agda). Checking Data.Star.Decoration (/build/buildd/agda-stdlib-0.3/src/Data/Star/Decoration.agda). Checking Data.Star.Pointer (/build/buildd/agda-stdlib-0.3/src/Data/Star/Pointer.agda). Checking Data.Star.List (/build/buildd/agda-stdlib-0.3/src/Data/Star/List.agda). Checking Data.Star.Environment (/build/buildd/agda-stdlib-0.3/src/Data/Star/Environment.agda). Checking Data.Star.Fin (/build/buildd/agda-stdlib-0.3/src/Data/Star/Fin.agda). Checking Data.Star.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Star/Properties.agda). Checking Data.Star.Vec (/build/buildd/agda-stdlib-0.3/src/Data/Star/Vec.agda). Checking Data.Stream (/build/buildd/agda-stdlib-0.3/src/Data/Stream.agda). Checking Foreign.Haskell (/build/buildd/agda-stdlib-0.3/src/Foreign/Haskell.agda). Checking IO (/build/buildd/agda-stdlib-0.3/src/IO.agda). Checking IO.Primitive (/build/buildd/agda-stdlib-0.3/src/IO/Primitive.agda). Checking Relation.Binary.Flip (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Flip.agda). Checking Relation.Binary.List.NonStrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/List/NonStrictLex.agda). Checking Relation.Binary.List.StrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/List/StrictLex.agda). Checking Relation.Binary.On (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/On.agda). Checking Relation.Binary.Product.NonStrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/NonStrictLex.agda). Checking Relation.Binary.Product.StrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/StrictLex.agda). Checking Relation.Nullary.Sum (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Sum.agda). Checking Relation.Binary.Props.Poset (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/Poset.agda). Checking Relation.Binary.Props.StrictPartialOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/StrictPartialOrder.agda). Checking Relation.Binary.StrictToNonStrict (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/StrictToNonStrict.agda). Checking Relation.Binary.Props.StrictTotalOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/StrictTotalOrder.agda). Checking Relation.Binary.Props.TotalOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/TotalOrder.agda). Checking Relation.Binary.StrictPartialOrderReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/StrictPartialOrderReasoning.agda). Checking Relation.Binary.Sum (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Sum.agda). Checking Relation.Nullary.Universe (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Universe.agda). Checking Size (/build/buildd/agda-stdlib-0.3/src/Size.agda). # Can I easily make this happen only for the indep build? # It's really not much overhead either way, but would be a nice improvement agda --html -i /build/buildd/agda-stdlib-0.3 -i /build/buildd/agda-stdlib-0.3/src /build/buildd/agda-stdlib-0.3/README.agda Checking README (/build/buildd/agda-stdlib-0.3/README.agda). Skipping Level (/build/buildd/agda-stdlib-0.3/src/Level.agdai). Skipping Data.Function (/build/buildd/agda-stdlib-0.3/src/Data/Function.agdai). Skipping Data.Maybe.Core (/build/buildd/agda-stdlib-0.3/src/Data/Maybe/Core.agdai). Skipping Data.Sum (/build/buildd/agda-stdlib-0.3/src/Data/Sum.agdai). Skipping Data.Empty (/build/buildd/agda-stdlib-0.3/src/Data/Empty.agdai). Skipping Relation.Nullary.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Core.agdai). Skipping Data.Product (/build/buildd/agda-stdlib-0.3/src/Data/Product.agdai). Skipping Relation.Binary.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Core.agdai). Skipping Relation.Binary.Consequences.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Consequences/Core.agdai). Skipping Relation.Binary.PropositionalEquality.Core (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality/Core.agdai). Skipping Relation.Binary.Consequences (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Consequences.agdai). Skipping Relation.Binary (/build/buildd/agda-stdlib-0.3/src/Relation/Binary.agdai). Skipping Relation.Nullary (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary.agdai). Skipping Relation.Binary.PreorderReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PreorderReasoning.agdai). Skipping Relation.Binary.EqReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/EqReasoning.agdai). Skipping Data.Function.Equality (/build/buildd/agda-stdlib-0.3/src/Data/Function/Equality.agdai). Skipping Relation.Binary.PropositionalEquality (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality.agdai). Skipping Data.Unit (/build/buildd/agda-stdlib-0.3/src/Data/Unit.agdai). Skipping Data.Bool (/build/buildd/agda-stdlib-0.3/src/Data/Bool.agdai). Skipping Data.Function.Injection (/build/buildd/agda-stdlib-0.3/src/Data/Function/Injection.agdai). Skipping Relation.Binary.PartialOrderReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PartialOrderReasoning.agdai). Skipping Data.Nat (/build/buildd/agda-stdlib-0.3/src/Data/Nat.agdai). Skipping Data.Char (/build/buildd/agda-stdlib-0.3/src/Data/Char.agdai). Skipping Relation.Nullary.Decidable (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Decidable.agdai). Skipping Data.Fin (/build/buildd/agda-stdlib-0.3/src/Data/Fin.agdai). Skipping Algebra.FunctionProperties.Core (/build/buildd/agda-stdlib-0.3/src/Algebra/FunctionProperties/Core.agdai). Skipping Algebra.FunctionProperties (/build/buildd/agda-stdlib-0.3/src/Algebra/FunctionProperties.agdai). Skipping Category.Functor (/build/buildd/agda-stdlib-0.3/src/Category/Functor.agdai). Skipping Category.Applicative.Indexed (/build/buildd/agda-stdlib-0.3/src/Category/Applicative/Indexed.agdai). Skipping Category.Monad.Indexed (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Indexed.agdai). Skipping Category.Monad (/build/buildd/agda-stdlib-0.3/src/Category/Monad.agdai). Skipping Category.Monad.Identity (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Identity.agdai). Skipping Data.Maybe (/build/buildd/agda-stdlib-0.3/src/Data/Maybe.agdai). Skipping Algebra.Structures (/build/buildd/agda-stdlib-0.3/src/Algebra/Structures.agdai). Skipping Algebra (/build/buildd/agda-stdlib-0.3/src/Algebra.agdai). Skipping Data.List (/build/buildd/agda-stdlib-0.3/src/Data/List.agdai). Skipping Coinduction (/build/buildd/agda-stdlib-0.3/src/Coinduction.agdai). Skipping Data.Vec (/build/buildd/agda-stdlib-0.3/src/Data/Vec.agdai). Skipping Data.List.NonEmpty (/build/buildd/agda-stdlib-0.3/src/Data/List/NonEmpty.agdai). Skipping Data.BoundedVec.Inefficient (/build/buildd/agda-stdlib-0.3/src/Data/BoundedVec/Inefficient.agdai). Skipping Relation.Unary (/build/buildd/agda-stdlib-0.3/src/Relation/Unary.agdai). Skipping Data.Fin.Subset (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Subset.agdai). Skipping Data.Fin.Subset.Props (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Subset/Props.agdai). Skipping Data.Fin.Dec (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Dec.agdai). Skipping Relation.Nullary.Negation (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Negation.agdai). Skipping Data.Conat (/build/buildd/agda-stdlib-0.3/src/Data/Conat.agdai). Skipping Relation.Binary.InducedPreorders (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/InducedPreorders.agdai). Skipping Data.Colist (/build/buildd/agda-stdlib-0.3/src/Data/Colist.agdai). Skipping Data.Stream (/build/buildd/agda-stdlib-0.3/src/Data/Stream.agdai). Skipping Relation.Binary.PropositionalEquality.TrustMe (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/PropositionalEquality/TrustMe.agdai). Skipping Data.String (/build/buildd/agda-stdlib-0.3/src/Data/String.agdai). Skipping Category.Applicative (/build/buildd/agda-stdlib-0.3/src/Category/Applicative.agdai). Skipping Data.Vec.N-ary (/build/buildd/agda-stdlib-0.3/src/Data/Vec/N-ary.agdai). Skipping Relation.Binary.Reflection (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Reflection.agdai). Skipping Algebra.Operations (/build/buildd/agda-stdlib-0.3/src/Algebra/Operations.agdai). Skipping Algebra.Props.AbelianGroup (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/AbelianGroup.agdai). Skipping Algebra.Props.Ring (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/Ring.agdai). Skipping Algebra.Props.Group (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/Group.agdai). Skipping Algebra.Morphism (/build/buildd/agda-stdlib-0.3/src/Algebra/Morphism.agdai). Skipping Algebra.RingSolver.AlmostCommutativeRing (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/AlmostCommutativeRing.agdai). Skipping Algebra.RingSolver.Lemmas (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/Lemmas.agdai). Skipping Algebra.RingSolver (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver.agdai). Skipping Induction (/build/buildd/agda-stdlib-0.3/src/Induction.agdai). Skipping Induction.WellFounded (/build/buildd/agda-stdlib-0.3/src/Induction/WellFounded.agdai). Skipping Algebra.RingSolver.Simple (/build/buildd/agda-stdlib-0.3/src/Algebra/RingSolver/Simple.agdai). Skipping Data.Nat.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Properties.agdai). Skipping Data.Fin.Props (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Props.agdai). Skipping Induction.Nat (/build/buildd/agda-stdlib-0.3/src/Induction/Nat.agdai). Skipping Foreign.Haskell (/build/buildd/agda-stdlib-0.3/src/Foreign/Haskell.agdai). Skipping IO.Primitive (/build/buildd/agda-stdlib-0.3/src/IO/Primitive.agdai). Skipping IO (/build/buildd/agda-stdlib-0.3/src/IO.agdai). Checking README.Nat (/build/buildd/agda-stdlib-0.3/README/Nat.agda). Skipping Relation.Binary.NonStrictToStrict (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/NonStrictToStrict.agdai). Skipping Relation.Nullary.Product (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Product.agdai). Skipping Relation.Binary.Product.Pointwise (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/Pointwise.agdai). Skipping Relation.Nullary.Sum (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Sum.agdai). Skipping Relation.Binary.Product.StrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/StrictLex.agdai). Skipping Relation.Binary.Product.NonStrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Product/NonStrictLex.agdai). Skipping Relation.Binary.Simple (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Simple.agdai). Skipping Data.Star (/build/buildd/agda-stdlib-0.3/src/Data/Star.agdai). Skipping Data.Star.Nat (/build/buildd/agda-stdlib-0.3/src/Data/Star/Nat.agdai). Skipping Data.Star.List (/build/buildd/agda-stdlib-0.3/src/Data/Star/List.agdai). Skipping Data.Star.Decoration (/build/buildd/agda-stdlib-0.3/src/Data/Star/Decoration.agdai). Skipping Data.Star.Pointer (/build/buildd/agda-stdlib-0.3/src/Data/Star/Pointer.agdai). Skipping Data.Star.BoundedVec (/build/buildd/agda-stdlib-0.3/src/Data/Star/BoundedVec.agdai). Skipping Data.Product.Record (/build/buildd/agda-stdlib-0.3/src/Data/Product/Record.agdai). Skipping Data.Nat.DivMod (/build/buildd/agda-stdlib-0.3/src/Data/Nat/DivMod.agdai). Skipping Data.Digit (/build/buildd/agda-stdlib-0.3/src/Data/Digit.agdai). Skipping Data.Map (/build/buildd/agda-stdlib-0.3/src/Data/Map.agdai). Skipping Relation.Binary.Props.Poset (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/Poset.agdai). Skipping Data.Star.Fin (/build/buildd/agda-stdlib-0.3/src/Data/Star/Fin.agdai). Skipping Data.Star.Vec (/build/buildd/agda-stdlib-0.3/src/Data/Star/Vec.agdai). Skipping Data.Nat.InfinitelyOften (/build/buildd/agda-stdlib-0.3/src/Data/Nat/InfinitelyOften.agdai). Skipping Data.List.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/Properties.agdai). Skipping Category.Monad.Partiality (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Partiality.agdai). Skipping Relation.Binary.Props.Preorder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/Preorder.agdai). Skipping Relation.Binary.List.Pointwise (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/List/Pointwise.agdai). Skipping Data.List.Any (/build/buildd/agda-stdlib-0.3/src/Data/List/Any.agdai). Skipping Data.List.Countdown (/build/buildd/agda-stdlib-0.3/src/Data/List/Countdown.agdai). Skipping Relation.Binary.StrictToNonStrict (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/StrictToNonStrict.agdai). Skipping Relation.Binary.Props.StrictPartialOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/StrictPartialOrder.agdai). Skipping Relation.Binary.Sum (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Sum.agdai). Skipping Algebra.Props.Lattice (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/Lattice.agdai). Skipping Algebra.Props.DistributiveLattice (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/DistributiveLattice.agdai). Skipping Algebra.Props.BooleanAlgebra (/build/buildd/agda-stdlib-0.3/src/Algebra/Props/BooleanAlgebra.agdai). Skipping Data.Nat.GCD.Lemmas (/build/buildd/agda-stdlib-0.3/src/Data/Nat/GCD/Lemmas.agdai). Skipping Data.Nat.Divisibility (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Divisibility.agdai). Skipping Induction.Lexicographic (/build/buildd/agda-stdlib-0.3/src/Induction/Lexicographic.agdai). Skipping Data.Nat.GCD (/build/buildd/agda-stdlib-0.3/src/Data/Nat/GCD.agdai). Skipping Data.Nat.Coprimality (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Coprimality.agdai). Skipping Data.Function.LeftInverse (/build/buildd/agda-stdlib-0.3/src/Data/Function/LeftInverse.agdai). Skipping Data.Fin.Substitution (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution.agdai). Skipping Relation.Binary.HeterogeneousEquality (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/HeterogeneousEquality.agdai). Skipping Data.Vec.Equality (/build/buildd/agda-stdlib-0.3/src/Data/Vec/Equality.agdai). Skipping Data.Vec.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Vec/Properties.agdai). Skipping Data.Fin.Substitution.Lemmas (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/Lemmas.agdai). Skipping Data.Fin.Substitution.Example (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/Example.agdai). Skipping Data.Star.Environment (/build/buildd/agda-stdlib-0.3/src/Data/Star/Environment.agdai). Skipping Data.List.All (/build/buildd/agda-stdlib-0.3/src/Data/List/All.agdai). Skipping Data.List.NonEmpty.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/NonEmpty/Properties.agdai). Skipping Data.DifferenceList (/build/buildd/agda-stdlib-0.3/src/Data/DifferenceList.agdai). Skipping Data.Sign (/build/buildd/agda-stdlib-0.3/src/Data/Sign.agdai). Skipping Data.Sign.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Sign/Properties.agdai). Skipping Data.Nat.Show (/build/buildd/agda-stdlib-0.3/src/Data/Nat/Show.agdai). Skipping Data.Integer (/build/buildd/agda-stdlib-0.3/src/Data/Integer.agdai). Skipping Data.Integer.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Integer/Properties.agdai). Skipping Data.Integer.Divisibility (/build/buildd/agda-stdlib-0.3/src/Data/Integer/Divisibility.agdai). Skipping Data.Bool.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Bool/Properties.agdai). Skipping Data.Rational (/build/buildd/agda-stdlib-0.3/src/Data/Rational.agdai). Skipping Relation.Binary.Props.DecTotalOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/DecTotalOrder.agdai). Skipping Data.List.Any.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/Any/Properties.agdai). Skipping Relation.Binary.OrderMorphism (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/OrderMorphism.agdai). Skipping Data.Cofin (/build/buildd/agda-stdlib-0.3/src/Data/Cofin.agdai). Skipping Relation.Binary.List.StrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/List/StrictLex.agdai). Skipping Relation.Binary.Props.TotalOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/TotalOrder.agdai). Skipping Data.BoundedVec (/build/buildd/agda-stdlib-0.3/src/Data/BoundedVec.agdai). Skipping Data.AVL (/build/buildd/agda-stdlib-0.3/src/Data/AVL.agdai). Skipping Data.AVL.Sets (/build/buildd/agda-stdlib-0.3/src/Data/AVL/Sets.agdai). Skipping Data.DifferenceNat (/build/buildd/agda-stdlib-0.3/src/Data/DifferenceNat.agdai). Skipping Data.DifferenceVec (/build/buildd/agda-stdlib-0.3/src/Data/DifferenceVec.agdai). Skipping Relation.Binary.On (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/On.agdai). Skipping Data.Graph.Acyclic (/build/buildd/agda-stdlib-0.3/src/Data/Graph/Acyclic.agdai). Skipping Data.Nat.LCM (/build/buildd/agda-stdlib-0.3/src/Data/Nat/LCM.agdai). Skipping Category.Monad.Continuation (/build/buildd/agda-stdlib-0.3/src/Category/Monad/Continuation.agdai). Skipping Data.Bool.Show (/build/buildd/agda-stdlib-0.3/src/Data/Bool/Show.agdai). Skipping Data.Sets (/build/buildd/agda-stdlib-0.3/src/Data/Sets.agdai). Skipping Relation.Binary.Flip (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Flip.agdai). Skipping Data.Star.Properties (/build/buildd/agda-stdlib-0.3/src/Data/Star/Properties.agdai). Skipping Relation.Nullary.Universe (/build/buildd/agda-stdlib-0.3/src/Relation/Nullary/Universe.agdai). Skipping Relation.Binary.Props.StrictTotalOrder (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/Props/StrictTotalOrder.agdai). Skipping Data.AVL.IndexedMap (/build/buildd/agda-stdlib-0.3/src/Data/AVL/IndexedMap.agdai). Skipping Data.Covec (/build/buildd/agda-stdlib-0.3/src/Data/Covec.agdai). Skipping Relation.Binary.List.NonStrictLex (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/List/NonStrictLex.agdai). Skipping Relation.Binary.StrictPartialOrderReasoning (/build/buildd/agda-stdlib-0.3/src/Relation/Binary/StrictPartialOrderReasoning.agdai). Skipping Data.List.Reverse (/build/buildd/agda-stdlib-0.3/src/Data/List/Reverse.agdai). Skipping Data.Fin.Substitution.List (/build/buildd/agda-stdlib-0.3/src/Data/Fin/Substitution/List.agdai). Skipping Data.Bin (/build/buildd/agda-stdlib-0.3/src/Data/Bin.agdai). Skipping Data.List.All.Properties (/build/buildd/agda-stdlib-0.3/src/Data/List/All/Properties.agdai). Skipping Category.Monad.State (/build/buildd/agda-stdlib-0.3/src/Category/Monad/State.agdai). Skipping Size (/build/buildd/agda-stdlib-0.3/src/Size.agdai). Skipping Everything (/build/buildd/agda-stdlib-0.3/Everything.agdai). Warning: HTML is currently generated for ALL files which can be reached from the given module, including library files. Generating HTML for Algebra (html/Algebra.html). Generating HTML for Algebra.FunctionProperties (html/Algebra.FunctionProperties.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 (html/Algebra.Operations.html). Generating HTML for Algebra.Props.AbelianGroup (html/Algebra.Props.AbelianGroup.html). Generating HTML for Algebra.Props.BooleanAlgebra (html/Algebra.Props.BooleanAlgebra.html). Generating HTML for Algebra.Props.DistributiveLattice (html/Algebra.Props.DistributiveLattice.html). Generating HTML for Algebra.Props.Group (html/Algebra.Props.Group.html). Generating HTML for Algebra.Props.Lattice (html/Algebra.Props.Lattice.html). Generating HTML for Algebra.Props.Ring (html/Algebra.Props.Ring.html). Generating HTML for Algebra.RingSolver (html/Algebra.RingSolver.html). Generating HTML for Algebra.RingSolver.AlmostCommutativeRing (html/Algebra.RingSolver.AlmostCommutativeRing.html). Generating HTML for Algebra.RingSolver.Lemmas (html/Algebra.RingSolver.Lemmas.html). Generating HTML for Algebra.RingSolver.Simple (html/Algebra.RingSolver.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.Functor (html/Category.Functor.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.Identity (html/Category.Monad.Identity.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.State (html/Category.Monad.State.html). Generating HTML for Coinduction (html/Coinduction.html). Generating HTML for Data.AVL (html/Data.AVL.html). Generating HTML for Data.AVL.IndexedMap (html/Data.AVL.IndexedMap.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.Bool (html/Data.Bool.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.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.Cofin (html/Data.Cofin.html). Generating HTML for Data.Colist (html/Data.Colist.html). Generating HTML for Data.Conat (html/Data.Conat.html). Generating HTML for Data.Covec (html/Data.Covec.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.Fin (html/Data.Fin.html). Generating HTML for Data.Fin.Dec (html/Data.Fin.Dec.html). Generating HTML for Data.Fin.Props (html/Data.Fin.Props.html). Generating HTML for Data.Fin.Subset (html/Data.Fin.Subset.html). Generating HTML for Data.Fin.Subset.Props (html/Data.Fin.Subset.Props.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.Function (html/Data.Function.html). Generating HTML for Data.Function.Equality (html/Data.Function.Equality.html). Generating HTML for Data.Function.Injection (html/Data.Function.Injection.html). Generating HTML for Data.Function.LeftInverse (html/Data.Function.LeftInverse.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.Divisibility (html/Data.Integer.Divisibility.html). Generating HTML for Data.Integer.Properties (html/Data.Integer.Properties.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.Countdown (html/Data.List.Countdown.html). Generating HTML for Data.List.NonEmpty (html/Data.List.NonEmpty.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.Reverse (html/Data.List.Reverse.html). Generating HTML for Data.Map (html/Data.Map.html). Generating HTML for Data.Maybe (html/Data.Maybe.html). Generating HTML for Data.Maybe.Core (html/Data.Maybe.Core.html). Generating HTML for Data.Nat (html/Data.Nat.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.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.InfinitelyOften (html/Data.Nat.InfinitelyOften.html). Generating HTML for Data.Nat.LCM (html/Data.Nat.LCM.html). Generating HTML for Data.Nat.Properties (html/Data.Nat.Properties.html). Generating HTML for Data.Nat.Show (html/Data.Nat.Show.html). Generating HTML for Data.Product (html/Data.Product.html). Generating HTML for Data.Product.Record (html/Data.Product.Record.html). Generating HTML for Data.Rational (html/Data.Rational.html). Generating HTML for Data.Sets (html/Data.Sets.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.Stream (html/Data.Stream.html). Generating HTML for Data.String (html/Data.String.html). Generating HTML for Data.Sum (html/Data.Sum.html). Generating HTML for Data.Unit (html/Data.Unit.html). Generating HTML for Data.Vec (html/Data.Vec.html). Generating HTML for Data.Vec.Equality (html/Data.Vec.Equality.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 Everything (html/Everything.html). Generating HTML for Foreign.Haskell (html/Foreign.Haskell.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 README (html/README.html). Generating HTML for README.Nat (html/README.Nat.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.Consequences.Core (html/Relation.Binary.Consequences.Core.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.Flip (html/Relation.Binary.Flip.html). Generating HTML for Relation.Binary.HeterogeneousEquality (html/Relation.Binary.HeterogeneousEquality.html). Generating HTML for Relation.Binary.InducedPreorders (html/Relation.Binary.InducedPreorders.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.NonStrictToStrict (html/Relation.Binary.NonStrictToStrict.html). Generating HTML for Relation.Binary.On (html/Relation.Binary.On.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.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.Props.DecTotalOrder (html/Relation.Binary.Props.DecTotalOrder.html). Generating HTML for Relation.Binary.Props.Poset (html/Relation.Binary.Props.Poset.html). Generating HTML for Relation.Binary.Props.Preorder (html/Relation.Binary.Props.Preorder.html). Generating HTML for Relation.Binary.Props.StrictPartialOrder (html/Relation.Binary.Props.StrictPartialOrder.html). Generating HTML for Relation.Binary.Props.StrictTotalOrder (html/Relation.Binary.Props.StrictTotalOrder.html). Generating HTML for Relation.Binary.Props.TotalOrder (html/Relation.Binary.Props.TotalOrder.html). Generating HTML for Relation.Binary.Reflection (html/Relation.Binary.Reflection.html). Generating HTML for Relation.Binary.Simple (html/Relation.Binary.Simple.html). Generating HTML for Relation.Binary.StrictPartialOrderReasoning (html/Relation.Binary.StrictPartialOrderReasoning.html). Generating HTML for Relation.Binary.StrictToNonStrict (html/Relation.Binary.StrictToNonStrict.html). Generating HTML for Relation.Binary.Sum (html/Relation.Binary.Sum.html). Generating HTML for Relation.Nullary (html/Relation.Nullary.html). Generating HTML for Relation.Nullary.Core (html/Relation.Nullary.Core.html). Generating HTML for Relation.Nullary.Decidable (html/Relation.Nullary.Decidable.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 Size (html/Size.html). make[1]: Leaving directory `/build/buildd/agda-stdlib-0.3' # Skipping dh_auto_test - empty override /usr/bin/fakeroot debian/rules binary dh binary dh_testroot dh_prep dh_installdirs dh_auto_install dh_install dh_installdocs dh_installchangelogs dh_installexamples dh_installman dh_installcatalogs dh_installcron dh_installdebconf dh_installemacsen dh_installifupdown dh_installinfo dh_installinit dh_installmenu dh_installmime dh_installmodules dh_installlogcheck dh_installlogrotate dh_installpam dh_installppp dh_installudev dh_installwm dh_installxfonts dh_bugfiles dh_lintian dh_gconf dh_icons dh_perl dh_usrlocal dh_link dh_compress dh_fixperms dh_strip dh_strip debug symbol extraction: all non-arch-all packages for this build platform i386: agda-stdlib dh_strip debug symbol extraction: packages to act on: agda-stdlib dh_strip debug symbol extraction: ignored packages: agda-stdlib is already stripped, ignoring dh_makeshlibs dh_shlibdeps dh_installdeb dh_gencontrol dh_md5sums dh_builddeb pkgstriptranslations: processing control file: ./debian/agda-stdlib/DEBIAN/control, package agda-stdlib, directory ./debian/agda-stdlib pkgstriptranslations: agda-stdlib does not contain translations, skipping pkgstriptranslations: processing control file: ./debian/agda-stdlib-doc/DEBIAN/control, package agda-stdlib-doc, directory ./debian/agda-stdlib-doc pkgstriptranslations: agda-stdlib-doc does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Not overriding Maintainer for domain ubuntu.com dpkg-deb: building package `agda-stdlib' in `../agda-stdlib_0.3-3fakesync_i386.deb'. pkgstriptranslations: processing control file: ./debian/agda-stdlib/DEBIAN/control, package agda-stdlib, directory ./debian/agda-stdlib pkgstriptranslations: agda-stdlib does not contain translations, skipping pkgstriptranslations: processing control file: ./debian/agda-stdlib-doc/DEBIAN/control, package agda-stdlib-doc, directory ./debian/agda-stdlib-doc pkgstriptranslations: agda-stdlib-doc does not contain translations, skipping pkgstriptranslations: no translation files, not creating tarball pkgmaintainermangler: Not overriding Maintainer for domain ubuntu.com dpkg-deb: building package `agda-stdlib-doc' in `../agda-stdlib-doc_0.3-3fakesync_all.deb'. dpkg-genchanges -b -mUbuntu/i386 Build Daemon >../agda-stdlib_0.3-3fakesync_i386.changes dpkg-genchanges: binary-only upload - not including any source code dpkg-buildpackage: binary only upload (no source included) Watcher: Tick. buildd 16584 0.0 0.0 1772 512 ? S 01:58 0:00 /bin/sh /usr/share/launchpad-buildd/slavebin/sbuild-package 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8 maverick --nolog --batch --archive=ubuntu --dist=maverick -A --purpose=PRIMARY --comp=universe agda-stdlib_0.3-3fakesync.dsc buildd 16592 0.0 0.2 8104 5484 ? S 01:58 0:00 /usr/bin/perl /usr/bin/sbuild --nolog --batch --archive=ubuntu --dist=maverick -A --purpose=PRIMARY --comp=universe agda-stdlib_0.3-3fakesync.dsc buildd 26307 0.0 0.0 1848 540 ? S 01:59 0:00 sh /build/buildd/agda-stdlib-0.3/debian/watcher.sh 26305 /build/buildd/agda-stdlib-0.3 /build/buildd/agda-stdlib-0.3/build-stamp agda Watcher: Terminating. Watcher: Removing lock ****************************************************************************** Build finished at 20100526-0319 chroot-autobuild/build/buildd/agda-stdlib_0.3-3fakesync_i386.deb: new debian package, version 2.0. size 12047032 bytes: control archive= 9626 bytes. 41 bytes, 1 lines conffiles 1718 bytes, 36 lines control 25769 bytes, 320 lines md5sums Package: agda-stdlib Version: 0.3-3fakesync Architecture: i386 Maintainer: Iain Lane Installed-Size: 13828 Enhances: agda-mode Section: libs Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: a dependently typed programming language - standard library Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism . This package contains the complete library. chroot-autobuild/build/buildd/agda-stdlib-doc_0.3-3fakesync_all.deb: new debian package, version 2.0. size 1173374 bytes: control archive= 5843 bytes. 1756 bytes, 37 lines control 15602 bytes, 165 lines md5sums Package: agda-stdlib-doc Source: agda-stdlib Version: 0.3-3fakesync Architecture: all Maintainer: Iain Lane Installed-Size: 13196 Suggests: agda-stdlib Section: doc Priority: extra Homepage: http://wiki.portal.chalmers.se/agda/ Description: a dependently typed programming language - documentation Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . The Agda standard library contains modules for many common data structures and proof patterns. Modules provided include: - Algebra: Specifying and reasoning about abstract algebraic structures - Category: Using idioms from category theory to structure functional programs - Coinduction: Support for programming coindutively - Data: Data types and properties about data types - Foreign: Relating to the foreign function interface - Induction: A general framework for induction - IO: Input/output related functions - Level: Universe levels - Relations: Properties of and proofs about relations - Size: Sizes used by the sized types mechanism . This package contains the hyperlinked library documentation. chroot-autobuild/build/buildd/agda-stdlib_0.3-3fakesync_i386.deb: drwxr-xr-x root/root 0 2010-05-26 03:16 ./ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/lib/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/lib/agda-stdlib/ drwxr-xr-x root/root 0 2010-05-26 03:02 ./usr/lib/agda-stdlib/Algebra/ drwxr-xr-x root/root 0 2010-05-26 03:02 ./usr/lib/agda-stdlib/Algebra/RingSolver/ -rw-r--r-- root/root 4216 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agda -rw-r--r-- root/root 448 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/RingSolver/Simple.agda -rw-r--r-- root/root 4643 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/RingSolver/Lemmas.agda -rw-r--r-- root/root 158525 2010-05-26 03:01 ./usr/lib/agda-stdlib/Algebra/RingSolver/AlmostCommutativeRing.agdai -rw-r--r-- root/root 135774 2010-05-26 03:01 ./usr/lib/agda-stdlib/Algebra/RingSolver/Lemmas.agdai -rw-r--r-- root/root 36101 2010-05-26 03:02 ./usr/lib/agda-stdlib/Algebra/RingSolver/Simple.agdai -rw-r--r-- root/root 1773 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Operations.agda drwxr-xr-x root/root 0 2010-05-26 03:01 ./usr/lib/agda-stdlib/Algebra/Props/ -rw-r--r-- root/root 1812 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Props/Ring.agda -rw-r--r-- root/root 2730 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Props/Group.agda -rw-r--r-- root/root 24327 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Props/BooleanAlgebra.agda -rw-r--r-- root/root 1585 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Props/AbelianGroup.agda -rw-r--r-- root/root 2581 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Props/DistributiveLattice.agda -rw-r--r-- root/root 1401 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Props/Lattice.agda -rw-r--r-- root/root 84800 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra/Props/Group.agdai -rw-r--r-- root/root 67047 2010-05-26 03:00 ./usr/lib/agda-stdlib/Algebra/Props/AbelianGroup.agdai -rw-r--r-- root/root 76869 2010-05-26 03:00 ./usr/lib/agda-stdlib/Algebra/Props/Lattice.agdai -rw-r--r-- root/root 90542 2010-05-26 03:00 ./usr/lib/agda-stdlib/Algebra/Props/DistributiveLattice.agdai -rw-r--r-- root/root 314784 2010-05-26 03:01 ./usr/lib/agda-stdlib/Algebra/Props/BooleanAlgebra.agdai -rw-r--r-- root/root 77048 2010-05-26 03:01 ./usr/lib/agda-stdlib/Algebra/Props/Ring.agdai -rw-r--r-- root/root 2706 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/FunctionProperties.agda drwxr-xr-x root/root 0 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra/FunctionProperties/ -rw-r--r-- root/root 695 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/FunctionProperties/Core.agda -rw-r--r-- root/root 1583 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra/FunctionProperties/Core.agdai -rw-r--r-- root/root 11770 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Structures.agda -rw-r--r-- root/root 9633 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/RingSolver.agda -rw-r--r-- root/root 2348 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra/Morphism.agda -rw-r--r-- root/root 42131 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra/FunctionProperties.agdai -rw-r--r-- root/root 283920 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra/Structures.agdai -rw-r--r-- root/root 118369 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra/Morphism.agdai -rw-r--r-- root/root 90930 2010-05-26 03:00 ./usr/lib/agda-stdlib/Algebra/Operations.agdai -rw-r--r-- root/root 221590 2010-05-26 03:02 ./usr/lib/agda-stdlib/Algebra/RingSolver.agdai -rw-r--r-- root/root 13162 2009-12-23 15:52 ./usr/lib/agda-stdlib/Algebra.agda -rw-r--r-- root/root 220971 2010-05-26 02:59 ./usr/lib/agda-stdlib/Algebra.agdai drwxr-xr-x root/root 0 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/ -rw-r--r-- root/root 557 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Applicative.agda -rw-r--r-- root/root 482 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Functor.agda -rw-r--r-- root/root 886 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Monad.agda drwxr-xr-x root/root 0 2010-05-26 03:01 ./usr/lib/agda-stdlib/Category/Applicative/ -rw-r--r-- root/root 1189 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Applicative/Indexed.agda -rw-r--r-- root/root 16821 2010-05-26 03:01 ./usr/lib/agda-stdlib/Category/Applicative/Indexed.agdai drwxr-xr-x root/root 0 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/Monad/ -rw-r--r-- root/root 1413 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Monad/Indexed.agda -rw-r--r-- root/root 387 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Monad/Identity.agda -rw-r--r-- root/root 2006 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Monad/Continuation.agda -rw-r--r-- root/root 2373 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Monad/Partiality.agda -rw-r--r-- root/root 3714 2009-12-23 15:52 ./usr/lib/agda-stdlib/Category/Monad/State.agda -rw-r--r-- root/root 25916 2010-05-26 03:01 ./usr/lib/agda-stdlib/Category/Monad/Indexed.agdai -rw-r--r-- root/root 6227 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/Monad/Identity.agdai -rw-r--r-- root/root 36892 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/Monad/Continuation.agdai -rw-r--r-- root/root 35909 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/Monad/Partiality.agdai -rw-r--r-- root/root 64707 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/Monad/State.agdai -rw-r--r-- root/root 4964 2010-05-26 03:01 ./usr/lib/agda-stdlib/Category/Functor.agdai -rw-r--r-- root/root 22101 2010-05-26 03:01 ./usr/lib/agda-stdlib/Category/Monad.agdai -rw-r--r-- root/root 8593 2010-05-26 03:02 ./usr/lib/agda-stdlib/Category/Applicative.agdai -rw-r--r-- root/root 573 2009-12-23 15:52 ./usr/lib/agda-stdlib/Coinduction.agda -rw-r--r-- root/root 3152 2010-05-26 03:02 ./usr/lib/agda-stdlib/Coinduction.agdai drwxr-xr-x root/root 0 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/ -rw-r--r-- root/root 7686 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Integer.agda -rw-r--r-- root/root 1156 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Char.agda -rw-r--r-- root/root 5424 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Covec.agda -rw-r--r-- root/root 3160 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Sets.agda drwxr-xr-x root/root 0 2010-05-26 03:12 ./usr/lib/agda-stdlib/Data/Nat/ -rw-r--r-- root/root 21394 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/Properties.agda -rw-r--r-- root/root 6593 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/Divisibility.agda -rw-r--r-- root/root 940 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/Show.agda -rw-r--r-- root/root 4045 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/DivMod.agda -rw-r--r-- root/root 2778 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/InfinitelyOften.agda -rw-r--r-- root/root 5100 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/LCM.agda drwxr-xr-x root/root 0 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/Nat/GCD/ -rw-r--r-- root/root 7647 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/GCD/Lemmas.agda -rw-r--r-- root/root 114605 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/Nat/GCD/Lemmas.agdai -rw-r--r-- root/root 4727 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/Coprimality.agda -rw-r--r-- root/root 6210 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat/GCD.agda -rw-r--r-- root/root 309890 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/Nat/Properties.agdai -rw-r--r-- root/root 61947 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/Nat/DivMod.agdai -rw-r--r-- root/root 20416 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Nat/Show.agdai -rw-r--r-- root/root 163855 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Nat/Divisibility.agdai -rw-r--r-- root/root 101284 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/Nat/GCD.agdai -rw-r--r-- root/root 140262 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/Nat/Coprimality.agdai -rw-r--r-- root/root 101278 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/Nat/InfinitelyOften.agdai -rw-r--r-- root/root 144239 2010-05-26 03:12 ./usr/lib/agda-stdlib/Data/Nat/LCM.agdai -rw-r--r-- root/root 8980 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Colist.agda -rw-r--r-- root/root 3738 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Maybe.agda -rw-r--r-- root/root 4450 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star.agda -rw-r--r-- root/root 5078 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin.agda -rw-r--r-- root/root 6505 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Vec.agda drwxr-xr-x root/root 0 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Sign/ -rw-r--r-- root/root 793 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Sign/Properties.agda -rw-r--r-- root/root 12049 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Sign/Properties.agdai -rw-r--r-- root/root 339 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Empty.agda drwxr-xr-x root/root 0 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/ -rw-r--r-- root/root 3872 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Properties.agda -rw-r--r-- root/root 3344 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Pointer.agda -rw-r--r-- root/root 591 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Fin.agda -rw-r--r-- root/root 1533 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Vec.agda -rw-r--r-- root/root 3241 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Decoration.agda -rw-r--r-- root/root 1772 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/BoundedVec.agda -rw-r--r-- root/root 631 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/List.agda -rw-r--r-- root/root 1123 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Environment.agda -rw-r--r-- root/root 991 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Star/Nat.agda -rw-r--r-- root/root 34133 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Nat.agdai -rw-r--r-- root/root 58158 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Decoration.agdai -rw-r--r-- root/root 62041 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Pointer.agdai -rw-r--r-- root/root 10050 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/List.agdai -rw-r--r-- root/root 55913 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/BoundedVec.agdai -rw-r--r-- root/root 21675 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Environment.agdai -rw-r--r-- root/root 10078 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Fin.agdai -rw-r--r-- root/root 70453 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Properties.agdai -rw-r--r-- root/root 45673 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Star/Vec.agdai -rw-r--r-- root/root 1854 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Unit.agda -rw-r--r-- root/root 11393 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/AVL.agda -rw-r--r-- root/root 1545 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/DifferenceList.agda -rw-r--r-- root/root 1269 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Cofin.agda -rw-r--r-- root/root 1537 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Conat.agda -rw-r--r-- root/root 1398 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/DifferenceVec.agda drwxr-xr-x root/root 0 2010-05-26 03:05 ./usr/lib/agda-stdlib/Data/Vec/ -rw-r--r-- root/root 5871 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Vec/Properties.agda -rw-r--r-- root/root 3658 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Vec/Equality.agda -rw-r--r-- root/root 4435 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Vec/N-ary.agda -rw-r--r-- root/root 76125 2010-05-26 03:02 ./usr/lib/agda-stdlib/Data/Vec/N-ary.agdai -rw-r--r-- root/root 92411 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Vec/Equality.agdai -rw-r--r-- root/root 166395 2010-05-26 03:05 ./usr/lib/agda-stdlib/Data/Vec/Properties.agdai -rw-r--r-- root/root 663 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Sign.agda -rw-r--r-- root/root 10870 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Bin.agda -rw-r--r-- root/root 3987 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Rational.agda drwxr-xr-x root/root 0 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/List/ -rw-r--r-- root/root 9906 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/Properties.agda -rw-r--r-- root/root 10833 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/Countdown.agda -rw-r--r-- root/root 5898 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/Any.agda drwxr-xr-x root/root 0 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/List/NonEmpty/ -rw-r--r-- root/root 2047 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/NonEmpty/Properties.agda -rw-r--r-- root/root 84989 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/List/NonEmpty/Properties.agdai -rw-r--r-- root/root 5018 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/NonEmpty.agda -rw-r--r-- root/root 1813 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/All.agda -rw-r--r-- root/root 1404 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/Reverse.agda drwxr-xr-x root/root 0 2010-05-26 03:10 ./usr/lib/agda-stdlib/Data/List/Any/ -rw-r--r-- root/root 32663 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/Any/Properties.agda -rw-r--r-- root/root 603542 2010-05-26 03:10 ./usr/lib/agda-stdlib/Data/List/Any/Properties.agdai drwxr-xr-x root/root 0 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/List/All/ -rw-r--r-- root/root 2026 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List/All/Properties.agda -rw-r--r-- root/root 45527 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/List/All/Properties.agdai -rw-r--r-- root/root 80045 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/List/NonEmpty.agdai -rw-r--r-- root/root 214358 2010-05-26 03:06 ./usr/lib/agda-stdlib/Data/List/Properties.agdai -rw-r--r-- root/root 104872 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/List/Any.agdai -rw-r--r-- root/root 40986 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/List/All.agdai -rw-r--r-- root/root 181630 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/List/Countdown.agdai -rw-r--r-- root/root 36577 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/List/Reverse.agdai -rw-r--r-- root/root 697 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/DifferenceNat.agda drwxr-xr-x root/root 0 2010-05-26 02:59 ./usr/lib/agda-stdlib/Data/Maybe/ -rw-r--r-- root/root 410 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Maybe/Core.agda -rw-r--r-- root/root 2582 2010-05-26 02:59 ./usr/lib/agda-stdlib/Data/Maybe/Core.agdai -rw-r--r-- root/root 3343 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Product.agda -rw-r--r-- root/root 2485 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Function.agda -rw-r--r-- root/root 1883 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/String.agda -rw-r--r-- root/root 2047 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/BoundedVec.agda -rw-r--r-- root/root 1557 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Sum.agda drwxr-xr-x root/root 0 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Fin/ -rw-r--r-- root/root 4672 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Substitution.agda drwxr-xr-x root/root 0 2010-05-26 03:06 ./usr/lib/agda-stdlib/Data/Fin/Substitution/ -rw-r--r-- root/root 3710 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Substitution/Example.agda -rw-r--r-- root/root 22086 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Substitution/Lemmas.agda -rw-r--r-- root/root 1398 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Substitution/List.agda -rw-r--r-- root/root 474564 2010-05-26 03:06 ./usr/lib/agda-stdlib/Data/Fin/Substitution/Lemmas.agdai -rw-r--r-- root/root 127319 2010-05-26 03:06 ./usr/lib/agda-stdlib/Data/Fin/Substitution/Example.agdai -rw-r--r-- root/root 94498 2010-05-26 03:06 ./usr/lib/agda-stdlib/Data/Fin/Substitution/List.agdai drwxr-xr-x root/root 0 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Fin/Subset/ -rw-r--r-- root/root 2693 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Subset/Props.agda -rw-r--r-- root/root 48625 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Fin/Subset/Props.agdai -rw-r--r-- root/root 6242 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Props.agda -rw-r--r-- root/root 5690 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Dec.agda -rw-r--r-- root/root 1671 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Fin/Subset.agda -rw-r--r-- root/root 125527 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/Fin/Props.agdai -rw-r--r-- root/root 29345 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Fin/Subset.agdai -rw-r--r-- root/root 92638 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Fin/Dec.agdai -rw-r--r-- root/root 64781 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Fin/Substitution.agdai -rw-r--r-- root/root 3483 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Stream.agda -rw-r--r-- root/root 3631 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Digit.agda -rw-r--r-- root/root 8845 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/List.agda drwxr-xr-x root/root 0 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Function/ -rw-r--r-- root/root 4023 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Function/Equality.agda -rw-r--r-- root/root 1469 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Function/Injection.agda -rw-r--r-- root/root 2523 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Function/LeftInverse.agda -rw-r--r-- root/root 62444 2010-05-26 03:00 ./usr/lib/agda-stdlib/Data/Function/Equality.agdai -rw-r--r-- root/root 48039 2010-05-26 03:00 ./usr/lib/agda-stdlib/Data/Function/Injection.agdai -rw-r--r-- root/root 68310 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Function/LeftInverse.agdai -rw-r--r-- root/root 1778 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Bool.agda drwxr-xr-x root/root 0 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Bool/ -rw-r--r-- root/root 9622 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Bool/Properties.agda -rw-r--r-- root/root 307 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Bool/Show.agda -rw-r--r-- root/root 171959 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Bool/Properties.agdai -rw-r--r-- root/root 4177 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Bool/Show.agdai drwxr-xr-x root/root 0 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Graph/ -rw-r--r-- root/root 9449 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Graph/Acyclic.agda -rw-r--r-- root/root 129163 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Graph/Acyclic.agdai drwxr-xr-x root/root 0 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/BoundedVec/ -rw-r--r-- root/root 1189 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/BoundedVec/Inefficient.agda -rw-r--r-- root/root 17481 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/BoundedVec/Inefficient.agdai -rw-r--r-- root/root 2971 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Map.agda drwxr-xr-x root/root 0 2010-05-26 03:12 ./usr/lib/agda-stdlib/Data/Product/ -rw-r--r-- root/root 2105 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Product/Record.agda -rw-r--r-- root/root 25851 2010-05-26 03:12 ./usr/lib/agda-stdlib/Data/Product/Record.agdai drwxr-xr-x root/root 0 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/Integer/ -rw-r--r-- root/root 3755 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Integer/Properties.agda -rw-r--r-- root/root 870 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Integer/Divisibility.agda -rw-r--r-- root/root 101597 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Integer/Properties.agdai -rw-r--r-- root/root 38854 2010-05-26 03:08 ./usr/lib/agda-stdlib/Data/Integer/Divisibility.agdai -rw-r--r-- root/root 6523 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/Nat.agda drwxr-xr-x root/root 0 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/AVL/ -rw-r--r-- root/root 1571 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/AVL/Sets.agda -rw-r--r-- root/root 2299 2009-12-23 15:52 ./usr/lib/agda-stdlib/Data/AVL/IndexedMap.agda -rw-r--r-- root/root 96171 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/AVL/IndexedMap.agdai -rw-r--r-- root/root 80602 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/AVL/Sets.agdai -rw-r--r-- root/root 21646 2010-05-26 02:59 ./usr/lib/agda-stdlib/Data/Function.agdai -rw-r--r-- root/root 2221 2010-05-26 02:59 ./usr/lib/agda-stdlib/Data/Empty.agdai -rw-r--r-- root/root 41819 2010-05-26 02:59 ./usr/lib/agda-stdlib/Data/Product.agdai -rw-r--r-- root/root 19719 2010-05-26 02:59 ./usr/lib/agda-stdlib/Data/Sum.agdai -rw-r--r-- root/root 99611 2010-05-26 03:00 ./usr/lib/agda-stdlib/Data/Nat.agdai -rw-r--r-- root/root 33646 2010-05-26 03:01 ./usr/lib/agda-stdlib/Data/Unit.agdai -rw-r--r-- root/root 38711 2010-05-26 03:01 ./usr/lib/agda-stdlib/Data/Bool.agdai -rw-r--r-- root/root 78603 2010-05-26 03:01 ./usr/lib/agda-stdlib/Data/Fin.agdai -rw-r--r-- root/root 77698 2010-05-26 03:02 ./usr/lib/agda-stdlib/Data/Maybe.agdai -rw-r--r-- root/root 171326 2010-05-26 03:02 ./usr/lib/agda-stdlib/Data/List.agdai -rw-r--r-- root/root 104110 2010-05-26 03:02 ./usr/lib/agda-stdlib/Data/Vec.agdai -rw-r--r-- root/root 25053 2010-05-26 03:02 ./usr/lib/agda-stdlib/Data/DifferenceList.agdai -rw-r--r-- root/root 161948 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/AVL.agdai -rw-r--r-- root/root 35756 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/Char.agdai -rw-r--r-- root/root 65383 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/Digit.agdai -rw-r--r-- root/root 206679 2010-05-26 03:03 ./usr/lib/agda-stdlib/Data/Bin.agdai -rw-r--r-- root/root 37935 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Conat.agdai -rw-r--r-- root/root 151718 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Colist.agdai -rw-r--r-- root/root 53221 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/String.agdai -rw-r--r-- root/root 39762 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/BoundedVec.agdai -rw-r--r-- root/root 18871 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Cofin.agdai -rw-r--r-- root/root 102086 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Covec.agdai -rw-r--r-- root/root 11739 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/DifferenceNat.agdai -rw-r--r-- root/root 27545 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/DifferenceVec.agdai -rw-r--r-- root/root 57730 2010-05-26 03:04 ./usr/lib/agda-stdlib/Data/Star.agdai -rw-r--r-- root/root 28753 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Sign.agdai -rw-r--r-- root/root 119318 2010-05-26 03:07 ./usr/lib/agda-stdlib/Data/Integer.agdai -rw-r--r-- root/root 61442 2010-05-26 03:11 ./usr/lib/agda-stdlib/Data/Map.agdai -rw-r--r-- root/root 105370 2010-05-26 03:12 ./usr/lib/agda-stdlib/Data/Rational.agdai -rw-r--r-- root/root 69731 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Sets.agdai -rw-r--r-- root/root 70211 2010-05-26 03:13 ./usr/lib/agda-stdlib/Data/Stream.agdai drwxr-xr-x root/root 0 2010-05-26 03:13 ./usr/lib/agda-stdlib/Foreign/ -rw-r--r-- root/root 1123 2009-12-23 15:52 ./usr/lib/agda-stdlib/Foreign/Haskell.agda -rw-r--r-- root/root 18189 2010-05-26 03:13 ./usr/lib/agda-stdlib/Foreign/Haskell.agdai drwxr-xr-x root/root 0 2010-05-26 03:07 ./usr/lib/agda-stdlib/Induction/ -rw-r--r-- root/root 1321 2009-12-23 15:52 ./usr/lib/agda-stdlib/Induction/WellFounded.agda -rw-r--r-- root/root 2084 2009-12-23 15:52 ./usr/lib/agda-stdlib/Induction/Lexicographic.agda -rw-r--r-- root/root 3044 2009-12-23 15:52 ./usr/lib/agda-stdlib/Induction/Nat.agda -rw-r--r-- root/root 28051 2010-05-26 03:03 ./usr/lib/agda-stdlib/Induction/WellFounded.agdai -rw-r--r-- root/root 49490 2010-05-26 03:03 ./usr/lib/agda-stdlib/Induction/Nat.agdai -rw-r--r-- root/root 29322 2010-05-26 03:07 ./usr/lib/agda-stdlib/Induction/Lexicographic.agdai -rw-r--r-- root/root 1963 2009-12-23 15:52 ./usr/lib/agda-stdlib/Induction.agda -rw-r--r-- root/root 15075 2010-05-26 03:03 ./usr/lib/agda-stdlib/Induction.agdai drwxr-xr-x root/root 0 2010-05-26 03:13 ./usr/lib/agda-stdlib/IO/ -rw-r--r-- root/root 1572 2009-12-23 15:52 ./usr/lib/agda-stdlib/IO/Primitive.agda -rw-r--r-- root/root 8642 2010-05-26 03:13 ./usr/lib/agda-stdlib/IO/Primitive.agdai -rw-r--r-- root/root 3438 2009-12-23 15:52 ./usr/lib/agda-stdlib/IO.agda -rw-r--r-- root/root 37312 2010-05-26 03:13 ./usr/lib/agda-stdlib/IO.agdai -rw-r--r-- root/root 673 2009-12-23 15:52 ./usr/lib/agda-stdlib/Level.agda -rw-r--r-- root/root 4831 2010-05-26 02:59 ./usr/lib/agda-stdlib/Level.agdai drwxr-xr-x root/root 0 2010-05-26 03:03 ./usr/lib/agda-stdlib/Relation/ -rw-r--r-- root/root 910 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary.agda -rw-r--r-- root/root 3533 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Unary.agda drwxr-xr-x root/root 0 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Binary/ -rw-r--r-- root/root 520 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/PartialOrderReasoning.agda -rw-r--r-- root/root 5770 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/HeterogeneousEquality.agda -rw-r--r-- root/root 4063 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/NonStrictToStrict.agda -rw-r--r-- root/root 1908 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/InducedPreorders.agda -rw-r--r-- root/root 3634 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/StrictToNonStrict.agda -rw-r--r-- root/root 3789 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality.agda -rw-r--r-- root/root 7890 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Flip.agda -rw-r--r-- root/root 597 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agda drwxr-xr-x root/root 0 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Binary/Props/ -rw-r--r-- root/root 1070 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agda -rw-r--r-- root/root 919 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Props/Poset.agda -rw-r--r-- root/root 814 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Props/Preorder.agda -rw-r--r-- root/root 1053 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agda -rw-r--r-- root/root 874 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Props/DecTotalOrder.agda -rw-r--r-- root/root 696 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Props/TotalOrder.agda -rw-r--r-- root/root 30599 2010-05-26 03:08 ./usr/lib/agda-stdlib/Relation/Binary/Props/Preorder.agdai -rw-r--r-- root/root 45303 2010-05-26 03:09 ./usr/lib/agda-stdlib/Relation/Binary/Props/DecTotalOrder.agdai -rw-r--r-- root/root 37748 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/Props/Poset.agdai -rw-r--r-- root/root 37220 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/Props/StrictPartialOrder.agdai -rw-r--r-- root/root 46851 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Binary/Props/StrictTotalOrder.agdai -rw-r--r-- root/root 29818 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Binary/Props/TotalOrder.agdai -rw-r--r-- root/root 5448 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/On.agda -rw-r--r-- root/root 826 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Simple.agda drwxr-xr-x root/root 0 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/List/ -rw-r--r-- root/root 12809 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/List/StrictLex.agda -rw-r--r-- root/root 6744 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/List/NonStrictLex.agda -rw-r--r-- root/root 5222 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/List/Pointwise.agda -rw-r--r-- root/root 92348 2010-05-26 03:08 ./usr/lib/agda-stdlib/Relation/Binary/List/Pointwise.agdai -rw-r--r-- root/root 189250 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/List/StrictLex.agdai -rw-r--r-- root/root 99329 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/List/NonStrictLex.agdai -rw-r--r-- root/root 1619 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/PreorderReasoning.agda -rw-r--r-- root/root 3141 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Reflection.agda -rw-r--r-- root/root 1641 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/OrderMorphism.agda -rw-r--r-- root/root 16536 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Sum.agda drwxr-xr-x root/root 0 2010-05-26 03:04 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality/ -rw-r--r-- root/root 583 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agda -rw-r--r-- root/root 1085 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality/Core.agda -rw-r--r-- root/root 12897 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality/Core.agdai -rw-r--r-- root/root 6080 2010-05-26 03:04 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality/TrustMe.agdai -rw-r--r-- root/root 3869 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Consequences.agda drwxr-xr-x root/root 0 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/Product/ -rw-r--r-- root/root 12388 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Product/StrictLex.agda -rw-r--r-- root/root 8029 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Product/NonStrictLex.agda -rw-r--r-- root/root 9852 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Product/Pointwise.agda -rw-r--r-- root/root 89423 2010-05-26 03:08 ./usr/lib/agda-stdlib/Relation/Binary/Product/Pointwise.agdai -rw-r--r-- root/root 126725 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/Product/StrictLex.agdai -rw-r--r-- root/root 101195 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/Product/NonStrictLex.agdai -rw-r--r-- root/root 1094 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/EqReasoning.agda drwxr-xr-x root/root 0 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/Consequences/ -rw-r--r-- root/root 733 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Consequences/Core.agda -rw-r--r-- root/root 10752 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/Consequences/Core.agdai -rw-r--r-- root/root 5854 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary/Core.agda -rw-r--r-- root/root 58485 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/Core.agdai -rw-r--r-- root/root 63751 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/Consequences.agdai -rw-r--r-- root/root 32020 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/PreorderReasoning.agdai -rw-r--r-- root/root 28005 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary/EqReasoning.agdai -rw-r--r-- root/root 58018 2010-05-26 03:00 ./usr/lib/agda-stdlib/Relation/Binary/PropositionalEquality.agdai -rw-r--r-- root/root 29575 2010-05-26 03:00 ./usr/lib/agda-stdlib/Relation/Binary/PartialOrderReasoning.agdai -rw-r--r-- root/root 67887 2010-05-26 03:02 ./usr/lib/agda-stdlib/Relation/Binary/Reflection.agdai -rw-r--r-- root/root 35424 2010-05-26 03:04 ./usr/lib/agda-stdlib/Relation/Binary/InducedPreorders.agdai -rw-r--r-- root/root 78946 2010-05-26 03:04 ./usr/lib/agda-stdlib/Relation/Binary/HeterogeneousEquality.agdai -rw-r--r-- root/root 89036 2010-05-26 03:09 ./usr/lib/agda-stdlib/Relation/Binary/NonStrictToStrict.agdai -rw-r--r-- root/root 44120 2010-05-26 03:13 ./usr/lib/agda-stdlib/Relation/Binary/OrderMorphism.agdai -rw-r--r-- root/root 25934 2010-05-26 03:13 ./usr/lib/agda-stdlib/Relation/Binary/Simple.agdai -rw-r--r-- root/root 144908 2010-05-26 03:13 ./usr/lib/agda-stdlib/Relation/Binary/Flip.agdai -rw-r--r-- root/root 101281 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/On.agdai -rw-r--r-- root/root 80945 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Binary/StrictToNonStrict.agdai -rw-r--r-- root/root 26309 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Binary/StrictPartialOrderReasoning.agdai -rw-r--r-- root/root 170958 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Binary/Sum.agdai drwxr-xr-x root/root 0 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Nullary/ -rw-r--r-- root/root 5848 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary/Negation.agda -rw-r--r-- root/root 528 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary/Product.agda -rw-r--r-- root/root 848 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary/Sum.agda -rw-r--r-- root/root 5037 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary/Universe.agda -rw-r--r-- root/root 1547 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary/Decidable.agda -rw-r--r-- root/root 589 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Nullary/Core.agda -rw-r--r-- root/root 4160 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Nullary/Core.agdai -rw-r--r-- root/root 27269 2010-05-26 03:01 ./usr/lib/agda-stdlib/Relation/Nullary/Decidable.agdai -rw-r--r-- root/root 66574 2010-05-26 03:04 ./usr/lib/agda-stdlib/Relation/Nullary/Negation.agdai -rw-r--r-- root/root 9012 2010-05-26 03:08 ./usr/lib/agda-stdlib/Relation/Nullary/Product.agdai -rw-r--r-- root/root 11636 2010-05-26 03:14 ./usr/lib/agda-stdlib/Relation/Nullary/Sum.agdai -rw-r--r-- root/root 102978 2010-05-26 03:15 ./usr/lib/agda-stdlib/Relation/Nullary/Universe.agdai -rw-r--r-- root/root 8841 2009-12-23 15:52 ./usr/lib/agda-stdlib/Relation/Binary.agda -rw-r--r-- root/root 124212 2010-05-26 02:59 ./usr/lib/agda-stdlib/Relation/Binary.agdai -rw-r--r-- root/root 6204 2010-05-26 03:00 ./usr/lib/agda-stdlib/Relation/Nullary.agdai -rw-r--r-- root/root 37496 2010-05-26 03:03 ./usr/lib/agda-stdlib/Relation/Unary.agdai -rw-r--r-- root/root 354 2009-12-23 15:52 ./usr/lib/agda-stdlib/Size.agda -rw-r--r-- root/root 1420 2010-05-26 03:15 ./usr/lib/agda-stdlib/Size.agdai drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/doc/agda-stdlib/ -rw-r--r-- root/root 1832 2010-05-26 02:59 ./usr/share/doc/agda-stdlib/copyright -rw-r--r-- root/root 765 2010-05-26 02:59 ./usr/share/doc/agda-stdlib/changelog.Debian.gz drwxr-xr-x root/root 0 2010-05-26 03:16 ./etc/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./etc/emacs/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 251 2010-05-26 02:59 ./etc/emacs/site-start.d/60agda-stdlib.el chroot-autobuild/build/buildd/agda-stdlib-doc_0.3-3fakesync_all.deb: drwxr-xr-x root/root 0 2010-05-26 03:16 ./ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/doc/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/ drwxr-xr-x root/root 0 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/ -rw-r--r-- root/root 138204 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.html -rw-r--r-- root/root 1089 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Agda.css -rw-r--r-- root/root 59208 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.html -rw-r--r-- root/root 4919 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.FunctionProperties.Core.html -rw-r--r-- root/root 42153 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Morphism.html -rw-r--r-- root/root 32189 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Operations.html -rw-r--r-- root/root 34308 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Props.AbelianGroup.html -rw-r--r-- root/root 505575 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Props.BooleanAlgebra.html -rw-r--r-- root/root 47312 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Props.DistributiveLattice.html -rw-r--r-- root/root 59862 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Group.html -rw-r--r-- root/root 20932 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Lattice.html -rw-r--r-- root/root 42465 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Props.Ring.html -rw-r--r-- root/root 198531 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.html -rw-r--r-- root/root 54910 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.AlmostCommutativeRing.html -rw-r--r-- root/root 147208 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Lemmas.html -rw-r--r-- root/root 4371 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.RingSolver.Simple.html -rw-r--r-- root/root 165406 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Algebra.Structures.html -rw-r--r-- root/root 6478 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Applicative.html -rw-r--r-- root/root 28413 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Applicative.Indexed.html -rw-r--r-- root/root 7243 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Functor.html -rw-r--r-- root/root 14018 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Monad.html -rw-r--r-- root/root 39208 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Monad.Continuation.html -rw-r--r-- root/root 5198 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Monad.Identity.html -rw-r--r-- root/root 32499 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Monad.Indexed.html -rw-r--r-- root/root 50573 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Monad.Partiality.html -rw-r--r-- root/root 72882 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Category.Monad.State.html -rw-r--r-- root/root 6624 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Coinduction.html -rw-r--r-- root/root 220460 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.AVL.html -rw-r--r-- root/root 47373 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.AVL.IndexedMap.html -rw-r--r-- root/root 26494 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.AVL.Sets.html -rw-r--r-- root/root 177053 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Bin.html -rw-r--r-- root/root 26444 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Bool.html -rw-r--r-- root/root 151421 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Bool.Properties.html -rw-r--r-- root/root 3525 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Bool.Show.html -rw-r--r-- root/root 38436 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.html -rw-r--r-- root/root 18231 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.BoundedVec.Inefficient.html -rw-r--r-- root/root 15594 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Char.html -rw-r--r-- root/root 19671 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Cofin.html -rw-r--r-- root/root 177449 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Colist.html -rw-r--r-- root/root 25584 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Conat.html -rw-r--r-- root/root 125901 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Covec.html -rw-r--r-- root/root 33529 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.DifferenceList.html -rw-r--r-- root/root 12050 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.DifferenceNat.html -rw-r--r-- root/root 36508 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.DifferenceVec.html -rw-r--r-- root/root 62753 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Digit.html -rw-r--r-- root/root 3854 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Empty.html -rw-r--r-- root/root 105772 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.html -rw-r--r-- root/root 132083 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Dec.html -rw-r--r-- root/root 122958 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Props.html -rw-r--r-- root/root 28114 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.html -rw-r--r-- root/root 49391 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Subset.Props.html -rw-r--r-- root/root 85008 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.html -rw-r--r-- root/root 75254 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Example.html -rw-r--r-- root/root 508794 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.Lemmas.html -rw-r--r-- root/root 24099 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Fin.Substitution.List.html -rw-r--r-- root/root 56102 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Function.html -rw-r--r-- root/root 83208 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Function.Equality.html -rw-r--r-- root/root 27862 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Function.Injection.html -rw-r--r-- root/root 49446 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Function.LeftInverse.html -rw-r--r-- root/root 199294 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Graph.Acyclic.html -rw-r--r-- root/root 161363 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Integer.html -rw-r--r-- root/root 13643 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Integer.Divisibility.html -rw-r--r-- root/root 82428 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Integer.Properties.html -rw-r--r-- root/root 219665 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.html -rw-r--r-- root/root 44277 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.All.html -rw-r--r-- root/root 46389 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.All.Properties.html -rw-r--r-- root/root 105373 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.Any.html -rw-r--r-- root/root 737468 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.Any.Properties.html -rw-r--r-- root/root 202294 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.Countdown.html -rw-r--r-- root/root 126378 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.html -rw-r--r-- root/root 43472 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.NonEmpty.Properties.html -rw-r--r-- root/root 248546 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.Properties.html -rw-r--r-- root/root 29174 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.List.Reverse.html -rw-r--r-- root/root 59301 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Map.html -rw-r--r-- root/root 76573 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Maybe.html -rw-r--r-- root/root 4735 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Maybe.Core.html -rw-r--r-- root/root 124402 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.html -rw-r--r-- root/root 98058 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.Coprimality.html -rw-r--r-- root/root 79281 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.DivMod.html -rw-r--r-- root/root 136809 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.Divisibility.html -rw-r--r-- root/root 129165 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.html -rw-r--r-- root/root 230705 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.GCD.Lemmas.html -rw-r--r-- root/root 58747 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.InfinitelyOften.html -rw-r--r-- root/root 92061 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.LCM.html -rw-r--r-- root/root 442681 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.Properties.html -rw-r--r-- root/root 11364 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Nat.Show.html -rw-r--r-- root/root 96202 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Product.html -rw-r--r-- root/root 56100 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Product.Record.html -rw-r--r-- root/root 64848 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Rational.html -rw-r--r-- root/root 58227 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Sets.html -rw-r--r-- root/root 11221 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Sign.html -rw-r--r-- root/root 11204 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Sign.Properties.html -rw-r--r-- root/root 86428 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.html -rw-r--r-- root/root 28726 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.BoundedVec.html -rw-r--r-- root/root 75451 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Decoration.html -rw-r--r-- root/root 19138 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Environment.html -rw-r--r-- root/root 9060 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Fin.html -rw-r--r-- root/root 9564 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.List.html -rw-r--r-- root/root 19018 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Nat.html -rw-r--r-- root/root 74404 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Pointer.html -rw-r--r-- root/root 95836 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Properties.html -rw-r--r-- root/root 30392 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Star.Vec.html -rw-r--r-- root/root 77223 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Stream.html -rw-r--r-- root/root 27473 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.String.html -rw-r--r-- root/root 37326 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Sum.html -rw-r--r-- root/root 23602 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Unit.html -rw-r--r-- root/root 185214 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Vec.html -rw-r--r-- root/root 75612 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Vec.Equality.html -rw-r--r-- root/root 101193 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Vec.N-ary.html -rw-r--r-- root/root 137331 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Data.Vec.Properties.html -rw-r--r-- root/root 88350 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Everything.html -rw-r--r-- root/root 17054 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Foreign.Haskell.html -rw-r--r-- root/root 50187 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/IO.html -rw-r--r-- root/root 14808 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/IO.Primitive.html -rw-r--r-- root/root 28225 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Induction.html -rw-r--r-- root/root 40025 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Induction.Lexicographic.html -rw-r--r-- root/root 47215 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Induction.Nat.html -rw-r--r-- root/root 17513 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Induction.WellFounded.html -rw-r--r-- root/root 10672 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Level.html -rw-r--r-- root/root 35520 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/README.html -rw-r--r-- root/root 20871 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/README.Nat.html -rw-r--r-- root/root 116139 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.html -rw-r--r-- root/root 90462 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.html -rw-r--r-- root/root 11701 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Consequences.Core.html -rw-r--r-- root/root 128086 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Core.html -rw-r--r-- root/root 7355 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.EqReasoning.html -rw-r--r-- root/root 160062 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Flip.html -rw-r--r-- root/root 26921 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.InducedPreorders.html -rw-r--r-- root/root 142903 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.HeterogeneousEquality.html -rw-r--r-- root/root 109513 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.NonStrictLex.html -rw-r--r-- root/root 105650 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.Pointwise.html -rw-r--r-- root/root 247238 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.List.StrictLex.html -rw-r--r-- root/root 68698 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.NonStrictToStrict.html -rw-r--r-- root/root 110630 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.On.html -rw-r--r-- root/root 32020 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.OrderMorphism.html -rw-r--r-- root/root 5453 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PartialOrderReasoning.html -rw-r--r-- root/root 21461 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PreorderReasoning.html -rw-r--r-- root/root 123835 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.NonStrictLex.html -rw-r--r-- root/root 159404 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.Pointwise.html -rw-r--r-- root/root 203216 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Product.StrictLex.html -rw-r--r-- root/root 70547 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.html -rw-r--r-- root/root 18531 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.Core.html -rw-r--r-- root/root 6705 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.PropositionalEquality.TrustMe.html -rw-r--r-- root/root 10220 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.DecTotalOrder.html -rw-r--r-- root/root 9624 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Poset.html -rw-r--r-- root/root 10408 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.Preorder.html -rw-r--r-- root/root 11486 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictPartialOrder.html -rw-r--r-- root/root 11628 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.StrictTotalOrder.html -rw-r--r-- root/root 8433 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Props.TotalOrder.html -rw-r--r-- root/root 48446 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Reflection.html -rw-r--r-- root/root 13102 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Simple.html -rw-r--r-- root/root 6479 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictPartialOrderReasoning.html -rw-r--r-- root/root 70702 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.StrictToNonStrict.html -rw-r--r-- root/root 276189 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Binary.Sum.html -rw-r--r-- root/root 8536 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.html -rw-r--r-- root/root 8097 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Core.html -rw-r--r-- root/root 37065 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Decidable.html -rw-r--r-- root/root 116500 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Negation.html -rw-r--r-- root/root 8563 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Product.html -rw-r--r-- root/root 17005 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Sum.html -rw-r--r-- root/root 121737 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Nullary.Universe.html -rw-r--r-- root/root 69417 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Relation.Unary.html -rw-r--r-- root/root 3462 2010-05-26 03:16 ./usr/share/doc/agda-stdlib-doc/html/Size.html -rw-r--r-- root/root 1832 2010-05-26 02:59 ./usr/share/doc/agda-stdlib-doc/copyright -rw-r--r-- root/root 765 2010-05-26 02:59 ./usr/share/doc/agda-stdlib-doc/changelog.Debian.gz agda-stdlib_0.3-3fakesync_i386.changes: Format: 1.8 Date: Tue, 25 May 2010 22:13:02 +0100 Source: agda-stdlib Binary: agda-stdlib agda-stdlib-doc Architecture: i386 all Version: 0.3-3fakesync Distribution: maverick Urgency: low Maintainer: Ubuntu/i386 Build Daemon Changed-By: Iain Lane Description: agda-stdlib - a dependently typed programming language - standard library agda-stdlib-doc - a dependently typed programming language - documentation Changes: agda-stdlib (0.3-3fakesync) maverick; urgency=low . * Fakesync from Debian unstable due to orig.tar.gz mismatch Checksums-Sha1: 072eba40bc622dbd10337118d96f2d00351f221e 12047032 agda-stdlib_0.3-3fakesync_i386.deb 3a49be3f0090a355677ae60be80e532c4127f090 1173374 agda-stdlib-doc_0.3-3fakesync_all.deb Checksums-Sha256: d8107b1dd80aa7cf77f82805dd7ff6cf9bd0b42cdbf1814145806c8328ed322c 12047032 agda-stdlib_0.3-3fakesync_i386.deb 7edc75edeb27d46652e882f66f9333ae7a9b3128eba3c91c16d5cbac77c1b006 1173374 agda-stdlib-doc_0.3-3fakesync_all.deb Files: dca11529b9c01a787b581a86b58647e0 12047032 libs extra agda-stdlib_0.3-3fakesync_i386.deb 4fd4f2008275935264520a3eb3440bc4 1173374 doc extra agda-stdlib-doc_0.3-3fakesync_all.deb ****************************************************************************** Built successfully Purging chroot-autobuild/build/buildd/agda-stdlib-0.3 ------------------------------------------------------------------------------ /usr/bin/sudo dpkg --purge libghc6-xhtml-dev intltool-debian groff-base libghc6-mtl-dev gettext file zlib1g-dev libghc6-agda-dev libffi5 html2text gettext-base agda-bin debhelper libgmpxx4ldbl libgmp3-dev po-debconf libghc6-zlib-dev libghc6-quickcheck2-dev libcroco3 libmagic1 ghc6 libxml2 libghc6-haskell-src-dev libghc6-binary-dev bsdmainutils libffi-dev libbsd0 man-db libbsd-dev libghc6-haskeline-dev (Reading database ... 17471 files and directories currently installed.) Removing libghc6-agda-dev ... Removing agda-bin ... Removing debhelper ... Removing po-debconf ... Removing libghc6-zlib-dev ... Removing libghc6-quickcheck2-dev ... Removing libghc6-haskell-src-dev ... Removing libghc6-binary-dev ... Removing man-db ... Purging configuration files for man-db ... Removing catpages as well as /var/cache/man hierarchy. Removing libghc6-haskeline-dev ... Removing libghc6-xhtml-dev ... Removing intltool-debian ... Removing groff-base ... Purging configuration files for groff-base ... Removing libghc6-mtl-dev ... Removing gettext ... Removing file ... Purging configuration files for file ... Removing zlib1g-dev ... Removing html2text ... Purging configuration files for html2text ... Removing gettext-base ... Removing libcroco3 ... Purging configuration files for libcroco3 ... Removing libmagic1 ... Purging configuration files for libmagic1 ... Removing ghc6 ... Removing libxml2 ... Purging configuration files for libxml2 ... Removing bsdmainutils ... Purging configuration files for bsdmainutils ... Removing libffi-dev ... Removing libbsd-dev ... Removing libffi5 ... Purging configuration files for libffi5 ... Removing libgmp3-dev ... Removing libbsd0 ... Purging configuration files for libbsd0 ... Removing libgmpxx4ldbl ... Purging configuration files for libgmpxx4ldbl ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place ****************************************************************************** Finished at 20100526-0319 Build needed 00:20:02, 67600k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8'] Scanning for processes to kill in build /home/buildd/build-7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8'] Unmounting chroot for build 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', '7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8'] Removing build 7a94c1b0805a8cab0800ae4cdd32f95525b2f5f8