WARNING: (guile-user): imported module (guix build utils) overrides core binding `delete'
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/yhcgbq1m1zwqqg83s01bqnirf77f6yfw-agda-2.6.0.1/bin:/gnu/store/gww59gv5qxbfijg3vk5y182im7923s06-tar-1.32/bin:/gnu/store/2ayciqwxddkzq183dac82ijljc14j4zj-gzip-1.10/bin:/gnu/store/n1jk0w2wa4vpwmixaqn2y3la1l2sizzi-bzip2-1.0.8/bin:/gnu/store/7p36raqgk6vn47bflxc9bsclqiib3phi-xz-5.2.4/bin:/gnu/store/lpkf3ydcdvxn8gcrzaq9cp3ri05h8qhs-file-5.38/bin:/gnu/store/6gqaw09zqw8w0vcax6simlq71bq7l5r0-diffutils-3.7/bin:/gnu/store/qw20chpgkgbcqmzhs60c8hjl1hmblyc8-patch-2.7.6/bin:/gnu/store/b5y5scfmh2d8kxcpl9p84294z2198cgf-findutils-4.7.0/bin:/gnu/store/9iwlsj7d6ffqhshy8qshf7p4fqwfwrvn-gawk-5.0.1/bin:/gnu/store/q1nfjb24vqjs1cgi8mlnskw34h16y09r-sed-4.8/bin:/gnu/store/4qr6mcvsxyzknxa7x1wny8x30f5i0r3n-grep-3.4/bin:/gnu/store/2v61vg0bizgrhybkqbrki2k7kr094waz-coreutils-8.32/bin:/gnu/store/b7jbh7kzzig0bxfswdj8nfj9bkljyyya-make-4.3/bin:/gnu/store/v1g7f3p4f0851mywrla8qmr9hb8jgfjr-bash-minimal-5.0.16/bin:/gnu/store/dyqxnydqk1810afjfbqzfvh0n83xyl62-ld-wrapper-0/bin:/gnu/store/50lyzn9bz6x4da66648kry29wn8afird-binutils-2.34/bin:/gnu/store/afpgzln8860m6yfhxy6i8n9rywbp85cy-gcc-7.5.0/bin:/gnu/store/z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31/bin:/gnu/store/z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31/sbin'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/n1jk0w2wa4vpwmixaqn2y3la1l2sizzi-bzip2-1.0.8/include:/gnu/store/7p36raqgk6vn47bflxc9bsclqiib3phi-xz-5.2.4/include:/gnu/store/lpkf3ydcdvxn8gcrzaq9cp3ri05h8qhs-file-5.38/include:/gnu/store/9iwlsj7d6ffqhshy8qshf7p4fqwfwrvn-gawk-5.0.1/include:/gnu/store/b7jbh7kzzig0bxfswdj8nfj9bkljyyya-make-4.3/include:/gnu/store/50lyzn9bz6x4da66648kry29wn8afird-binutils-2.34/include:/gnu/store/afpgzln8860m6yfhxy6i8n9rywbp85cy-gcc-7.5.0/include:/gnu/store/z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31/include:/gnu/store/hk7l42fwxmnrnlhyiixvaqf1i1crcckp-linux-libre-headers-5.4.20/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/n1jk0w2wa4vpwmixaqn2y3la1l2sizzi-bzip2-1.0.8/include:/gnu/store/7p36raqgk6vn47bflxc9bsclqiib3phi-xz-5.2.4/include:/gnu/store/lpkf3ydcdvxn8gcrzaq9cp3ri05h8qhs-file-5.38/include:/gnu/store/9iwlsj7d6ffqhshy8qshf7p4fqwfwrvn-gawk-5.0.1/include:/gnu/store/b7jbh7kzzig0bxfswdj8nfj9bkljyyya-make-4.3/include:/gnu/store/50lyzn9bz6x4da66648kry29wn8afird-binutils-2.34/include:/gnu/store/afpgzln8860m6yfhxy6i8n9rywbp85cy-gcc-7.5.0/include/c++:/gnu/store/afpgzln8860m6yfhxy6i8n9rywbp85cy-gcc-7.5.0/include:/gnu/store/z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31/include:/gnu/store/hk7l42fwxmnrnlhyiixvaqf1i1crcckp-linux-libre-headers-5.4.20/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/yhcgbq1m1zwqqg83s01bqnirf77f6yfw-agda-2.6.0.1/lib:/gnu/store/n1jk0w2wa4vpwmixaqn2y3la1l2sizzi-bzip2-1.0.8/lib:/gnu/store/7p36raqgk6vn47bflxc9bsclqiib3phi-xz-5.2.4/lib:/gnu/store/lpkf3ydcdvxn8gcrzaq9cp3ri05h8qhs-file-5.38/lib:/gnu/store/9iwlsj7d6ffqhshy8qshf7p4fqwfwrvn-gawk-5.0.1/lib:/gnu/store/50lyzn9bz6x4da66648kry29wn8afird-binutils-2.34/lib:/gnu/store/z4li262il798hbl0l1h1k3a5g7r6bffa-glibc-2.31/lib:/gnu/store/rzk3v28mhi4m7sh0qippp9a5rzy03rkg-glibc-2.31-static/lib:/gnu/store/x6i3vfg4gaqd42cqb6mzk52v4lds1467-glibc-utf8-locales-2.31/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/x6i3vfg4gaqd42cqb6mzk52v4lds1467-glibc-utf8-locales-2.31/lib/locale'
phase `set-paths' succeeded after 0.0 seconds
starting phase `install-locale'
using 'en_US.utf8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list.agda' -> `./list.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector-sort.agda' -> `./vector-sort.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string-format-issue.agda' -> `./string-format-issue.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-tests.agda' -> `./nat-tests.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/level.agda' -> `./level.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string.agda' -> `./string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/negation.agda' -> `./negation.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/kripke-semantics.agda' -> `./kripke-semantics.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/tree-io-example.agda' -> `./tree-io-example.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat.agda' -> `./nat.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/lib-safe.agda' -> `./lib-safe.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/unit.agda' -> `./unit.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/trie-thms.agda' -> `./trie-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-kleene.agda' -> `./bool-kleene.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-division-basic.agda' -> `./nat-division-basic.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-mod.agda' -> `./nat-mod.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-test.agda' -> `./list-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/Makefile' -> `./Makefile'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-thms2.agda' -> `./bool-thms2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/runtime-only.agda' -> `./runtime-only.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/trie.agda' -> `./trie.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/grammar.agda' -> `./grammar.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-zipWith.agda' -> `./list-zipWith.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/maybe-thms.agda' -> `./maybe-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/lib.agda' -> `./lib.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/hello-world.txt' -> `./hello-world.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-merge-sort-test.agda' -> `./list-merge-sort-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bst.agda' -> `./bst.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-test.agda' -> `./bool-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/io.agda' -> `./io.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-relations.agda' -> `./bool-relations.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-division.agda' -> `./nat-division.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/logic.agda' -> `./logic.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/datatypes.agda' -> `./datatypes.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-merge-sort.agda' -> `./list-merge-sort.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-thms.agda' -> `./list-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector-test-ctors.agda' -> `./vector-test-ctors.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/termination.agda' -> `./termination.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/neg-datatype-nonterm.agda' -> `./neg-datatype-nonterm.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/README.txt' -> `./README.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-division-wf.agda' -> `./nat-division-wf.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/product.agda' -> `./product.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector-test.agda' -> `./vector-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/datatypes-safe.agda' -> `./datatypes-safe.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/LICENSE.txt' -> `./LICENSE.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/closures.agda' -> `./closures.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-simplifier.agda' -> `./list-simplifier.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-log-test.agda' -> `./nat-log-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool.agda' -> `./bool.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/thms.agda' -> `./thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/product-thms.agda' -> `./product-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-merge-sort2.agda' -> `./list-merge-sort2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/char.agda' -> `./char.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-thms.agda' -> `./nat-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/int.agda' -> `./int.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/io-test2.agda' -> `./io-test2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/.agda-lib' -> `./.agda-lib'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/vector.agda' -> `./vector.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/ial.agda-lib' -> `./ial.agda-lib'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/tree.agda' -> `./tree.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/integer.agda' -> `./integer.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/tree-test.agda' -> `./tree-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/sum-thms.agda' -> `./sum-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/type-level.agda' -> `./type-level.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/maybe.agda' -> `./maybe.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/empty.agda' -> `./empty.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/braun-tree-test.agda' -> `./braun-tree-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-log.agda' -> `./nat-log.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-thms.agda' -> `./bool-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-to-string.agda' -> `./list-to-string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-to-string.agda' -> `./nat-to-string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/io-test.agda' -> `./io-test.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/eq.agda' -> `./eq.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/nat-nonzero.agda' -> `./nat-nonzero.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/everything.agda' -> `./everything.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/functions.agda' -> `./functions.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/sum.agda' -> `./sum.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/list-thms2.agda' -> `./list-thms2.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/braun-tree.agda' -> `./braun-tree.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string-thms.agda' -> `./string-thms.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/minmax.agda' -> `./minmax.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/find-deps.sh' -> `./find-deps.sh'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/bool-to-string.agda' -> `./bool-to-string.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/string-format.agda' -> `./string-format.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/neq.agda' -> `./neq.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/relations.agda' -> `./relations.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/combinators.agda' -> `./combinators.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/error.agda' -> `./error.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3.huff' -> `./huffman/test3.huff'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/Makefile' -> `./huffman/Makefile'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1.txt' -> `./huffman/test1.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1-decoded.txt' -> `./huffman/test1-decoded.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1-frequencies.txt' -> `./huffman/test1-frequencies.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2-frequencies.txt' -> `./huffman/test2-frequencies.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2.gv' -> `./huffman/test2.gv'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2.txt' -> `./huffman/test2.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman-types.agda' -> `./huffman/huffman-types.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman-main.agda' -> `./huffman/huffman-main.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2-decoded.txt' -> `./huffman/test2-decoded.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/main.agda' -> `./huffman/main.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2.huff' -> `./huffman/test2.huff'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3.txt' -> `./huffman/test3.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3-mapping.txt' -> `./huffman/test3-mapping.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3-decoded.txt' -> `./huffman/test3-decoded.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman-tree.agda' -> `./huffman/huffman-tree.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman.agda' -> `./huffman/huffman.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1-mapping.txt' -> `./huffman/test1-mapping.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3-frequencies.txt' -> `./huffman/test3-frequencies.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/huffman.gr' -> `./huffman/huffman.gr'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1.gv' -> `./huffman/test1.gv'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test3.gv' -> `./huffman/test3.gv'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test1.huff' -> `./huffman/test1.huff'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/huffman/test2-mapping.txt' -> `./huffman/test2-mapping.txt'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/cruft/int-tests.agda' -> `./cruft/int-tests.agda'
`/gnu/store/309rlzcprgr76js88xbby3v17fay175q-agda-ial-1.5.0-checkout/cruft/int.agda' -> `./cruft/int.agda'
phase `unpack' succeeded after 4.2 seconds
starting phase `bootstrap'
no 'configure.ac' or anything like that, doing nothing
phase `bootstrap' succeeded after 0.0 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.1 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./find-deps.sh: changing `/bin/bash' to `/gnu/store/v1g7f3p4f0851mywrla8qmr9hb8jgfjr-bash-minimal-5.0.16/bin/bash'
phase `patch-source-shebangs' succeeded after 0.2 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.1 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 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.agda
agda  -v 0 vector.agda
agda  -v 0 datatypes.agda
agda  -v 0 int.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 86.9 seconds
starting phase `install'
phase `install' succeeded after 0.0 seconds
starting phase `patch-shebangs'
phase `patch-shebangs' succeeded after 0.0 seconds
starting phase `strip'
phase `strip' succeeded after 0.0 seconds
starting phase `validate-runpath'
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 `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