starting phase `separate-from-pid1'
build process now running as PID 10
phase `separate-from-pid1' succeeded after 0.0 seconds
starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/1f3ph0mbicgbs3inwsv2sjp383f6bk2d-agda-2.7.0.1/bin:/gnu/store/krkr21bnvad9kq72q0v4kphar19ywp3r-ghc-9.2.8/bin:/gnu/store/j5zgzgsmbjgywr67r86h1n6s4qiabv5q-tar-1.34/bin:/gnu/store/0r2fx1lr1h2i3cl1x5fw4s4ly95qspya-gzip-1.13/bin:/gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/bin:/gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/bin:/gnu/store/swmflx2bmqpf0drm167pxfpgyr7ckcam-diffutils-3.10/bin:/gnu/store/4jhlsg65s1zx90gnnfmaax52i8prnl45-patch-2.7.6/bin:/gnu/store/b5c62i99dsfa5j0j3f8g2j1xdi6fih22-findutils-4.9.0/bin:/gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/bin:/gnu/store/3f0fjq25n2kwcmi0zyrf216wa6g8xpjw-zstd-1.5.2/bin:/gnu/store/3i4fr8riqw9azh1p4mqggl5vdz23kyr8-sed-4.8/bin:/gnu/store/7k8b93779dqpwcg2qjdvnf4nl43jv7hf-grep-3.11/bin:/gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/bin:/gnu/store/7h0mnlwalw23j9jmvz5n1i5mqkgb4d06-coreutils-9.1/bin:/gnu/store/lc6r1mh0jlcwixjziiw1zsx1my478rv1-make-4.4.1/bin:/gnu/store/3jhfhxdf6v5ms10x5zmnl166dh3yhbr1-bash-minimal-5.1.16/bin:/gnu/store/3k6lyifyg024lk3gncsgf2gzjzvc70gv-ld-wrapper-0/bin:/gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/bin:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/bin:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/bin:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/sbin'
environment variable `AGDA_LIBDIRS' unset
find-files: /gnu/store/j5zgzgsmbjgywr67r86h1n6s4qiabv5q-tar-1.34/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/0r2fx1lr1h2i3cl1x5fw4s4ly95qspya-gzip-1.13/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/swmflx2bmqpf0drm167pxfpgyr7ckcam-diffutils-3.10/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/4jhlsg65s1zx90gnnfmaax52i8prnl45-patch-2.7.6/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/b5c62i99dsfa5j0j3f8g2j1xdi6fih22-findutils-4.9.0/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/3f0fjq25n2kwcmi0zyrf216wa6g8xpjw-zstd-1.5.2/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/3i4fr8riqw9azh1p4mqggl5vdz23kyr8-sed-4.8/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/7k8b93779dqpwcg2qjdvnf4nl43jv7hf-grep-3.11/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/7h0mnlwalw23j9jmvz5n1i5mqkgb4d06-coreutils-9.1/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/lc6r1mh0jlcwixjziiw1zsx1my478rv1-make-4.4.1/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/3jhfhxdf6v5ms10x5zmnl166dh3yhbr1-bash-minimal-5.1.16/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/3k6lyifyg024lk3gncsgf2gzjzvc70gv-ld-wrapper-0/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/vqdiyyqbrv4akp68pfya4j6m3pdbnhca-glibc-2.39-static/lib/ghc-9.2.8: No such file or directory
find-files: /gnu/store/svghsdn1x3fyili8ij791nn25zba9bpf-linux-libre-headers-5.15.49/lib/ghc-9.2.8: No such file or directory
environment variable `GHC_PACKAGE_PATH' set to `/gnu/store/1f3ph0mbicgbs3inwsv2sjp383f6bk2d-agda-2.7.0.1/lib/ghc-9.2.8/agda-2.7.0.1.conf.d:/gnu/store/krkr21bnvad9kq72q0v4kphar19ywp3r-ghc-9.2.8/lib/ghc-9.2.8/package.conf.d'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/include:/gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/include:/gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/include:/gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/include:/gnu/store/lc6r1mh0jlcwixjziiw1zsx1my478rv1-make-4.4.1/include:/gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/include:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/include:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/include:/gnu/store/svghsdn1x3fyili8ij791nn25zba9bpf-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/include:/gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/include:/gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/include:/gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/include:/gnu/store/lc6r1mh0jlcwixjziiw1zsx1my478rv1-make-4.4.1/include:/gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/include:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/include/c++:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/include:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/include:/gnu/store/svghsdn1x3fyili8ij791nn25zba9bpf-linux-libre-headers-5.15.49/include'
environment variable `OBJC_INCLUDE_PATH' set to `/gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/include:/gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/include:/gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/include:/gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/include:/gnu/store/lc6r1mh0jlcwixjziiw1zsx1my478rv1-make-4.4.1/include:/gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/include:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/include:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/include:/gnu/store/svghsdn1x3fyili8ij791nn25zba9bpf-linux-libre-headers-5.15.49/include'
environment variable `OBJCPLUS_INCLUDE_PATH' set to `/gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/include:/gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/include:/gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/include:/gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/include:/gnu/store/lc6r1mh0jlcwixjziiw1zsx1my478rv1-make-4.4.1/include:/gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/include:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/include/c++:/gnu/store/86fc8bi3mciljxz7c79jx8zr4wsx7xw8-gcc-11.4.0/include:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/include:/gnu/store/svghsdn1x3fyili8ij791nn25zba9bpf-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/1f3ph0mbicgbs3inwsv2sjp383f6bk2d-agda-2.7.0.1/lib:/gnu/store/krkr21bnvad9kq72q0v4kphar19ywp3r-ghc-9.2.8/lib:/gnu/store/56aq6sdx35f7rsxq8jq9ypafk0dhd3p3-bzip2-1.0.8/lib:/gnu/store/544ga5n6nq8y2961ihigra6n6a0r99nn-file-5.45/lib:/gnu/store/vrl2r0ps24k1a6yap2chjylv5rhbndvr-gawk-5.3.0/lib:/gnu/store/fbaw0sb21gv02qq7gs9wg5y5wlpdgzih-xz-5.4.5/lib:/gnu/store/ylgkrq9j1gyfig2y66srmgsbyh9w20d9-binutils-2.41/lib:/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/lib:/gnu/store/vqdiyyqbrv4akp68pfya4j6m3pdbnhca-glibc-2.39-static/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/zvlp3n8iwa1svxmwv4q22pv1pb1c9pjq-glibc-2.39/lib/locale'
environment variable `TZDIR' unset
phase `set-paths' succeeded after 0.1 seconds
starting phase `set-locpath'
phase `set-locpath' succeeded after 0.0 seconds
starting phase `install-locale'
using 'C.UTF-8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-thms2.agda' -> `./bool-thms2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/error.agda' -> `./error.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-division.agda' -> `./nat-division.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/product.agda' -> `./product.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/eq.agda' -> `./eq.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/functions.agda' -> `./functions.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/thms.agda' -> `./thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/lib-safe.agda' -> `./lib-safe.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-division-wf.agda' -> `./nat-division-wf.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/neq.agda' -> `./neq.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/tree-io-example.agda' -> `./tree-io-example.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bst.agda' -> `./bst.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-kleene.agda' -> `./bool-kleene.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-simplifier.agda' -> `./list-simplifier.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/braun-tree.agda' -> `./braun-tree.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-thms.agda' -> `./trie-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat.agda' -> `./nat.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-division-basic.agda' -> `./nat-division-basic.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/datatypes.agda' -> `./datatypes.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-core.agda' -> `./trie-core.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector-test.agda' -> `./vector-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/tree-test.agda' -> `./tree-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/unit.agda' -> `./unit.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string-format.agda' -> `./string-format.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-to-string.agda' -> `./bool-to-string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/combinators.agda' -> `./combinators.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/README.txt' -> `./README.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/sum.agda' -> `./sum.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/tree.agda' -> `./tree.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/datatypes-safe.agda' -> `./datatypes-safe.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/lib.agda' -> `./lib.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string-thms.agda' -> `./string-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-relations.agda' -> `./bool-relations.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-thms2.agda' -> `./list-thms2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/sum-thms.agda' -> `./sum-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector-sort.agda' -> `./vector-sort.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string-format-issue.agda' -> `./string-format-issue.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/empty.agda' -> `./empty.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list.agda' -> `./list.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-mod.agda' -> `./nat-mod.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/neg-datatype-nonterm.agda' -> `./neg-datatype-nonterm.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-to-string.agda' -> `./list-to-string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/ial.agda-lib' -> `./ial.agda-lib'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector.agda' -> `./vector.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/string.agda' -> `./string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-log.agda' -> `./nat-log.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/io-test.agda' -> `./io-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-merge-sort2.agda' -> `./list-merge-sort2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/hello-world.txt' -> `./hello-world.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/level.agda' -> `./level.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/integer.agda' -> `./integer.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-merge-sort-test.agda' -> `./list-merge-sort-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/vector-test-ctors.agda' -> `./vector-test-ctors.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/relations.agda' -> `./relations.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/product-thms.agda' -> `./product-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/LICENSE.txt' -> `./LICENSE.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie.agda' -> `./trie.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-functions.agda' -> `./trie-functions.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool.agda' -> `./bool.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/kripke-semantics.agda' -> `./kripke-semantics.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/find-deps.sh' -> `./find-deps.sh'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-test.agda' -> `./list-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-thms.agda' -> `./bool-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/grammar.agda' -> `./grammar.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/termination.agda' -> `./termination.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/everything.agda' -> `./everything.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/.agda-lib' -> `./.agda-lib'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/trie-fast.agda' -> `./trie-fast.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-nonzero.agda' -> `./nat-nonzero.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/braun-tree-test.agda' -> `./braun-tree-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/maybe-thms.agda' -> `./maybe-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/char.agda' -> `./char.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-merge-sort.agda' -> `./list-merge-sort.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/io.agda' -> `./io.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/negation.agda' -> `./negation.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/closures.agda' -> `./closures.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/logic.agda' -> `./logic.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/maybe.agda' -> `./maybe.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-thms.agda' -> `./list-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-tests.agda' -> `./nat-tests.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/runtime-only.agda' -> `./runtime-only.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/type-level.agda' -> `./type-level.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/io-test2.agda' -> `./io-test2.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/bool-test.agda' -> `./bool-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/minmax.agda' -> `./minmax.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-to-string.agda' -> `./nat-to-string.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-log-test.agda' -> `./nat-log-test.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/Makefile' -> `./Makefile'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/list-zipWith.agda' -> `./list-zipWith.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/int.agda' -> `./int.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/nat-thms.agda' -> `./nat-thms.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3.huff' -> `./huffman/test3.huff'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman.agda' -> `./huffman/huffman.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1.txt' -> `./huffman/test1.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3-mapping.txt' -> `./huffman/test3-mapping.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2.huff' -> `./huffman/test2.huff'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2.txt' -> `./huffman/test2.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman-types.agda' -> `./huffman/huffman-types.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2-mapping.txt' -> `./huffman/test2-mapping.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/main.agda' -> `./huffman/main.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3.gv' -> `./huffman/test3.gv'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman-main.agda' -> `./huffman/huffman-main.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1.gv' -> `./huffman/test1.gv'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3-frequencies.txt' -> `./huffman/test3-frequencies.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman.gr' -> `./huffman/huffman.gr'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1.huff' -> `./huffman/test1.huff'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1-mapping.txt' -> `./huffman/test1-mapping.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1-decoded.txt' -> `./huffman/test1-decoded.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test1-frequencies.txt' -> `./huffman/test1-frequencies.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3-decoded.txt' -> `./huffman/test3-decoded.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2.gv' -> `./huffman/test2.gv'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test3.txt' -> `./huffman/test3.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2-frequencies.txt' -> `./huffman/test2-frequencies.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/test2-decoded.txt' -> `./huffman/test2-decoded.txt'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/Makefile' -> `./huffman/Makefile'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/huffman/huffman-tree.agda' -> `./huffman/huffman-tree.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/cruft/int-tests.agda' -> `./cruft/int-tests.agda'
`/gnu/store/wi698zplq48i73x4rj1x45s9cgc4qfkd-agda-ial-1.5.0-1.ded30c4-checkout/cruft/int.agda' -> `./cruft/int.agda'
phase `unpack' succeeded after 0.0 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./find-deps.sh: changing `/bin/bash' to `/gnu/store/3jhfhxdf6v5ms10x5zmnl166dh3yhbr1-bash-minimal-5.1.16/bin/bash'
phase `patch-source-shebangs' succeeded after 0.0 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `patch-dependencies'
phase `patch-dependencies' succeeded after 0.0 seconds
starting phase `build'
agda  -v 0 level.agda
agda  -v 0 bool.agda
agda  -v 0 eq.agda
agda  -v 0 bool-test.agda
agda  -v 0 maybe.agda
agda  -v 0 product.agda
agda  -v 0 sum.agda
agda  -v 0 bool-thms.agda
agda  -v 0 bool-thms2.agda
agda  -v 0 bool-kleene.agda
agda  -v 0 nat.agda
agda  -v 0 unit.agda
agda  -v 0 functions.agda
agda  -v 0 product-thms.agda
agda  -v 0 char.agda
agda  -v 0 empty.agda
agda  -v 0 list.agda
agda  -v 0 string.agda
agda  -v 0 bool-to-string.agda
agda  -v 0 negation.agda
agda  -v 0 neq.agda
agda  -v 0 nat-thms.agda
agda  -v 0 braun-tree.agda
agda  -v 0 braun-tree-test.agda
agda  -v 0 bool-relations.agda
agda  -v 0 minmax.agda
agda  -v 0 bst.agda
agda  -v 0 logic.agda
agda  -v 0 list-thms.agda
agda  -v 0 relations.agda
agda  -v 0 termination.agda
agda  -v 0 combinators.agda
agda  -v 0 int.agda
agda  -v 0 integer.agda
agda  -v 0 list-to-string.agda
agda  -v 0 nat-division.agda
agda  -v 0 nat-to-string.agda
agda  -v 0 nat-log.agda
agda  -v 0 tree.agda
agda  -v 0 trie-core.agda
agda  -v 0 trie-functions.agda
agda  -v 0 trie.agda
agda  -v 0 vector.agda
agda  -v 0 datatypes.agda
agda  -v 0 io.agda
agda  -v 0 io-test.agda
agda  -v 0 io-test2.agda
agda  -v 0 list-test.agda
agda  -v 0 list-thms2.agda
agda  -v 0 list-merge-sort.agda
agda  -v 0 list-merge-sort-test.agda
agda  -v 0 maybe-thms.agda
agda  -v 0 nat-division-wf.agda
agda  -v 0 nat-division-basic.agda
agda  -v 0 nat-tests.agda
agda  -v 0 nat-nonzero.agda
agda  -v 0 runtime-only.agda
agda  -v 0 string-format.agda
agda  -v 0 sum-thms.agda
agda  -v 0 tree-test.agda
agda  -v 0 trie-thms.agda
agda  -v 0 vector-test.agda
agda  -v 0 vector-sort.agda
phase `build' succeeded after 23.2 seconds
starting phase `install'
`_build/2.7.0.1/agda/minmax.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/minmax.agdai'
`_build/2.7.0.1/agda/maybe-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/maybe-thms.agdai'
`_build/2.7.0.1/agda/functions.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/functions.agdai'
`_build/2.7.0.1/agda/tree.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/tree.agdai'
`_build/2.7.0.1/agda/bool.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool.agdai'
`_build/2.7.0.1/agda/io-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/io-test.agdai'
`_build/2.7.0.1/agda/braun-tree.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/braun-tree.agdai'
`_build/2.7.0.1/agda/level.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/level.agdai'
`_build/2.7.0.1/agda/list-to-string.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list-to-string.agdai'
`_build/2.7.0.1/agda/bool-to-string.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool-to-string.agdai'
`_build/2.7.0.1/agda/bool-thms2.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool-thms2.agdai'
`_build/2.7.0.1/agda/trie-functions.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/trie-functions.agdai'
`_build/2.7.0.1/agda/vector-sort.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/vector-sort.agdai'
`_build/2.7.0.1/agda/list-thms2.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list-thms2.agdai'
`_build/2.7.0.1/agda/nat-nonzero.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-nonzero.agdai'
`_build/2.7.0.1/agda/eq.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/eq.agdai'
`_build/2.7.0.1/agda/runtime-only.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/runtime-only.agdai'
`_build/2.7.0.1/agda/nat-division-basic.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-division-basic.agdai'
`_build/2.7.0.1/agda/nat-tests.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-tests.agdai'
`_build/2.7.0.1/agda/nat-log.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-log.agdai'
`_build/2.7.0.1/agda/vector.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/vector.agdai'
`_build/2.7.0.1/agda/trie-core.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/trie-core.agdai'
`_build/2.7.0.1/agda/string.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/string.agdai'
`_build/2.7.0.1/agda/logic.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/logic.agdai'
`_build/2.7.0.1/agda/trie.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/trie.agdai'
`_build/2.7.0.1/agda/nat-division.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-division.agdai'
`_build/2.7.0.1/agda/relations.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/relations.agdai'
`_build/2.7.0.1/agda/maybe.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/maybe.agdai'
`_build/2.7.0.1/agda/io-test2.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/io-test2.agdai'
`_build/2.7.0.1/agda/bool-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool-test.agdai'
`_build/2.7.0.1/agda/neq.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/neq.agdai'
`_build/2.7.0.1/agda/list-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list-test.agdai'
`_build/2.7.0.1/agda/termination.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/termination.agdai'
`_build/2.7.0.1/agda/nat.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat.agdai'
`_build/2.7.0.1/agda/bool-kleene.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool-kleene.agdai'
`_build/2.7.0.1/agda/list-merge-sort.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list-merge-sort.agdai'
`_build/2.7.0.1/agda/list-merge-sort-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list-merge-sort-test.agdai'
`_build/2.7.0.1/agda/nat-division-wf.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-division-wf.agdai'
`_build/2.7.0.1/agda/closures.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/closures.agdai'
`_build/2.7.0.1/agda/vector-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/vector-test.agdai'
`_build/2.7.0.1/agda/tree-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/tree-test.agdai'
`_build/2.7.0.1/agda/empty.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/empty.agdai'
`_build/2.7.0.1/agda/bst.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bst.agdai'
`_build/2.7.0.1/agda/nat-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-thms.agdai'
`_build/2.7.0.1/agda/string-format.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/string-format.agdai'
`_build/2.7.0.1/agda/unit.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/unit.agdai'
`_build/2.7.0.1/agda/integer.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/integer.agdai'
`_build/2.7.0.1/agda/bool-relations.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool-relations.agdai'
`_build/2.7.0.1/agda/trie-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/trie-thms.agdai'
`_build/2.7.0.1/agda/negation.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/negation.agdai'
`_build/2.7.0.1/agda/product-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/product-thms.agdai'
`_build/2.7.0.1/agda/combinators.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/combinators.agdai'
`_build/2.7.0.1/agda/product.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/product.agdai'
`_build/2.7.0.1/agda/io.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/io.agdai'
`_build/2.7.0.1/agda/sum-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/sum-thms.agdai'
`_build/2.7.0.1/agda/braun-tree-test.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/braun-tree-test.agdai'
`_build/2.7.0.1/agda/int.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/int.agdai'
`_build/2.7.0.1/agda/nat-to-string.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/nat-to-string.agdai'
`_build/2.7.0.1/agda/bool-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/bool-thms.agdai'
`_build/2.7.0.1/agda/list.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list.agdai'
`_build/2.7.0.1/agda/list-thms.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/list-thms.agdai'
`_build/2.7.0.1/agda/datatypes.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/datatypes.agdai'
`_build/2.7.0.1/agda/char.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/char.agdai'
`_build/2.7.0.1/agda/sum.agdai' -> `/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib/agda/agda-ial-1.5.0-1.ded30c4/_build/2.7.0.1/agda/sum.agdai'
phase `install' succeeded after 0.0 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
stripping binaries in "/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives")
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
validating RUNPATH of 0 binaries in "/gnu/store/dlqvcb5vnnp4jnv93c8v1hcy1lb316sb-agda-ial-1.5.0-1.ded30c4/lib"...
phase `validate-runpath' succeeded after 0.0 seconds
starting phase `validate-documentation-location'
phase `validate-documentation-location' succeeded after 0.0 seconds
starting phase `delete-info-dir-file'
phase `delete-info-dir-file' succeeded after 0.0 seconds
starting phase `patch-dot-desktop-files'
phase `patch-dot-desktop-files' succeeded after 0.0 seconds
starting phase `make-dynamic-linker-cache'
phase `make-dynamic-linker-cache' succeeded after 0.0 seconds
starting phase `install-license-files'
installing 1 license files from '.'
phase `install-license-files' succeeded after 0.0 seconds
starting phase `reset-gzip-timestamps'
phase `reset-gzip-timestamps' succeeded after 0.0 seconds
starting phase `compress-documentation'
phase `compress-documentation' succeeded after 0.0 seconds