Mock Version: 1.2.7 Mock Version: 1.2.7 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/Agda-stdlib.spec'], chrootPath='/var/lib/mock/f22-build-3233962-474519/root'shell=FalseprintOutput=Falseenv={'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}gid=425user='mockbuild'timeout=86400logger=uid=1000) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/Agda-stdlib.spec'] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'} and shell False warning: Could not canonicalize hostname: buildvm-10.phx2.fedoraproject.org Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/Agda-stdlib-0.9-1.fc22.src.rpm Child return code was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/Agda-stdlib.spec '], chrootPath='/var/lib/mock/f22-build-3233962-474519/root'shell=FalseprintOutput=Falseenv={'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'}gid=425user='mockbuild'timeout=86400logger=uid=1000) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/Agda-stdlib.spec '] with env {'LANG': 'en_US.UTF-8', 'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOSTNAME': 'mock', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin'} and shell False Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.91Oyhi + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf agda-stdlib-0.9 + /usr/bin/gzip -dc /builddir/build/SOURCES/agda-stdlib-0.9.tar.gz + /usr/bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd agda-stdlib-0.9 + /usr/bin/gzip -dc /builddir/build/SOURCES/filemanip-0.3.6.3.tar.gz + /usr/bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.9gDNd2 + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-0.9 + HOME=/builddir/build/BUILD/agda-stdlib-0.9 + cd filemanip-0.3.6.3 ++ ghc --info ++ grep '"Booter version","7.8.4"' + '[' '!' ' ,("Booter version","7.8.4")' ']' + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic' + export CFLAGS + LDFLAGS='-Wl,-z,relro ' + export LDFLAGS + '[' -x Setup ']' + ghc --make -no-user-package-db -dynamic Setup [1 of 1] Compiling Main ( Setup.lhs, Setup.o ) Linking Setup ... ++ echo ' -O2' -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/doc/Agda-stdlib '--libsubdir=$compiler/$pkgid' '--datasubdir=$pkgid' --ghc --enable-executable-dynamic '--ghc-options= -optc-O2 -optc-g -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-fexceptions -optc-fstack-protector-strong -optc--param=ssp-buffer-size=4 -optc-grecord-gcc-switches -optc-m64 -optc-mtune=generic -optl-Wl,-z,relro' --user -p --enable-shared --docdir=/usr/share/doc/ghc-filemanip --htmldir=/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 Configuring filemanip-0.3.6.3... + '[' -x Setup ']' + ./Setup build Building filemanip-0.3.6.3... Preprocessing library filemanip-0.3.6.3... [1 of 4] Compiling System.FilePath.Manip ( System/FilePath/Manip.hs, dist/build/System/FilePath/Manip.o ) [2 of 4] Compiling System.FilePath.GlobPattern ( System/FilePath/GlobPattern.hs, dist/build/System/FilePath/GlobPattern.o ) System/FilePath/GlobPattern.hs:149:22: Warning: This binding for `g' shadows the existing binding bound at System/FilePath/GlobPattern.hs:148:24 [3 of 4] Compiling System.FilePath.Glob ( System/FilePath/Glob.hs, dist/build/System/FilePath/Glob.o ) [4 of 4] Compiling System.FilePath.Find ( System/FilePath/Find.hs, dist/build/System/FilePath/Find.o ) System/FilePath/Find.hs:227:20: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:231:22: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:238:25: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:274:15: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:271:38 System/FilePath/Find.hs:274:21: Warning: This binding for `path' shadows the existing binding bound at System/FilePath/Find.hs:271:44 System/FilePath/Find.hs:274:26: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:279:18: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:271:38 System/FilePath/Find.hs:279:28: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:282:53: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:279:18 System/FilePath/Find.hs:284:25: Warning: This binding for `path' shadows the existing binding bound at System/FilePath/Find.hs:271:44 [1 of 4] Compiling System.FilePath.Manip ( System/FilePath/Manip.hs, dist/build/System/FilePath/Manip.p_o ) [2 of 4] Compiling System.FilePath.GlobPattern ( System/FilePath/GlobPattern.hs, dist/build/System/FilePath/GlobPattern.p_o ) System/FilePath/GlobPattern.hs:149:22: Warning: This binding for `g' shadows the existing binding bound at System/FilePath/GlobPattern.hs:148:24 [3 of 4] Compiling System.FilePath.Glob ( System/FilePath/Glob.hs, dist/build/System/FilePath/Glob.p_o ) [4 of 4] Compiling System.FilePath.Find ( System/FilePath/Find.hs, dist/build/System/FilePath/Find.p_o ) System/FilePath/Find.hs:227:20: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:231:22: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:238:25: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:274:15: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:271:38 System/FilePath/Find.hs:274:21: Warning: This binding for `path' shadows the existing binding bound at System/FilePath/Find.hs:271:44 System/FilePath/Find.hs:274:26: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:279:18: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:271:38 System/FilePath/Find.hs:279:28: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:282:53: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:279:18 System/FilePath/Find.hs:284:25: Warning: This binding for `path' shadows the existing binding bound at System/FilePath/Find.hs:271:44 In-place registering filemanip-0.3.6.3... + '[' -f dist/build/libHSfilemanip-0.3.6.3.a ']' + '[' -x Setup ']' + ./Setup haddock --html --hyperlink-source --hoogle Running Haddock for filemanip-0.3.6.3... Running hscolour for filemanip-0.3.6.3... Preprocessing library filemanip-0.3.6.3... Preprocessing library filemanip-0.3.6.3... System/FilePath/GlobPattern.hs:149:22: Warning: This binding for `g' shadows the existing binding bound at System/FilePath/GlobPattern.hs:148:24 System/FilePath/Find.hs:227:20: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:231:22: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:238:25: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:274:15: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:271:38 System/FilePath/Find.hs:274:21: Warning: This binding for `path' shadows the existing binding bound at System/FilePath/Find.hs:271:44 System/FilePath/Find.hs:274:26: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:279:18: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:271:38 System/FilePath/Find.hs:279:28: Warning: This binding for `depth' shadows the existing binding defined at System/FilePath/Find.hs:195:1 System/FilePath/Find.hs:282:53: Warning: This binding for `state' shadows the existing binding bound at System/FilePath/Find.hs:279:18 System/FilePath/Find.hs:284:25: Warning: This binding for `path' shadows the existing binding bound at System/FilePath/Find.hs:271:44 Haddock coverage: 100% ( 6 / 6) in 'System.FilePath.Manip' 100% ( 7 / 7) in 'System.FilePath.GlobPattern' 100% ( 2 / 2) in 'System.FilePath.Glob' 65% ( 41 / 63) in 'System.FilePath.Find' Documentation created: dist/doc/html/filemanip/index.html, dist/doc/html/filemanip/filemanip.txt + '[' -x Setup ']' + ./Setup copy --destdir=/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 -v directory dist/doc/html/filemanip does exist: True creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 copy directory 'dist/doc/html/filemanip' to '/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3'. creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/src Installing dist/doc/html/filemanip/mini_System-FilePath-Glob.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/mini_System-FilePath-Glob.html Installing dist/doc/html/filemanip/doc-index.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/doc-index.html Installing dist/doc/html/filemanip/minus.gif to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/minus.gif Installing dist/doc/html/filemanip/mini_System-FilePath-GlobPattern.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/mini_System-FilePath-GlobPattern.html Installing dist/doc/html/filemanip/System-FilePath-Glob.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/System-FilePath-Glob.html Installing dist/doc/html/filemanip/haddock-util.js to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/haddock-util.js Installing dist/doc/html/filemanip/System-FilePath-Manip.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/System-FilePath-Manip.html Installing dist/doc/html/filemanip/ocean.css to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/ocean.css Installing dist/doc/html/filemanip/mini_System-FilePath-Manip.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/mini_System-FilePath-Manip.html Installing dist/doc/html/filemanip/System-FilePath-Find.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/System-FilePath-Find.html Installing dist/doc/html/filemanip/plus.gif to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/plus.gif Installing dist/doc/html/filemanip/synopsis.png to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/synopsis.png Installing dist/doc/html/filemanip/System-FilePath-GlobPattern.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/System-FilePath-GlobPattern.html Installing dist/doc/html/filemanip/frames.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/frames.html Installing dist/doc/html/filemanip/filemanip.haddock to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/filemanip.haddock Installing dist/doc/html/filemanip/mini_System-FilePath-Find.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/mini_System-FilePath-Find.html Installing dist/doc/html/filemanip/hslogo-16.png to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/hslogo-16.png Installing dist/doc/html/filemanip/index-frames.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/index-frames.html Installing dist/doc/html/filemanip/index.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/index.html Installing dist/doc/html/filemanip/filemanip.txt to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/filemanip.txt Installing dist/doc/html/filemanip/src/hscolour.css to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/src/hscolour.css Installing dist/doc/html/filemanip/src/System-FilePath-Glob.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/src/System-FilePath-Glob.html Installing dist/doc/html/filemanip/src/System-FilePath-Manip.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/src/System-FilePath-Manip.html Installing dist/doc/html/filemanip/src/System-FilePath-Find.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/src/System-FilePath-Find.html Installing dist/doc/html/filemanip/src/System-FilePath-GlobPattern.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/src/System-FilePath-GlobPattern.html creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 Installing dist/doc/html/filemanip/filemanip.haddock to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3/filemanip.haddock creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc-filemanip Installing LICENSE to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc-filemanip/LICENSE Installing library in /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath Installing dist/build/System/FilePath/Find.hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Find.hi Installing dist/build/System/FilePath/Glob.hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Glob.hi Installing dist/build/System/FilePath/GlobPattern.hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/GlobPattern.hi Installing dist/build/System/FilePath/Manip.hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Manip.hi creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath Installing dist/build/System/FilePath/Find.p_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Find.p_hi Installing dist/build/System/FilePath/Glob.p_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Glob.p_hi Installing dist/build/System/FilePath/GlobPattern.p_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/GlobPattern.p_hi Installing dist/build/System/FilePath/Manip.p_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Manip.p_hi creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath Installing dist/build/System/FilePath/Find.dyn_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Find.dyn_hi Installing dist/build/System/FilePath/Glob.dyn_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Glob.dyn_hi Installing dist/build/System/FilePath/GlobPattern.dyn_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/GlobPattern.dyn_hi Installing dist/build/System/FilePath/Manip.dyn_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/System/FilePath/Manip.dyn_hi creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 Installing dist/build/libHSfilemanip-0.3.6.3.a to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/libHSfilemanip-0.3.6.3.a creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 Installing dist/build/libHSfilemanip-0.3.6.3_p.a to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/libHSfilemanip-0.3.6.3_p.a creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 Installing executable dist/build/libHSfilemanip-0.3.6.3-ghc7.8.4.so to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/libHSfilemanip-0.3.6.3-ghc7.8.4.so + '[' -x Setup ']' + ./Setup register --gen-pkg-config Creating package registration file: filemanip-0.3.6.3.conf + install -D --mode=0644 filemanip-0.3.6.3.conf /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/package.conf.d/filemanip-0.3.6.3.conf + rm -f ghc-filemanip.files ghc-filemanip-devel.files + touch ghc-filemanip.files ghc-filemanip-devel.files + '[' -d /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 ']' + echo '%dir /usr/lib64/ghc-7.8.4/filemanip-0.3.6.3' + echo '%attr(755,root,root) /usr/lib64/ghc-7.8.4/filemanip-0.3.6.3/libHSfilemanip-0.3.6.3-ghc7.8.4.so' + echo '/usr/lib64/ghc-7.8.4/package.conf.d/filemanip-0.3.6.3*.conf' + '[' -d /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 ']' + sed 's/^/%dir /' + find /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 -mindepth 1 -type d + find /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/filemanip-0.3.6.3 '!' '(' -type d -o -name 'libHS*.so' ')' + '[' -d /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 ']' + echo /usr/share/doc/ghc/html/libraries/filemanip-0.3.6.3 + for i in ghc-filemanip.files ghc-filemanip-devel.files + '[' -f ghc-filemanip.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64!!g' ghc-filemanip.files + for i in ghc-filemanip.files ghc-filemanip-devel.files + '[' -f ghc-filemanip-devel.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64!!g' ghc-filemanip-devel.files + ./Setup register --inplace In-place registering filemanip-0.3.6.3... + cd .. ++ ghc --info ++ grep '"Booter version","7.8.4"' + '[' '!' ' ,("Booter version","7.8.4")' ']' + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic' + export CFLAGS + LDFLAGS='-Wl,-z,relro ' + export LDFLAGS + '[' -x Setup ']' + ghc --make -no-user-package-db -dynamic Setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... ++ echo ' -O2' -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/doc/Agda-stdlib '--libsubdir=$compiler/$pkgid' '--datasubdir=$pkgid' --ghc --enable-executable-dynamic '--ghc-options= -optc-O2 -optc-g -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-fexceptions -optc-fstack-protector-strong -optc--param=ssp-buffer-size=4 -optc-grecord-gcc-switches -optc-m64 -optc-mtune=generic -optl-Wl,-z,relro' --user Configuring lib-0.9... + '[' -x Setup ']' + ./Setup build Building lib-0.9... Preprocessing executable 'GenerateEverything' for lib-0.9... [1 of 1] Compiling Main ( GenerateEverything.hs, dist/build/GenerateEverything/GenerateEverything-tmp/Main.dyn_o ) Linking dist/build/GenerateEverything/GenerateEverything ... Preprocessing executable 'AllNonAsciiChars' for lib-0.9... [1 of 1] Compiling Main ( AllNonAsciiChars.hs, dist/build/AllNonAsciiChars/AllNonAsciiChars-tmp/Main.dyn_o ) Linking dist/build/AllNonAsciiChars/AllNonAsciiChars ... + dist/build/GenerateEverything/GenerateEverything + cd ffi ++ ghc --info ++ grep '"Booter version","7.8.4"' + '[' '!' ' ,("Booter version","7.8.4")' ']' + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic' + export CFLAGS + LDFLAGS='-Wl,-z,relro ' + export LDFLAGS + '[' -x Setup ']' + ghc --make -no-user-package-db -dynamic Setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking Setup ... ++ echo ' -O2' -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic ++ sed -e 's/ / -optc/g' ++ echo ' -Wl,-z,relro' ++ sed -e 's/ / -optl/g' + ./Setup configure --prefix=/usr --libdir=/usr/lib64 --docdir=/usr/share/doc/Agda-stdlib '--libsubdir=$compiler/$pkgid' '--datasubdir=$pkgid' --ghc --enable-executable-dynamic '--ghc-options= -optc-O2 -optc-g -optc-pipe -optc-Wall -optc-Werror=format-security -optc-Wp,-D_FORTIFY_SOURCE=2 -optc-fexceptions -optc-fstack-protector-strong -optc--param=ssp-buffer-size=4 -optc-grecord-gcc-switches -optc-m64 -optc-mtune=generic -optl-Wl,-z,relro' --user -p --enable-shared --docdir=/usr/share/doc/ghc-agda-lib-ffi --htmldir=/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 Configuring agda-lib-ffi-0.0.2... + '[' -x Setup ']' + ./Setup build Building agda-lib-ffi-0.0.2... Preprocessing library agda-lib-ffi-0.0.2... [1 of 2] Compiling IO.FFI ( IO/FFI.hs, dist/build/IO/FFI.o ) [2 of 2] Compiling Data.FFI ( Data/FFI.hs, dist/build/Data/FFI.o ) [1 of 2] Compiling IO.FFI ( IO/FFI.hs, dist/build/IO/FFI.p_o ) [2 of 2] Compiling Data.FFI ( Data/FFI.hs, dist/build/Data/FFI.p_o ) In-place registering agda-lib-ffi-0.0.2... + '[' -f dist/build/libHSagda-lib-ffi-0.0.2.a ']' + '[' -x Setup ']' + ./Setup haddock --html --hyperlink-source --hoogle Running Haddock for agda-lib-ffi-0.0.2... Running hscolour for agda-lib-ffi-0.0.2... Preprocessing library agda-lib-ffi-0.0.2... Preprocessing library agda-lib-ffi-0.0.2... Haddock coverage: 67% ( 2 / 3) in 'IO.FFI' 0% ( 0 / 6) in 'Data.FFI' Documentation created: dist/doc/html/agda-lib-ffi/index.html, dist/doc/html/agda-lib-ffi/agda-lib-ffi.txt + cd .. + agda -i. -isrc Everything.agda Checking Everything (/builddir/build/BUILD/agda-stdlib-0.9/Everything.agda). Checking Algebra (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra.agda). Checking Relation.Binary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary.agda). Checking Data.Product (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Product.agda). Checking Function (/builddir/build/BUILD/agda-stdlib-0.9/src/Function.agda). Checking Level (/builddir/build/BUILD/agda-stdlib-0.9/src/Level.agda). Finished Level. Finished Function. Checking Relation.Nullary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary.agda). Checking Relation.Nullary.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Core.agda). Checking Data.Empty (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Empty.agda). Finished Data.Empty. Finished Relation.Nullary.Core. Finished Relation.Nullary. Finished Data.Product. Checking Data.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sum.agda). Checking Data.Maybe.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Maybe/Core.agda). Finished Data.Maybe.Core. Finished Data.Sum. Checking Relation.Binary.PropositionalEquality.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/Core.agda). Checking Relation.Binary.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Core.agda). Finished Relation.Binary.Core. Checking Relation.Binary.Consequences.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Consequences/Core.agda). Finished Relation.Binary.Consequences.Core. Finished Relation.Binary.PropositionalEquality.Core. Checking Relation.Binary.Consequences (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Consequences.agda). Finished Relation.Binary.Consequences. Checking Relation.Binary.Indexed.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Indexed/Core.agda). Finished Relation.Binary.Indexed.Core. Finished Relation.Binary. Checking Algebra.FunctionProperties (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/FunctionProperties.agda). Checking Algebra.FunctionProperties.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/FunctionProperties/Core.agda). Finished Algebra.FunctionProperties.Core. Finished Algebra.FunctionProperties. Checking Algebra.Structures (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Structures.agda). Checking Relation.Binary.EqReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/EqReasoning.agda). Checking Relation.Binary.PreorderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PreorderReasoning.agda). Finished Relation.Binary.PreorderReasoning. Finished Relation.Binary.EqReasoning. Finished Algebra.Structures. Finished Algebra. Checking Algebra.Monoid-solver (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Monoid-solver.agda). Checking Data.Fin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin.agda). Checking Data.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat.agda). Checking Function.Equality (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Equality.agda). Checking Relation.Binary.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Indexed.agda). Finished Relation.Binary.Indexed. Finished Function.Equality. Checking Function.Injection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Injection.agda). Checking Relation.Binary.PropositionalEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality.agda). Checking Data.Unit.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Unit/Core.agda). Finished Data.Unit.Core. Checking Relation.Binary.HeterogeneousEquality.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality/Core.agda). Finished Relation.Binary.HeterogeneousEquality.Core. Finished Relation.Binary.PropositionalEquality. Finished Function.Injection. Checking Relation.Nullary.Decidable (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Decidable.agda). Checking Data.Bool (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool.agda). Checking Data.Unit (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Unit.agda). Finished Data.Unit. Finished Data.Bool. Checking Function.Equivalence (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Equivalence.agda). Finished Function.Equivalence. Finished Relation.Nullary.Decidable. Checking Relation.Binary.PartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PartialOrderReasoning.agda). Finished Relation.Binary.PartialOrderReasoning. Finished Data.Nat. Finished Data.Fin. Checking Data.Fin.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Properties.agda). Checking Data.Nat.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Properties.agda). Checking Data.Nat.Properties.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Properties/Simple.agda). Finished Data.Nat.Properties.Simple. Checking Algebra.RingSolver.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Simple.agda). Checking Algebra.RingSolver.AlmostCommutativeRing (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/AlmostCommutativeRing.agda). Checking Algebra.Morphism (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Morphism.agda). Checking Algebra.Properties.Group (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Group.agda). Finished Algebra.Properties.Group. Finished Algebra.Morphism. Checking Algebra.Properties.Ring (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Ring.agda). Checking Algebra.Properties.AbelianGroup (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/AbelianGroup.agda). Finished Algebra.Properties.AbelianGroup. Finished Algebra.Properties.Ring. Finished Algebra.RingSolver.AlmostCommutativeRing. Checking Algebra.RingSolver (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver.agda). Checking Algebra.RingSolver.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Lemmas.agda). Finished Algebra.RingSolver.Lemmas. Checking Algebra.Operations (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Operations.agda). Finished Algebra.Operations. Checking Relation.Binary.Reflection (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Reflection.agda). Checking Data.Vec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec.agda). Checking Category.Applicative (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative.agda). Checking Category.Applicative.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative/Indexed.agda). Checking Category.Functor (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Functor.agda). Finished Category.Functor. Finished Category.Applicative.Indexed. Finished Category.Applicative. Checking Data.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List.agda). Checking Data.Maybe (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Maybe.agda). Checking Category.Monad (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad.agda). Checking Category.Monad.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Indexed.agda). Finished Category.Monad.Indexed. Finished Category.Monad. Checking Category.Monad.Identity (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Identity.agda). Finished Category.Monad.Identity. Checking Relation.Unary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Unary.agda). Finished Relation.Unary. Finished Data.Maybe. Finished Data.List. Finished Data.Vec. Checking Data.Vec.N-ary (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/N-ary.agda). Finished Data.Vec.N-ary. Finished Relation.Binary.Reflection. Finished Algebra.RingSolver. Finished Algebra.RingSolver.Simple. Finished Data.Nat.Properties. Finished Data.Fin.Properties. Checking Relation.Binary.List.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/Pointwise.agda). Checking Function.Inverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Inverse.agda). Checking Function.Bijection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Bijection.agda). Checking Function.Surjection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Surjection.agda). Checking Function.LeftInverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/LeftInverse.agda). Finished Function.LeftInverse. Finished Function.Surjection. Finished Function.Bijection. Finished Function.Inverse. Finished Relation.Binary.List.Pointwise. Finished Algebra.Monoid-solver. Checking Algebra.Properties.BooleanAlgebra (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra.agda). Checking Algebra.Properties.DistributiveLattice (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/DistributiveLattice.agda). Checking Algebra.Properties.Lattice (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Lattice.agda). Finished Algebra.Properties.Lattice. Finished Algebra.Properties.DistributiveLattice. Finished Algebra.Properties.BooleanAlgebra. Checking Algebra.Properties.BooleanAlgebra.Expression (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra/Expression.agda). Checking Data.Vec.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/Properties.agda). Checking Data.List.Any (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any.agda). Checking Function.Related (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Related.agda). Finished Function.Related. Checking Relation.Binary.InducedPreorders (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/InducedPreorders.agda). Finished Relation.Binary.InducedPreorders. Finished Data.List.Any. Checking Data.Vec.Equality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/Equality.agda). Finished Data.Vec.Equality. Checking Relation.Binary.HeterogeneousEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality.agda). Finished Relation.Binary.HeterogeneousEquality. Finished Data.Vec.Properties. Checking Relation.Binary.Vec.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Vec/Pointwise.agda). Checking Data.Plus (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Plus.agda). Finished Data.Plus. Finished Relation.Binary.Vec.Pointwise. Finished Algebra.Properties.BooleanAlgebra.Expression. Checking Algebra.RingSolver.Natural-coefficients (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Natural-coefficients.agda). Finished Algebra.RingSolver.Natural-coefficients. Checking Category.Applicative.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative/Predicate.agda). Checking Category.Functor.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Functor/Predicate.agda). Checking Relation.Unary.PredicateTransformer (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Unary/PredicateTransformer.agda). Finished Relation.Unary.PredicateTransformer. Finished Category.Functor.Predicate. Finished Category.Applicative.Predicate. Checking Category.Monad.Continuation (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Continuation.agda). Finished Category.Monad.Continuation. Checking Category.Monad.Partiality (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Partiality.agda). Checking Coinduction (/builddir/build/BUILD/agda-stdlib-0.9/src/Coinduction.agda). Finished Coinduction. Checking Relation.Nullary.Negation (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Negation.agda). Checking Data.Fin.Dec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Dec.agda). Checking Data.Fin.Subset (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Subset.agda). Checking Data.Bool.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool/Properties.agda). Finished Data.Bool.Properties. Finished Data.Fin.Subset. Checking Data.Fin.Subset.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Subset/Properties.agda). Finished Data.Fin.Subset.Properties. Finished Data.Fin.Dec. Finished Relation.Nullary.Negation. Finished Category.Monad.Partiality. Checking Category.Monad.Partiality.All (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Partiality/All.agda). Finished Category.Monad.Partiality.All. Checking Category.Monad.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Predicate.agda). Finished Category.Monad.Predicate. Checking Category.Monad.State (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/State.agda). Finished Category.Monad.State. Checking Data.AVL (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL.agda). Checking Data.DifferenceList (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceList.agda). Finished Data.DifferenceList. Finished Data.AVL. Checking Data.AVL.IndexedMap (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL/IndexedMap.agda). Finished Data.AVL.IndexedMap. Checking Data.AVL.Sets (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL/Sets.agda). Finished Data.AVL.Sets. Checking Data.Bin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bin.agda). Checking Data.Digit (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Digit.agda). Checking Data.Char (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Char.agda). Checking Relation.Binary.On (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/On.agda). Finished Relation.Binary.On. Checking Relation.Binary.PropositionalEquality.TrustMe (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/TrustMe.agda). Finished Relation.Binary.PropositionalEquality.TrustMe. Checking Data.String.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/String/Core.agda). Checking Data.Char.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Char/Core.agda). Finished Data.Char.Core. Finished Data.String.Core. Finished Data.Char. Checking Induction.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/Nat.agda). Checking Induction (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction.agda). Finished Induction. Checking Induction.WellFounded (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/WellFounded.agda). Finished Induction.WellFounded. Finished Induction.Nat. Checking Data.Nat.DivMod (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/DivMod.agda). Finished Data.Nat.DivMod. Finished Data.Digit. Finished Data.Bin. Checking Data.Bool.Show (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool/Show.agda). Checking Data.String (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/String.agda). Checking Data.Colist (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Colist.agda). Checking Data.BoundedVec.Inefficient (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/BoundedVec/Inefficient.agda). Finished Data.BoundedVec.Inefficient. Checking Data.Conat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Conat.agda). Finished Data.Conat. Checking Data.List.NonEmpty (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/NonEmpty.agda). Finished Data.List.NonEmpty. Finished Data.Colist. Checking Relation.Binary.List.StrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/StrictLex.agda). Finished Relation.Binary.List.StrictLex. Finished Data.String. Finished Data.Bool.Show. Checking Data.BoundedVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/BoundedVec.agda). Finished Data.BoundedVec. Checking Data.Cofin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Cofin.agda). Finished Data.Cofin. Checking Data.Colist.Infinite-merge (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Colist/Infinite-merge.agda). Checking Function.Related.TypeIsomorphisms (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Related/TypeIsomorphisms.agda). Checking Relation.Binary.Product.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/Pointwise.agda). Checking Relation.Nullary.Product (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Product.agda). Finished Relation.Nullary.Product. Finished Relation.Binary.Product.Pointwise. Checking Relation.Binary.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Sum.agda). Finished Relation.Binary.Sum. Finished Function.Related.TypeIsomorphisms. Finished Data.Colist.Infinite-merge. Checking Data.Container (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container.agda). Checking Data.M (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/M.agda). Finished Data.M. Checking Data.W (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/W.agda). Finished Data.W. Finished Data.Container. Checking Data.Container.Any (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Any.agda). Checking Data.Container.Combinator (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Combinator.agda). Finished Data.Container.Combinator. Checking Relation.Binary.Sigma.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Sigma/Pointwise.agda). Finished Relation.Binary.Sigma.Pointwise. Finished Data.Container.Any. Checking Data.Container.FreeMonad (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/FreeMonad.agda). Finished Data.Container.FreeMonad. Checking Data.Container.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed.agda). Checking Data.W.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/W/Indexed.agda). Checking Data.Container.Indexed.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/Core.agda). Finished Data.Container.Indexed.Core. Finished Data.W.Indexed. Checking Data.M.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/M/Indexed.agda). Finished Data.M.Indexed. Finished Data.Container.Indexed. Checking Data.Container.Indexed.Combinator (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/Combinator.agda). Finished Data.Container.Indexed.Combinator. Checking Data.Container.Indexed.FreeMonad (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/FreeMonad.agda). Finished Data.Container.Indexed.FreeMonad. Checking Data.Covec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Covec.agda). Finished Data.Covec. Checking Data.DifferenceNat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceNat.agda). Finished Data.DifferenceNat. Checking Data.DifferenceVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceVec.agda). Finished Data.DifferenceVec. Checking Data.Fin.Substitution (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution.agda). Checking Data.Star (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star.agda). Finished Data.Star. Finished Data.Fin.Substitution. Checking Data.Fin.Substitution.Example (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/Example.agda). Checking Data.Fin.Substitution.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/Lemmas.agda). Finished Data.Fin.Substitution.Lemmas. Finished Data.Fin.Substitution.Example. Checking Data.Fin.Substitution.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/List.agda). Checking Data.List.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Properties.agda). Checking Data.List.All (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/All.agda). Finished Data.List.All. Finished Data.List.Properties. Finished Data.Fin.Substitution.List. Checking Data.Float (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Float.agda). Finished Data.Float. Checking Data.Graph.Acyclic (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Graph/Acyclic.agda). Finished Data.Graph.Acyclic. Checking Data.Integer (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer.agda). Checking Data.Nat.Show (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Show.agda). Finished Data.Nat.Show. Checking Data.Sign (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sign.agda). Finished Data.Sign. Finished Data.Integer. Checking Data.Integer.Addition.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Addition/Properties.agda). Finished Data.Integer.Addition.Properties. Checking Data.Integer.Divisibility (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Divisibility.agda). Checking Data.Integer.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Properties.agda). Checking Data.Integer.Multiplication.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Multiplication/Properties.agda). Finished Data.Integer.Multiplication.Properties. Checking Data.Sign.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sign/Properties.agda). Finished Data.Sign.Properties. Finished Data.Integer.Properties. Checking Data.Nat.Divisibility (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Divisibility.agda). Finished Data.Nat.Divisibility. Checking Data.Nat.Coprimality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Coprimality.agda). Checking Data.Nat.Primality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Primality.agda). Finished Data.Nat.Primality. Checking Data.Nat.GCD (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/GCD.agda). Checking Induction.Lexicographic (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/Lexicographic.agda). Finished Induction.Lexicographic. Checking Data.Nat.GCD.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/GCD/Lemmas.agda). Finished Data.Nat.GCD.Lemmas. Finished Data.Nat.GCD. Finished Data.Nat.Coprimality. Finished Data.Integer.Divisibility. Checking Data.List.All.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/All/Properties.agda). Finished Data.List.All.Properties. Checking Data.List.Any.BagAndSetEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/BagAndSetEquality.agda). Checking Data.List.Any.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/Properties.agda). Finished Data.List.Any.Properties. Finished Data.List.Any.BagAndSetEquality. Checking Data.List.Any.Membership (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/Membership.agda). Checking Relation.Binary.Properties.DecTotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/DecTotalOrder.agda). Checking Relation.Binary.NonStrictToStrict (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/NonStrictToStrict.agda). Finished Relation.Binary.NonStrictToStrict. Finished Relation.Binary.Properties.DecTotalOrder. Finished Data.List.Any.Membership. Checking Data.List.Countdown (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Countdown.agda). Finished Data.List.Countdown. Checking Data.List.NonEmpty.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/NonEmpty/Properties.agda). Finished Data.List.NonEmpty.Properties. Checking Data.List.Reverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Reverse.agda). Finished Data.List.Reverse. Checking Data.Nat.InfinitelyOften (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/InfinitelyOften.agda). Finished Data.Nat.InfinitelyOften. Checking Data.Nat.LCM (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/LCM.agda). Finished Data.Nat.LCM. Checking Data.Product.N-ary (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Product/N-ary.agda). Finished Data.Product.N-ary. Checking Data.Rational (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Rational.agda). Finished Data.Rational. Checking Data.ReflexiveClosure (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/ReflexiveClosure.agda). Checking Relation.Binary.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Simple.agda). Finished Relation.Binary.Simple. Finished Data.ReflexiveClosure. Checking Data.Star.BoundedVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/BoundedVec.agda). Checking Data.Star.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Nat.agda). Finished Data.Star.Nat. Checking Data.Star.Decoration (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Decoration.agda). Finished Data.Star.Decoration. Checking Data.Star.Pointer (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Pointer.agda). Finished Data.Star.Pointer. Checking Data.Star.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/List.agda). Finished Data.Star.List. Finished Data.Star.BoundedVec. Checking Data.Star.Environment (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Environment.agda). Finished Data.Star.Environment. Checking Data.Star.Fin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Fin.agda). Finished Data.Star.Fin. Checking Data.Star.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Properties.agda). Finished Data.Star.Properties. Checking Data.Star.Vec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Vec.agda). Finished Data.Star.Vec. Checking Data.Stream (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Stream.agda). Finished Data.Stream. Checking Foreign.Haskell (/builddir/build/BUILD/agda-stdlib-0.9/src/Foreign/Haskell.agda). Finished Foreign.Haskell. Checking IO (/builddir/build/BUILD/agda-stdlib-0.9/src/IO.agda). Checking IO.Primitive (/builddir/build/BUILD/agda-stdlib-0.9/src/IO/Primitive.agda). Finished IO.Primitive. Finished IO. Checking Irrelevance (/builddir/build/BUILD/agda-stdlib-0.9/src/Irrelevance.agda). Finished Irrelevance. Checking Record (/builddir/build/BUILD/agda-stdlib-0.9/src/Record.agda). Finished Record. Checking Reflection (/builddir/build/BUILD/agda-stdlib-0.9/src/Reflection.agda). Finished Reflection. Checking Relation.Binary.Flip (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Flip.agda). Finished Relation.Binary.Flip. Checking Relation.Binary.List.NonStrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/NonStrictLex.agda). Finished Relation.Binary.List.NonStrictLex. Checking Relation.Binary.OrderMorphism (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/OrderMorphism.agda). Finished Relation.Binary.OrderMorphism. Checking Relation.Binary.Product.NonStrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/NonStrictLex.agda). Checking Relation.Binary.Product.StrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/StrictLex.agda). Checking Relation.Nullary.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Sum.agda). Finished Relation.Nullary.Sum. Finished Relation.Binary.Product.StrictLex. Finished Relation.Binary.Product.NonStrictLex. Checking Relation.Binary.Properties.Poset (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/Poset.agda). Finished Relation.Binary.Properties.Poset. Checking Relation.Binary.Properties.Preorder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/Preorder.agda). Finished Relation.Binary.Properties.Preorder. Checking Relation.Binary.Properties.StrictPartialOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictPartialOrder.agda). Checking Relation.Binary.StrictToNonStrict (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/StrictToNonStrict.agda). Finished Relation.Binary.StrictToNonStrict. Finished Relation.Binary.Properties.StrictPartialOrder. Checking Relation.Binary.Properties.StrictTotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictTotalOrder.agda). Finished Relation.Binary.Properties.StrictTotalOrder. Checking Relation.Binary.Properties.TotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/TotalOrder.agda). Finished Relation.Binary.Properties.TotalOrder. Checking Relation.Binary.SetoidReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/SetoidReasoning.agda). Finished Relation.Binary.SetoidReasoning. Checking Relation.Binary.StrictPartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/StrictPartialOrderReasoning.agda). Finished Relation.Binary.StrictPartialOrderReasoning. Checking Relation.Nullary.Implication (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Implication.agda). Finished Relation.Nullary.Implication. Checking Relation.Nullary.Universe (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Universe.agda). Finished Relation.Nullary.Universe. Checking Size (/builddir/build/BUILD/agda-stdlib-0.9/src/Size.agda). Finished Size. Checking Universe (/builddir/build/BUILD/agda-stdlib-0.9/src/Universe.agda). Finished Universe. Finished Everything. + agda --html -i. -isrc README.agda Checking README (/builddir/build/BUILD/agda-stdlib-0.9/README.agda). Skipping Level (/builddir/build/BUILD/agda-stdlib-0.9/src/Level.agdai). Skipping Function (/builddir/build/BUILD/agda-stdlib-0.9/src/Function.agdai). Skipping Data.Empty (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Empty.agdai). Skipping Relation.Nullary.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Core.agdai). Skipping Relation.Nullary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary.agdai). Skipping Data.Maybe.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Maybe/Core.agdai). Skipping Data.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sum.agdai). Skipping Data.Product (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Product.agdai). Skipping Relation.Binary.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Core.agdai). Skipping Relation.Binary.Consequences.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Consequences/Core.agdai). Skipping Relation.Binary.PropositionalEquality.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/Core.agdai). Skipping Relation.Binary.Consequences (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Consequences.agdai). Skipping Relation.Binary.Indexed.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Indexed/Core.agdai). Skipping Relation.Binary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary.agdai). Skipping Data.Unit.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Unit/Core.agdai). Skipping Relation.Binary.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Indexed.agdai). Skipping Relation.Binary.HeterogeneousEquality.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality/Core.agdai). Skipping Relation.Binary.PreorderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PreorderReasoning.agdai). Skipping Relation.Binary.EqReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/EqReasoning.agdai). Skipping Function.Equality (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Equality.agdai). Skipping Relation.Binary.PropositionalEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality.agdai). Skipping Data.Unit (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Unit.agdai). Skipping Data.Bool (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool.agdai). Skipping Function.Injection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Injection.agdai). Skipping Function.Equivalence (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Equivalence.agdai). Skipping Relation.Nullary.Decidable (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Decidable.agdai). Skipping Relation.Binary.PartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PartialOrderReasoning.agdai). Skipping Data.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat.agdai). Skipping Data.Char.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Char/Core.agdai). Skipping Relation.Binary.On (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/On.agdai). Skipping Algebra.FunctionProperties.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/FunctionProperties/Core.agdai). Skipping Algebra.FunctionProperties (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/FunctionProperties.agdai). Skipping Algebra.Structures (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Structures.agdai). Skipping Data.Fin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin.agdai). Skipping Relation.Unary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Unary.agdai). Skipping Category.Functor (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Functor.agdai). Skipping Category.Applicative.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative/Indexed.agdai). Skipping Category.Monad.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Indexed.agdai). Skipping Category.Monad (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad.agdai). Skipping Category.Monad.Identity (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Identity.agdai). Skipping Data.Maybe (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Maybe.agdai). Skipping Algebra (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra.agdai). Skipping Data.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List.agdai). Skipping Category.Applicative (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative.agdai). Skipping Data.Vec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec.agdai). Skipping Data.Vec.N-ary (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/N-ary.agdai). Skipping Relation.Binary.Reflection (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Reflection.agdai). Skipping Algebra.Operations (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Operations.agdai). Skipping Algebra.Properties.Group (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Group.agdai). Skipping Algebra.Properties.AbelianGroup (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/AbelianGroup.agdai). Skipping Algebra.Properties.Ring (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Ring.agdai). Skipping Algebra.Morphism (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Morphism.agdai). Skipping Algebra.RingSolver.AlmostCommutativeRing (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/AlmostCommutativeRing.agdai). Skipping Algebra.RingSolver.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Lemmas.agdai). Skipping Algebra.RingSolver (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver.agdai). Skipping Algebra.RingSolver.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Simple.agdai). Skipping Data.Nat.Properties.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Properties/Simple.agdai). Skipping Data.Nat.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Properties.agdai). Skipping Data.String.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/String/Core.agdai). Skipping Relation.Binary.PropositionalEquality.TrustMe (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/TrustMe.agdai). Skipping Data.Char (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Char.agdai). Skipping Coinduction (/builddir/build/BUILD/agda-stdlib-0.9/src/Coinduction.agdai). Skipping Algebra.Properties.Lattice (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Lattice.agdai). Skipping Algebra.Properties.DistributiveLattice (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/DistributiveLattice.agdai). Skipping Algebra.Properties.BooleanAlgebra (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra.agdai). Skipping Data.Bool.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool/Properties.agdai). Skipping Data.List.NonEmpty (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/NonEmpty.agdai). Skipping Data.BoundedVec.Inefficient (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/BoundedVec/Inefficient.agdai). Skipping Data.Plus (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Plus.agdai). Skipping Data.Fin.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Properties.agdai). Skipping Function.LeftInverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/LeftInverse.agdai). Skipping Function.Surjection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Surjection.agdai). Skipping Function.Bijection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Bijection.agdai). Skipping Function.Inverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Inverse.agdai). Skipping Data.Vec.Equality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/Equality.agdai). Skipping Relation.Binary.List.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/Pointwise.agdai). Skipping Relation.Binary.InducedPreorders (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/InducedPreorders.agdai). Skipping Function.Related (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Related.agdai). Skipping Data.List.Any (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any.agdai). Skipping Relation.Binary.HeterogeneousEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality.agdai). Skipping Data.Vec.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/Properties.agdai). Skipping Relation.Binary.Vec.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Vec/Pointwise.agdai). Skipping Algebra.Properties.BooleanAlgebra.Expression (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra/Expression.agdai). Skipping Data.Fin.Subset (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Subset.agdai). Skipping Data.Fin.Subset.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Subset/Properties.agdai). Skipping Data.Fin.Dec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Dec.agdai). Skipping Relation.Nullary.Negation (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Negation.agdai). Skipping Data.Conat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Conat.agdai). Skipping Data.Colist (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Colist.agdai). Skipping Data.Stream (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Stream.agdai). Skipping Relation.Binary.List.StrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/StrictLex.agdai). Skipping Data.String (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/String.agdai). Skipping Induction (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction.agdai). Skipping Induction.WellFounded (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/WellFounded.agdai). Skipping Induction.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/Nat.agdai). Skipping Foreign.Haskell (/builddir/build/BUILD/agda-stdlib-0.9/src/Foreign/Haskell.agdai). Skipping IO.Primitive (/builddir/build/BUILD/agda-stdlib-0.9/src/IO/Primitive.agdai). Skipping IO (/builddir/build/BUILD/agda-stdlib-0.9/src/IO.agdai). Checking README.Nat (/builddir/build/BUILD/agda-stdlib-0.9/README/Nat.agda). Finished README.Nat. Checking README.Integer (/builddir/build/BUILD/agda-stdlib-0.9/README/Integer.agda). Skipping Data.Sign (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sign.agdai). Skipping Data.Nat.DivMod (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/DivMod.agdai). Skipping Data.Digit (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Digit.agdai). Skipping Data.Nat.Show (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Show.agdai). Skipping Data.Integer (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer.agdai). Skipping Data.Integer.Multiplication.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Multiplication/Properties.agdai). Skipping Data.Sign.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sign/Properties.agdai). Skipping Data.Integer.Addition.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Addition/Properties.agdai). Skipping Data.Integer.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Properties.agdai). Finished README.Integer. Checking README.AVL (/builddir/build/BUILD/agda-stdlib-0.9/README/AVL.agda). Skipping Data.DifferenceList (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceList.agdai). Skipping Data.AVL (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL.agdai). Skipping Data.AVL.IndexedMap (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL/IndexedMap.agdai). Skipping Data.AVL.Sets (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL/Sets.agdai). Finished README.AVL. Checking README.Record (/builddir/build/BUILD/agda-stdlib-0.9/README/Record.agda). Skipping Record (/builddir/build/BUILD/agda-stdlib-0.9/src/Record.agdai). Finished README.Record. Checking README.Case (/builddir/build/BUILD/agda-stdlib-0.9/README/Case.agda). Finished README.Case. Skipping Algebra.RingSolver.Natural-coefficients (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Natural-coefficients.agdai). Skipping Relation.Binary.StrictToNonStrict (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/StrictToNonStrict.agdai). Skipping Relation.Binary.Properties.StrictPartialOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictPartialOrder.agdai). Skipping Relation.Binary.NonStrictToStrict (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/NonStrictToStrict.agdai). Skipping Relation.Nullary.Product (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Product.agdai). Skipping Relation.Binary.Product.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/Pointwise.agdai). Skipping Relation.Nullary.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Sum.agdai). Skipping Relation.Binary.Product.StrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/StrictLex.agdai). Skipping Relation.Binary.Product.NonStrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/NonStrictLex.agdai). Skipping Category.Monad.Partiality (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Partiality.agdai). Skipping Category.Monad.Partiality.All (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Partiality/All.agdai). Skipping Relation.Binary.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Simple.agdai). Skipping Data.Star (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star.agdai). Skipping Data.Star.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Nat.agdai). Skipping Data.Star.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/List.agdai). Skipping Data.Star.Decoration (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Decoration.agdai). Skipping Data.Star.Pointer (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Pointer.agdai). Skipping Data.Star.BoundedVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/BoundedVec.agdai). Skipping Relation.Unary.PredicateTransformer (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Unary/PredicateTransformer.agdai). Skipping Category.Monad.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Predicate.agdai). Skipping Data.Star.Fin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Fin.agdai). Skipping Data.Star.Vec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Vec.agdai). Skipping Data.Nat.InfinitelyOften (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/InfinitelyOften.agdai). Skipping Algebra.Monoid-solver (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Monoid-solver.agdai). Skipping Data.List.All (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/All.agdai). Skipping Data.List.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Properties.agdai). Skipping Relation.Binary.Sigma.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Sigma/Pointwise.agdai). Skipping Data.M (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/M.agdai). Skipping Data.W (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/W.agdai). Skipping Data.Container (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container.agdai). Skipping Data.Container.Combinator (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Combinator.agdai). Skipping Data.Container.FreeMonad (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/FreeMonad.agdai). Skipping Relation.Binary.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Sum.agdai). Skipping Function.Related.TypeIsomorphisms (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Related/TypeIsomorphisms.agdai). Skipping Data.Colist.Infinite-merge (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Colist/Infinite-merge.agdai). Skipping Data.Container.Any (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Any.agdai). Skipping Data.List.Countdown (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Countdown.agdai). Skipping Relation.Binary.Properties.Poset (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/Poset.agdai). Skipping Data.ReflexiveClosure (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/ReflexiveClosure.agdai). Skipping Data.Float (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Float.agdai). Skipping Data.Container.Indexed.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/Core.agdai). Skipping Data.M.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/M/Indexed.agdai). Skipping Data.W.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/W/Indexed.agdai). Skipping Data.Container.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed.agdai). Skipping Data.Container.Indexed.Combinator (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/Combinator.agdai). Skipping Data.Container.Indexed.FreeMonad (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/FreeMonad.agdai). Skipping Data.Nat.GCD.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/GCD/Lemmas.agdai). Skipping Data.Nat.Divisibility (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Divisibility.agdai). Skipping Induction.Lexicographic (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/Lexicographic.agdai). Skipping Data.Nat.GCD (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/GCD.agdai). Skipping Data.Nat.Primality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Primality.agdai). Skipping Data.Nat.Coprimality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Coprimality.agdai). Skipping Data.List.Any.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/Properties.agdai). Skipping Data.List.Any.BagAndSetEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/BagAndSetEquality.agdai). Skipping Data.Fin.Substitution (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution.agdai). Skipping Data.Fin.Substitution.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/Lemmas.agdai). Skipping Data.Fin.Substitution.Example (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/Example.agdai). Skipping Data.Star.Environment (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Environment.agdai). Skipping Data.List.NonEmpty.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/NonEmpty/Properties.agdai). Skipping Relation.Binary.Properties.StrictTotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictTotalOrder.agdai). Skipping Data.Integer.Divisibility (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Divisibility.agdai). Skipping Data.Rational (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Rational.agdai). Skipping Data.Product.N-ary (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Product/N-ary.agdai). Skipping Relation.Binary.OrderMorphism (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/OrderMorphism.agdai). Skipping Data.Cofin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Cofin.agdai). Skipping Data.BoundedVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/BoundedVec.agdai). Skipping Relation.Nullary.Implication (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Implication.agdai). Skipping Data.DifferenceNat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceNat.agdai). Skipping Data.DifferenceVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceVec.agdai). Skipping Data.Graph.Acyclic (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Graph/Acyclic.agdai). Skipping Data.Nat.LCM (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/LCM.agdai). Skipping Relation.Binary.Properties.DecTotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/DecTotalOrder.agdai). Skipping Data.List.Any.Membership (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/Membership.agdai). Skipping Category.Monad.Continuation (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Continuation.agdai). Skipping Category.Functor.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Functor/Predicate.agdai). Skipping Data.Bool.Show (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool/Show.agdai). Skipping Relation.Binary.SetoidReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/SetoidReasoning.agdai). Skipping Relation.Binary.Flip (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Flip.agdai). Skipping Data.Star.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Properties.agdai). Skipping Relation.Nullary.Universe (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Universe.agdai). Skipping Irrelevance (/builddir/build/BUILD/agda-stdlib-0.9/src/Irrelevance.agdai). Skipping Data.Covec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Covec.agdai). Skipping Relation.Binary.List.NonStrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/NonStrictLex.agdai). Skipping Relation.Binary.StrictPartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/StrictPartialOrderReasoning.agdai). Skipping Category.Applicative.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative/Predicate.agdai). Skipping Data.List.Reverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Reverse.agdai). Skipping Universe (/builddir/build/BUILD/agda-stdlib-0.9/src/Universe.agdai). Skipping Data.Fin.Substitution.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/List.agdai). Skipping Reflection (/builddir/build/BUILD/agda-stdlib-0.9/src/Reflection.agdai). Skipping Relation.Binary.Properties.Preorder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/Preorder.agdai). Skipping Data.Bin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bin.agdai). Skipping Data.List.All.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/All/Properties.agdai). Skipping Category.Monad.State (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/State.agdai). Skipping Relation.Binary.Properties.TotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/TotalOrder.agdai). Skipping Size (/builddir/build/BUILD/agda-stdlib-0.9/src/Size.agdai). Skipping Everything (/builddir/build/BUILD/agda-stdlib-0.9/Everything.agdai). Finished README. Warning: HTML is currently generated for ALL files which can be reached from the given module, including library files. Generating HTML for Agda.Primitive (html/Agda.Primitive.html). Generating HTML for Algebra (html/Algebra.html). Generating HTML for Algebra.FunctionProperties (html/Algebra.FunctionProperties.html). Generating HTML for Algebra.FunctionProperties.Core (html/Algebra.FunctionProperties.Core.html). Generating HTML for Algebra.Monoid-solver (html/Algebra.Monoid-solver.html). Generating HTML for Algebra.Morphism (html/Algebra.Morphism.html). Generating HTML for Algebra.Operations (html/Algebra.Operations.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.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.RingSolver (html/Algebra.RingSolver.html). Generating HTML for Algebra.RingSolver.AlmostCommutativeRing (html/Algebra.RingSolver.AlmostCommutativeRing.html). Generating HTML for Algebra.RingSolver.Lemmas (html/Algebra.RingSolver.Lemmas.html). Generating HTML for Algebra.RingSolver.Natural-coefficients (html/Algebra.RingSolver.Natural-coefficients.html). Generating HTML for Algebra.RingSolver.Simple (html/Algebra.RingSolver.Simple.html). Generating HTML for Algebra.Structures (html/Algebra.Structures.html). Generating HTML for Category.Applicative (html/Category.Applicative.html). Generating HTML for Category.Applicative.Indexed (html/Category.Applicative.Indexed.html). Generating HTML for Category.Applicative.Predicate (html/Category.Applicative.Predicate.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.Identity (html/Category.Monad.Identity.html). Generating HTML for Category.Monad.Indexed (html/Category.Monad.Indexed.html). Generating HTML for Category.Monad.Partiality (html/Category.Monad.Partiality.html). Generating HTML for Category.Monad.Partiality.All (html/Category.Monad.Partiality.All.html). Generating HTML for Category.Monad.Predicate (html/Category.Monad.Predicate.html). Generating HTML for Category.Monad.State (html/Category.Monad.State.html). Generating HTML for Coinduction (html/Coinduction.html). Generating HTML for Data.AVL (html/Data.AVL.html). Generating HTML for Data.AVL.IndexedMap (html/Data.AVL.IndexedMap.html). Generating HTML for Data.AVL.Sets (html/Data.AVL.Sets.html). Generating HTML for Data.Bin (html/Data.Bin.html). Generating HTML for Data.Bool (html/Data.Bool.html). Generating HTML for Data.Bool.Properties (html/Data.Bool.Properties.html). Generating HTML for Data.Bool.Show (html/Data.Bool.Show.html). Generating HTML for Data.BoundedVec (html/Data.BoundedVec.html). Generating HTML for Data.BoundedVec.Inefficient (html/Data.BoundedVec.Inefficient.html). Generating HTML for Data.Char (html/Data.Char.html). Generating HTML for Data.Char.Core (html/Data.Char.Core.html). Generating HTML for Data.Cofin (html/Data.Cofin.html). Generating HTML for Data.Colist (html/Data.Colist.html). Generating HTML for Data.Colist.Infinite-merge (html/Data.Colist.Infinite-merge.html). Generating HTML for Data.Conat (html/Data.Conat.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.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.Covec (html/Data.Covec.html). Generating HTML for Data.DifferenceList (html/Data.DifferenceList.html). Generating HTML for Data.DifferenceNat (html/Data.DifferenceNat.html). Generating HTML for Data.DifferenceVec (html/Data.DifferenceVec.html). Generating HTML for Data.Digit (html/Data.Digit.html). Generating HTML for Data.Empty (html/Data.Empty.html). Generating HTML for Data.Fin (html/Data.Fin.html). Generating HTML for Data.Fin.Dec (html/Data.Fin.Dec.html). Generating HTML for Data.Fin.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.Graph.Acyclic (html/Data.Graph.Acyclic.html). Generating HTML for Data.Integer (html/Data.Integer.html). Generating HTML for Data.Integer.Addition.Properties (html/Data.Integer.Addition.Properties.html). Generating HTML for Data.Integer.Divisibility (html/Data.Integer.Divisibility.html). Generating HTML for Data.Integer.Multiplication.Properties (html/Data.Integer.Multiplication.Properties.html). Generating HTML for Data.Integer.Properties (html/Data.Integer.Properties.html). Generating HTML for Data.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.BagAndSetEquality (html/Data.List.Any.BagAndSetEquality.html). Generating HTML for Data.List.Any.Membership (html/Data.List.Any.Membership.html). Generating HTML for Data.List.Any.Properties (html/Data.List.Any.Properties.html). Generating HTML for Data.List.Countdown (html/Data.List.Countdown.html). Generating HTML for Data.List.NonEmpty (html/Data.List.NonEmpty.html). Generating HTML for Data.List.NonEmpty.Properties (html/Data.List.NonEmpty.Properties.html). Generating HTML for Data.List.Properties (html/Data.List.Properties.html). Generating HTML for Data.List.Reverse (html/Data.List.Reverse.html). Generating HTML for Data.M (html/Data.M.html). Generating HTML for Data.M.Indexed (html/Data.M.Indexed.html). Generating HTML for Data.Maybe (html/Data.Maybe.html). Generating HTML for Data.Maybe.Core (html/Data.Maybe.Core.html). Generating HTML for Data.Nat (html/Data.Nat.html). Generating HTML for Data.Nat.Coprimality (html/Data.Nat.Coprimality.html). Generating HTML for Data.Nat.DivMod (html/Data.Nat.DivMod.html). Generating HTML for Data.Nat.Divisibility (html/Data.Nat.Divisibility.html). Generating HTML for Data.Nat.GCD (html/Data.Nat.GCD.html). Generating HTML for Data.Nat.GCD.Lemmas (html/Data.Nat.GCD.Lemmas.html). Generating HTML for Data.Nat.InfinitelyOften (html/Data.Nat.InfinitelyOften.html). Generating HTML for Data.Nat.LCM (html/Data.Nat.LCM.html). Generating HTML for Data.Nat.Primality (html/Data.Nat.Primality.html). Generating HTML for Data.Nat.Properties (html/Data.Nat.Properties.html). Generating HTML for Data.Nat.Properties.Simple (html/Data.Nat.Properties.Simple.html). Generating HTML for Data.Nat.Show (html/Data.Nat.Show.html). Generating HTML for Data.Plus (html/Data.Plus.html). Generating HTML for Data.Product (html/Data.Product.html). Generating HTML for Data.Product.N-ary (html/Data.Product.N-ary.html). Generating HTML for Data.Rational (html/Data.Rational.html). Generating HTML for Data.ReflexiveClosure (html/Data.ReflexiveClosure.html). Generating HTML for Data.Sign (html/Data.Sign.html). Generating HTML for Data.Sign.Properties (html/Data.Sign.Properties.html). Generating HTML for Data.Star (html/Data.Star.html). Generating HTML for Data.Star.BoundedVec (html/Data.Star.BoundedVec.html). Generating HTML for Data.Star.Decoration (html/Data.Star.Decoration.html). Generating HTML for Data.Star.Environment (html/Data.Star.Environment.html). Generating HTML for Data.Star.Fin (html/Data.Star.Fin.html). Generating HTML for Data.Star.List (html/Data.Star.List.html). Generating HTML for Data.Star.Nat (html/Data.Star.Nat.html). Generating HTML for Data.Star.Pointer (html/Data.Star.Pointer.html). Generating HTML for Data.Star.Properties (html/Data.Star.Properties.html). Generating HTML for Data.Star.Vec (html/Data.Star.Vec.html). Generating HTML for Data.Stream (html/Data.Stream.html). Generating HTML for Data.String (html/Data.String.html). Generating HTML for Data.String.Core (html/Data.String.Core.html). Generating HTML for Data.Sum (html/Data.Sum.html). Generating HTML for Data.Unit (html/Data.Unit.html). Generating HTML for Data.Unit.Core (html/Data.Unit.Core.html). Generating HTML for Data.Vec (html/Data.Vec.html). Generating HTML for Data.Vec.Equality (html/Data.Vec.Equality.html). Generating HTML for Data.Vec.N-ary (html/Data.Vec.N-ary.html). Generating HTML for Data.Vec.Properties (html/Data.Vec.Properties.html). Generating HTML for Data.W (html/Data.W.html). Generating HTML for Data.W.Indexed (html/Data.W.Indexed.html). Generating HTML for Everything (html/Everything.html). Generating HTML for Foreign.Haskell (html/Foreign.Haskell.html). Generating HTML for Function (html/Function.html). Generating HTML for Function.Bijection (html/Function.Bijection.html). Generating HTML for Function.Equality (html/Function.Equality.html). Generating HTML for Function.Equivalence (html/Function.Equivalence.html). Generating HTML for Function.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.Related (html/Function.Related.html). Generating HTML for Function.Related.TypeIsomorphisms (html/Function.Related.TypeIsomorphisms.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 Irrelevance (html/Irrelevance.html). Generating HTML for Level (html/Level.html). Generating HTML for README (html/README.html). Generating HTML for README.AVL (html/README.AVL.html). Generating HTML for README.Case (html/README.Case.html). Generating HTML for README.Integer (html/README.Integer.html). Generating HTML for README.Nat (html/README.Nat.html). Generating HTML for README.Record (html/README.Record.html). Generating HTML for Record (html/Record.html). Generating HTML for Reflection (html/Reflection.html). Generating HTML for Relation.Binary (html/Relation.Binary.html). Generating HTML for Relation.Binary.Consequences (html/Relation.Binary.Consequences.html). Generating HTML for Relation.Binary.Consequences.Core (html/Relation.Binary.Consequences.Core.html). Generating HTML for Relation.Binary.Core (html/Relation.Binary.Core.html). Generating HTML for Relation.Binary.EqReasoning (html/Relation.Binary.EqReasoning.html). Generating HTML for Relation.Binary.Flip (html/Relation.Binary.Flip.html). Generating HTML for Relation.Binary.HeterogeneousEquality (html/Relation.Binary.HeterogeneousEquality.html). Generating HTML for Relation.Binary.HeterogeneousEquality.Core (html/Relation.Binary.HeterogeneousEquality.Core.html). Generating HTML for Relation.Binary.Indexed (html/Relation.Binary.Indexed.html). Generating HTML for Relation.Binary.Indexed.Core (html/Relation.Binary.Indexed.Core.html). Generating HTML for Relation.Binary.InducedPreorders (html/Relation.Binary.InducedPreorders.html). Generating HTML for Relation.Binary.List.NonStrictLex (html/Relation.Binary.List.NonStrictLex.html). Generating HTML for Relation.Binary.List.Pointwise (html/Relation.Binary.List.Pointwise.html). Generating HTML for Relation.Binary.List.StrictLex (html/Relation.Binary.List.StrictLex.html). Generating HTML for Relation.Binary.NonStrictToStrict (html/Relation.Binary.NonStrictToStrict.html). Generating HTML for Relation.Binary.On (html/Relation.Binary.On.html). Generating HTML for Relation.Binary.OrderMorphism (html/Relation.Binary.OrderMorphism.html). Generating HTML for Relation.Binary.PartialOrderReasoning (html/Relation.Binary.PartialOrderReasoning.html). Generating HTML for Relation.Binary.PreorderReasoning (html/Relation.Binary.PreorderReasoning.html). Generating HTML for Relation.Binary.Product.NonStrictLex (html/Relation.Binary.Product.NonStrictLex.html). Generating HTML for Relation.Binary.Product.Pointwise (html/Relation.Binary.Product.Pointwise.html). Generating HTML for Relation.Binary.Product.StrictLex (html/Relation.Binary.Product.StrictLex.html). Generating HTML for Relation.Binary.Properties.DecTotalOrder (html/Relation.Binary.Properties.DecTotalOrder.html). Generating HTML for Relation.Binary.Properties.Poset (html/Relation.Binary.Properties.Poset.html). Generating HTML for Relation.Binary.Properties.Preorder (html/Relation.Binary.Properties.Preorder.html). Generating HTML for Relation.Binary.Properties.StrictPartialOrder (html/Relation.Binary.Properties.StrictPartialOrder.html). Generating HTML for Relation.Binary.Properties.StrictTotalOrder (html/Relation.Binary.Properties.StrictTotalOrder.html). Generating HTML for Relation.Binary.Properties.TotalOrder (html/Relation.Binary.Properties.TotalOrder.html). Generating HTML for Relation.Binary.PropositionalEquality (html/Relation.Binary.PropositionalEquality.html). Generating HTML for Relation.Binary.PropositionalEquality.Core (html/Relation.Binary.PropositionalEquality.Core.html). Generating HTML for Relation.Binary.PropositionalEquality.TrustMe (html/Relation.Binary.PropositionalEquality.TrustMe.html). Generating HTML for Relation.Binary.Reflection (html/Relation.Binary.Reflection.html). Generating HTML for Relation.Binary.SetoidReasoning (html/Relation.Binary.SetoidReasoning.html). Generating HTML for Relation.Binary.Sigma.Pointwise (html/Relation.Binary.Sigma.Pointwise.html). Generating HTML for Relation.Binary.Simple (html/Relation.Binary.Simple.html). Generating HTML for Relation.Binary.StrictPartialOrderReasoning (html/Relation.Binary.StrictPartialOrderReasoning.html). Generating HTML for Relation.Binary.StrictToNonStrict (html/Relation.Binary.StrictToNonStrict.html). Generating HTML for Relation.Binary.Sum (html/Relation.Binary.Sum.html). Generating HTML for Relation.Binary.Vec.Pointwise (html/Relation.Binary.Vec.Pointwise.html). Generating HTML for Relation.Nullary (html/Relation.Nullary.html). Generating HTML for Relation.Nullary.Core (html/Relation.Nullary.Core.html). Generating HTML for Relation.Nullary.Decidable (html/Relation.Nullary.Decidable.html). Generating HTML for Relation.Nullary.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.PredicateTransformer (html/Relation.Unary.PredicateTransformer.html). Generating HTML for Size (html/Size.html). Generating HTML for Universe (html/Universe.html). + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.HMwMfX + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 ++ dirname /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 + cd agda-stdlib-0.9 + HOME=/builddir/build/BUILD/agda-stdlib-0.9 + cd ffi + '[' -x Setup ']' + ./Setup copy --destdir=/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 -v directory dist/doc/html/agda-lib-ffi does exist: True creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 copy directory 'dist/doc/html/agda-lib-ffi' to '/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2'. creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src Installing dist/doc/html/agda-lib-ffi/agda-lib-ffi.haddock to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.haddock Installing dist/doc/html/agda-lib-ffi/doc-index.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/doc-index.html Installing dist/doc/html/agda-lib-ffi/mini_IO-FFI.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/mini_IO-FFI.html Installing dist/doc/html/agda-lib-ffi/minus.gif to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/minus.gif Installing dist/doc/html/agda-lib-ffi/IO-FFI.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/IO-FFI.html Installing dist/doc/html/agda-lib-ffi/Data-FFI.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/Data-FFI.html Installing dist/doc/html/agda-lib-ffi/haddock-util.js to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/haddock-util.js Installing dist/doc/html/agda-lib-ffi/ocean.css to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/ocean.css Installing dist/doc/html/agda-lib-ffi/agda-lib-ffi.txt to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.txt Installing dist/doc/html/agda-lib-ffi/mini_Data-FFI.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/mini_Data-FFI.html Installing dist/doc/html/agda-lib-ffi/plus.gif to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/plus.gif Installing dist/doc/html/agda-lib-ffi/synopsis.png to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/synopsis.png Installing dist/doc/html/agda-lib-ffi/frames.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/frames.html Installing dist/doc/html/agda-lib-ffi/hslogo-16.png to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/hslogo-16.png Installing dist/doc/html/agda-lib-ffi/index-frames.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/index-frames.html Installing dist/doc/html/agda-lib-ffi/index.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/index.html Installing dist/doc/html/agda-lib-ffi/src/IO-FFI.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/IO-FFI.html Installing dist/doc/html/agda-lib-ffi/src/hscolour.css to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/hscolour.css Installing dist/doc/html/agda-lib-ffi/src/Data-FFI.html to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/src/Data-FFI.html creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 Installing dist/doc/html/agda-lib-ffi/agda-lib-ffi.haddock to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2/agda-lib-ffi.haddock Installing library in /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO Installing dist/build/Data/FFI.hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.hi Installing dist/build/IO/FFI.hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.hi creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO Installing dist/build/Data/FFI.p_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.p_hi Installing dist/build/IO/FFI.p_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.p_hi creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO Installing dist/build/Data/FFI.dyn_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/Data/FFI.dyn_hi Installing dist/build/IO/FFI.dyn_hi to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/IO/FFI.dyn_hi creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 Installing dist/build/libHSagda-lib-ffi-0.0.2.a to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2.a creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 Installing dist/build/libHSagda-lib-ffi-0.0.2_p.a to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2_p.a creating /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 Installing executable dist/build/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so to /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so + '[' -x Setup ']' + ./Setup register --gen-pkg-config Creating package registration file: agda-lib-ffi-0.0.2.conf + install -D --mode=0644 agda-lib-ffi-0.0.2.conf /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/package.conf.d/agda-lib-ffi-0.0.2.conf + rm -f ghc-agda-lib-ffi.files ghc-agda-lib-ffi-devel.files + touch ghc-agda-lib-ffi.files ghc-agda-lib-ffi-devel.files + '[' -d /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 ']' + echo '%dir /usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2' + echo '%attr(755,root,root) /usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2/libHSagda-lib-ffi-0.0.2-ghc7.8.4.so' + echo '/usr/lib64/ghc-7.8.4/package.conf.d/agda-lib-ffi-0.0.2*.conf' + '[' -d /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 ']' + find /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 -mindepth 1 -type d + sed 's/^/%dir /' + find /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/lib64/ghc-7.8.4/agda-lib-ffi-0.0.2 '!' '(' -type d -o -name 'libHS*.so' ')' + '[' -d /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 ']' + echo /usr/share/doc/ghc/html/libraries/agda-lib-ffi-0.0.2 + for i in ghc-agda-lib-ffi.files ghc-agda-lib-ffi-devel.files + '[' -f ghc-agda-lib-ffi.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64!!g' ghc-agda-lib-ffi.files + for i in ghc-agda-lib-ffi.files ghc-agda-lib-ffi-devel.files + '[' -f ghc-agda-lib-ffi-devel.files ']' + sed -i -e 's!/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64!!g' ghc-agda-lib-ffi-devel.files + ./Setup register --inplace In-place registering agda-lib-ffi-0.0.2... + mv ghc-agda-lib-ffi-devel.files ghc-agda-lib-ffi.files .. + cd .. + cat ghc-agda-lib-ffi-devel.files ghc-agda-lib-ffi.files + mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/Agda-stdlib + cp -pr Everything.agda Everything.agdai src/Algebra src/Algebra.agda src/Algebra.agdai src/Category src/Coinduction.agda src/Coinduction.agdai src/Data src/Foreign src/Function src/Function.agda src/Function.agdai src/IO src/IO.agda src/IO.agdai src/Induction src/Induction.agda src/Induction.agdai src/Irrelevance.agda src/Irrelevance.agdai src/Level.agda src/Level.agdai src/Record.agda src/Record.agdai src/Reflection.agda src/Reflection.agdai src/Relation src/Size.agda src/Size.agdai src/Universe.agda src/Universe.agdai /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/Agda-stdlib + /usr/lib/rpm/check-buildroot + /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/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.vfUKmX + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-0.9 + agda -i. -isrc README.agda Checking README (/builddir/build/BUILD/agda-stdlib-0.9/README.agda). Skipping Level (/builddir/build/BUILD/agda-stdlib-0.9/src/Level.agdai). Skipping Function (/builddir/build/BUILD/agda-stdlib-0.9/src/Function.agdai). Skipping Data.Empty (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Empty.agdai). Skipping Relation.Nullary.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Core.agdai). Skipping Relation.Nullary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary.agdai). Skipping Data.Maybe.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Maybe/Core.agdai). Skipping Data.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sum.agdai). Skipping Data.Product (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Product.agdai). Skipping Relation.Binary.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Core.agdai). Skipping Relation.Binary.Consequences.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Consequences/Core.agdai). Skipping Relation.Binary.PropositionalEquality.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/Core.agdai). Skipping Relation.Binary.Consequences (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Consequences.agdai). Skipping Relation.Binary.Indexed.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Indexed/Core.agdai). Skipping Relation.Binary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary.agdai). Skipping Data.Unit.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Unit/Core.agdai). Skipping Relation.Binary.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Indexed.agdai). Skipping Relation.Binary.HeterogeneousEquality.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality/Core.agdai). Skipping Relation.Binary.PreorderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PreorderReasoning.agdai). Skipping Relation.Binary.EqReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/EqReasoning.agdai). Skipping Function.Equality (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Equality.agdai). Skipping Relation.Binary.PropositionalEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality.agdai). Skipping Data.Unit (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Unit.agdai). Skipping Data.Bool (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool.agdai). Skipping Function.Injection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Injection.agdai). Skipping Function.Equivalence (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Equivalence.agdai). Skipping Relation.Nullary.Decidable (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Decidable.agdai). Skipping Relation.Binary.PartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PartialOrderReasoning.agdai). Skipping Data.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat.agdai). Skipping Data.Char.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Char/Core.agdai). Skipping Relation.Binary.On (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/On.agdai). Skipping Algebra.FunctionProperties.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/FunctionProperties/Core.agdai). Skipping Algebra.FunctionProperties (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/FunctionProperties.agdai). Skipping Algebra.Structures (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Structures.agdai). Skipping Data.Fin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin.agdai). Skipping Relation.Unary (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Unary.agdai). Skipping Category.Functor (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Functor.agdai). Skipping Category.Applicative.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative/Indexed.agdai). Skipping Category.Monad.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Indexed.agdai). Skipping Category.Monad (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad.agdai). Skipping Category.Monad.Identity (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Identity.agdai). Skipping Data.Maybe (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Maybe.agdai). Skipping Algebra (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra.agdai). Skipping Data.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List.agdai). Skipping Category.Applicative (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative.agdai). Skipping Data.Vec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec.agdai). Skipping Data.Vec.N-ary (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/N-ary.agdai). Skipping Relation.Binary.Reflection (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Reflection.agdai). Skipping Algebra.Operations (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Operations.agdai). Skipping Algebra.Properties.Group (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Group.agdai). Skipping Algebra.Properties.AbelianGroup (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/AbelianGroup.agdai). Skipping Algebra.Properties.Ring (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Ring.agdai). Skipping Algebra.Morphism (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Morphism.agdai). Skipping Algebra.RingSolver.AlmostCommutativeRing (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/AlmostCommutativeRing.agdai). Skipping Algebra.RingSolver.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Lemmas.agdai). Skipping Algebra.RingSolver (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver.agdai). Skipping Algebra.RingSolver.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Simple.agdai). Skipping Data.Nat.Properties.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Properties/Simple.agdai). Skipping Data.Nat.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Properties.agdai). Skipping Data.String.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/String/Core.agdai). Skipping Relation.Binary.PropositionalEquality.TrustMe (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/PropositionalEquality/TrustMe.agdai). Skipping Data.Char (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Char.agdai). Skipping Coinduction (/builddir/build/BUILD/agda-stdlib-0.9/src/Coinduction.agdai). Skipping Algebra.Properties.Lattice (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/Lattice.agdai). Skipping Algebra.Properties.DistributiveLattice (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/DistributiveLattice.agdai). Skipping Algebra.Properties.BooleanAlgebra (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra.agdai). Skipping Data.Bool.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool/Properties.agdai). Skipping Data.List.NonEmpty (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/NonEmpty.agdai). Skipping Data.BoundedVec.Inefficient (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/BoundedVec/Inefficient.agdai). Skipping Data.Plus (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Plus.agdai). Skipping Data.Fin.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Properties.agdai). Skipping Function.LeftInverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/LeftInverse.agdai). Skipping Function.Surjection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Surjection.agdai). Skipping Function.Bijection (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Bijection.agdai). Skipping Function.Inverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Inverse.agdai). Skipping Data.Vec.Equality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/Equality.agdai). Skipping Relation.Binary.List.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/Pointwise.agdai). Skipping Relation.Binary.InducedPreorders (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/InducedPreorders.agdai). Skipping Function.Related (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Related.agdai). Skipping Data.List.Any (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any.agdai). Skipping Relation.Binary.HeterogeneousEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/HeterogeneousEquality.agdai). Skipping Data.Vec.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Vec/Properties.agdai). Skipping Relation.Binary.Vec.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Vec/Pointwise.agdai). Skipping Algebra.Properties.BooleanAlgebra.Expression (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Properties/BooleanAlgebra/Expression.agdai). Skipping Data.Fin.Subset (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Subset.agdai). Skipping Data.Fin.Subset.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Subset/Properties.agdai). Skipping Data.Fin.Dec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Dec.agdai). Skipping Relation.Nullary.Negation (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Negation.agdai). Skipping Data.Conat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Conat.agdai). Skipping Data.Colist (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Colist.agdai). Skipping Data.Stream (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Stream.agdai). Skipping Relation.Binary.List.StrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/StrictLex.agdai). Skipping Data.String (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/String.agdai). Skipping Induction (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction.agdai). Skipping Induction.WellFounded (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/WellFounded.agdai). Skipping Induction.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/Nat.agdai). Skipping Foreign.Haskell (/builddir/build/BUILD/agda-stdlib-0.9/src/Foreign/Haskell.agdai). Skipping IO.Primitive (/builddir/build/BUILD/agda-stdlib-0.9/src/IO/Primitive.agdai). Skipping IO (/builddir/build/BUILD/agda-stdlib-0.9/src/IO.agdai). Skipping README.Nat (/builddir/build/BUILD/agda-stdlib-0.9/README/Nat.agdai). Skipping Data.Sign (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sign.agdai). Skipping Data.Nat.DivMod (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/DivMod.agdai). Skipping Data.Digit (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Digit.agdai). Skipping Data.Nat.Show (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Show.agdai). Skipping Data.Integer (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer.agdai). Skipping Data.Integer.Multiplication.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Multiplication/Properties.agdai). Skipping Data.Sign.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Sign/Properties.agdai). Skipping Data.Integer.Addition.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Addition/Properties.agdai). Skipping Data.Integer.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Properties.agdai). Skipping README.Integer (/builddir/build/BUILD/agda-stdlib-0.9/README/Integer.agdai). Skipping Data.DifferenceList (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceList.agdai). Skipping Data.AVL (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL.agdai). Skipping Data.AVL.Sets (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL/Sets.agdai). Skipping Data.AVL.IndexedMap (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/AVL/IndexedMap.agdai). Skipping README.AVL (/builddir/build/BUILD/agda-stdlib-0.9/README/AVL.agdai). Skipping Record (/builddir/build/BUILD/agda-stdlib-0.9/src/Record.agdai). Skipping README.Record (/builddir/build/BUILD/agda-stdlib-0.9/README/Record.agdai). Skipping README.Case (/builddir/build/BUILD/agda-stdlib-0.9/README/Case.agdai). Skipping Algebra.RingSolver.Natural-coefficients (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/RingSolver/Natural-coefficients.agdai). Skipping Relation.Binary.StrictToNonStrict (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/StrictToNonStrict.agdai). Skipping Relation.Binary.Properties.StrictPartialOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictPartialOrder.agdai). Skipping Relation.Binary.NonStrictToStrict (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/NonStrictToStrict.agdai). Skipping Relation.Nullary.Product (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Product.agdai). Skipping Relation.Binary.Product.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/Pointwise.agdai). Skipping Relation.Nullary.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Sum.agdai). Skipping Relation.Binary.Product.StrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/StrictLex.agdai). Skipping Relation.Binary.Product.NonStrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Product/NonStrictLex.agdai). Skipping Category.Monad.Partiality (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Partiality.agdai). Skipping Category.Monad.Partiality.All (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Partiality/All.agdai). Skipping Relation.Binary.Simple (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Simple.agdai). Skipping Data.Star (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star.agdai). Skipping Data.Star.Nat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Nat.agdai). Skipping Data.Star.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/List.agdai). Skipping Data.Star.Decoration (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Decoration.agdai). Skipping Data.Star.Pointer (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Pointer.agdai). Skipping Data.Star.BoundedVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/BoundedVec.agdai). Skipping Relation.Unary.PredicateTransformer (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Unary/PredicateTransformer.agdai). Skipping Category.Monad.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Predicate.agdai). Skipping Data.Star.Fin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Fin.agdai). Skipping Data.Star.Vec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Vec.agdai). Skipping Data.Nat.InfinitelyOften (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/InfinitelyOften.agdai). Skipping Algebra.Monoid-solver (/builddir/build/BUILD/agda-stdlib-0.9/src/Algebra/Monoid-solver.agdai). Skipping Data.List.All (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/All.agdai). Skipping Data.List.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Properties.agdai). Skipping Relation.Binary.Sigma.Pointwise (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Sigma/Pointwise.agdai). Skipping Data.M (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/M.agdai). Skipping Data.W (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/W.agdai). Skipping Data.Container (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container.agdai). Skipping Data.Container.Combinator (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Combinator.agdai). Skipping Data.Container.FreeMonad (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/FreeMonad.agdai). Skipping Relation.Binary.Sum (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Sum.agdai). Skipping Function.Related.TypeIsomorphisms (/builddir/build/BUILD/agda-stdlib-0.9/src/Function/Related/TypeIsomorphisms.agdai). Skipping Data.Colist.Infinite-merge (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Colist/Infinite-merge.agdai). Skipping Data.Container.Any (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Any.agdai). Skipping Data.List.Countdown (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Countdown.agdai). Skipping Relation.Binary.Properties.Poset (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/Poset.agdai). Skipping Data.ReflexiveClosure (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/ReflexiveClosure.agdai). Skipping Data.Float (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Float.agdai). Skipping Data.Container.Indexed.Core (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/Core.agdai). Skipping Data.M.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/M/Indexed.agdai). Skipping Data.W.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/W/Indexed.agdai). Skipping Data.Container.Indexed (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed.agdai). Skipping Data.Container.Indexed.Combinator (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/Combinator.agdai). Skipping Data.Container.Indexed.FreeMonad (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Container/Indexed/FreeMonad.agdai). Skipping Data.Nat.GCD.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/GCD/Lemmas.agdai). Skipping Data.Nat.Divisibility (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Divisibility.agdai). Skipping Induction.Lexicographic (/builddir/build/BUILD/agda-stdlib-0.9/src/Induction/Lexicographic.agdai). Skipping Data.Nat.GCD (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/GCD.agdai). Skipping Data.Nat.Primality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Primality.agdai). Skipping Data.Nat.Coprimality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/Coprimality.agdai). Skipping Data.List.Any.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/Properties.agdai). Skipping Data.List.Any.BagAndSetEquality (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/BagAndSetEquality.agdai). Skipping Data.Fin.Substitution (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution.agdai). Skipping Data.Fin.Substitution.Lemmas (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/Lemmas.agdai). Skipping Data.Fin.Substitution.Example (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/Example.agdai). Skipping Data.Star.Environment (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Environment.agdai). Skipping Data.List.NonEmpty.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/NonEmpty/Properties.agdai). Skipping Relation.Binary.Properties.StrictTotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/StrictTotalOrder.agdai). Skipping Data.Integer.Divisibility (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Integer/Divisibility.agdai). Skipping Data.Rational (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Rational.agdai). Skipping Data.Product.N-ary (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Product/N-ary.agdai). Skipping Relation.Binary.OrderMorphism (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/OrderMorphism.agdai). Skipping Data.Cofin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Cofin.agdai). Skipping Data.BoundedVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/BoundedVec.agdai). Skipping Relation.Nullary.Implication (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Implication.agdai). Skipping Data.DifferenceNat (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceNat.agdai). Skipping Data.DifferenceVec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/DifferenceVec.agdai). Skipping Data.Graph.Acyclic (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Graph/Acyclic.agdai). Skipping Data.Nat.LCM (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Nat/LCM.agdai). Skipping Relation.Binary.Properties.DecTotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/DecTotalOrder.agdai). Skipping Data.List.Any.Membership (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Any/Membership.agdai). Skipping Category.Monad.Continuation (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/Continuation.agdai). Skipping Category.Functor.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Functor/Predicate.agdai). Skipping Data.Bool.Show (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bool/Show.agdai). Skipping Relation.Binary.SetoidReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/SetoidReasoning.agdai). Skipping Relation.Binary.Flip (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Flip.agdai). Skipping Data.Star.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Star/Properties.agdai). Skipping Relation.Nullary.Universe (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Nullary/Universe.agdai). Skipping Irrelevance (/builddir/build/BUILD/agda-stdlib-0.9/src/Irrelevance.agdai). Skipping Data.Covec (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Covec.agdai). Skipping Relation.Binary.List.NonStrictLex (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/List/NonStrictLex.agdai). Skipping Relation.Binary.StrictPartialOrderReasoning (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/StrictPartialOrderReasoning.agdai). Skipping Category.Applicative.Predicate (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Applicative/Predicate.agdai). Skipping Data.List.Reverse (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/Reverse.agdai). Skipping Universe (/builddir/build/BUILD/agda-stdlib-0.9/src/Universe.agdai). Skipping Data.Fin.Substitution.List (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Fin/Substitution/List.agdai). Skipping Reflection (/builddir/build/BUILD/agda-stdlib-0.9/src/Reflection.agdai). Skipping Relation.Binary.Properties.Preorder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/Preorder.agdai). Skipping Data.Bin (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/Bin.agdai). Skipping Data.List.All.Properties (/builddir/build/BUILD/agda-stdlib-0.9/src/Data/List/All/Properties.agdai). Skipping Category.Monad.State (/builddir/build/BUILD/agda-stdlib-0.9/src/Category/Monad/State.agdai). Skipping Relation.Binary.Properties.TotalOrder (/builddir/build/BUILD/agda-stdlib-0.9/src/Relation/Binary/Properties/TotalOrder.agdai). Skipping Size (/builddir/build/BUILD/agda-stdlib-0.9/src/Size.agdai). Skipping Everything (/builddir/build/BUILD/agda-stdlib-0.9/Everything.agdai). Finished README. + rm README.agdai README/AVL.agdai README/Case.agdai README/Integer.agdai README/Nat.agdai README/Record.agdai + exit 0 Processing files: Agda-stdlib-0.9-1.fc22.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.kqBByk + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-0.9 + DOCDIR=/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib + cp -pr CHANGELOG /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib + cp -pr LICENCE /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib + cp -pr README README.agda README.md /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib + exit 0 Provides: Agda-stdlib = 0.9-1.fc22 Agda-stdlib(x86-64) = 0.9-1.fc22 ghc(agda-lib-ffi-0.0.2-58853ecfb074a66b1defd29824319290) ghc-devel(agda-lib-ffi-0.0.2-58853ecfb074a66b1defd29824319290) libHSagda-lib-ffi-0.0.2-ghc7.8.4.so()(64bit) Requires(interp): /bin/sh /bin/sh Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires(post): /bin/sh Requires(postun): /bin/sh Requires: ghc(agda-lib-ffi-0.0.2-58853ecfb074a66b1defd29824319290) ghc(base-4.7.0.2-cb23b5265b6e147094c0cd9ac819acb1) ghc-devel(base-4.7.0.2-cb23b5265b6e147094c0cd9ac819acb1) libHSbase-4.7.0.2-ghc7.8.4.so()(64bit) libHSghc-prim-0.3.1.0-ghc7.8.4.so()(64bit) libHSinteger-gmp-0.5.1.0-ghc7.8.4.so()(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libgmp.so.10()(64bit) rtld(GNU_HASH) Obsoletes: ghc-agda-lib-ffi < 0.0.2-6 ghc-agda-lib-ffi-devel < 0.0.2-6 Processing files: Agda-stdlib-docs-0.9-1.fc22.noarch Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.yAcUkL + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-0.9 + DOCDIR=/builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib-docs + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib-docs + cp -pr LICENCE /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib-docs + cp -pr html /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64/usr/share/doc/Agda-stdlib-docs + exit 0 Provides: Agda-stdlib-docs = 0.9-1.fc22 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-0.9-1.fc22.x86_64 Wrote: /builddir/build/RPMS/Agda-stdlib-0.9-1.fc22.x86_64.rpm Wrote: /builddir/build/RPMS/Agda-stdlib-docs-0.9-1.fc22.noarch.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.e1keyt + umask 022 + cd /builddir/build/BUILD + cd agda-stdlib-0.9 + /usr/bin/rm -rf /builddir/build/BUILDROOT/Agda-stdlib-0.9-1.fc22.x86_64 + exit 0 Child return code was: 0 LEAVE do -->