=> Building math/hs-Agda-stdlib build started at Wed Oct 5 14:57:19 PDT 2016 port directory: /usr/ports/math/hs-Agda-stdlib building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: haskell@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/bleeding-edge-default/ref/../08//usr/ports/math/hs-Agda-stdlib/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400702 !!! Jail is newer than host. (Jail: 400702, Host: 400700) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/bleeding-edge-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=hs-Agda-stdlib-0.9_1 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/bleeding-edge-default/ref/.p/pool MASTERNAME=bleeding-edge-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for hs-Agda-stdlib-0.9_1: DOCS=on: Build and/or install documentation DYNAMIC=on: Add support for dynamic linking HSCOLOUR=off: Colorize generated documentation by HsColour LLVM=off: Use the LLVM backend for code generation PROFILE=off: Add support for profiling ====> Options available for the single C_Compiler: you have to select exactly one of them GCC=on: Build with modern GCC (from ports) PCLANG=off: Build with Clang from ports BCLANG=off: Build with Clang from base ===> Use 'make config' to modify these settings ---End OPTIONS List--- --CONFIGURE_ARGS-- --libdir=/usr/local/lib/cabal/ghc-7.10.2 --libsubdir=Agda-stdlib-0.9 --with-gcc=gcc --with-ld=ld --with-ar=ar --haddock-options=-w --with-haddock=/usr/local/bin/haddock --enable-shared --enable-executable-dynamic --disable-executable-profiling --disable-library-profiling --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/math/hs-Agda-stdlib XDG_CONFIG_HOME=/wrkdirs/math/hs-Agda-stdlib HOME=/wrkdirs/math/hs-Agda-stdlib TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- LC_ALL=en_US.UTF-8 LANG=en_US.UTF-8 DESTDIR=/wrkdirs/math/hs-Agda-stdlib/stage TMPDIR=/tmp XDG_DATA_HOME=/wrkdirs/math/hs-Agda-stdlib XDG_CONFIG_HOME=/wrkdirs/math/hs-Agda-stdlib HOME=/wrkdirs/math/hs-Agda-stdlib TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="gcc" CFLAGS="-pipe -I/usr/local/include -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="-I/usr/local/include" LDFLAGS=" -L/usr/local/lib" LIBS="" CXX="g++" CXXFLAGS=" -pipe -I/usr/local/include -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- GHC_VERSION=7.10.2 PORTNAME=Agda-stdlib PORTVERSION=0.9 LIBDIR_REL=lib/cabal/ghc-7.10.2/Agda-stdlib-0.9 OSREL=4.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cabal/ghc-7.10.2/Agda-stdlib-0.9" EXAMPLESDIR="share/examples/cabal/ghc-7.10.2/Agda-stdlib-0.9" DATADIR="share/cabal/ghc-7.10.2/Agda-stdlib-0.9" WWWDIR="www/Agda-stdlib" ETCDIR="etc/Agda-stdlib" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cabal/ghc-7.10.2/Agda-stdlib-0.9 DOCSDIR=/usr/local/share/doc/cabal/ghc-7.10.2/Agda-stdlib-0.9 EXAMPLESDIR=/usr/local/share/examples/cabal/ghc-7.10.2/Agda-stdlib-0.9 WWWDIR=/usr/local/www/Agda-stdlib ETCDIR=/usr/local/etc/Agda-stdlib --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> hs-Agda-stdlib-0.9_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> hs-Agda-stdlib-0.9_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of hs-Agda-stdlib-0.9_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by hs-Agda-stdlib-0.9_1 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by hs-Agda-stdlib-0.9_1 for building => SHA256 Checksum OK for cabal/agda-agda-stdlib-v0.9_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by hs-Agda-stdlib-0.9_1 for building ===> Extracting for hs-Agda-stdlib-0.9_1 => SHA256 Checksum OK for cabal/agda-agda-stdlib-v0.9_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for hs-Agda-stdlib-0.9_1 ===> Applying ports patches for hs-Agda-stdlib-0.9_1 =========================================================================== =================================================== ===> hs-Agda-stdlib-0.9_1 depends on executable: ghc - not found ===> Installing existing package /packages/All/ghc-7.10.2.txz Installing ghc-7.10.2... `-- Installing libiconv-1.14_9... `-- Extracting libiconv-1.14_9: .......... done `-- Installing gmp-5.1.3_3... | `-- Installing indexinfo-0.2.5... | `-- Extracting indexinfo-0.2.5: .... done `-- Extracting gmp-5.1.3_3: .......... done `-- Installing libffi-3.2.1... `-- Extracting libffi-3.2.1: .......... done `-- Installing ncurses-6.0_5... `-- Extracting ncurses-6.0_5: .......... done Extracting ghc-7.10.2: .......... done Message from ncurses-6.0_5: ===> NOTICE: The ncurses port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> hs-Agda-stdlib-0.9_1 depends on executable: ghc - found ===> Returning to build of hs-Agda-stdlib-0.9_1 ===> hs-Agda-stdlib-0.9_1 depends on package: ghc>=7.10.2 - found ===> hs-Agda-stdlib-0.9_1 depends on package: hs-Agda>=0 - not found ===> Installing existing package /packages/All/hs-Agda-2.4.2.3.txz Installing hs-Agda-2.4.2.3... `-- Installing hs-mtl-2.2.1... `-- Extracting hs-mtl-2.2.1: .......... done `-- Installing hs-parallel-3.2.0.6... `-- Extracting hs-parallel-3.2.0.6: .......... done `-- Installing hs-hashable-1.2.3.3,1... | `-- Installing hs-text-1.2.1.3... | `-- Extracting hs-text-1.2.1.3: .......... done `-- Extracting hs-hashable-1.2.3.3,1: .......... done `-- Installing hs-cpphs-1.19... | `-- Installing hs-old-locale-1.0.0.7... | `-- Extracting hs-old-locale-1.0.0.7: .......... done | `-- Installing hs-polyparse-1.11... | `-- Extracting hs-polyparse-1.11: .......... done | `-- Installing hs-old-time-1.1.0.3... | `-- Extracting hs-old-time-1.1.0.3: .......... done `-- Extracting hs-cpphs-1.19: .......... done `-- Installing hs-equivalence-0.3.1... | `-- Installing hs-STMonadTrans-0.3.3... | `-- Extracting hs-STMonadTrans-0.3.3: .......... done | `-- Installing hs-transformers-compat-0.4.0.4... | `-- Extracting hs-transformers-compat-0.4.0.4: .......... done `-- Extracting hs-equivalence-0.3.1: .......... done `-- Installing hs-strict-0.3.2_12... `-- Extracting hs-strict-0.3.2_12: .......... done `-- Installing hs-data-hash-0.2.0.1... `-- Extracting hs-data-hash-0.2.0.1: .......... done `-- Installing hs-base-orphans-0.4.4... `-- Extracting hs-base-orphans-0.4.4: .......... done `-- Installing hs-geniplate-mirror-0.7.1... `-- Extracting hs-geniplate-mirror-0.7.1: .......... done `-- Installing hs-hashtables-1.2.0.2... | `-- Installing hs-primitive-0.6... | `-- Extracting hs-primitive-0.6: .......... done | `-- Installing hs-vector-0.10.12.3... | `-- Extracting hs-vector-0.10.12.3: .......... done `-- Extracting hs-hashtables-1.2.0.2: .......... done `-- Installing hs-edit-distance-0.2.2.1... | `-- Installing hs-random-1.1... | `-- Extracting hs-random-1.1: .......... done `-- Extracting hs-edit-distance-0.2.2.1: .......... done `-- Installing hs-boxes-0.1.4... | `-- Installing hs-split-0.2.2_7... | `-- Extracting hs-split-0.2.2_7: .......... done `-- Extracting hs-boxes-0.1.4: .......... done `-- Installing hs-haskell-src-exts-1.16.0.1... `-- Extracting hs-haskell-src-exts-1.16.0.1: .......... done `-- Installing hs-unordered-containers-0.2.5.1... `-- Extracting hs-unordered-containers-0.2.5.1: .......... done `-- Installing hs-zlib-0.5.4.2... `-- Extracting hs-zlib-0.5.4.2: .......... done `-- Installing hs-QuickCheck-2.8.1... | `-- Installing hs-extensible-exceptions-0.1.1.4_7... | `-- Extracting hs-extensible-exceptions-0.1.1.4_7: .......... done | `-- Installing hs-tf-random-0.5_2... | `-- Extracting hs-tf-random-0.5_2: .......... done `-- Extracting hs-QuickCheck-2.8.1: .......... done Extracting hs-Agda-2.4.2.3: .......... done ===> hs-Agda-stdlib-0.9_1 depends on package: hs-Agda>=0 - found ===> Returning to build of hs-Agda-stdlib-0.9_1 ===> hs-Agda-stdlib-0.9_1 depends on package: hs-filemanip>=0.3 - not found ===> Installing existing package /packages/All/hs-filemanip-0.3.6.3.txz Installing hs-filemanip-0.3.6.3... `-- Installing hs-unix-compat-0.4.1.4... `-- Extracting hs-unix-compat-0.4.1.4: .......... done Extracting hs-filemanip-0.3.6.3: .......... done ===> hs-Agda-stdlib-0.9_1 depends on package: hs-filemanip>=0.3 - found ===> Returning to build of hs-Agda-stdlib-0.9_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for hs-Agda-stdlib-0.9_1 [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking ./setup ... Configuring lib-0.9... =========================================================================== =================================================== ===> Building for hs-Agda-stdlib-0.9_1 Building lib-0.9... Preprocessing executable 'GenerateEverything' for lib-0.9... [1 of 1] Compiling Main ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.dyn_o ) Linking dist/build/GenerateEverything/GenerateEverything ... Preprocessing executable 'AllNonAsciiChars' for lib-0.9... [1 of 1] Compiling Main ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.dyn_o ) Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ... Checking README (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/README.agda). Checking Data.Bool (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Bool.agda). Checking Function (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function.agda). Checking Level (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Level.agda). Finished Level. Finished Function. Checking Data.Unit (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Unit.agda). Checking Data.Sum (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Sum.agda). Checking Data.Maybe.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Maybe/Core.agda). Finished Data.Maybe.Core. Finished Data.Sum. Checking Relation.Nullary (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary.agda). Checking Relation.Nullary.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Core.agda). Checking Data.Empty (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Empty.agda). Finished Data.Empty. Finished Relation.Nullary.Core. Finished Relation.Nullary. Checking Relation.Binary (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary.agda). Checking Data.Product (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Product.agda). Finished Data.Product. Checking Relation.Binary.PropositionalEquality.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Relation.Binary.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Core.agda). Finished Relation.Binary.Core. Checking Relation.Binary.Consequences.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Consequences/Core.agda). Finished Relation.Binary.Consequences.Core. Finished Relation.Binary.PropositionalEquality.Core. Checking Relation.Binary.Consequences (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Consequences.agda). Finished Relation.Binary.Consequences. Checking Relation.Binary.Indexed.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Indexed/Core.agda). Finished Relation.Binary.Indexed.Core. Finished Relation.Binary. Checking Relation.Binary.PropositionalEquality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality.agda). Checking Function.Equality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Equality.agda). Checking Relation.Binary.Indexed (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Indexed.agda). Finished Relation.Binary.Indexed. Finished Function.Equality. Checking Data.Unit.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Unit/Core.agda). Finished Data.Unit.Core. Checking Relation.Binary.HeterogeneousEquality.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality/Core.agda). Finished Relation.Binary.HeterogeneousEquality.Core. Checking Relation.Binary.EqReasoning (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/EqReasoning.agda). Checking Relation.Binary.PreorderReasoning (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/PreorderReasoning.agda). Finished Relation.Binary.PreorderReasoning. Finished Relation.Binary.EqReasoning. Finished Relation.Binary.PropositionalEquality. Finished Data.Unit. Finished Data.Bool. Checking Data.Char (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Char.agda). Checking Data.Nat (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat.agda). Checking Function.Injection (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Injection.agda). Finished Function.Injection. Checking Relation.Nullary.Decidable (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Decidable.agda). Checking Function.Equivalence (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Equivalence.agda). Finished Function.Equivalence. Finished Relation.Nullary.Decidable. Checking Relation.Binary.PartialOrderReasoning (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/PartialOrderReasoning.agda). Finished Relation.Binary.PartialOrderReasoning. Finished Data.Nat. Checking Data.Nat.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/Properties.agda). Checking Algebra (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra.agda). Checking Algebra.FunctionProperties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/FunctionProperties.agda). Checking Algebra.FunctionProperties.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/FunctionProperties/Core.agda). Finished Algebra.FunctionProperties.Core. Finished Algebra.FunctionProperties. Checking Algebra.Structures (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Structures.agda). Finished Algebra.Structures. Finished Algebra. Checking Data.Nat.Properties.Simple (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/Properties/Simple.agda). Finished Data.Nat.Properties.Simple. Checking Algebra.RingSolver.Simple (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/RingSolver/Simple.agda). Checking Algebra.RingSolver.AlmostCommutativeRing (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/RingSolver/AlmostCommutativeRing.agda). Checking Algebra.Morphism (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Morphism.agda). Checking Algebra.Properties.Group (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/Group.agda). Finished Algebra.Properties.Group. Finished Algebra.Morphism. Checking Algebra.Properties.Ring (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/Ring.agda). Checking Algebra.Properties.AbelianGroup (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/AbelianGroup.agda). Finished Algebra.Properties.AbelianGroup. Finished Algebra.Properties.Ring. Finished Algebra.RingSolver.AlmostCommutativeRing. Checking Algebra.RingSolver (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/RingSolver.agda). Checking Algebra.RingSolver.Lemmas (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/RingSolver/Lemmas.agda). Finished Algebra.RingSolver.Lemmas. Checking Algebra.Operations (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Operations.agda). Finished Algebra.Operations. Checking Relation.Binary.Reflection (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Reflection.agda). Checking Data.Fin (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin.agda). Finished Data.Fin. Checking Data.Vec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Vec.agda). Checking Category.Applicative (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Applicative.agda). Checking Category.Applicative.Indexed (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Applicative/Indexed.agda). Checking Category.Functor (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Functor.agda). Finished Category.Functor. Finished Category.Applicative.Indexed. Finished Category.Applicative. Checking Data.List (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List.agda). Checking Data.Maybe (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Maybe.agda). Checking Category.Monad (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad.agda). Checking Category.Monad.Indexed (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/Indexed.agda). Finished Category.Monad.Indexed. Finished Category.Monad. Checking Category.Monad.Identity (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/Identity.agda). Finished Category.Monad.Identity. Checking Relation.Unary (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Unary.agda). Finished Relation.Unary. Finished Data.Maybe. Finished Data.List. Finished Data.Vec. Checking Data.Vec.N-ary (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Vec/N-ary.agda). Finished Data.Vec.N-ary. Finished Relation.Binary.Reflection. Finished Algebra.RingSolver. Finished Algebra.RingSolver.Simple. Finished Data.Nat.Properties. Checking Relation.Binary.On (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/On.agda). Finished Relation.Binary.On. Checking Relation.Binary.PropositionalEquality.TrustMe (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Finished Relation.Binary.PropositionalEquality.TrustMe. Checking Data.String.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/String/Core.agda). Checking Data.Char.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Char/Core.agda). Finished Data.Char.Core. Finished Data.String.Core. Finished Data.Char. Checking Data.Stream (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Stream.agda). Checking Coinduction (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Coinduction.agda). Finished Coinduction. Checking Data.Colist (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Colist.agda). Checking Data.BoundedVec.Inefficient (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/BoundedVec/Inefficient.agda). Finished Data.BoundedVec.Inefficient. Checking Data.Conat (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Conat.agda). Finished Data.Conat. Checking Data.List.NonEmpty (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/NonEmpty.agda). Checking Data.Bool.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Bool/Properties.agda). Checking Algebra.Properties.BooleanAlgebra (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra.agda). Checking Algebra.Properties.DistributiveLattice (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/DistributiveLattice.agda). Checking Algebra.Properties.Lattice (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/Lattice.agda). Finished Algebra.Properties.Lattice. Finished Algebra.Properties.DistributiveLattice. Finished Algebra.Properties.BooleanAlgebra. Finished Data.Bool.Properties. Finished Data.List.NonEmpty. Checking Function.Inverse (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Inverse.agda). Checking Function.Bijection (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Bijection.agda). Checking Function.Surjection (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Surjection.agda). Checking Function.LeftInverse (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/LeftInverse.agda). Finished Function.LeftInverse. Finished Function.Surjection. Finished Function.Bijection. Finished Function.Inverse. Checking Relation.Binary.InducedPreorders (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/InducedPreorders.agda). Finished Relation.Binary.InducedPreorders. Checking Relation.Nullary.Negation (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Negation.agda). Checking Data.Fin.Dec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Dec.agda). Checking Data.Vec.Equality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Vec/Equality.agda). Finished Data.Vec.Equality. Checking Data.Fin.Subset (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Subset.agda). Checking Algebra.Properties.BooleanAlgebra.Expression (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra/Expression.agda). Checking Data.Vec.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Vec/Properties.agda). Checking Data.List.Any (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Any.agda). Checking Function.Related (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Related.agda). Finished Function.Related. Checking Relation.Binary.List.Pointwise (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/List/Pointwise.agda). Finished Relation.Binary.List.Pointwise. Finished Data.List.Any. Checking Data.Fin.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Properties.agda). Finished Data.Fin.Properties. Checking Relation.Binary.HeterogeneousEquality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality.agda). Finished Relation.Binary.HeterogeneousEquality. Finished Data.Vec.Properties. Checking Relation.Binary.Vec.Pointwise (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Vec/Pointwise.agda). Checking Data.Plus (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Plus.agda). Finished Data.Plus. Finished Relation.Binary.Vec.Pointwise. Finished Algebra.Properties.BooleanAlgebra.Expression. Finished Data.Fin.Subset. Checking Data.Fin.Subset.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Subset/Properties.agda). Finished Data.Fin.Subset.Properties. Finished Data.Fin.Dec. Finished Relation.Nullary.Negation. Finished Data.Colist. Finished Data.Stream. Checking Data.String (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/String.agda). Checking Relation.Binary.List.StrictLex (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/List/StrictLex.agda). Finished Relation.Binary.List.StrictLex. Finished Data.String. Checking Induction (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Induction.agda). Finished Induction. Checking Induction.WellFounded (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Induction/WellFounded.agda). Finished Induction.WellFounded. Checking Induction.Nat (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Induction/Nat.agda). Finished Induction.Nat. Checking IO (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/IO.agda). Checking IO.Primitive (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/IO/Primitive.agda). Checking Foreign.Haskell (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Foreign/Haskell.agda). Finished Foreign.Haskell. Finished IO.Primitive. Finished IO. Checking README.Nat (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/README/Nat.agda). Finished README.Nat. Checking README.Integer (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/README/Integer.agda). Checking Data.Integer (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Integer.agda). Checking Data.Nat.Show (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/Show.agda). Checking Data.Digit (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Digit.agda). Checking Data.Nat.DivMod (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/DivMod.agda). Finished Data.Nat.DivMod. Finished Data.Digit. Finished Data.Nat.Show. Checking Data.Sign (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Sign.agda). Finished Data.Sign. Finished Data.Integer. Checking Data.Integer.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Integer/Properties.agda). Checking Data.Integer.Addition.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Integer/Addition/Properties.agda). Finished Data.Integer.Addition.Properties. Checking Data.Integer.Multiplication.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Integer/Multiplication/Properties.agda). Finished Data.Integer.Multiplication.Properties. Checking Data.Sign.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Sign/Properties.agda). Finished Data.Sign.Properties. Finished Data.Integer.Properties. Finished README.Integer. Checking README.AVL (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/README/AVL.agda). Checking Data.AVL (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/AVL.agda). Checking Data.DifferenceList (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/DifferenceList.agda). Finished Data.DifferenceList. Finished Data.AVL. Checking Data.AVL.IndexedMap (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/AVL/IndexedMap.agda). Finished Data.AVL.IndexedMap. Checking Data.AVL.Sets (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/AVL/Sets.agda). Finished Data.AVL.Sets. Finished README.AVL. Checking README.Record (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/README/Record.agda). Checking Record (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Record.agda). Finished Record. Finished README.Record. Checking README.Case (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/README/Case.agda). Finished README.Case. Checking Everything (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/Everything.agda). Checking Algebra.Monoid-solver (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/Monoid-solver.agda). Finished Algebra.Monoid-solver. Checking Algebra.RingSolver.Natural-coefficients (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Algebra/RingSolver/Natural-coefficients.agda). Finished Algebra.RingSolver.Natural-coefficients. Checking Category.Applicative.Predicate (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Applicative/Predicate.agda). Checking Category.Functor.Predicate (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Functor/Predicate.agda). Checking Relation.Unary.PredicateTransformer (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Unary/PredicateTransformer.agda). Finished Relation.Unary.PredicateTransformer. Finished Category.Functor.Predicate. Finished Category.Applicative.Predicate. Checking Category.Monad.Continuation (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/Continuation.agda). Finished Category.Monad.Continuation. Checking Category.Monad.Partiality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/Partiality.agda). Finished Category.Monad.Partiality. Checking Category.Monad.Partiality.All (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/Partiality/All.agda). Finished Category.Monad.Partiality.All. Checking Category.Monad.Predicate (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/Predicate.agda). Finished Category.Monad.Predicate. Checking Category.Monad.State (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Category/Monad/State.agda). Finished Category.Monad.State. Checking Data.Bin (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Bin.agda). Finished Data.Bin. Checking Data.Bool.Show (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Bool/Show.agda). Finished Data.Bool.Show. Checking Data.BoundedVec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/BoundedVec.agda). Finished Data.BoundedVec. Checking Data.Cofin (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Cofin.agda). Finished Data.Cofin. Checking Data.Colist.Infinite-merge (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Colist/Infinite-merge.agda). Checking Function.Related.TypeIsomorphisms (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Function/Related/TypeIsomorphisms.agda). Checking Relation.Binary.Product.Pointwise (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Product/Pointwise.agda). Checking Relation.Nullary.Product (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Product.agda). Finished Relation.Nullary.Product. Finished Relation.Binary.Product.Pointwise. Checking Relation.Binary.Sum (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Sum.agda). Finished Relation.Binary.Sum. Finished Function.Related.TypeIsomorphisms. Finished Data.Colist.Infinite-merge. Checking Data.Container (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container.agda). Checking Data.M (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/M.agda). Finished Data.M. Checking Data.W (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/W.agda). Finished Data.W. Finished Data.Container. Checking Data.Container.Any (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/Any.agda). Checking Data.Container.Combinator (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/Combinator.agda). Finished Data.Container.Combinator. Checking Relation.Binary.Sigma.Pointwise (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Sigma/Pointwise.agda). Finished Relation.Binary.Sigma.Pointwise. Finished Data.Container.Any. Checking Data.Container.FreeMonad (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/FreeMonad.agda). Finished Data.Container.FreeMonad. Checking Data.Container.Indexed (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/Indexed.agda). Checking Data.W.Indexed (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/W/Indexed.agda). Checking Data.Container.Indexed.Core (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/Indexed/Core.agda). Finished Data.Container.Indexed.Core. Finished Data.W.Indexed. Checking Data.M.Indexed (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/M/Indexed.agda). Finished Data.M.Indexed. Finished Data.Container.Indexed. Checking Data.Container.Indexed.Combinator (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/Indexed/Combinator.agda). Finished Data.Container.Indexed.Combinator. Checking Data.Container.Indexed.FreeMonad (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Container/Indexed/FreeMonad.agda). Finished Data.Container.Indexed.FreeMonad. Checking Data.Covec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Covec.agda). Finished Data.Covec. Checking Data.DifferenceNat (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/DifferenceNat.agda). Finished Data.DifferenceNat. Checking Data.DifferenceVec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/DifferenceVec.agda). Finished Data.DifferenceVec. Checking Data.Fin.Substitution (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Substitution.agda). Checking Data.Star (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star.agda). Finished Data.Star. Finished Data.Fin.Substitution. Checking Data.Fin.Substitution.Example (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Substitution/Lemmas.agda). Finished Data.Fin.Substitution.Lemmas. Finished Data.Fin.Substitution.Example. Checking Data.Fin.Substitution.List (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Fin/Substitution/List.agda). Checking Data.List.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Properties.agda). Checking Data.List.All (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/All.agda). Finished Data.List.All. Finished Data.List.Properties. Finished Data.Fin.Substitution.List. Checking Data.Float (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Float.agda). Finished Data.Float. Checking Data.Graph.Acyclic (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Graph/Acyclic.agda). Finished Data.Graph.Acyclic. Checking Data.Integer.Divisibility (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Integer/Divisibility.agda). Checking Data.Nat.Divisibility (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/Divisibility.agda). Finished Data.Nat.Divisibility. Checking Data.Nat.Coprimality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/Coprimality.agda). Checking Data.Nat.Primality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/Primality.agda). Finished Data.Nat.Primality. Checking Data.Nat.GCD (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/GCD.agda). Checking Induction.Lexicographic (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Induction/Lexicographic.agda). Finished Induction.Lexicographic. Checking Data.Nat.GCD.Lemmas (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/GCD/Lemmas.agda). Finished Data.Nat.GCD.Lemmas. Finished Data.Nat.GCD. Finished Data.Nat.Coprimality. Finished Data.Integer.Divisibility. Checking Data.List.All.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/All/Properties.agda). Finished Data.List.All.Properties. Checking Data.List.Any.BagAndSetEquality (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Any/BagAndSetEquality.agda). Checking Data.List.Any.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Any/Properties.agda). Finished Data.List.Any.Properties. Finished Data.List.Any.BagAndSetEquality. Checking Data.List.Any.Membership (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Any/Membership.agda). Checking Relation.Binary.Properties.DecTotalOrder (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Properties/DecTotalOrder.agda). Checking Relation.Binary.NonStrictToStrict (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/NonStrictToStrict.agda). Finished Relation.Binary.NonStrictToStrict. Finished Relation.Binary.Properties.DecTotalOrder. Finished Data.List.Any.Membership. Checking Data.List.Countdown (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Countdown.agda). Finished Data.List.Countdown. Checking Data.List.NonEmpty.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/NonEmpty/Properties.agda). Finished Data.List.NonEmpty.Properties. Checking Data.List.Reverse (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/List/Reverse.agda). Finished Data.List.Reverse. Checking Data.Nat.InfinitelyOften (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/InfinitelyOften.agda). Finished Data.Nat.InfinitelyOften. Checking Data.Nat.LCM (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Nat/LCM.agda). Finished Data.Nat.LCM. Checking Data.Product.N-ary (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Product/N-ary.agda). Finished Data.Product.N-ary. Checking Data.Rational (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Rational.agda). Finished Data.Rational. Checking Data.ReflexiveClosure (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/ReflexiveClosure.agda). Checking Relation.Binary.Simple (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Simple.agda). Finished Relation.Binary.Simple. Finished Data.ReflexiveClosure. Checking Data.Star.BoundedVec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Nat.agda). Finished Data.Star.Nat. Checking Data.Star.Decoration (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Decoration.agda). Finished Data.Star.Decoration. Checking Data.Star.Pointer (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Pointer.agda). Finished Data.Star.Pointer. Checking Data.Star.List (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/List.agda). Finished Data.Star.List. Finished Data.Star.BoundedVec. Checking Data.Star.Environment (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Environment.agda). Finished Data.Star.Environment. Checking Data.Star.Fin (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Fin.agda). Finished Data.Star.Fin. Checking Data.Star.Properties (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Properties.agda). Finished Data.Star.Properties. Checking Data.Star.Vec (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Data/Star/Vec.agda). Finished Data.Star.Vec. Checking Irrelevance (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Irrelevance.agda). Finished Irrelevance. Checking Reflection (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Reflection.agda). Finished Reflection. Checking Relation.Binary.Flip (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Flip.agda). Finished Relation.Binary.Flip. Checking Relation.Binary.List.NonStrictLex (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/List/NonStrictLex.agda). Finished Relation.Binary.List.NonStrictLex. Checking Relation.Binary.OrderMorphism (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/OrderMorphism.agda). Finished Relation.Binary.OrderMorphism. Checking Relation.Binary.Product.NonStrictLex (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Product/NonStrictLex.agda). Checking Relation.Binary.Product.StrictLex (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Product/StrictLex.agda). Checking Relation.Nullary.Sum (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Sum.agda). Finished Relation.Nullary.Sum. Finished Relation.Binary.Product.StrictLex. Finished Relation.Binary.Product.NonStrictLex. Checking Relation.Binary.Properties.Poset (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Properties/Poset.agda). Finished Relation.Binary.Properties.Poset. Checking Relation.Binary.Properties.Preorder (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Properties/Preorder.agda). Finished Relation.Binary.Properties.Preorder. Checking Relation.Binary.Properties.StrictPartialOrder (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictPartialOrder.agda). Checking Relation.Binary.StrictToNonStrict (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/StrictToNonStrict.agda). Finished Relation.Binary.StrictToNonStrict. Finished Relation.Binary.Properties.StrictPartialOrder. Checking Relation.Binary.Properties.StrictTotalOrder (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictTotalOrder.agda). Finished Relation.Binary.Properties.StrictTotalOrder. Checking Relation.Binary.Properties.TotalOrder (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/Properties/TotalOrder.agda). Finished Relation.Binary.Properties.TotalOrder. Checking Relation.Binary.SetoidReasoning (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/SetoidReasoning.agda). Finished Relation.Binary.SetoidReasoning. Checking Relation.Binary.StrictPartialOrderReasoning (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Binary/StrictPartialOrderReasoning.agda). Finished Relation.Binary.StrictPartialOrderReasoning. Checking Relation.Nullary.Implication (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Implication.agda). Finished Relation.Nullary.Implication. Checking Relation.Nullary.Universe (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Relation/Nullary/Universe.agda). Finished Relation.Nullary.Universe. Checking Size (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Size.agda). Finished Size. Checking Universe (/wrkdirs/math/hs-Agda-stdlib/agda-stdlib-0.9/src/Universe.agda). Finished Universe. Finished Everything. Finished README. =========================================================================== =================================================== ===> hs-Agda-stdlib-0.9_1 depends on executable: ghc - found ===> hs-Agda-stdlib-0.9_1 depends on package: ghc>=7.10.2 - found ===> hs-Agda-stdlib-0.9_1 depends on package: hs-Agda>=0 - found ===> hs-Agda-stdlib-0.9_1 depends on package: hs-filemanip>=0.3 - found =========================================================================== =================================================== ===> Staging for hs-Agda-stdlib-0.9_1 ===> Generating temporary packing list ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for hs-Agda-stdlib-0.9_1 file sizes/checksums [635]: ....... done packing files [635]: ....... done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for hs-Agda-stdlib-0.9_1 build of math/hs-Agda-stdlib ended at Wed Oct 5 15:13:47 PDT 2016 build time: 00:16:28