Mock Version: 1.4.16 Mock Version: 1.4.16 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/Agda-stdlib.spec'], chrootPath='/var/lib/mock/f31-build-17317089-1244440/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target s390x --nodeps /builddir/build/SPECS/Agda-stdlib.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1566000000 Wrote: /builddir/build/SRPMS/Agda-stdlib-1.1-1.fc31.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/Agda-stdlib.spec'], chrootPath='/var/lib/mock/f31-build-17317089-1244440/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/Agda-stdlib.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: s390x Building for target s390x setting SOURCE_DATE_EPOCH=1566000000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.sZ5Usw + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf agda-stdlib-1.1 + /usr/bin/gzip -dc /builddir/build/SOURCES/agda-stdlib-1.1.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd agda-stdlib-1.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.yc3Xkt + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 BUILDSTDERR: ++ echo -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection BUILDSTDERR: ++ sed -e 's/-Wall //' -e 's/-Werror=format-security //' + CFLAGS='-O2 -g -pipe -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection' + export CFLAGS + export 'LDFLAGS=-Wl,-z,relro -Wl,--as-needed ' + LDFLAGS='-Wl,-z,relro -Wl,--as-needed ' + '[' -f Setup.hs -o -f Setup.lhs ']' + '[' -x Setup ']' + ghc --make -no-user-package-db -dynamic Setup + LANG=C.utf8 + ./Setup --version + '[' -x Setup ']' + LANG=C.utf8 BUILDSTDERR: ++ echo ' -O2' -g -pipe -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection BUILDSTDERR: ++ sed -e 's/ / -optc/g' BUILDSTDERR: ++ echo ' -Wl,-z,relro' -Wl,--as-needed BUILDSTDERR: ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/licenses/Agda-stdlib '--libsubdir=$compiler/$pkgid' '--datasubdir=$pkgid' '--libexecsubdir=$pkgid' --ghc --dynlibdir=/usr/lib64 --global '--ghc-options= -optc-O2 -optc-g -optc-pipe -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-Wp,-D_GLIBCXX_ASSERTIONS -optc-fexceptions -optc-fstack-protector-strong -optc-grecord-gcc-switches -optc-specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -optc-specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -optc-m64 -optc-march=zEC12 -optc-mtune=z13 -optc-fasynchronous-unwind-tables -optc-fstack-clash-protection -optl-Wl,-z,relro -optl-Wl,--as-needed' + '[' -x Setup ']' + LANG=C.utf8 + ./Setup build + dist/build/GenerateEverything/GenerateEverything + export AGDA_DIR=/builddir/build/BUILD/agda-stdlib-1.1 + AGDA_DIR=/builddir/build/BUILD/agda-stdlib-1.1 + agda -i. -isrc Everything.agda [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... Cabal library version 2.4.0.1 Configuring lib-1.1... Preprocessing executable 'GenerateEverything' for lib-1.1.. Building executable 'GenerateEverything' for lib-1.1.. [1 of 1] Compiling Main ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.o ) Linking dist/build/GenerateEverything/GenerateEverything ... Preprocessing executable 'AllNonAsciiChars' for lib-1.1.. Building executable 'AllNonAsciiChars' for lib-1.1.. [1 of 1] Compiling Main ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.o ) Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ... Checking Everything (/builddir/build/BUILD/agda-stdlib-1.1/Everything.agda). Checking Algebra (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra.agda). Checking Relation.Binary (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary.agda). Checking Data.Product (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product.agda). Checking Function (/builddir/build/BUILD/agda-stdlib-1.1/src/Function.agda). Checking Level (/builddir/build/BUILD/agda-stdlib-1.1/src/Level.agda). Checking Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Strict.agda). Checking Relation.Nullary (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary.agda). Checking Data.Empty (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Empty.agda). Checking Data.Empty.Irrelevant (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Empty/Irrelevant.agda). Checking Data.Sum (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum.agda). Checking Data.Unit.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Unit/Base.agda). Checking Data.Maybe.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Base.agda). Checking Data.Bool.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bool/Base.agda). Checking Data.These.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These/Base.agda). Checking Data.Sum.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Base.agda). Checking Relation.Binary.PropositionalEquality.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Relation.Binary.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Core.agda). Checking Relation.Binary.Consequences (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Consequences.agda). Checking Relation.Unary (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary.agda). Checking Algebra.FunctionProperties (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/FunctionProperties.agda). Checking Algebra.FunctionProperties.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/FunctionProperties/Core.agda). Checking Algebra.Structures (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Structures.agda). Checking Algebra.FunctionProperties.Consequences (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/FunctionProperties/Consequences.agda). Checking Relation.Binary.Reasoning.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/Setoid.agda). Checking Relation.Binary.Reasoning.Base.Single (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/Base/Single.agda). Checking Relation.Binary.PropositionalEquality (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/PropositionalEquality.agda). Checking Axiom.Extensionality.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Axiom/Extensionality/Propositional.agda). Checking Axiom.UniquenessOfIdentityProofs (/builddir/build/BUILD/agda-stdlib-1.1/src/Axiom/UniquenessOfIdentityProofs.agda). Checking Function.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Equality.agda). Checking Relation.Binary.Indexed.Heterogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Indexed/Heterogeneous.agda). Checking Relation.Binary.Indexed.Heterogeneous.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Indexed/Heterogeneous/Core.agda). Checking Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Indexed/Heterogeneous/Construct/Trivial.agda). Checking Relation.Nullary.Decidable.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Decidable/Core.agda). Checking Algebra.FunctionProperties.Consequences.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/FunctionProperties/Consequences/Core.agda). Checking Algebra.Construct.LiftedChoice (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Construct/LiftedChoice.agda). Checking Function.Injection (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Injection.agda). Checking Relation.Nullary.Negation (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Negation.agda). Checking Category.Monad (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad.agda). Checking Category.Monad.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/Indexed.agda). Checking Category.Applicative.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Applicative/Indexed.agda). Checking Category.Functor (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Functor.agda). Checking Data.Unit (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Unit.agda). Checking Data.Unit.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Unit/Properties.agda). Checking Algebra.Construct.NaturalChoice.Max (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Construct/NaturalChoice/Max.agda). Checking Relation.Binary.Construct.Converse (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Converse.agda). Checking Algebra.Construct.NaturalChoice.Min (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Construct/NaturalChoice/Min.agda). Checking Algebra.FunctionProperties.Consequences.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/FunctionProperties/Consequences/Propositional.agda). Checking Algebra.Morphism (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Morphism.agda). Checking Algebra.Properties.Group (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/Group.agda). Checking Algebra.Operations.CommutativeMonoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Operations/CommutativeMonoid.agda). Checking Data.Nat.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Base.agda). Checking Data.List (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List.agda). Checking Data.List.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Base.agda). Checking Data.Fin (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin.agda). Checking Data.Nat.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Properties.agda). Checking Data.Bool.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bool/Properties.agda). Checking Function.Equivalence (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Equivalence.agda). Checking Relation.Nullary.Decidable (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Decidable.agda). Checking Algebra.Properties.BooleanAlgebra (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/BooleanAlgebra.agda). Checking Algebra.Properties.DistributiveLattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/DistributiveLattice.agda). Checking Algebra.Properties.Lattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/Lattice.agda). Checking Algebra.Properties.Semilattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/Semilattice.agda). Checking Relation.Binary.Construct.NaturalOrder.Left (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/NaturalOrder/Left.agda). Checking Relation.Binary.Lattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Lattice.agda). Checking Relation.Binary.Properties.Poset (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/Poset.agda). Checking Relation.Binary.Construct.NonStrictToStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/NonStrictToStrict.agda). Checking Relation.Binary.Properties.Preorder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/Preorder.agda). Checking Relation.Binary.Reasoning.Base.Triple (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/Base/Triple.agda). Checking Data.Fin.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Base.agda). Checking Data.Fin.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Properties.agda). Checking Category.Applicative (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Applicative.agda). Checking Data.Nat (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat.agda). Checking Relation.Unary.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/Properties.agda). Checking Relation.Nullary.Product (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Product.agda). Checking Relation.Nullary.Sum (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Sum.agda). Checking Data.Table.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Table/Base.agda). Checking Data.Vec (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec.agda). Checking Data.Vec.Bounded.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Bounded/Base.agda). Checking Data.Vec.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Base.agda). Checking Algebra.Operations.Semiring (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Operations/Semiring.agda). Checking Algebra.Properties.AbelianGroup (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/AbelianGroup.agda). Checking Algebra.Properties.BooleanAlgebra.Expression (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/BooleanAlgebra/Expression.agda). Checking Data.Vec.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Categorical.agda). Checking Function.Identity.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Identity/Categorical.agda). Checking Category.Comonad (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Comonad.agda). Checking Data.Vec.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Properties.agda). Checking Function.Inverse (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Inverse.agda). Checking Function.Bijection (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Bijection.agda). Checking Function.Surjection (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Surjection.agda). Checking Function.LeftInverse (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/LeftInverse.agda). Checking Data.Vec.Relation.Binary.Pointwise.Extensional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Pointwise/Extensional.agda). Checking Data.Vec.Relation.Binary.Pointwise.Inductive (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Pointwise/Inductive.agda). Checking Data.Vec.Relation.Unary.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Unary/All.agda). Checking Relation.Binary.Construct.Closure.Transitive (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Transitive.agda). Checking Relation.Binary.Reflection (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reflection.agda). Checking Data.Vec.N-ary (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/N-ary.agda). Checking Algebra.Properties.CommutativeMonoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/CommutativeMonoid.agda). Checking Algebra.Solver.CommutativeMonoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/CommutativeMonoid.agda). Checking Data.Maybe (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe.agda). Checking Data.Maybe.Relation.Unary.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Relation/Unary/All.agda). Checking Data.Maybe.Relation.Unary.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Relation/Unary/Any.agda). Checking Data.Nat.GeneralisedArithmetic (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/GeneralisedArithmetic.agda). Checking Data.Fin.Permutation (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Permutation.agda). Checking Data.Fin.Permutation.Components (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Permutation/Components.agda). Checking Data.Table (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Table.agda). Checking Data.Bool (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bool.agda). Checking Data.Table.Relation.Binary.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Table/Relation/Binary/Equality.agda). Checking Data.Table.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Table/Properties.agda). Checking Data.List.Relation.Unary.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/Any.agda). Checking Data.List.Membership.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/Propositional.agda). Checking Data.List.Membership.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/Setoid.agda). Checking Algebra.Properties.Ring (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Properties/Ring.agda). Checking Algebra.Solver.CommutativeMonoid.Example (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/CommutativeMonoid/Example.agda). Checking Algebra.Solver.IdempotentCommutativeMonoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/IdempotentCommutativeMonoid.agda). Checking Algebra.Solver.IdempotentCommutativeMonoid.Example (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/IdempotentCommutativeMonoid/Example.agda). Checking Algebra.Solver.Monoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Monoid.agda). Checking Data.List.Relation.Binary.Equality.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Equality/DecPropositional.agda). Checking Data.List.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Properties.agda). Checking Data.List.Relation.Unary.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/All.agda). Checking Data.These (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These.agda). Checking Data.List.Relation.Binary.Equality.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Equality/Propositional.agda). Checking Data.List.Relation.Binary.Equality.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Equality/Setoid.agda). Checking Data.List.Relation.Binary.Pointwise (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Pointwise.agda). Checking Data.List.Relation.Binary.Equality.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Equality/DecSetoid.agda). Checking Algebra.Solver.Ring (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Ring.agda). Checking Algebra.Solver.Ring.AlmostCommutativeRing (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Ring/AlmostCommutativeRing.agda). Checking Algebra.Solver.Ring.Lemmas (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Ring/Lemmas.agda). Checking Algebra.Solver.Ring.NaturalCoefficients (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Ring/NaturalCoefficients.agda). Checking Algebra.Solver.Ring.NaturalCoefficients.Default (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Ring/NaturalCoefficients/Default.agda). Checking Algebra.Solver.Ring.Simple (/builddir/build/BUILD/agda-stdlib-1.1/src/Algebra/Solver/Ring/Simple.agda). Checking Axiom.DoubleNegationElimination (/builddir/build/BUILD/agda-stdlib-1.1/src/Axiom/DoubleNegationElimination.agda). Checking Axiom.ExcludedMiddle (/builddir/build/BUILD/agda-stdlib-1.1/src/Axiom/ExcludedMiddle.agda). Checking Axiom.Extensionality.Heterogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Axiom/Extensionality/Heterogeneous.agda). Checking Relation.Binary.HeterogeneousEquality.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/HeterogeneousEquality/Core.agda). Checking Axiom.UniquenessOfIdentityProofs.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Axiom/UniquenessOfIdentityProofs/WithK.agda). Checking Category.Applicative.Predicate (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Applicative/Predicate.agda). Checking Category.Functor.Predicate (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Functor/Predicate.agda). Checking Relation.Unary.PredicateTransformer (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/PredicateTransformer.agda). Checking Category.Monad.Continuation (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/Continuation.agda). Checking Category.Monad.Partiality (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/Partiality.agda). Checking Codata.Musical.Notation (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Notation.agda). Checking Category.Monad.Partiality.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/Partiality/All.agda). Checking Category.Monad.Predicate (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/Predicate.agda). Checking Category.Monad.Reader (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/Reader.agda). Checking Category.Monad.State (/builddir/build/BUILD/agda-stdlib-1.1/src/Category/Monad/State.agda). Checking Codata.Cofin (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Cofin.agda). Checking Size (/builddir/build/BUILD/agda-stdlib-1.1/src/Size.agda). Checking Codata.Thunk (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Thunk.agda). Checking Codata.Conat (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Conat.agda). Checking Codata.Conat.Bisimilarity (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Conat/Bisimilarity.agda). Checking Codata.Cofin.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Cofin/Literals.agda). Checking Codata.Conat.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Conat/Properties.agda). Checking Codata.Colist (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Colist.agda). Checking Data.List.NonEmpty (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/NonEmpty.agda). Checking Data.BoundedVec (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/BoundedVec.agda). Checking Data.BoundedVec.Inefficient (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/BoundedVec/Inefficient.agda). Checking Data.Nat.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Solver.agda). Checking Codata.Cowriter (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Cowriter.agda). Checking Codata.Delay (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Delay.agda). Checking Codata.Stream (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Stream.agda). Checking Codata.Colist.Bisimilarity (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Colist/Bisimilarity.agda). Checking Codata.Colist.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Colist/Categorical.agda). Checking Codata.Colist.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Colist/Properties.agda). Checking Codata.Conat.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Conat/Literals.agda). Checking Codata.Covec (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Covec.agda). Checking Codata.Covec.Bisimilarity (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Covec/Bisimilarity.agda). Checking Codata.Covec.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Covec/Categorical.agda). Checking Codata.Covec.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Covec/Properties.agda). Checking Codata.Delay.Bisimilarity (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Delay/Bisimilarity.agda). Checking Codata.Delay.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Delay/Categorical.agda). Checking Codata.Delay.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Delay/Properties.agda). Checking Codata.M (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/M.agda). Checking Data.Container.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Core.agda). Checking Codata.M.Bisimilarity (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/M/Bisimilarity.agda). Checking Data.Container.Relation.Binary.Pointwise (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Relation/Binary/Pointwise.agda). Checking Codata.M.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/M/Properties.agda). Checking Data.Container.Morphism (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Morphism.agda). Checking Data.Product.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Properties.agda). Checking Data.Container.Relation.Binary.Equality.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Relation/Binary/Equality/Setoid.agda). Checking Data.Container.Relation.Binary.Pointwise.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Relation/Binary/Pointwise/Properties.agda). Checking Codata.Musical.Cofin (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Cofin.agda). Checking Codata.Musical.Conat (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Conat.agda). Checking Codata.Musical.Colist (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Colist.agda). Checking Relation.Binary.Construct.FromRel (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/FromRel.agda). Checking Relation.Binary.Reasoning.Preorder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/Preorder.agda). Checking Relation.Binary.Reasoning.Base.Double (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/Base/Double.agda). Checking Relation.Binary.Reasoning.PartialOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/PartialOrder.agda). Checking Codata.Musical.Colist.Infinite-merge (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Colist/Infinite-merge.agda). Checking Data.Nat.Induction (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Induction.agda). Checking Induction (/builddir/build/BUILD/agda-stdlib-1.1/src/Induction.agda). Checking Induction.WellFounded (/builddir/build/BUILD/agda-stdlib-1.1/src/Induction/WellFounded.agda). Checking Data.Sum.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Properties.agda). Checking Data.Sum.Function.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Function/Propositional.agda). Checking Data.Sum.Function.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Function/Setoid.agda). Checking Data.Sum.Relation.Binary.Pointwise (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Relation/Binary/Pointwise.agda). Checking Function.Related (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Related.agda). Checking Function.Related.TypeIsomorphisms (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Related/TypeIsomorphisms.agda). Checking Data.Product.Function.NonDependent.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Function/NonDependent/Propositional.agda). Checking Data.Product.Function.NonDependent.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Function/NonDependent/Setoid.agda). Checking Data.Product.Relation.Binary.Pointwise.NonDependent (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Binary/Pointwise/NonDependent.agda). Checking Codata.Musical.Costring (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Costring.agda). Checking Data.Char (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Char.agda). Checking Data.Char.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Char/Base.agda). Checking Data.Char.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Char/Properties.agda). Checking Relation.Binary.Construct.On (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/On.agda). Checking Data.String (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/String.agda). Checking Data.String.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/String/Base.agda). Checking Data.List.Relation.Binary.Lex.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Lex/Strict.agda). Checking Data.List.Relation.Binary.Lex.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Lex/Core.agda). Checking Data.String.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/String/Properties.agda). Checking Codata.Musical.Covec (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Covec.agda). Checking Codata.Musical.M (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/M.agda). Checking Codata.Musical.M.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/M/Indexed.agda). Checking Data.Container.Indexed.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Indexed/Core.agda). Checking Codata.Musical.Stream (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Musical/Stream.agda). Checking Codata.Stream.Bisimilarity (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Stream/Bisimilarity.agda). Checking Codata.Stream.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Stream/Categorical.agda). Checking Codata.Stream.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Codata/Stream/Properties.agda). Checking Data.AVL (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL.agda). Checking Data.DifferenceList (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/DifferenceList.agda). Checking Data.AVL.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/Indexed.agda). Checking Data.AVL.Key (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/Key.agda). Checking Relation.Nullary.Construct.Add.Extrema (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Construct/Add/Extrema.agda). Checking Relation.Nullary.Construct.Add.Infimum (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Construct/Add/Infimum.agda). Checking Relation.Nullary.Construct.Add.Point (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Construct/Add/Point.agda). Checking Data.Maybe.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Properties.agda). Checking Relation.Nullary.Construct.Add.Supremum (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Construct/Add/Supremum.agda). Checking Relation.Binary.Construct.Add.Extrema.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Extrema/Strict.agda). Checking Relation.Binary.Construct.Add.Infimum.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Infimum/Strict.agda). Checking Relation.Binary.Construct.Add.Infimum.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Infimum/Equality.agda). Checking Relation.Binary.Construct.Add.Point.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Point/Equality.agda). Checking Relation.Binary.Construct.Add.Infimum.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Infimum/NonStrict.agda). Checking Relation.Binary.Construct.Add.Supremum.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Supremum/Strict.agda). Checking Relation.Binary.Construct.Add.Supremum.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Supremum/Equality.agda). Checking Relation.Binary.Construct.Add.Supremum.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Supremum/NonStrict.agda). Checking Relation.Binary.Construct.Add.Extrema.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Extrema/Equality.agda). Checking Relation.Binary.Construct.Add.Extrema.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Add/Extrema/NonStrict.agda). Checking Data.AVL.Value (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/Value.agda). Checking Data.AVL.Height (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/Height.agda). Checking Data.AVL.Indexed.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/Indexed/WithK.agda). Checking Data.AVL.IndexedMap (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/IndexedMap.agda). Checking Data.AVL.NonEmpty (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/NonEmpty.agda). Checking Data.AVL.NonEmpty.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/NonEmpty/Propositional.agda). Checking Data.AVL.Sets (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/AVL/Sets.agda). Checking Data.Bin (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bin.agda). Checking Data.Digit (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Digit.agda). Checking Data.Nat.DivMod (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/DivMod.agda). Checking Data.Nat.DivMod.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/DivMod/Core.agda). Checking Data.Nat.Divisibility.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Divisibility/Core.agda). Checking Data.Bin.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bin/Properties.agda). Checking Data.Bool.Show (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bool/Show.agda). Checking Data.Bool.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Bool/Solver.agda). Checking Data.Container (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container.agda). Checking Data.W (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/W.agda). Checking Data.Container.Relation.Unary.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Relation/Unary/All.agda). Checking Data.Container.Relation.Unary.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Relation/Unary/Any.agda). Checking Data.Container.Membership (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Membership.agda). Checking Data.Container.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Properties.agda). Checking Data.Container.Related (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Related.agda). Checking Data.Container.Morphism.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Morphism/Properties.agda). Checking Data.Container.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Any.agda). Checking Data.Container.Relation.Unary.Any.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Relation/Unary/Any/Properties.agda). Checking Data.Product.Function.Dependent.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Function/Dependent/Propositional.agda). Checking Function.HalfAdjointEquivalence (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/HalfAdjointEquivalence.agda). Checking Data.Container.Combinator (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Combinator.agda). Checking Data.Container.Combinator.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Combinator/Properties.agda). Checking Data.Container.FreeMonad (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/FreeMonad.agda). Checking Data.Container.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Indexed.agda). Checking Data.W.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/W/Indexed.agda). Checking Data.Container.Indexed.Combinator (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Indexed/Combinator.agda). Checking Data.Container.Indexed.FreeMonad (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Indexed/FreeMonad.agda). Checking Data.Container.Indexed.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Container/Indexed/WithK.agda). Checking Relation.Binary.HeterogeneousEquality (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/HeterogeneousEquality.agda). Checking Data.Unit.NonEta (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Unit/NonEta.agda). Checking Relation.Binary.Indexed.Heterogeneous.Construct.At (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Indexed/Heterogeneous/Construct/At.agda). Checking Data.DifferenceNat (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/DifferenceNat.agda). Checking Data.DifferenceVec (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/DifferenceVec.agda). Checking Data.Fin.Dec (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Dec.agda). Checking Data.Fin.Subset.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Subset/Properties.agda). Checking Data.Fin.Subset (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Subset.agda). Checking Data.Fin.Induction (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Induction.agda). Checking Data.Fin.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Literals.agda). Checking Data.Fin.Substitution (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Substitution.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/ReflexiveTransitive.agda). Checking Data.Fin.Substitution.Example (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Substitution/Lemmas.agda). Checking Data.Fin.Substitution.List (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Fin/Substitution/List.agda). Checking Data.Float (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Float.agda). Checking Data.Float.Unsafe (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Float/Unsafe.agda). Checking Relation.Binary.PropositionalEquality.TrustMe (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Checking Data.Graph.Acyclic (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Graph/Acyclic.agda). Checking Data.Integer (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer.agda). Checking Data.Nat.Show (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Show.agda). Checking Data.Sign (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sign.agda). Checking Data.Sign.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sign/Base.agda). Checking Data.Sign.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sign/Properties.agda). Checking Data.Integer.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Base.agda). Checking Data.Integer.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Properties.agda). Checking Data.Integer.Coprimality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Coprimality.agda). Checking Data.Integer.Divisibility (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Divisibility.agda). Checking Data.Nat.Divisibility (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Divisibility.agda). Checking Data.Nat.Coprimality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Coprimality.agda). Checking Data.Nat.GCD (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/GCD.agda). Checking Data.Nat.GCD.Lemmas (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/GCD/Lemmas.agda). Checking Induction.Lexicographic (/builddir/build/BUILD/agda-stdlib-1.1/src/Induction/Lexicographic.agda). Checking Data.Nat.Primality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Primality.agda). Checking Data.Integer.DivMod (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/DivMod.agda). Checking Data.Integer.Divisibility.Signed (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Divisibility/Signed.agda). Checking Data.Integer.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Literals.agda). Checking Data.Integer.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Integer/Solver.agda). Checking Data.List.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/All.agda). Checking Data.List.All.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/All/Properties.agda). Checking Data.List.Relation.Unary.All.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/All/Properties.agda). Checking Data.List.Relation.Binary.Subset.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Subset/Propositional.agda). Checking Data.List.Relation.Binary.Subset.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Subset/Setoid.agda). Checking Data.List.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Any.agda). Checking Data.List.Any.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Any/Properties.agda). Checking Data.List.Relation.Unary.Any.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/Any/Properties.agda). Checking Data.List.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Categorical.agda). Checking Data.List.Membership.Propositional.Properties.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/Propositional/Properties/Core.agda). Checking Data.List.Countdown (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Countdown.agda). Checking Data.List.Extrema (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Extrema.agda). Checking Data.List.Membership.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/Propositional/Properties.agda). Checking Data.List.Membership.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/Setoid/Properties.agda). Checking Data.List.Relation.Unary.Unique.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/Unique/Setoid.agda). Checking Data.List.Relation.Unary.AllPairs (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/AllPairs.agda). Checking Relation.Binary.Construct.Intersection (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Intersection.agda). Checking Data.List.Relation.Unary.AllPairs.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/AllPairs/Core.agda). Checking Relation.Binary.Properties.DecTotalOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/DecTotalOrder.agda). Checking Data.List.Relation.Subset.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Subset/Propositional.agda). Checking Data.List.Extrema.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Extrema/Core.agda). Checking Data.List.Extrema.Nat (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Extrema/Nat.agda). Checking Data.List.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Literals.agda). Checking Data.List.Membership.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/DecPropositional.agda). Checking Data.List.Membership.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/DecSetoid.agda). Checking Data.List.Membership.Propositional.Properties.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Membership/Propositional/Properties/WithK.agda). Checking Data.List.Relation.Unary.Unique.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/Unique/Propositional.agda). Checking Relation.Binary.PropositionalEquality.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/PropositionalEquality/WithK.agda). Checking Data.List.NonEmpty.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/NonEmpty/Categorical.agda). Checking Data.List.NonEmpty.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/NonEmpty/Properties.agda). Checking Data.List.Relation.BagAndSetEquality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/BagAndSetEquality.agda). Checking Data.List.Relation.Binary.BagAndSetEquality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/BagAndSetEquality.agda). Checking Data.List.Relation.Binary.Subset.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Subset/Propositional/Properties.agda). Checking Data.List.Relation.Binary.Subset.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Subset/Setoid/Properties.agda). Checking Relation.Binary.PreorderReasoning (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/PreorderReasoning.agda). Checking Data.List.Relation.Binary.Disjoint.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Disjoint/Propositional.agda). Checking Data.List.Relation.Binary.Disjoint.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Disjoint/Setoid.agda). Checking Data.List.Relation.Binary.Disjoint.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Disjoint/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Lex.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Lex/NonStrict.agda). Checking Data.List.Relation.Binary.Permutation.Homogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Homogeneous.agda). Checking Data.List.Relation.Binary.Permutation.Inductive (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Inductive.agda). Checking Data.List.Relation.Binary.Permutation.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Propositional.agda). Checking Data.List.Relation.Binary.Permutation.Inductive.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Inductive/Properties.agda). Checking Data.List.Relation.Binary.Permutation.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Propositional/Properties.agda). Checking Data.List.Relation.Binary.Permutation.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Setoid.agda). Checking Data.List.Relation.Binary.Permutation.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Permutation/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Prefix.Heterogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Prefix/Heterogeneous.agda). Checking Data.List.Relation.Binary.Prefix.Heterogeneous.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Prefix/Heterogeneous/Properties.agda). Checking Data.List.Relation.Binary.Sublist.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/DecPropositional.agda). Checking Data.List.Relation.Binary.Sublist.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/DecSetoid.agda). Checking Data.List.Relation.Binary.Sublist.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Setoid.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Heterogeneous.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Core.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Properties.agda). Checking Data.List.Relation.Binary.Sublist.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Propositional.agda). Checking Data.List.Relation.Binary.Sublist.DecPropositional.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/DecPropositional/Solver.agda). Checking Data.List.Relation.Binary.Sublist.DecSetoid.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/DecSetoid/Solver.agda). Checking Data.List.Relation.Binary.Sublist.Heterogeneous.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Heterogeneous/Solver.agda). Checking Data.List.Relation.Binary.Sublist.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Propositional/Properties.agda). Checking Data.List.Relation.Binary.Sublist.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Sublist/Setoid/Properties.agda). Checking Data.List.Relation.Binary.Suffix.Heterogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Suffix/Heterogeneous.agda). Checking Data.List.Relation.Binary.Suffix.Heterogeneous.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Binary/Suffix/Heterogeneous/Properties.agda). Checking Data.List.Relation.Equality.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Equality/DecPropositional.agda). Checking Data.List.Relation.Equality.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Equality/DecSetoid.agda). Checking Data.List.Relation.Equality.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Equality/Propositional.agda). Checking Data.List.Relation.Equality.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Equality/Setoid.agda). Checking Data.List.Relation.Lex.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Lex/NonStrict.agda). Checking Data.List.Relation.Lex.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Lex/Strict.agda). Checking Data.List.Relation.Permutation.Inductive (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Permutation/Inductive.agda). Checking Data.List.Relation.Permutation.Inductive.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Permutation/Inductive/Properties.agda). Checking Data.List.Relation.Pointwise (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Pointwise.agda). Checking Data.List.Relation.Sublist.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Sublist/Propositional.agda). Checking Data.List.Relation.Sublist.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Sublist/Propositional/Properties.agda). Checking Data.List.Relation.Subset.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Subset/Propositional/Properties.agda). Checking Data.List.Relation.Subset.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Subset/Setoid.agda). Checking Data.List.Relation.Subset.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Subset/Setoid/Properties.agda). Checking Data.List.Relation.Ternary.Interleaving (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Ternary/Interleaving.agda). Checking Data.List.Relation.Ternary.Interleaving.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Ternary/Interleaving/Properties.agda). Checking Data.List.Relation.Ternary.Interleaving.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Ternary/Interleaving/Propositional.agda). Checking Data.List.Relation.Ternary.Interleaving.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Ternary/Interleaving/Setoid.agda). Checking Data.List.Relation.Ternary.Interleaving.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Ternary/Interleaving/Propositional/Properties.agda). Checking Data.List.Relation.Ternary.Interleaving.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Ternary/Interleaving/Setoid/Properties.agda). Checking Data.List.Relation.Unary.AllPairs.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/AllPairs/Properties.agda). Checking Data.List.Relation.Unary.First (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/First.agda). Checking Data.List.Relation.Unary.First.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/First/Properties.agda). Checking Data.List.Relation.Unary.Unique.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/Unique/Propositional/Properties.agda). Checking Data.List.Relation.Unary.Unique.Setoid.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Relation/Unary/Unique/Setoid/Properties.agda). Checking Data.List.Reverse (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Reverse.agda). Checking Data.List.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Solver.agda). Checking Data.List.Zipper (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Zipper.agda). Checking Data.List.Zipper.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/List/Zipper/Properties.agda). Checking Data.Maybe.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Categorical.agda). Checking Data.Maybe.Relation.Binary.Pointwise (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Relation/Binary/Pointwise.agda). Checking Data.Maybe.Relation.Unary.All.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Maybe/Relation/Unary/All/Properties.agda). Checking Data.Nat.DivMod.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/DivMod/WithK.agda). Checking Data.Nat.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/WithK.agda). Checking Data.Nat.InfinitelyOften (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/InfinitelyOften.agda). Checking Data.Nat.LCM (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/LCM.agda). Checking Data.Nat.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Nat/Literals.agda). Checking Data.Plus (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Plus.agda). Checking Data.Product.Categorical.Examples (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Categorical/Examples.agda). Checking Data.Product.Categorical.Left (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Categorical/Left.agda). Checking Data.Product.Categorical.Left.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Categorical/Left/Base.agda). Checking Data.Product.Categorical.Right (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Categorical/Right.agda). Checking Data.Product.Categorical.Right.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Categorical/Right/Base.agda). Checking Data.Product.Function.Dependent.Propositional.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Function/Dependent/Propositional/WithK.agda). Checking Data.Product.Function.Dependent.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Function/Dependent/Setoid.agda). Checking Data.Product.Relation.Binary.Pointwise.Dependent (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Binary/Pointwise/Dependent.agda). Checking Data.Product.Relation.Binary.Pointwise.Dependent.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Binary/Pointwise/Dependent/WithK.agda). Checking Data.Product.Function.Dependent.Setoid.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Function/Dependent/Setoid/WithK.agda). Checking Data.Product.N-ary (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/N-ary.agda). Checking Data.Vec.Recursive (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Recursive.agda). Checking Data.Product.N-ary.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/N-ary/Categorical.agda). Checking Data.Vec.Recursive.Categorical (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Recursive/Categorical.agda). Checking Data.Product.N-ary.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/N-ary/Properties.agda). Checking Data.Vec.Recursive.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Recursive/Properties.agda). Checking Data.Product.Nary.NonDependent (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Nary/NonDependent.agda). Checking Function.Nary.NonDependent.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Nary/NonDependent/Base.agda). Checking Data.Product.Properties.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Properties/WithK.agda). Checking Data.Product.Relation.Binary.Lex.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Binary/Lex/NonStrict.agda). Checking Data.Product.Relation.Binary.Lex.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Binary/Lex/Strict.agda). Checking Data.Product.Relation.Lex.NonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Lex/NonStrict.agda). Checking Data.Product.Relation.Lex.Strict (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Lex/Strict.agda). Checking Data.Product.Relation.Pointwise.Dependent (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Pointwise/Dependent.agda). Checking Data.Product.Relation.Pointwise.NonDependent (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Product/Relation/Pointwise/NonDependent.agda). Checking Data.Rational (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Rational.agda). Checking Data.Rational.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Rational/Base.agda). Checking Data.Rational.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Rational/Properties.agda). Checking Data.Rational.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Rational/Literals.agda). Checking Data.Record (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Record.agda). Checking Data.ReflexiveClosure (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/ReflexiveClosure.agda). Checking Relation.Binary.Construct.Closure.Reflexive (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Reflexive.agda). Checking Relation.Binary.Construct.Constant (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Constant.agda). Checking Data.Star (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star.agda). Checking Data.Star.BoundedVec (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Nat.agda). Checking Relation.Binary.Construct.Always (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Always.agda). Checking Data.Star.Decoration (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Decoration.agda). Checking Data.Star.Pointer (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Pointer.agda). Checking Data.Star.List (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/List.agda). Checking Data.Star.Environment (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Environment.agda). Checking Data.Star.Fin (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Fin.agda). Checking Data.Star.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Properties.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties.agda). Checking Data.Star.Vec (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Star/Vec.agda). Checking Data.String.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/String/Literals.agda). Checking Data.String.Unsafe (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/String/Unsafe.agda). Checking Data.Sum.Categorical.Examples (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Categorical/Examples.agda). Checking Data.Sum.Categorical.Left (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Categorical/Left.agda). Checking Data.Sum.Categorical.Right (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Categorical/Right.agda). Checking Data.Sum.Relation.Binary.LeftOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Relation/Binary/LeftOrder.agda). Checking Data.Sum.Relation.LeftOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Relation/LeftOrder.agda). Checking Data.Sum.Relation.Pointwise (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Sum/Relation/Pointwise.agda). Checking Data.Table.Relation.Equality (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Table/Relation/Equality.agda). Checking Data.These.Categorical.Left (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These/Categorical/Left.agda). Checking Data.These.Categorical.Left.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These/Categorical/Left/Base.agda). Checking Data.These.Categorical.Right (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These/Categorical/Right.agda). Checking Data.These.Categorical.Right.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These/Categorical/Right/Base.agda). Checking Data.These.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/These/Properties.agda). Checking Data.Trie (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Trie.agda). Checking Data.Trie.NonEmpty (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Trie/NonEmpty.agda). Checking Data.Universe (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Universe.agda). Checking Data.Universe.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Universe/Indexed.agda). Checking Data.Vec.All (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/All.agda). Checking Data.Vec.All.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/All/Properties.agda). Checking Data.Vec.Relation.Unary.All.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Unary/All/Properties.agda). Checking Data.Vec.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Any.agda). Checking Data.Vec.Relation.Unary.Any (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Unary/Any.agda). Checking Data.Vec.Bounded (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Bounded.agda). Checking Data.Vec.Membership.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Membership/DecPropositional.agda). Checking Data.Vec.Membership.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Membership/Propositional.agda). Checking Data.Vec.Membership.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Membership/Setoid.agda). Checking Data.Vec.Membership.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Membership/DecSetoid.agda). Checking Data.Vec.Membership.Propositional.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Membership/Propositional/Properties.agda). Checking Data.Vec.Properties.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Properties/WithK.agda). Checking Data.Vec.Relation.Binary.Equality.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Equality/DecPropositional.agda). Checking Data.Vec.Relation.Binary.Equality.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Equality/Propositional.agda). Checking Data.Vec.Relation.Binary.Equality.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Equality/Setoid.agda). Checking Data.Vec.Relation.Binary.Equality.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Equality/DecSetoid.agda). Checking Data.Vec.Relation.Binary.Equality.Propositional.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Binary/Equality/Propositional/WithK.agda). Checking Data.Vec.Relation.Equality.DecPropositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Equality/DecPropositional.agda). Checking Data.Vec.Relation.Equality.DecSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Equality/DecSetoid.agda). Checking Data.Vec.Relation.Equality.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Equality/Propositional.agda). Checking Data.Vec.Relation.Equality.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Equality/Setoid.agda). Checking Data.Vec.Relation.Pointwise.Extensional (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Pointwise/Extensional.agda). Checking Data.Vec.Relation.Pointwise.Inductive (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Pointwise/Inductive.agda). Checking Data.Vec.Relation.Unary.Any.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Vec/Relation/Unary/Any/Properties.agda). Checking Data.W.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/W/WithK.agda). Checking Data.Word (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Word.agda). Checking Data.Word.Unsafe (/builddir/build/BUILD/agda-stdlib-1.1/src/Data/Word/Unsafe.agda). Checking Debug.Trace (/builddir/build/BUILD/agda-stdlib-1.1/src/Debug/Trace.agda). Checking Foreign.Haskell (/builddir/build/BUILD/agda-stdlib-1.1/src/Foreign/Haskell.agda). Checking Foreign.Haskell.Pair (/builddir/build/BUILD/agda-stdlib-1.1/src/Foreign/Haskell/Pair.agda). Checking Foreign.Haskell.Maybe (/builddir/build/BUILD/agda-stdlib-1.1/src/Foreign/Haskell/Maybe.agda). Checking Function.Endomorphism.Propositional (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Endomorphism/Propositional.agda). Checking Function.Endomorphism.Setoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Endomorphism/Setoid.agda). Checking Function.Nary.NonDependent (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Nary/NonDependent.agda). Checking Function.Reasoning (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Reasoning.agda). Checking Function.Related.TypeIsomorphisms.Solver (/builddir/build/BUILD/agda-stdlib-1.1/src/Function/Related/TypeIsomorphisms/Solver.agda). Checking IO (/builddir/build/BUILD/agda-stdlib-1.1/src/IO.agda). Checking IO.Primitive (/builddir/build/BUILD/agda-stdlib-1.1/src/IO/Primitive.agda). Checking Induction.Nat (/builddir/build/BUILD/agda-stdlib-1.1/src/Induction/Nat.agda). Checking Level.Literals (/builddir/build/BUILD/agda-stdlib-1.1/src/Level/Literals.agda). Checking Record (/builddir/build/BUILD/agda-stdlib-1.1/src/Record.agda). Checking Reflection (/builddir/build/BUILD/agda-stdlib-1.1/src/Reflection.agda). Checking Relation.Binary.Construct.Closure.Equivalence (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Equivalence.agda). Checking Relation.Binary.Construct.Closure.Symmetric (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Symmetric.agda). Checking Relation.Binary.Construct.Closure.Equivalence.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Equivalence/Properties.agda). Checking Relation.Binary.Construct.Closure.Reflexive.Properties (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Reflexive/Properties.agda). Checking Relation.Binary.Construct.Closure.Reflexive.Properties.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Reflexive/Properties/WithK.agda). Checking Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/ReflexiveTransitive/Properties/WithK.agda). Checking Relation.Binary.Construct.Closure.Transitive.WithK (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Closure/Transitive/WithK.agda). Checking Relation.Binary.Construct.Flip (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Flip.agda). Checking Relation.Binary.Construct.FromPred (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/FromPred.agda). Checking Relation.Binary.Construct.NaturalOrder.Right (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/NaturalOrder/Right.agda). Checking Relation.Binary.Construct.Never (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Never.agda). Checking Relation.Binary.Construct.StrictToNonStrict (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/StrictToNonStrict.agda). Checking Relation.Binary.Construct.Union (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Construct/Union.agda). Checking Relation.Binary.EqReasoning (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/EqReasoning.agda). Checking Relation.Binary.EquivalenceClosure (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/EquivalenceClosure.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/HeterogeneousEquality/Quotients.agda). Checking Relation.Binary.HeterogeneousEquality.Quotients.Examples (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/HeterogeneousEquality/Quotients/Examples.agda). Checking Relation.Binary.Indexed.Homogeneous (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Indexed/Homogeneous.agda). Checking Relation.Binary.Indexed.Homogeneous.Core (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Indexed/Homogeneous/Core.agda). BUILDSTDERR: Checking Relatio+ agda --html -i. -isrc README.agda n.Unary.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/Indexed.agda). Checking Relation.Binary.OrderMorphism (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/OrderMorphism.agda). Checking Relation.Binary.PartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/PartialOrderReasoning.agda). Checking Relation.Binary.Properties.BoundedJoinSemilattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/BoundedJoinSemilattice.agda). Checking Relation.Binary.Properties.BoundedLattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/BoundedLattice.agda). Checking Relation.Binary.Properties.MeetSemilattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/MeetSemilattice.agda). Checking Relation.Binary.Properties.JoinSemilattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/JoinSemilattice.agda). Checking Relation.Binary.Properties.BoundedMeetSemilattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/BoundedMeetSemilattice.agda). Checking Relation.Binary.Properties.DistributiveLattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/DistributiveLattice.agda). Checking Relation.Binary.Properties.Lattice (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/Lattice.agda). Checking Relation.Binary.Properties.HeytingAlgebra (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/HeytingAlgebra.agda). Checking Relation.Binary.Properties.StrictPartialOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/StrictPartialOrder.agda). Checking Relation.Binary.Properties.StrictTotalOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/StrictTotalOrder.agda). Checking Relation.Binary.Properties.TotalOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Properties/TotalOrder.agda). Checking Relation.Binary.Reasoning.MultiSetoid (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/MultiSetoid.agda). Checking Relation.Binary.Reasoning.StrictPartialOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Reasoning/StrictPartialOrder.agda). Checking Relation.Binary.Rewriting (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/Rewriting.agda). Checking Relation.Binary.SetoidReasoning (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/SetoidReasoning.agda). Checking Relation.Binary.StrictPartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/StrictPartialOrderReasoning.agda). Checking Relation.Binary.SymmetricClosure (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Binary/SymmetricClosure.agda). Checking Relation.Nary (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nary.agda). Checking Relation.Nullary.Implication (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Implication.agda). Checking Relation.Nullary.Universe (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Nullary/Universe.agda). Checking Relation.Unary.Closure.Base (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/Closure/Base.agda). Checking Relation.Unary.Closure.Preorder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/Closure/Preorder.agda). Checking Relation.Unary.Closure.StrictPartialOrder (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/Closure/StrictPartialOrder.agda). Checking Relation.Unary.Consequences (/builddir/build/BUILD/agda-stdlib-1.1/src/Relation/Unary/Consequences.agda). Checking Text.Format (/builddir/build/BUILD/agda-stdlib-1.1/src/Text/Format.agda). Checking Text.Printf (/builddir/build/BUILD/agda-stdlib-1.1/src/Text/Printf.agda). Checking Universe (/builddir/build/BUILD/agda-stdlib-1.1/src/Universe.agda). Checking README (/builddir/build/BUILD/agda-stdlib-1.1/README.agda). Checking README.Axiom (/builddir/build/BUILD/agda-stdlib-1.1/README/Axiom.agda). Checking README.Data (/builddir/build/BUILD/agda-stdlib-1.1/README/Data.agda). Checking README.Data.Nat (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Nat.agda). Checking README.Data.Nat.Induction (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Nat/Induction.agda). Checking README.Data.Integer (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Integer.agda). Checking README.Data.AVL (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/AVL.agda). Checking README.Data.List (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/List.agda). Checking README.Data.Interleaving (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Interleaving.agda). Checking README.Case (/builddir/build/BUILD/agda-stdlib-1.1/README/Case.agda). Checking README.Data.Record (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Record.agda). Checking README.Data.Trie.NonDependent (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Trie/NonDependent.agda). Checking README.Data.Container.FreeMonad (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Container/FreeMonad.agda). Checking README.Data.Container.Indexed (/builddir/build/BUILD/agda-stdlib-1.1/README/Data/Container/Indexed.agda). Checking README.Function.Reasoning (/builddir/build/BUILD/agda-stdlib-1.1/README/Function/Reasoning.agda). Checking README.Debug.Trace (/builddir/build/BUILD/agda-stdlib-1.1/README/Debug/Trace.agda). Checking README.Nary (/builddir/build/BUILD/agda-stdlib-1.1/README/Nary.agda). Checking README.Inspect (/builddir/build/BUILD/agda-stdlib-1.1/README/Inspect.agda). Checking README.Text (/builddir/build/BUILD/agda-stdlib-1.1/README/Text.agda). Checking EverythingSafe (/builddir/build/BUILD/agda-stdlib-1.1/EverythingSafe.agda). Warning: HTML is currently generated for ALL files which can be reached from the given module, including library files. Generating HTML for Agda.Builtin.Bool (html/Agda.Builtin.Bool.html). Generating HTML for Agda.Builtin.Char (html/Agda.Builtin.Char.html). Generating HTML for Agda.Builtin.Char.Properties (html/Agda.Builtin.Char.Properties.html). Generating HTML for Agda.Builtin.Coinduction (html/Agda.Builtin.Coinduction.html). Generating HTML for Agda.Builtin.Equality (html/Agda.Builtin.Equality.html). Generating HTML for Agda.Builtin.Equality.Erase (html/Agda.Builtin.Equality.Erase.html). Generating HTML for Agda.Builtin.Float (html/Agda.Builtin.Float.html). Generating HTML for Agda.Builtin.FromNat (html/Agda.Builtin.FromNat.html). Generating HTML for Agda.Builtin.FromNeg (html/Agda.Builtin.FromNeg.html). Generating HTML for Agda.Builtin.FromString (html/Agda.Builtin.FromString.html). Generating HTML for Agda.Builtin.IO (html/Agda.Builtin.IO.html). Generating HTML for Agda.Builtin.Int (html/Agda.Builtin.Int.html). Generating HTML for Agda.Builtin.List (html/Agda.Builtin.List.html). Generating HTML for Agda.Builtin.Nat (html/Agda.Builtin.Nat.html). Generating HTML for Agda.Builtin.Reflection (html/Agda.Builtin.Reflection.html). Generating HTML for Agda.Builtin.Sigma (html/Agda.Builtin.Sigma.html). Generating HTML for Agda.Builtin.Size (html/Agda.Builtin.Size.html). Generating HTML for Agda.Builtin.Strict (html/Agda.Builtin.Strict.html). Generating HTML for Agda.Builtin.String (html/Agda.Builtin.String.html). Generating HTML for Agda.Builtin.String.Properties (html/Agda.Builtin.String.Properties.html). Generating HTML for Agda.Builtin.TrustMe (html/Agda.Builtin.TrustMe.html). Generating HTML for Agda.Builtin.Unit (html/Agda.Builtin.Unit.html). Generating HTML for Agda.Builtin.Word (html/Agda.Builtin.Word.html). Generating HTML for Agda.Primitive (html/Agda.Primitive.html). Generating HTML for Agda.Primitive.Cubical (html/Agda.Primitive.Cubical.html). Generating HTML for Algebra (html/Algebra.html). Generating HTML for Algebra.Construct.LiftedChoice (html/Algebra.Construct.LiftedChoice.html). Generating HTML for Algebra.Construct.NaturalChoice.Max (html/Algebra.Construct.NaturalChoice.Max.html). Generating HTML for Algebra.Construct.NaturalChoice.Min (html/Algebra.Construct.NaturalChoice.Min.html). Generating HTML for Algebra.FunctionProperties (html/Algebra.FunctionProperties.html). Generating HTML for Algebra.FunctionProperties.Consequences (html/Algebra.FunctionProperties.Consequences.html). Generating HTML for Algebra.FunctionProperties.Consequences.Core (html/Algebra.FunctionProperties.Consequences.Core.html). Generating HTML for Algebra.FunctionProperties.Consequences.Propositional (html/Algebra.FunctionProperties.Consequences.Propositional.html). Generating HTML for Algebra.FunctionProperties.Core (html/Algebra.FunctionProperties.Core.html). Generating HTML for Algebra.Morphism (html/Algebra.Morphism.html). Generating HTML for Algebra.Operations.CommutativeMonoid (html/Algebra.Operations.CommutativeMonoid.html). Generating HTML for Algebra.Operations.Semiring (html/Algebra.Operations.Semiring.html). Generating HTML for Algebra.Properties.AbelianGroup (html/Algebra.Properties.AbelianGroup.html). Generating HTML for Algebra.Properties.BooleanAlgebra (html/Algebra.Properties.BooleanAlgebra.html). Generating HTML for Algebra.Properties.BooleanAlgebra.Expression (html/Algebra.Properties.BooleanAlgebra.Expression.html). Generating HTML for Algebra.Properties.CommutativeMonoid (html/Algebra.Properties.CommutativeMonoid.html). Generating HTML for Algebra.Properties.DistributiveLattice (html/Algebra.Properties.DistributiveLattice.html). Generating HTML for Algebra.Properties.Group (html/Algebra.Properties.Group.html). Generating HTML for Algebra.Properties.Lattice (html/Algebra.Properties.Lattice.html). Generating HTML for Algebra.Properties.Ring (html/Algebra.Properties.Ring.html). Generating HTML for Algebra.Properties.Semilattice (html/Algebra.Properties.Semilattice.html). Generating HTML for Algebra.Solver.CommutativeMonoid (html/Algebra.Solver.CommutativeMonoid.html). Generating HTML for Algebra.Solver.CommutativeMonoid.Example (html/Algebra.Solver.CommutativeMonoid.Example.html). Generating HTML for Algebra.Solver.IdempotentCommutativeMonoid (html/Algebra.Solver.IdempotentCommutativeMonoid.html). Generating HTML for Algebra.Solver.IdempotentCommutativeMonoid.Example (html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html). Generating HTML for Algebra.Solver.Monoid (html/Algebra.Solver.Monoid.html). Generating HTML for Algebra.Solver.Ring (html/Algebra.Solver.Ring.html). Generating HTML for Algebra.Solver.Ring.AlmostCommutativeRing (html/Algebra.Solver.Ring.AlmostCommutativeRing.html). Generating HTML for Algebra.Solver.Ring.Lemmas (html/Algebra.Solver.Ring.Lemmas.html). Generating HTML for Algebra.Solver.Ring.NaturalCoefficients (html/Algebra.Solver.Ring.NaturalCoefficients.html). Generating HTML for Algebra.Solver.Ring.NaturalCoefficients.Default (html/Algebra.Solver.Ring.NaturalCoefficients.Default.html). Generating HTML for Algebra.Solver.Ring.Simple (html/Algebra.Solver.Ring.Simple.html). Generating HTML for Algebra.Structures (html/Algebra.Structures.html). Generating HTML for Axiom.DoubleNegationElimination (html/Axiom.DoubleNegationElimination.html). Generating HTML for Axiom.ExcludedMiddle (html/Axiom.ExcludedMiddle.html). Generating HTML for Axiom.Extensionality.Heterogeneous (html/Axiom.Extensionality.Heterogeneous.html). Generating HTML for Axiom.Extensionality.Propositional (html/Axiom.Extensionality.Propositional.html). Generating HTML for Axiom.UniquenessOfIdentityProofs (html/Axiom.UniquenessOfIdentityProofs.html). Generating HTML for Axiom.UniquenessOfIdentityProofs.WithK (html/Axiom.UniquenessOfIdentityProofs.WithK.html). Generating HTML for Category.Applicative (html/Category.Applicative.html). Generating HTML for Category.Applicative.Indexed (html/Category.Applicative.Indexed.html). Generating HTML for Category.Applicative.Predicate (html/Category.Applicative.Predicate.html). Generating HTML for Category.Comonad (html/Category.Comonad.html). Generating HTML for Category.Functor (html/Category.Functor.html). Generating HTML for Category.Functor.Predicate (html/Category.Functor.Predicate.html). Generating HTML for Category.Monad (html/Category.Monad.html). Generating HTML for Category.Monad.Continuation (html/Category.Monad.Continuation.html). Generating HTML for Category.Monad.Indexed (html/Category.Monad.Indexed.html). Generating HTML for Category.Monad.Partiality (html/Category.Monad.Partiality.html). Generating HTML for Category.Monad.Partiality.All (html/Category.Monad.Partiality.All.html). Generating HTML for Category.Monad.Predicate (html/Category.Monad.Predicate.html). Generating HTML for Category.Monad.Reader (html/Category.Monad.Reader.html). Generating HTML for Category.Monad.State (html/Category.Monad.State.html). Generating HTML for Codata.Cofin (html/Codata.Cofin.html). Generating HTML for Codata.Cofin.Literals (html/Codata.Cofin.Literals.html). Generating HTML for Codata.Colist (html/Codata.Colist.html). Generating HTML for Codata.Colist.Bisimilarity (html/Codata.Colist.Bisimilarity.html). Generating HTML for Codata.Colist.Categorical (html/Codata.Colist.Categorical.html). Generating HTML for Codata.Colist.Properties (html/Codata.Colist.Properties.html). Generating HTML for Codata.Conat (html/Codata.Conat.html). Generating HTML for Codata.Conat.Bisimilarity (html/Codata.Conat.Bisimilarity.html). Generating HTML for Codata.Conat.Literals (html/Codata.Conat.Literals.html). Generating HTML for Codata.Conat.Properties (html/Codata.Conat.Properties.html). Generating HTML for Codata.Covec (html/Codata.Covec.html). Generating HTML for Codata.Covec.Bisimilarity (html/Codata.Covec.Bisimilarity.html). Generating HTML for Codata.Covec.Categorical (html/Codata.Covec.Categorical.html). Generating HTML for Codata.Covec.Properties (html/Codata.Covec.Properties.html). Generating HTML for Codata.Cowriter (html/Codata.Cowriter.html). Generating HTML for Codata.Delay (html/Codata.Delay.html). Generating HTML for Codata.Delay.Bisimilarity (html/Codata.Delay.Bisimilarity.html). Generating HTML for Codata.Delay.Categorical (html/Codata.Delay.Categorical.html). Generating HTML for Codata.Delay.Properties (html/Codata.Delay.Properties.html). Generating HTML for Codata.M (html/Codata.M.html). Generating HTML for Codata.M.Bisimilarity (html/Codata.M.Bisimilarity.html). Generating HTML for Codata.M.Properties (html/Codata.M.Properties.html). Generating HTML for Codata.Musical.Cofin (html/Codata.Musical.Cofin.html). Generating HTML for Codata.Musical.Colist (html/Codata.Musical.Colist.html). Generating HTML for Codata.Musical.Colist.Infinite-merge (html/Codata.Musical.Colist.Infinite-merge.html). Generating HTML for Codata.Musical.Conat (html/Codata.Musical.Conat.html). Generating HTML for Codata.Musical.Costring (html/Codata.Musical.Costring.html). Generating HTML for Codata.Musical.Covec (html/Codata.Musical.Covec.html). Generating HTML for Codata.Musical.M (html/Codata.Musical.M.html). Generating HTML for Codata.Musical.M.Indexed (html/Codata.Musical.M.Indexed.html). Generating HTML for Codata.Musical.Notation (html/Codata.Musical.Notation.html). Generating HTML for Codata.Musical.Stream (html/Codata.Musical.Stream.html). Generating HTML for Codata.Stream (html/Codata.Stream.html). Generating HTML for Codata.Stream.Bisimilarity (html/Codata.Stream.Bisimilarity.html). Generating HTML for Codata.Stream.Categorical (html/Codata.Stream.Categorical.html). Generating HTML for Codata.Stream.Properties (html/Codata.Stream.Properties.html). Generating HTML for Codata.Thunk (html/Codata.Thunk.html). Generating HTML for Data.AVL (html/Data.AVL.html). Generating HTML for Data.AVL.Height (html/Data.AVL.Height.html). Generating HTML for Data.AVL.Indexed (html/Data.AVL.Indexed.html). Generating HTML for Data.AVL.Indexed.WithK (html/Data.AVL.Indexed.WithK.html). Generating HTML for Data.AVL.IndexedMap (html/Data.AVL.IndexedMap.html). Generating HTML for Data.AVL.Key (html/Data.AVL.Key.html). Generating HTML for Data.AVL.NonEmpty (html/Data.AVL.NonEmpty.html). Generating HTML for Data.AVL.NonEmpty.Propositional (html/Data.AVL.NonEmpty.Propositional.html). Generating HTML for Data.AVL.Sets (html/Data.AVL.Sets.html). Generating HTML for Data.AVL.Value (html/Data.AVL.Value.html). Generating HTML for Data.Bin (html/Data.Bin.html). Generating HTML for Data.Bin.Properties (html/Data.Bin.Properties.html). Generating HTML for Data.Bool (html/Data.Bool.html). Generating HTML for Data.Bool.Base (html/Data.Bool.Base.html). Generating HTML for Data.Bool.Properties (html/Data.Bool.Properties.html). Generating HTML for Data.Bool.Show (html/Data.Bool.Show.html). Generating HTML for Data.Bool.Solver (html/Data.Bool.Solver.html). Generating HTML for Data.BoundedVec (html/Data.BoundedVec.html). Generating HTML for Data.BoundedVec.Inefficient (html/Data.BoundedVec.Inefficient.html). Generating HTML for Data.Char (html/Data.Char.html). Generating HTML for Data.Char.Base (html/Data.Char.Base.html). Generating HTML for Data.Char.Properties (html/Data.Char.Properties.html). Generating HTML for Data.Container (html/Data.Container.html). Generating HTML for Data.Container.Any (html/Data.Container.Any.html). Generating HTML for Data.Container.Combinator (html/Data.Container.Combinator.html). Generating HTML for Data.Container.Combinator.Properties (html/Data.Container.Combinator.Properties.html). Generating HTML for Data.Container.Core (html/Data.Container.Core.html). Generating HTML for Data.Container.FreeMonad (html/Data.Container.FreeMonad.html). Generating HTML for Data.Container.Indexed (html/Data.Container.Indexed.html). Generating HTML for Data.Container.Indexed.Combinator (html/Data.Container.Indexed.Combinator.html). Generating HTML for Data.Container.Indexed.Core (html/Data.Container.Indexed.Core.html). Generating HTML for Data.Container.Indexed.FreeMonad (html/Data.Container.Indexed.FreeMonad.html). Generating HTML for Data.Container.Indexed.WithK (html/Data.Container.Indexed.WithK.html). Generating HTML for Data.Container.Membership (html/Data.Container.Membership.html). Generating HTML for Data.Container.Morphism (html/Data.Container.Morphism.html). Generating HTML for Data.Container.Morphism.Properties (html/Data.Container.Morphism.Properties.html). Generating HTML for Data.Container.Properties (html/Data.Container.Properties.html). Generating HTML for Data.Container.Related (html/Data.Container.Related.html). Generating HTML for Data.Container.Relation.Binary.Equality.Setoid (html/Data.Container.Relation.Binary.Equality.Setoid.html). Generating HTML for Data.Container.Relation.Binary.Pointwise (html/Data.Container.Relation.Binary.Pointwise.html). Generating HTML for Data.Container.Relation.Binary.Pointwise.Properties (html/Data.Container.Relation.Binary.Pointwise.Properties.html). Generating HTML for Data.Container.Relation.Unary.All (html/Data.Container.Relation.Unary.All.html). Generating HTML for Data.Container.Relation.Unary.Any (html/Data.Container.Relation.Unary.Any.html). Generating HTML for Data.Container.Relation.Unary.Any.Properties (html/Data.Container.Relation.Unary.Any.Properties.html). Generating HTML for Data.DifferenceList (html/Data.DifferenceList.html). Generating HTML for Data.DifferenceNat (html/Data.DifferenceNat.html). Generating HTML for Data.DifferenceVec (html/Data.DifferenceVec.html). Generating HTML for Data.Digit (html/Data.Digit.html). Generating HTML for Data.Empty (html/Data.Empty.html). Generating HTML for Data.Empty.Irrelevant (html/Data.Empty.Irrelevant.html). Generating HTML for Data.Fin (html/Data.Fin.html). Generating HTML for Data.Fin.Base (html/Data.Fin.Base.html). Generating HTML for Data.Fin.Dec (html/Data.Fin.Dec.html). Generating HTML for Data.Fin.Induction (html/Data.Fin.Induction.html). Generating HTML for Data.Fin.Literals (html/Data.Fin.Literals.html). Generating HTML for Data.Fin.Permutation (html/Data.Fin.Permutation.html). Generating HTML for Data.Fin.Permutation.Components (html/Data.Fin.Permutation.Components.html). Generating HTML for Data.Fin.Properties (html/Data.Fin.Properties.html). Generating HTML for Data.Fin.Subset (html/Data.Fin.Subset.html). Generating HTML for Data.Fin.Subset.Properties (html/Data.Fin.Subset.Properties.html). Generating HTML for Data.Fin.Substitution (html/Data.Fin.Substitution.html). Generating HTML for Data.Fin.Substitution.Example (html/Data.Fin.Substitution.Example.html). Generating HTML for Data.Fin.Substitution.Lemmas (html/Data.Fin.Substitution.Lemmas.html). Generating HTML for Data.Fin.Substitution.List (html/Data.Fin.Substitution.List.html). Generating HTML for Data.Float (html/Data.Float.html). Generating HTML for Data.Float.Unsafe (html/Data.Float.Unsafe.html). Generating HTML for Data.Graph.Acyclic (html/Data.Graph.Acyclic.html). Generating HTML for Data.Integer (html/Data.Integer.html). Generating HTML for Data.Integer.Base (html/Data.Integer.Base.html). Generating HTML for Data.Integer.Coprimality (html/Data.Integer.Coprimality.html). Generating HTML for Data.Integer.DivMod (html/Data.Integer.DivMod.html). Generating HTML for Data.Integer.Divisibility (html/Data.Integer.Divisibility.html). Generating HTML for Data.Integer.Divisibility.Signed (html/Data.Integer.Divisibility.Signed.html). Generating HTML for Data.Integer.Literals (html/Data.Integer.Literals.html). Generating HTML for Data.Integer.Properties (html/Data.Integer.Properties.html). Generating HTML for Data.Integer.Solver (html/Data.Integer.Solver.html). Generating HTML for Data.List (html/Data.List.html). Generating HTML for Data.List.All (html/Data.List.All.html). Generating HTML for Data.List.All.Properties (html/Data.List.All.Properties.html). Generating HTML for Data.List.Any (html/Data.List.Any.html). Generating HTML for Data.List.Any.Properties (html/Data.List.Any.Properties.html). Generating HTML for Data.List.Base (html/Data.List.Base.html). Generating HTML for Data.List.Categorical (html/Data.List.Categorical.html). Generating HTML for Data.List.Countdown (html/Data.List.Countdown.html). Generating HTML for Data.List.Extrema (html/Data.List.Extrema.html). Generating HTML for Data.List.Extrema.Core (html/Data.List.Extrema.Core.html). Generating HTML for Data.List.Extrema.Nat (html/Data.List.Extrema.Nat.html). Generating HTML for Data.List.Literals (html/Data.List.Literals.html). Generating HTML for Data.List.Membership.DecPropositional (html/Data.List.Membership.DecPropositional.html). Generating HTML for Data.List.Membership.DecSetoid (html/Data.List.Membership.DecSetoid.html). Generating HTML for Data.List.Membership.Propositional (html/Data.List.Membership.Propositional.html). Generating HTML for Data.List.Membership.Propositional.Properties (html/Data.List.Membership.Propositional.Properties.html). Generating HTML for Data.List.Membership.Propositional.Properties.Core (html/Data.List.Membership.Propositional.Properties.Core.html). Generating HTML for Data.List.Membership.Propositional.Properties.WithK (html/Data.List.Membership.Propositional.Properties.WithK.html). Generating HTML for Data.List.Membership.Setoid (html/Data.List.Membership.Setoid.html). Generating HTML for Data.List.Membership.Setoid.Properties (html/Data.List.Membership.Setoid.Properties.html). Generating HTML for Data.List.NonEmpty (html/Data.List.NonEmpty.html). Generating HTML for Data.List.NonEmpty.Categorical (html/Data.List.NonEmpty.Categorical.html). Generating HTML for Data.List.NonEmpty.Properties (html/Data.List.NonEmpty.Properties.html). Generating HTML for Data.List.Properties (html/Data.List.Properties.html). Generating HTML for Data.List.Relation.BagAndSetEquality (html/Data.List.Relation.BagAndSetEquality.html). Generating HTML for Data.List.Relation.Binary.BagAndSetEquality (html/Data.List.Relation.Binary.BagAndSetEquality.html). Generating HTML for Data.List.Relation.Binary.Disjoint.Propositional (html/Data.List.Relation.Binary.Disjoint.Propositional.html). Generating HTML for Data.List.Relation.Binary.Disjoint.Setoid (html/Data.List.Relation.Binary.Disjoint.Setoid.html). Generating HTML for Data.List.Relation.Binary.Disjoint.Setoid.Properties (html/Data.List.Relation.Binary.Disjoint.Setoid.Properties.html). Generating HTML for Data.List.Relation.Binary.Equality.DecPropositional (html/Data.List.Relation.Binary.Equality.DecPropositional.html). Generating HTML for Data.List.Relation.Binary.Equality.DecSetoid (html/Data.List.Relation.Binary.Equality.DecSetoid.html). Generating HTML for Data.List.Relation.Binary.Equality.Propositional (html/Data.List.Relation.Binary.Equality.Propositional.html). Generating HTML for Data.List.Relation.Binary.Equality.Setoid (html/Data.List.Relation.Binary.Equality.Setoid.html). Generating HTML for Data.List.Relation.Binary.Lex.Core (html/Data.List.Relation.Binary.Lex.Core.html). Generating HTML for Data.List.Relation.Binary.Lex.NonStrict (html/Data.List.Relation.Binary.Lex.NonStrict.html). Generating HTML for Data.List.Relation.Binary.Lex.Strict (html/Data.List.Relation.Binary.Lex.Strict.html). Generating HTML for Data.List.Relation.Binary.Permutation.Homogeneous (html/Data.List.Relation.Binary.Permutation.Homogeneous.html). Generating HTML for Data.List.Relation.Binary.Permutation.Inductive (html/Data.List.Relation.Binary.Permutation.Inductive.html). Generating HTML for Data.List.Relation.Binary.Permutation.Inductive.Properties (html/Data.List.Relation.Binary.Permutation.Inductive.Properties.html). Generating HTML for Data.List.Relation.Binary.Permutation.Propositional (html/Data.List.Relation.Binary.Permutation.Propositional.html). Generating HTML for Data.List.Relation.Binary.Permutation.Propositional.Properties (html/Data.List.Relation.Binary.Permutation.Propositional.Properties.html). Generating HTML for Data.List.Relation.Binary.Permutation.Setoid (html/Data.List.Relation.Binary.Permutation.Setoid.html). Generating HTML for Data.List.Relation.Binary.Permutation.Setoid.Properties (html/Data.List.Relation.Binary.Permutation.Setoid.Properties.html). Generating HTML for Data.List.Relation.Binary.Pointwise (html/Data.List.Relation.Binary.Pointwise.html). Generating HTML for Data.List.Relation.Binary.Prefix.Heterogeneous (html/Data.List.Relation.Binary.Prefix.Heterogeneous.html). Generating HTML for Data.List.Relation.Binary.Prefix.Heterogeneous.Properties (html/Data.List.Relation.Binary.Prefix.Heterogeneous.Properties.html). Generating HTML for Data.List.Relation.Binary.Sublist.DecPropositional (html/Data.List.Relation.Binary.Sublist.DecPropositional.html). Generating HTML for Data.List.Relation.Binary.Sublist.DecPropositional.Solver (html/Data.List.Relation.Binary.Sublist.DecPropositional.Solver.html). Generating HTML for Data.List.Relation.Binary.Sublist.DecSetoid (html/Data.List.Relation.Binary.Sublist.DecSetoid.html). Generating HTML for Data.List.Relation.Binary.Sublist.DecSetoid.Solver (html/Data.List.Relation.Binary.Sublist.DecSetoid.Solver.html). Generating HTML for Data.List.Relation.Binary.Sublist.Heterogeneous (html/Data.List.Relation.Binary.Sublist.Heterogeneous.html). Generating HTML for Data.List.Relation.Binary.Sublist.Heterogeneous.Core (html/Data.List.Relation.Binary.Sublist.Heterogeneous.Core.html). Generating HTML for Data.List.Relation.Binary.Sublist.Heterogeneous.Properties (html/Data.List.Relation.Binary.Sublist.Heterogeneous.Properties.html). Generating HTML for Data.List.Relation.Binary.Sublist.Heterogeneous.Solver (html/Data.List.Relation.Binary.Sublist.Heterogeneous.Solver.html). Generating HTML for Data.List.Relation.Binary.Sublist.Propositional (html/Data.List.Relation.Binary.Sublist.Propositional.html). Generating HTML for Data.List.Relation.Binary.Sublist.Propositional.Properties (html/Data.List.Relation.Binary.Sublist.Propositional.Properties.html). Generating HTML for Data.List.Relation.Binary.Sublist.Setoid (html/Data.List.Relation.Binary.Sublist.Setoid.html). Generating HTML for Data.List.Relation.Binary.Sublist.Setoid.Properties (html/Data.List.Relation.Binary.Sublist.Setoid.Properties.html). Generating HTML for Data.List.Relation.Binary.Subset.Propositional (html/Data.List.Relation.Binary.Subset.Propositional.html). Generating HTML for Data.List.Relation.Binary.Subset.Propositional.Properties (html/Data.List.Relation.Binary.Subset.Propositional.Properties.html). Generating HTML for Data.List.Relation.Binary.Subset.Setoid (html/Data.List.Relation.Binary.Subset.Setoid.html). Generating HTML for Data.List.Relation.Binary.Subset.Setoid.Properties (html/Data.List.Relation.Binary.Subset.Setoid.Properties.html). Generating HTML for Data.List.Relation.Binary.Suffix.Heterogeneous (html/Data.List.Relation.Binary.Suffix.Heterogeneous.html). Generating HTML for Data.List.Relation.Binary.Suffix.Heterogeneous.Properties (html/Data.List.Relation.Binary.Suffix.Heterogeneous.Properties.html). Generating HTML for Data.List.Relation.Equality.DecPropositional (html/Data.List.Relation.Equality.DecPropositional.html). Generating HTML for Data.List.Relation.Equality.DecSetoid (html/Data.List.Relation.Equality.DecSetoid.html). Generating HTML for Data.List.Relation.Equality.Propositional (html/Data.List.Relation.Equality.Propositional.html). Generating HTML for Data.List.Relation.Equality.Setoid (html/Data.List.Relation.Equality.Setoid.html). Generating HTML for Data.List.Relation.Lex.NonStrict (html/Data.List.Relation.Lex.NonStrict.html). Generating HTML for Data.List.Relation.Lex.Strict (html/Data.List.Relation.Lex.Strict.html). Generating HTML for Data.List.Relation.Permutation.Inductive (html/Data.List.Relation.Permutation.Inductive.html). Generating HTML for Data.List.Relation.Permutation.Inductive.Properties (html/Data.List.Relation.Permutation.Inductive.Properties.html). Generating HTML for Data.List.Relation.Pointwise (html/Data.List.Relation.Pointwise.html). Generating HTML for Data.List.Relation.Sublist.Propositional (html/Data.List.Relation.Sublist.Propositional.html). Generating HTML for Data.List.Relation.Sublist.Propositional.Properties (html/Data.List.Relation.Sublist.Propositional.Properties.html). Generating HTML for Data.List.Relation.Subset.Propositional (html/Data.List.Relation.Subset.Propositional.html). Generating HTML for Data.List.Relation.Subset.Propositional.Properties (html/Data.List.Relation.Subset.Propositional.Properties.html). Generating HTML for Data.List.Relation.Subset.Setoid (html/Data.List.Relation.Subset.Setoid.html). Generating HTML for Data.List.Relation.Subset.Setoid.Properties (html/Data.List.Relation.Subset.Setoid.Properties.html). Generating HTML for Data.List.Relation.Ternary.Interleaving (html/Data.List.Relation.Ternary.Interleaving.html). Generating HTML for Data.List.Relation.Ternary.Interleaving.Properties (html/Data.List.Relation.Ternary.Interleaving.Properties.html). Generating HTML for Data.List.Relation.Ternary.Interleaving.Propositional (html/Data.List.Relation.Ternary.Interleaving.Propositional.html). Generating HTML for Data.List.Relation.Ternary.Interleaving.Propositional.Properties (html/Data.List.Relation.Ternary.Interleaving.Propositional.Properties.html). Generating HTML for Data.List.Relation.Ternary.Interleaving.Setoid (html/Data.List.Relation.Ternary.Interleaving.Setoid.html). Generating HTML for Data.List.Relation.Ternary.Interleaving.Setoid.Properties (html/Data.List.Relation.Ternary.Interleaving.Setoid.Properties.html). Generating HTML for Data.List.Relation.Unary.All (html/Data.List.Relation.Unary.All.html). Generating HTML for Data.List.Relation.Unary.All.Properties (html/Data.List.Relation.Unary.All.Properties.html). Generating HTML for Data.List.Relation.Unary.AllPairs (html/Data.List.Relation.Unary.AllPairs.html). Generating HTML for Data.List.Relation.Unary.AllPairs.Core (html/Data.List.Relation.Unary.AllPairs.Core.html). Generating HTML for Data.List.Relation.Unary.AllPairs.Properties (html/Data.List.Relation.Unary.AllPairs.Properties.html). Generating HTML for Data.List.Relation.Unary.Any (html/Data.List.Relation.Unary.Any.html). Generating HTML for Data.List.Relation.Unary.Any.Properties (html/Data.List.Relation.Unary.Any.Properties.html). Generating HTML for Data.List.Relation.Unary.First (html/Data.List.Relation.Unary.First.html). Generating HTML for Data.List.Relation.Unary.First.Properties (html/Data.List.Relation.Unary.First.Properties.html). Generating HTML for Data.List.Relation.Unary.Unique.Propositional (html/Data.List.Relation.Unary.Unique.Propositional.html). Generating HTML for Data.List.Relation.Unary.Unique.Propositional.Properties (html/Data.List.Relation.Unary.Unique.Propositional.Properties.html). Generating HTML for Data.List.Relation.Unary.Unique.Setoid (html/Data.List.Relation.Unary.Unique.Setoid.html). Generating HTML for Data.List.Relation.Unary.Unique.Setoid.Properties (html/Data.List.Relation.Unary.Unique.Setoid.Properties.html). Generating HTML for Data.List.Reverse (html/Data.List.Reverse.html). Generating HTML for Data.List.Solver (html/Data.List.Solver.html). Generating HTML for Data.List.Zipper (html/Data.List.Zipper.html). Generating HTML for Data.List.Zipper.Properties (html/Data.List.Zipper.Properties.html). Generating HTML for Data.Maybe (html/Data.Maybe.html). Generating HTML for Data.Maybe.Base (html/Data.Maybe.Base.html). Generating HTML for Data.Maybe.Categorical (html/Data.Maybe.Categorical.html). Generating HTML for Data.Maybe.Properties (html/Data.Maybe.Properties.html). Generating HTML for Data.Maybe.Relation.Binary.Pointwise (html/Data.Maybe.Relation.Binary.Pointwise.html). Generating HTML for Data.Maybe.Relation.Unary.All (html/Data.Maybe.Relation.Unary.All.html). Generating HTML for Data.Maybe.Relation.Unary.All.Properties (html/Data.Maybe.Relation.Unary.All.Properties.html). Generating HTML for Data.Maybe.Relation.Unary.Any (html/Data.Maybe.Relation.Unary.Any.html). Generating HTML for Data.Nat (html/Data.Nat.html). Generating HTML for Data.Nat.Base (html/Data.Nat.Base.html). Generating HTML for Data.Nat.Coprimality (html/Data.Nat.Coprimality.html). Generating HTML for Data.Nat.DivMod (html/Data.Nat.DivMod.html). Generating HTML for Data.Nat.DivMod.Core (html/Data.Nat.DivMod.Core.html). Generating HTML for Data.Nat.DivMod.WithK (html/Data.Nat.DivMod.WithK.html). Generating HTML for Data.Nat.Divisibility (html/Data.Nat.Divisibility.html). Generating HTML for Data.Nat.Divisibility.Core (html/Data.Nat.Divisibility.Core.html). Generating HTML for Data.Nat.GCD (html/Data.Nat.GCD.html). Generating HTML for Data.Nat.GCD.Lemmas (html/Data.Nat.GCD.Lemmas.html). Generating HTML for Data.Nat.GeneralisedArithmetic (html/Data.Nat.GeneralisedArithmetic.html). Generating HTML for Data.Nat.Induction (html/Data.Nat.Induction.html). Generating HTML for Data.Nat.InfinitelyOften (html/Data.Nat.InfinitelyOften.html). Generating HTML for Data.Nat.LCM (html/Data.Nat.LCM.html). Generating HTML for Data.Nat.Literals (html/Data.Nat.Literals.html). Generating HTML for Data.Nat.Primality (html/Data.Nat.Primality.html). Generating HTML for Data.Nat.Properties (html/Data.Nat.Properties.html). Generating HTML for Data.Nat.Show (html/Data.Nat.Show.html). Generating HTML for Data.Nat.Solver (html/Data.Nat.Solver.html). Generating HTML for Data.Nat.WithK (html/Data.Nat.WithK.html). Generating HTML for Data.Plus (html/Data.Plus.html). Generating HTML for Data.Product (html/Data.Product.html). Generating HTML for Data.Product.Categorical.Examples (html/Data.Product.Categorical.Examples.html). Generating HTML for Data.Product.Categorical.Left (html/Data.Product.Categorical.Left.html). Generating HTML for Data.Product.Categorical.Left.Base (html/Data.Product.Categorical.Left.Base.html). Generating HTML for Data.Product.Categorical.Right (html/Data.Product.Categorical.Right.html). Generating HTML for Data.Product.Categorical.Right.Base (html/Data.Product.Categorical.Right.Base.html). Generating HTML for Data.Product.Function.Dependent.Propositional (html/Data.Product.Function.Dependent.Propositional.html). Generating HTML for Data.Product.Function.Dependent.Propositional.WithK (html/Data.Product.Function.Dependent.Propositional.WithK.html). Generating HTML for Data.Product.Function.Dependent.Setoid (html/Data.Product.Function.Dependent.Setoid.html). Generating HTML for Data.Product.Function.Dependent.Setoid.WithK (html/Data.Product.Function.Dependent.Setoid.WithK.html). Generating HTML for Data.Product.Function.NonDependent.Propositional (html/Data.Product.Function.NonDependent.Propositional.html). Generating HTML for Data.Product.Function.NonDependent.Setoid (html/Data.Product.Function.NonDependent.Setoid.html). Generating HTML for Data.Product.N-ary (html/Data.Product.N-ary.html). Generating HTML for Data.Product.N-ary.Categorical (html/Data.Product.N-ary.Categorical.html). Generating HTML for Data.Product.N-ary.Properties (html/Data.Product.N-ary.Properties.html). Generating HTML for Data.Product.Nary.NonDependent (html/Data.Product.Nary.NonDependent.html). Generating HTML for Data.Product.Properties (html/Data.Product.Properties.html). Generating HTML for Data.Product.Properties.WithK (html/Data.Product.Properties.WithK.html). Generating HTML for Data.Product.Relation.Binary.Lex.NonStrict (html/Data.Product.Relation.Binary.Lex.NonStrict.html). Generating HTML for Data.Product.Relation.Binary.Lex.Strict (html/Data.Product.Relation.Binary.Lex.Strict.html). Generating HTML for Data.Product.Relation.Binary.Pointwise.Dependent (html/Data.Product.Relation.Binary.Pointwise.Dependent.html). Generating HTML for Data.Product.Relation.Binary.Pointwise.Dependent.WithK (html/Data.Product.Relation.Binary.Pointwise.Dependent.WithK.html). Generating HTML for Data.Product.Relation.Binary.Pointwise.NonDependent (html/Data.Product.Relation.Binary.Pointwise.NonDependent.html). Generating HTML for Data.Product.Relation.Lex.NonStrict (html/Data.Product.Relation.Lex.NonStrict.html). Generating HTML for Data.Product.Relation.Lex.Strict (html/Data.Product.Relation.Lex.Strict.html). Generating HTML for Data.Product.Relation.Pointwise.Dependent (html/Data.Product.Relation.Pointwise.Dependent.html). Generating HTML for Data.Product.Relation.Pointwise.NonDependent (html/Data.Product.Relation.Pointwise.NonDependent.html). Generating HTML for Data.Rational (html/Data.Rational.html). Generating HTML for Data.Rational.Base (html/Data.Rational.Base.html). Generating HTML for Data.Rational.Literals (html/Data.Rational.Literals.html). Generating HTML for Data.Rational.Properties (html/Data.Rational.Properties.html). Generating HTML for Data.Record (html/Data.Record.html). Generating HTML for Data.ReflexiveClosure (html/Data.ReflexiveClosure.html). Generating HTML for Data.Sign (html/Data.Sign.html). Generating HTML for Data.Sign.Base (html/Data.Sign.Base.html). Generating HTML for Data.Sign.Properties (html/Data.Sign.Properties.html). Generating HTML for Data.Star (html/Data.Star.html). Generating HTML for Data.Star.BoundedVec (html/Data.Star.BoundedVec.html). Generating HTML for Data.Star.Decoration (html/Data.Star.Decoration.html). Generating HTML for Data.Star.Environment (html/Data.Star.Environment.html). Generating HTML for Data.Star.Fin (html/Data.Star.Fin.html). Generating HTML for Data.Star.List (html/Data.Star.List.html). Generating HTML for Data.Star.Nat (html/Data.Star.Nat.html). Generating HTML for Data.Star.Pointer (html/Data.Star.Pointer.html). Generating HTML for Data.Star.Properties (html/Data.Star.Properties.html). Generating HTML for Data.Star.Vec (html/Data.Star.Vec.html). Generating HTML for Data.String (html/Data.String.html). Generating HTML for Data.String.Base (html/Data.String.Base.html). Generating HTML for Data.String.Literals (html/Data.String.Literals.html). Generating HTML for Data.String.Properties (html/Data.String.Properties.html). Generating HTML for Data.String.Unsafe (html/Data.String.Unsafe.html). Generating HTML for Data.Sum (html/Data.Sum.html). Generating HTML for Data.Sum.Base (html/Data.Sum.Base.html). Generating HTML for Data.Sum.Categorical.Examples (html/Data.Sum.Categorical.Examples.html). Generating HTML for Data.Sum.Categorical.Left (html/Data.Sum.Categorical.Left.html). Generating HTML for Data.Sum.Categorical.Right (html/Data.Sum.Categorical.Right.html). Generating HTML for Data.Sum.Function.Propositional (html/Data.Sum.Function.Propositional.html). Generating HTML for Data.Sum.Function.Setoid (html/Data.Sum.Function.Setoid.html). Generating HTML for Data.Sum.Properties (html/Data.Sum.Properties.html). Generating HTML for Data.Sum.Relation.Binary.LeftOrder (html/Data.Sum.Relation.Binary.LeftOrder.html). Generating HTML for Data.Sum.Relation.Binary.Pointwise (html/Data.Sum.Relation.Binary.Pointwise.html). Generating HTML for Data.Sum.Relation.LeftOrder (html/Data.Sum.Relation.LeftOrder.html). Generating HTML for Data.Sum.Relation.Pointwise (html/Data.Sum.Relation.Pointwise.html). Generating HTML for Data.Table (html/Data.Table.html). Generating HTML for Data.Table.Base (html/Data.Table.Base.html). Generating HTML for Data.Table.Properties (html/Data.Table.Properties.html). Generating HTML for Data.Table.Relation.Binary.Equality (html/Data.Table.Relation.Binary.Equality.html). Generating HTML for Data.Table.Relation.Equality (html/Data.Table.Relation.Equality.html). Generating HTML for Data.These (html/Data.These.html). Generating HTML for Data.These.Base (html/Data.These.Base.html). Generating HTML for Data.These.Categorical.Left (html/Data.These.Categorical.Left.html). Generating HTML for Data.These.Categorical.Left.Base (html/Data.These.Categorical.Left.Base.html). Generating HTML for Data.These.Categorical.Right (html/Data.These.Categorical.Right.html). Generating HTML for Data.These.Categorical.Right.Base (html/Data.These.Categorical.Right.Base.html). Generating HTML for Data.These.Properties (html/Data.These.Properties.html). Generating HTML for Data.Trie (html/Data.Trie.html). Generating HTML for Data.Trie.NonEmpty (html/Data.Trie.NonEmpty.html). Generating HTML for Data.Unit (html/Data.Unit.html). Generating HTML for Data.Unit.Base (html/Data.Unit.Base.html). Generating HTML for Data.Unit.NonEta (html/Data.Unit.NonEta.html). Generating HTML for Data.Unit.Properties (html/Data.Unit.Properties.html). Generating HTML for Data.Universe (html/Data.Universe.html). Generating HTML for Data.Universe.Indexed (html/Data.Universe.Indexed.html). Generating HTML for Data.Vec (html/Data.Vec.html). Generating HTML for Data.Vec.All (html/Data.Vec.All.html). Generating HTML for Data.Vec.All.Properties (html/Data.Vec.All.Properties.html). Generating HTML for Data.Vec.Any (html/Data.Vec.Any.html). Generating HTML for Data.Vec.Base (html/Data.Vec.Base.html). Generating HTML for Data.Vec.Bounded (html/Data.Vec.Bounded.html). Generating HTML for Data.Vec.Bounded.Base (html/Data.Vec.Bounded.Base.html). Generating HTML for Data.Vec.Categorical (html/Data.Vec.Categorical.html). Generating HTML for Data.Vec.Membership.DecPropositional (html/Data.Vec.Membership.DecPropositional.html). Generating HTML for Data.Vec.Membership.DecSetoid (html/Data.Vec.Membership.DecSetoid.html). Generating HTML for Data.Vec.Membership.Propositional (html/Data.Vec.Membership.Propositional.html). Generating HTML for Data.Vec.Membership.Propositional.Properties (html/Data.Vec.Membership.Propositional.Properties.html). Generating HTML for Data.Vec.Membership.Setoid (html/Data.Vec.Membership.Setoid.html). Generating HTML for Data.Vec.N-ary (html/Data.Vec.N-ary.html). Generating HTML for Data.Vec.Properties (html/Data.Vec.Properties.html). Generating HTML for Data.Vec.Properties.WithK (html/Data.Vec.Properties.WithK.html). Generating HTML for Data.Vec.Recursive (html/Data.Vec.Recursive.html). Generating HTML for Data.Vec.Recursive.Categorical (html/Data.Vec.Recursive.Categorical.html). Generating HTML for Data.Vec.Recursive.Properties (html/Data.Vec.Recursive.Properties.html). Generating HTML for Data.Vec.Relation.Binary.Equality.DecPropositional (html/Data.Vec.Relation.Binary.Equality.DecPropositional.html). Generating HTML for Data.Vec.Relation.Binary.Equality.DecSetoid (html/Data.Vec.Relation.Binary.Equality.DecSetoid.html). Generating HTML for Data.Vec.Relation.Binary.Equality.Propositional (html/Data.Vec.Relation.Binary.Equality.Propositional.html). Generating HTML for Data.Vec.Relation.Binary.Equality.Propositional.WithK (html/Data.Vec.Relation.Binary.Equality.Propositional.WithK.html). Generating HTML for Data.Vec.Relation.Binary.Equality.Setoid (html/Data.Vec.Relation.Binary.Equality.Setoid.html). Generating HTML for Data.Vec.Relation.Binary.Pointwise.Extensional (html/Data.Vec.Relation.Binary.Pointwise.Extensional.html). Generating HTML for Data.Vec.Relation.Binary.Pointwise.Inductive (html/Data.Vec.Relation.Binary.Pointwise.Inductive.html). Generating HTML for Data.Vec.Relation.Equality.DecPropositional (html/Data.Vec.Relation.Equality.DecPropositional.html). Generating HTML for Data.Vec.Relation.Equality.DecSetoid (html/Data.Vec.Relation.Equality.DecSetoid.html). Generating HTML for Data.Vec.Relation.Equality.Propositional (html/Data.Vec.Relation.Equality.Propositional.html). Generating HTML for Data.Vec.Relation.Equality.Setoid (html/Data.Vec.Relation.Equality.Setoid.html). Generating HTML for Data.Vec.Relation.Pointwise.Extensional (html/Data.Vec.Relation.Pointwise.Extensional.html). Generating HTML for Data.Vec.Relation.Pointwise.Inductive (html/Data.Vec.Relation.Pointwise.Inductive.html). Generating HTML for Data.Vec.Relation.Unary.All (html/Data.Vec.Relation.Unary.All.html). Generating HTML for Data.Vec.Relation.Unary.All.Properties (html/Data.Vec.Relation.Unary.All.Properties.html). Generating HTML for Data.Vec.Relation.Unary.Any (html/Data.Vec.Relation.Unary.Any.html). Generating HTML for Data.Vec.Relation.Unary.Any.Properties (html/Data.Vec.Relation.Unary.Any.Properties.html). Generating HTML for Data.W (html/Data.W.html). Generating HTML for Data.W.Indexed (html/Data.W.Indexed.html). Generating HTML for Data.W.WithK (html/Data.W.WithK.html). Generating HTML for Data.Word (html/Data.Word.html). Generating HTML for Data.Word.Unsafe (html/Data.Word.Unsafe.html). Generating HTML for Debug.Trace (html/Debug.Trace.html). Generating HTML for Everything (html/Everything.html). Generating HTML for EverythingSafe (html/EverythingSafe.html). Generating HTML for Foreign.Haskell (html/Foreign.Haskell.html). Generating HTML for Foreign.Haskell.Maybe (html/Foreign.Haskell.Maybe.html). Generating HTML for Foreign.Haskell.Pair (html/Foreign.Haskell.Pair.html). Generating HTML for Function (html/Function.html). Generating HTML for Function.Bijection (html/Function.Bijection.html). Generating HTML for Function.Endomorphism.Propositional (html/Function.Endomorphism.Propositional.html). Generating HTML for Function.Endomorphism.Setoid (html/Function.Endomorphism.Setoid.html). Generating HTML for Function.Equality (html/Function.Equality.html). Generating HTML for Function.Equivalence (html/Function.Equivalence.html). Generating HTML for Function.HalfAdjointEquivalence (html/Function.HalfAdjointEquivalence.html). Generating HTML for Function.Identity.Categorical (html/Function.Identity.Categorical.html). Generating HTML for Function.Injection (html/Function.Injection.html). Generating HTML for Function.Inverse (html/Function.Inverse.html). Generating HTML for Function.LeftInverse (html/Function.LeftInverse.html). Generating HTML for Function.Nary.NonDependent (html/Function.Nary.NonDependent.html). Generating HTML for Function.Nary.NonDependent.Base (html/Function.Nary.NonDependent.Base.html). Generating HTML for Function.Reasoning (html/Function.Reasoning.html). Generating HTML for Function.Related (html/Function.Related.html). Generating HTML for Function.Related.TypeIsomorphisms (html/Function.Related.TypeIsomorphisms.html). Generating HTML for Function.Related.TypeIsomorphisms.Solver (html/Function.Related.TypeIsomorphisms.Solver.html). Generating HTML for Function.Surjection (html/Function.Surjection.html). Generating HTML for IO (html/IO.html). Generating HTML for IO.Primitive (html/IO.Primitive.html). Generating HTML for Induction (html/Induction.html). Generating HTML for Induction.Lexicographic (html/Induction.Lexicographic.html). Generating HTML for Induction.Nat (html/Induction.Nat.html). Generating HTML for Induction.WellFounded (html/Induction.WellFounded.html). Generating HTML for Level (html/Level.html). Generating HTML for Level.Literals (html/Level.Literals.html). Generating HTML for README (html/README.html). Generating HTML for README.Axiom (html/README.Axiom.html). Generating HTML for README.Case (html/README.Case.html). Generating HTML for README.Data (html/README.Data.html). Generating HTML for README.Data.AVL (html/README.Data.AVL.html). Generating HTML for README.Data.Container.FreeMonad (html/README.Data.Container.FreeMonad.html). Generating HTML for README.Data.Container.Indexed (html/README.Data.Container.Indexed.html). Generating HTML for README.Data.Integer (html/README.Data.Integer.html). Generating HTML for README.Data.Interleaving (html/README.Data.Interleaving.html). Generating HTML for README.Data.List (html/README.Data.List.html). Generating HTML for README.Data.Nat (html/README.Data.Nat.html). Generating HTML for README.Data.Nat.Induction (html/README.Data.Nat.Induction.html). Generating HTML for README.Data.Record (html/README.Data.Record.html). Generating HTML for README.Data.Trie.NonDependent (html/README.Data.Trie.NonDependent.html). Generating HTML for README.Debug.Trace (html/README.Debug.Trace.html). Generating HTML for README.Function.Reasoning (html/README.Function.Reasoning.html). Generating HTML for README.Inspect (html/README.Inspect.html). Generating HTML for README.Nary (html/README.Nary.html). Generating HTML for README.Text (html/README.Text.html). Generating HTML for Record (html/Record.html). Generating HTML for Reflection (html/Reflection.html). Generating HTML for Relation.Binary (html/Relation.Binary.html). Generating HTML for Relation.Binary.Consequences (html/Relation.Binary.Consequences.html). Generating HTML for Relation.Binary.Construct.Add.Extrema.Equality (html/Relation.Binary.Construct.Add.Extrema.Equality.html). Generating HTML for Relation.Binary.Construct.Add.Extrema.NonStrict (html/Relation.Binary.Construct.Add.Extrema.NonStrict.html). Generating HTML for Relation.Binary.Construct.Add.Extrema.Strict (html/Relation.Binary.Construct.Add.Extrema.Strict.html). Generating HTML for Relation.Binary.Construct.Add.Infimum.Equality (html/Relation.Binary.Construct.Add.Infimum.Equality.html). Generating HTML for Relation.Binary.Construct.Add.Infimum.NonStrict (html/Relation.Binary.Construct.Add.Infimum.NonStrict.html). Generating HTML for Relation.Binary.Construct.Add.Infimum.Strict (html/Relation.Binary.Construct.Add.Infimum.Strict.html). Generating HTML for Relation.Binary.Construct.Add.Point.Equality (html/Relation.Binary.Construct.Add.Point.Equality.html). Generating HTML for Relation.Binary.Construct.Add.Supremum.Equality (html/Relation.Binary.Construct.Add.Supremum.Equality.html). Generating HTML for Relation.Binary.Construct.Add.Supremum.NonStrict (html/Relation.Binary.Construct.Add.Supremum.NonStrict.html). Generating HTML for Relation.Binary.Construct.Add.Supremum.Strict (html/Relation.Binary.Construct.Add.Supremum.Strict.html). Generating HTML for Relation.Binary.Construct.Always (html/Relation.Binary.Construct.Always.html). Generating HTML for Relation.Binary.Construct.Closure.Equivalence (html/Relation.Binary.Construct.Closure.Equivalence.html). Generating HTML for Relation.Binary.Construct.Closure.Equivalence.Properties (html/Relation.Binary.Construct.Closure.Equivalence.Properties.html). Generating HTML for Relation.Binary.Construct.Closure.Reflexive (html/Relation.Binary.Construct.Closure.Reflexive.html). Generating HTML for Relation.Binary.Construct.Closure.Reflexive.Properties (html/Relation.Binary.Construct.Closure.Reflexive.Properties.html). Generating HTML for Relation.Binary.Construct.Closure.Reflexive.Properties.WithK (html/Relation.Binary.Construct.Closure.Reflexive.Properties.WithK.html). Generating HTML for Relation.Binary.Construct.Closure.ReflexiveTransitive (html/Relation.Binary.Construct.Closure.ReflexiveTransitive.html). Generating HTML for Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties (html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.html). Generating HTML for Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.WithK (html/Relation.Binary.Construct.Closure.ReflexiveTransitive.Properties.WithK.html). Generating HTML for Relation.Binary.Construct.Closure.Symmetric (html/Relation.Binary.Construct.Closure.Symmetric.html). Generating HTML for Relation.Binary.Construct.Closure.Transitive (html/Relation.Binary.Construct.Closure.Transitive.html). Generating HTML for Relation.Binary.Construct.Closure.Transitive.WithK (html/Relation.Binary.Construct.Closure.Transitive.WithK.html). Generating HTML for Relation.Binary.Construct.Constant (html/Relation.Binary.Construct.Constant.html). Generating HTML for Relation.Binary.Construct.Converse (html/Relation.Binary.Construct.Converse.html). Generating HTML for Relation.Binary.Construct.Flip (html/Relation.Binary.Construct.Flip.html). Generating HTML for Relation.Binary.Construct.FromPred (html/Relation.Binary.Construct.FromPred.html). Generating HTML for Relation.Binary.Construct.FromRel (html/Relation.Binary.Construct.FromRel.html). Generating HTML for Relation.Binary.Construct.Intersection (html/Relation.Binary.Construct.Intersection.html). Generating HTML for Relation.Binary.Construct.NaturalOrder.Left (html/Relation.Binary.Construct.NaturalOrder.Left.html). Generating HTML for Relation.Binary.Construct.NaturalOrder.Right (html/Relation.Binary.Construct.NaturalOrder.Right.html). Generating HTML for Relation.Binary.Construct.Never (html/Relation.Binary.Construct.Never.html). Generating HTML for Relation.Binary.Construct.NonStrictToStrict (html/Relation.Binary.Construct.NonStrictToStrict.html). Generating HTML for Relation.Binary.Construct.On (html/Relation.Binary.Construct.On.html). Generating HTML for Relation.Binary.Construct.StrictToNonStrict (html/Relation.Binary.Construct.StrictToNonStrict.html). Generating HTML for Relation.Binary.Construct.Union (html/Relation.Binary.Construct.Union.html). Generating HTML for Relation.Binary.Core (html/Relation.Binary.Core.html). Generating HTML for Relation.Binary.EqReasoning (html/Relation.Binary.EqReasoning.html). Generating HTML for Relation.Binary.EquivalenceClosure (html/Relation.Binary.EquivalenceClosure.html). Generating HTML for Relation.Binary.HeterogeneousEquality (html/Relation.Binary.HeterogeneousEquality.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Core (html/Relation.Binary.HeterogeneousEquality.Core.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Quotients (html/Relation.Binary.HeterogeneousEquality.Quotients.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Quotients.Examples (html/Relation.Binary.HeterogeneousEquality.Quotients.Examples.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous (html/Relation.Binary.Indexed.Heterogeneous.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous.Construct.At (html/Relation.Binary.Indexed.Heterogeneous.Construct.At.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous.Construct.Trivial (html/Relation.Binary.Indexed.Heterogeneous.Construct.Trivial.html). Generating HTML for Relation.Binary.Indexed.Heterogeneous.Core (html/Relation.Binary.Indexed.Heterogeneous.Core.html). Generating HTML for Relation.Binary.Indexed.Homogeneous (html/Relation.Binary.Indexed.Homogeneous.html). Generating HTML for Relation.Binary.Indexed.Homogeneous.Core (html/Relation.Binary.Indexed.Homogeneous.Core.html). Generating HTML for Relation.Binary.Lattice (html/Relation.Binary.Lattice.html). Generating HTML for Relation.Binary.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.Properties.BoundedJoinSemilattice (html/Relation.Binary.Properties.BoundedJoinSemilattice.html). Generating HTML for Relation.Binary.Properties.BoundedLattice (html/Relation.Binary.Properties.BoundedLattice.html). Generating HTML for Relation.Binary.Properties.BoundedMeetSemilattice (html/Relation.Binary.Properties.BoundedMeetSemilattice.html). Generating HTML for Relation.Binary.Properties.DecTotalOrder (html/Relation.Binary.Properties.DecTotalOrder.html). Generating HTML for Relation.Binary.Properties.DistributiveLattice (html/Relation.Binary.Properties.DistributiveLattice.html). Generating HTML for Relation.Binary.Properties.HeytingAlgebra (html/Relation.Binary.Properties.HeytingAlgebra.html). Generating HTML for Relation.Binary.Properties.JoinSemilattice (html/Relation.Binary.Properties.JoinSemilattice.html). Generating HTML for Relation.Binary.Properties.Lattice (html/Relation.Binary.Properties.Lattice.html). Generating HTML for Relation.Binary.Properties.MeetSemilattice (html/Relation.Binary.Properties.MeetSemilattice.html). Generating HTML for Relation.Binary.Properties.Poset (html/Relation.Binary.Properties.Poset.html). Generating HTML for Relation.Binary.Properties.Preorder (html/Relation.Binary.Properties.Preorder.html). Generating HTML for Relation.Binary.Properties.StrictPartialOrder (html/Relation.Binary.Properties.StrictPartialOrder.html). Generating HTML for Relation.Binary.Properties.StrictTotalOrder (html/Relation.Binary.Properties.StrictTotalOrder.html). Generating HTML for Relation.Binary.Properties.TotalOrder (html/Relation.Binary.Properties.TotalOrder.html). Generating HTML for Relation.Binary.PropositionalEquality (html/Relation.Binary.PropositionalEquality.html). Generating HTML for Relation.Binary.PropositionalEquality.Core (html/Relation.Binary.PropositionalEquality.Core.html). Generating HTML for Relation.Binary.PropositionalEquality.TrustMe (html/Relation.Binary.PropositionalEquality.TrustMe.html). Generating HTML for Relation.Binary.PropositionalEquality.WithK (html/Relation.Binary.PropositionalEquality.WithK.html). Generating HTML for Relation.Binary.Reasoning.Base.Double (html/Relation.Binary.Reasoning.Base.Double.html). Generating HTML for Relation.Binary.Reasoning.Base.Single (html/Relation.Binary.Reasoning.Base.Single.html). Generating HTML for Relation.Binary.Reasoning.Base.Triple (html/Relation.Binary.Reasoning.Base.Triple.html). Generating HTML for Relation.Binary.Reasoning.MultiSetoid (html/Relation.Binary.Reasoning.MultiSetoid.html). Generating HTML for Relation.Binary.Reasoning.PartialOrder (html/Relation.Binary.Reasoning.PartialOrder.html). Generating HTML for Relation.Binary.Reasoning.Preorder (html/Relation.Binary.Reasoning.Preorder.html). Generating HTML for Relation.Binary.Reasoning.Setoid (html/Relation.Binary.Reasoning.Setoid.html). Generating HTML for Relation.Binary.Reasoning.StrictPartialOrder (html/Relation.Binary.Reasoning.StrictPartialOrder.html). Generating HTML for Relation.Binary.Reflection (html/Relation.Binary.Reflection.html). Generating HTML for Relation.Binary.Rewriting (html/Relation.Binary.Rewriting.html). Generating HTML for Relation.Binary.SetoidReasoning (html/Relation.Binary.SetoidReasoning.html). Generating HTML for Relation.Binary.StrictPartialOrderReasoning (html/Relation.Binary.StrictPartialOrderReasoning.html). Generating HTML for Relation.Binary.SymmetricClosure (html/Relation.Binary.SymmetricClosure.html). Generating HTML for Relation.Nary (html/Relation.Nary.html). Generating HTML for Relation.Nullary (html/Relation.Nullary.html). Generating HTML for Relation.Nullary.Construct.Add.Extrema (html/Relation.Nullary.Construct.Add.Extrema.html). Generating HTML for Relation.Nullary.Construct.Add.Infimum (html/Relation.Nullary.Construct.Add.Infimum.html). Generating HTML for Relation.Nullary.Construct.Add.Point (html/Relation.Nullary.Construct.Add.Point.html). Generating HTML for Relation.Nullary.Construct.Add.Supremum (html/Relation.Nullary.Construct.Add.Supremum.html). Generating HTML for Relation.Nullary.Decidable (html/Relation.Nullary.Decidable.html). Generating HTML for Relation.Nullary.Decidable.Core (html/Relation.Nullary.Decidable.Core.html). Generating HTML for Relation.Nullary.Implication (html/Relation.Nullary.Implication.html). Generating HTML for Relation.Nullary.Negation (html/Relation.Nullary.Negation.html). Generating HTML for Relation.Nullary.Product (html/Relation.Nullary.Product.html). Generating HTML for Relation.Nullary.Sum (html/Relation.Nullary.Sum.html). Generating HTML for Relation.Nullary.Universe (html/Relation.Nullary.Universe.html). Generating HTML for Relation.Unary (html/Relation.Unary.html). Generating HTML for Relation.Unary.Closure.Base (html/Relation.Unary.Closure.Base.html). Generating HTML for Relation.Unary.Closure.Preorder (html/Relation.Unary.Closure.Preorder.html). Generating HTML for Relation.Unary.Closure.StrictPartialOrder (html/Relation.Unary.Closure.StrictPartialOrder.html). Generating HTML for Relation.Unary.Consequences (html/Relation.Unary.Consequences.html). Generating HTML for Relation.Unary.Indexed (html/Relation.Unary.Indexed.html). Generating HTML for Relation.Unary.PredicateTransformer (html/Relation.Unary.PredicateTransformer.html). BUILDSTDERR: Generating HTML + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 for Relation.Unary.Properties (html/Relation.Unary.Properties.html). Generating HTML for Size (html/Size.html). Generating HTML for Strict (html/Strict.html). Generating HTML for Text.Format (html/Text.Format.html). Generating HTML for Text.Printf (html/Text.Printf.html). Generating HTML for Universe (html/Universe.html). Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.hCXM8s + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x '!=' / ']' + rm -rf /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x + cd agda-stdlib-1.1 + mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/Agda-stdlib + cp -pr src /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/Agda-stdlib + install -p -m 0644 standard-library.agda-lib /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/Agda-stdlib/ + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/redhat/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.KM4Ziv + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 + export AGDA_DIR=/builddir/build/BUILD/agda-stdlib-1.1 + AGDA_DIR=/builddir/build/BUILD/agda-stdlib-1.1 + agda -i. -isrc README.agda + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Processing files: Agda-stdlib-1.1-1.fc31.s390x Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.iTcrDw + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 + DOCDIR=/builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib + cp -pr CHANGELOG.md /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib + cp -pr README README.agda README.agdai README.md /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib + cp -pr Everything.agda /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.KbA0Tu + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 + LICENSEDIR=/builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/licenses/Agda-stdlib + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/licenses/Agda-stdlib + cp -pr LICENCE /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/licenses/Agda-stdlib + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: Agda-stdlib = 1.1-1.fc31 Agda-stdlib(s390-64) = 1.1-1.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Obsoletes: ghc-agda-lib-ffi < 0.0.2-6 ghc-agda-lib-ffi-devel < 0.0.2-6 Processing files: Agda-stdlib-docs-1.1-1.fc31.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.jiZewv + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 + DOCDIR=/builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib-docs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib-docs + cp -pr html /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/doc/Agda-stdlib-docs + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.2xMRAt + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 + LICENSEDIR=/builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/licenses/Agda-stdlib-docs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/licenses/Agda-stdlib-docs + cp -pr LICENCE /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x/usr/share/licenses/Agda-stdlib-docs + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Provides: Agda-stdlib-docs = 1.1-1.fc31 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x Wrote: /builddir/build/RPMS/Agda-stdlib-docs-1.1-1.fc31.noarch.rpm Wrote: /builddir/build/RPMS/Agda-stdlib-1.1-1.fc31.s390x.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.00f83u + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-1.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/Agda-stdlib-1.1-1.fc31.s390x + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Child return code was: 0