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/spj981jbw6y2yy5350rhqp7h9s78i569-agda-2.6.4/bin:/gnu/store/4mwnkw69bfanw4zgshacc9430170n37h-ghc-9.2.5/bin:/gnu/store/ns71xxkb3fzr37934bim9l8xiv68kc7w-tar-1.34/bin:/gnu/store/qg9gwla5sgvxf8hc623wp0738klhvh3c-gzip-1.12/bin:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/bin:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/bin:/gnu/store/wjgap1k3jafgk0qjnhkrjdvfly7b0wls-diffutils-3.8/bin:/gnu/store/yvdhyjiszsrhk3j3kxvn0rpi3m8dsa5z-patch-2.7.6/bin:/gnu/store/wx2003zzfcc04xs5xj77k3ppnm60r3gf-findutils-4.9.0/bin:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/bin:/gnu/store/22wcvbqpyyzbccywskskriw4wc9x934m-sed-4.8/bin:/gnu/store/8wbaxwbgagpr7br8mhm4jriq9r23bln4-grep-3.8/bin:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/bin:/gnu/store/skcwbg8v0w643w71j9zx25cq0a6dwirs-coreutils-9.1/bin:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/bin:/gnu/store/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-bash-minimal-5.1.16/bin:/gnu/store/r78m0mqhza5sdqp8mv9wn68xkqks206i-ld-wrapper-0/bin:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/bin:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/bin:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/bin:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/sbin'
environment variable `AGDA_LIBDIRS' set to `/gnu/store/0hv8720d47gnxdqh0ch8b7bwcc70ppsk-agda-stdlib-1.7.3/lib/agda'
find-files: /gnu/store/ns71xxkb3fzr37934bim9l8xiv68kc7w-tar-1.34/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/qg9gwla5sgvxf8hc623wp0738klhvh3c-gzip-1.12/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/wjgap1k3jafgk0qjnhkrjdvfly7b0wls-diffutils-3.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/yvdhyjiszsrhk3j3kxvn0rpi3m8dsa5z-patch-2.7.6/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/wx2003zzfcc04xs5xj77k3ppnm60r3gf-findutils-4.9.0/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/22wcvbqpyyzbccywskskriw4wc9x934m-sed-4.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/8wbaxwbgagpr7br8mhm4jriq9r23bln4-grep-3.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/skcwbg8v0w643w71j9zx25cq0a6dwirs-coreutils-9.1/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/ldpzhbqzshcyf74hkvgqppzrrdy9r7kv-bash-minimal-5.1.16/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/r78m0mqhza5sdqp8mv9wn68xkqks206i-ld-wrapper-0/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/d6zg5vlbby1rnvs390y4nvpqipv4hjd4-glibc-2.35-static/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/0hv8720d47gnxdqh0ch8b7bwcc70ppsk-agda-stdlib-1.7.3/lib/ghc-9.2.5: No such file or directory
find-files: /gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/lib/ghc-9.2.5: No such file or directory
environment variable `GHC_PACKAGE_PATH' set to `/gnu/store/spj981jbw6y2yy5350rhqp7h9s78i569-agda-2.6.4/lib/ghc-9.2.5/agda-2.6.4.conf.d:/gnu/store/4mwnkw69bfanw4zgshacc9430170n37h-ghc-9.2.5/lib/ghc-9.2.5/package.conf.d'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/include:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/include:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/include:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/include:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/include:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/include:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include:/gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/include:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/include:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/include:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/include:/gnu/store/3v8fyd0ikmwzmr4g3yxp2ylyqpha06kn-make-4.3/include:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/include:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include/c++:/gnu/store/isbd8adggnzdprcd7fxxlck2f5iqamg5-gcc-11.3.0/include:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/include:/gnu/store/6cm8c3968v9nn2f7j3ap67hyxy853p6d-linux-libre-headers-5.15.49/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/spj981jbw6y2yy5350rhqp7h9s78i569-agda-2.6.4/lib:/gnu/store/4mwnkw69bfanw4zgshacc9430170n37h-ghc-9.2.5/lib:/gnu/store/17f7y3p0mhbhamgdpccg00y0kgphbcc6-bzip2-1.0.8/lib:/gnu/store/5clpjcsm37z56dw50kfwafh21p1p104l-file-5.44/lib:/gnu/store/g9m1n9565flslpbm4l1q4k4a33pqzqdd-gawk-5.2.1/lib:/gnu/store/hq06xa3zfv7yzb3i2r43vl0f3ml6qq28-xz-5.2.8/lib:/gnu/store/34n4pp71cdg844zsfgfnysg5lsjaxqgb-binutils-2.38/lib:/gnu/store/0hr9jpczkcgpgqkhf4q4868xd57h5a62-glibc-2.35/lib:/gnu/store/d6zg5vlbby1rnvs390y4nvpqipv4hjd4-glibc-2.35-static/lib:/gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib:/gnu/store/0hv8720d47gnxdqh0ch8b7bwcc70ppsk-agda-stdlib-1.7.3/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/37mccb3vgrmm72lkmnrms2sp0n7qw3d8-glibc-utf8-locales-2.35/lib/locale'
phase `set-paths' succeeded after 0.2 seconds
starting phase `set-locpath'
phase `set-locpath' 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/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/agda-categories.agda-lib' -> `./agda-categories.agda-lib'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/Makefile' -> `./Makefile'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/README.md' -> `./README.md'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/.gitignore' -> `./.gitignore'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/CITATION.cff' -> `./CITATION.cff'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/LICENSE' -> `./LICENSE'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/travis/index.agda' -> `./travis/index.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/travis/index.sh' -> `./travis/index.sh'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/travis/everything.sh' -> `./travis/everything.sh'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/README/KanComplexes.md' -> `./README/KanComplexes.md'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/.github/workflows/ci-ubuntu.yml' -> `./.github/workflows/ci-ubuntu.yml'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Data/Quiver.agda' -> `./src/Data/Quiver.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Data/Quiver/Paths.agda' -> `./src/Data/Quiver/Paths.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Data/Quiver/Morphism.agda' -> `./src/Data/Quiver/Morphism.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Comonad.agda' -> `./src/Categories/Comonad.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/2-Functor.agda' -> `./src/Categories/2-Functor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category.agda' -> `./src/Categories/Category.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Yoneda.agda' -> `./src/Categories/Yoneda.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Minus2-Category.agda' -> `./src/Categories/Minus2-Category.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint.agda' -> `./src/Categories/Adjoint.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/CoYoneda.agda' -> `./src/Categories/CoYoneda.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Pseudofunctor.agda' -> `./src/Categories/Pseudofunctor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Monad.agda' -> `./src/Categories/Monad.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory.agda' -> `./src/Categories/Bicategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Double.agda' -> `./src/Categories/Double.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor.agda' -> `./src/Categories/Functor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism.agda' -> `./src/Categories/Morphism.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/GlobularSet.agda' -> `./src/Categories/GlobularSet.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation.agda' -> `./src/Categories/NaturalTransformation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/2-Category.agda' -> `./src/Categories/2-Category.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Kan.agda' -> `./src/Categories/Kan.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Pseudofunctor/Identity.agda' -> `./src/Categories/Pseudofunctor/Identity.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Pseudofunctor/Composition.agda' -> `./src/Categories/Pseudofunctor/Composition.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Pseudofunctor/Hom.agda' -> `./src/Categories/Pseudofunctor/Hom.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Pseudofunctor/Instance/EnrichedUnderlying.agda' -> `./src/Categories/Pseudofunctor/Instance/EnrichedUnderlying.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Monad/Idempotent.agda' -> `./src/Categories/Monad/Idempotent.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Monad/Strong.agda' -> `./src/Categories/Monad/Strong.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Monad/Morphism.agda' -> `./src/Categories/Monad/Morphism.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Monad/Duality.agda' -> `./src/Categories/Monad/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Monad/Relative.agda' -> `./src/Categories/Monad/Relative.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Equivalence.agda' -> `./src/Categories/NaturalTransformation/Equivalence.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Dinatural.agda' -> `./src/Categories/NaturalTransformation/Dinatural.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Monoidal.agda' -> `./src/Categories/NaturalTransformation/Monoidal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Hom.agda' -> `./src/Categories/NaturalTransformation/Hom.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Properties.agda' -> `./src/Categories/NaturalTransformation/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Core.agda' -> `./src/Categories/NaturalTransformation/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Extranatural.agda' -> `./src/Categories/NaturalTransformation/Extranatural.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Monoidal/Braided.agda' -> `./src/Categories/NaturalTransformation/Monoidal/Braided.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/Monoidal/Symmetric.agda' -> `./src/Categories/NaturalTransformation/Monoidal/Symmetric.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism/Equivalence.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism/Equivalence.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism/Functors.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism/Functors.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism/Monoidal.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism/Monoidal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism/Properties.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism/Monoidal/Braided.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism/Monoidal/Braided.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/NaturalTransformation/NaturalIsomorphism/Monoidal/Symmetric.agda' -> `./src/Categories/NaturalTransformation/NaturalIsomorphism/Monoidal/Symmetric.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Normal.agda' -> `./src/Categories/Morphism/Normal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Notation.agda' -> `./src/Categories/Morphism/Notation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Reasoning.agda' -> `./src/Categories/Morphism/Reasoning.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Idempotent.agda' -> `./src/Categories/Morphism/Idempotent.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Regular.agda' -> `./src/Categories/Morphism/Regular.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Isomorphism.agda' -> `./src/Categories/Morphism/Isomorphism.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Extremal.agda' -> `./src/Categories/Morphism/Extremal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Universal.agda' -> `./src/Categories/Morphism/Universal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/HeterogeneousIdentity.agda' -> `./src/Categories/Morphism/HeterogeneousIdentity.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Duality.agda' -> `./src/Categories/Morphism/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Lifts.agda' -> `./src/Categories/Morphism/Lifts.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/HeterogeneousEquality.agda' -> `./src/Categories/Morphism/HeterogeneousEquality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Properties.agda' -> `./src/Categories/Morphism/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Cartesian.agda' -> `./src/Categories/Morphism/Cartesian.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/IsoEquiv.agda' -> `./src/Categories/Morphism/IsoEquiv.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/HeterogeneousIdentity/Properties.agda' -> `./src/Categories/Morphism/HeterogeneousIdentity/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Idempotent/Bundles.agda' -> `./src/Categories/Morphism/Idempotent/Bundles.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Lifts/Properties.agda' -> `./src/Categories/Morphism/Lifts/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Regular/Properties.agda' -> `./src/Categories/Morphism/Regular/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Reasoning/Iso.agda' -> `./src/Categories/Morphism/Reasoning/Iso.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Reasoning/Core.agda' -> `./src/Categories/Morphism/Reasoning/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Morphism/Extremal/Properties.agda' -> `./src/Categories/Morphism/Extremal/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Comonad/Relative.agda' -> `./src/Categories/Comonad/Relative.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Tactic/Category.agda' -> `./src/Categories/Tactic/Category.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/FreeObjects/Free.agda' -> `./src/Categories/FreeObjects/Free.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Double/Core.agda' -> `./src/Categories/Double/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Bigroupoid.agda' -> `./src/Categories/Bicategory/Bigroupoid.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Opposite.agda' -> `./src/Categories/Bicategory/Opposite.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Extras.agda' -> `./src/Categories/Bicategory/Extras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Monad.agda' -> `./src/Categories/Bicategory/Monad.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Monad/Properties.agda' -> `./src/Categories/Bicategory/Monad/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Object/Product.agda' -> `./src/Categories/Bicategory/Object/Product.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Object/Terminal.agda' -> `./src/Categories/Bicategory/Object/Terminal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Instance/Cats.agda' -> `./src/Categories/Bicategory/Instance/Cats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Instance/EnrichedCats.agda' -> `./src/Categories/Bicategory/Instance/EnrichedCats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Construction/Spans.agda' -> `./src/Categories/Bicategory/Construction/Spans.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Construction/LaxSlice.agda' -> `./src/Categories/Bicategory/Construction/LaxSlice.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Construction/1-Category.agda' -> `./src/Categories/Bicategory/Construction/1-Category.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Bicategory/Construction/Spans/Properties.agda' -> `./src/Categories/Bicategory/Construction/Spans/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Closed.agda' -> `./src/Categories/Category/Closed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Equivalence.agda' -> `./src/Categories/Category/Equivalence.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Indiscrete.agda' -> `./src/Categories/Category/Indiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Exact.agda' -> `./src/Categories/Category/Exact.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/BinaryProducts.agda' -> `./src/Categories/Category/BinaryProducts.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Lift.agda' -> `./src/Categories/Category/Lift.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Product.agda' -> `./src/Categories/Category/Product.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Restriction.agda' -> `./src/Categories/Category/Restriction.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Discrete.agda' -> `./src/Categories/Category/Discrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Extensive.agda' -> `./src/Categories/Category/Extensive.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Regular.agda' -> `./src/Categories/Category/Regular.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Topos.agda' -> `./src/Categories/Category/Topos.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Complete.agda' -> `./src/Categories/Category/Complete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Concrete.agda' -> `./src/Categories/Category/Concrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal.agda' -> `./src/Categories/Category/Monoidal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Species.agda' -> `./src/Categories/Category/Species.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Inverse.agda' -> `./src/Categories/Category/Inverse.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/SubCategory.agda' -> `./src/Categories/Category/SubCategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CartesianClosed.agda' -> `./src/Categories/Category/CartesianClosed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/BicartesianClosed.agda' -> `./src/Categories/Category/BicartesianClosed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cocartesian.agda' -> `./src/Categories/Category/Cocartesian.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Dagger.agda' -> `./src/Categories/Category/Dagger.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Slice.agda' -> `./src/Categories/Category/Slice.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Unbundled.agda' -> `./src/Categories/Category/Unbundled.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/RigCategory.agda' -> `./src/Categories/Category/RigCategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Duality.agda' -> `./src/Categories/Category/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cocomplete.agda' -> `./src/Categories/Category/Cocomplete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Helper.agda' -> `./src/Categories/Category/Helper.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Site.agda' -> `./src/Categories/Category/Site.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cartesian.agda' -> `./src/Categories/Category/Cartesian.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Core.agda' -> `./src/Categories/Category/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite.agda' -> `./src/Categories/Category/Finite.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Groupoid.agda' -> `./src/Categories/Category/Groupoid.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CMonoidEnriched.agda' -> `./src/Categories/Category/CMonoidEnriched.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Restriction/Properties.agda' -> `./src/Categories/Category/Restriction/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Restriction/Instance/PartialFunctions.agda' -> `./src/Categories/Category/Restriction/Instance/PartialFunctions.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Restriction/Construction/Trivial.agda' -> `./src/Categories/Category/Restriction/Construction/Trivial.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CartesianClosed/Locally.agda' -> `./src/Categories/Category/CartesianClosed/Locally.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CartesianClosed/Bundle.agda' -> `./src/Categories/Category/CartesianClosed/Bundle.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CartesianClosed/Properties.agda' -> `./src/Categories/Category/CartesianClosed/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CartesianClosed/Canonical.agda' -> `./src/Categories/Category/CartesianClosed/Canonical.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/CartesianClosed/Locally/Properties.agda' -> `./src/Categories/Category/CartesianClosed/Locally/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Complete/Finitely.agda' -> `./src/Categories/Category/Complete/Finitely.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Complete/Properties.agda' -> `./src/Categories/Category/Complete/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Complete/Properties/SolutionSet.agda' -> `./src/Categories/Category/Complete/Properties/SolutionSet.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Complete/Properties/Construction.agda' -> `./src/Categories/Category/Complete/Properties/Construction.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Complete/Finitely/Properties.agda' -> `./src/Categories/Category/Complete/Finitely/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Concrete/Properties.agda' -> `./src/Categories/Category/Concrete/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Product/Properties.agda' -> `./src/Categories/Category/Product/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Interchange.agda' -> `./src/Categories/Category/Monoidal/Interchange.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Rigid.agda' -> `./src/Categories/Category/Monoidal/Rigid.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed.agda' -> `./src/Categories/Category/Monoidal/Closed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Braided.agda' -> `./src/Categories/Category/Monoidal/Braided.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Star-Autonomous.agda' -> `./src/Categories/Category/Monoidal/Star-Autonomous.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Traced.agda' -> `./src/Categories/Category/Monoidal/Traced.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Reasoning.agda' -> `./src/Categories/Category/Monoidal/Reasoning.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Symmetric.agda' -> `./src/Categories/Category/Monoidal/Symmetric.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Utilities.agda' -> `./src/Categories/Category/Monoidal/Utilities.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Bundle.agda' -> `./src/Categories/Category/Monoidal/Bundle.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Properties.agda' -> `./src/Categories/Category/Monoidal/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/CompactClosed.agda' -> `./src/Categories/Category/Monoidal/CompactClosed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Core.agda' -> `./src/Categories/Category/Monoidal/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Interchange/Braided.agda' -> `./src/Categories/Category/Monoidal/Interchange/Braided.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Interchange/Symmetric.agda' -> `./src/Categories/Category/Monoidal/Interchange/Symmetric.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed/IsClosed.agda' -> `./src/Categories/Category/Monoidal/Closed/IsClosed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed/IsClosed/Pentagon.agda' -> `./src/Categories/Category/Monoidal/Closed/IsClosed/Pentagon.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed/IsClosed/Dinatural.agda' -> `./src/Categories/Category/Monoidal/Closed/IsClosed/Dinatural.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed/IsClosed/Identity.agda' -> `./src/Categories/Category/Monoidal/Closed/IsClosed/Identity.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed/IsClosed/L.agda' -> `./src/Categories/Category/Monoidal/Closed/IsClosed/L.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Closed/IsClosed/Diagonal.agda' -> `./src/Categories/Category/Monoidal/Closed/IsClosed/Diagonal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Braided/Properties.agda' -> `./src/Categories/Category/Monoidal/Braided/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Instance/Cats.agda' -> `./src/Categories/Category/Monoidal/Instance/Cats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Instance/Setoids.agda' -> `./src/Categories/Category/Monoidal/Instance/Setoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Instance/Sets.agda' -> `./src/Categories/Category/Monoidal/Instance/Sets.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Instance/One.agda' -> `./src/Categories/Category/Monoidal/Instance/One.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Instance/Rels.agda' -> `./src/Categories/Category/Monoidal/Instance/Rels.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Instance/StrictCats.agda' -> `./src/Categories/Category/Monoidal/Instance/StrictCats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Construction/Product.agda' -> `./src/Categories/Category/Monoidal/Construction/Product.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Monoidal/Construction/Minus2.agda' -> `./src/Categories/Category/Monoidal/Construction/Minus2.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cocomplete/Finitely.agda' -> `./src/Categories/Category/Cocomplete/Finitely.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cocomplete/Properties.agda' -> `./src/Categories/Category/Cocomplete/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cocomplete/Finitely/Properties.agda' -> `./src/Categories/Category/Cocomplete/Finitely/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cartesian/SymmetricMonoidal.agda' -> `./src/Categories/Category/Cartesian/SymmetricMonoidal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cartesian/Monoidal.agda' -> `./src/Categories/Category/Cartesian/Monoidal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cartesian/Bundle.agda' -> `./src/Categories/Category/Cartesian/Bundle.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cartesian/Properties.agda' -> `./src/Categories/Category/Cartesian/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Cocartesian/Bundle.agda' -> `./src/Categories/Category/Cocartesian/Bundle.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Cats.agda' -> `./src/Categories/Category/Instance/Cats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Span.agda' -> `./src/Categories/Category/Instance/Span.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Preds.agda' -> `./src/Categories/Category/Instance/Preds.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/PartialFunctions.agda' -> `./src/Categories/Category/Instance/PartialFunctions.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/FinSetoids.agda' -> `./src/Categories/Category/Instance/FinSetoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Setoids.agda' -> `./src/Categories/Category/Instance/Setoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Simplex.agda' -> `./src/Categories/Category/Instance/Simplex.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/FinCatShapes.agda' -> `./src/Categories/Category/Instance/FinCatShapes.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Sets.agda' -> `./src/Categories/Category/Instance/Sets.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/LawvereTheories.agda' -> `./src/Categories/Category/Instance/LawvereTheories.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Nat.agda' -> `./src/Categories/Category/Instance/Nat.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/StrictGroupoids.agda' -> `./src/Categories/Category/Instance/StrictGroupoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/SimplicialSet.agda' -> `./src/Categories/Category/Instance/SimplicialSet.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Groupoids.agda' -> `./src/Categories/Category/Instance/Groupoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/PointedSets.agda' -> `./src/Categories/Category/Instance/PointedSets.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Posets.agda' -> `./src/Categories/Category/Instance/Posets.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Globe.agda' -> `./src/Categories/Category/Instance/Globe.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/One.agda' -> `./src/Categories/Category/Instance/One.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/SingletonSet.agda' -> `./src/Categories/Category/Instance/SingletonSet.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Rels.agda' -> `./src/Categories/Category/Instance/Rels.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/EmptySet.agda' -> `./src/Categories/Category/Instance/EmptySet.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Monoidals.agda' -> `./src/Categories/Category/Instance/Monoidals.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/StrictCats.agda' -> `./src/Categories/Category/Instance/StrictCats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/KanComplexes.agda' -> `./src/Categories/Category/Instance/KanComplexes.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Cartesians.agda' -> `./src/Categories/Category/Instance/Cartesians.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Quivers.agda' -> `./src/Categories/Category/Instance/Quivers.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Zero.agda' -> `./src/Categories/Category/Instance/Zero.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/FamilyOfSetoids.agda' -> `./src/Categories/Category/Instance/FamilyOfSetoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Cats.agda' -> `./src/Categories/Category/Instance/Properties/Cats.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids.agda' -> `./src/Categories/Category/Instance/Properties/Setoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Posets.agda' -> `./src/Categories/Category/Instance/Properties/Posets.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/Choice.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/Choice.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/LCCC.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/LCCC.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/Exact.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/Exact.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/Extensive.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/Extensive.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/Complete.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/Complete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/CCC.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/CCC.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/Cocomplete.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/Cocomplete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/Properties/Setoids/Limits/Canonical.agda' -> `./src/Categories/Category/Instance/Properties/Setoids/Limits/Canonical.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Instance/SimplicialSet/Properties.agda' -> `./src/Categories/Category/Instance/SimplicialSet/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Species/Constructions.agda' -> `./src/Categories/Category/Species/Constructions.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Diagram/Span.agda' -> `./src/Categories/Category/Diagram/Span.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Slice/Properties.agda' -> `./src/Categories/Category/Slice/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Groupoid/Properties.agda' -> `./src/Categories/Category/Groupoid/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite/Fin.agda' -> `./src/Categories/Category/Finite/Fin.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite/Fin/Instance/Span.agda' -> `./src/Categories/Category/Finite/Fin/Instance/Span.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite/Fin/Instance/Parallel.agda' -> `./src/Categories/Category/Finite/Fin/Instance/Parallel.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite/Fin/Instance/Triangle.agda' -> `./src/Categories/Category/Finite/Fin/Instance/Triangle.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite/Fin/Construction/Discrete.agda' -> `./src/Categories/Category/Finite/Fin/Construction/Discrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Finite/Fin/Construction/Poset.agda' -> `./src/Categories/Category/Finite/Fin/Construction/Poset.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Dagger/Instance/Rels.agda' -> `./src/Categories/Category/Dagger/Instance/Rels.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Dagger/Construction/Discrete.agda' -> `./src/Categories/Category/Dagger/Construction/Discrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Kleisli.agda' -> `./src/Categories/Category/Construction/Kleisli.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/mu-Bialgebras.agda' -> `./src/Categories/Category/Construction/mu-Bialgebras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Thin.agda' -> `./src/Categories/Category/Construction/Thin.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/MonoidAsCategory.agda' -> `./src/Categories/Category/Construction/MonoidAsCategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/F-Coalgebras.agda' -> `./src/Categories/Category/Construction/F-Coalgebras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/StrictDiscrete.agda' -> `./src/Categories/Category/Construction/StrictDiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/TwistedArrow.agda' -> `./src/Categories/Category/Construction/TwistedArrow.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Grothendieck.agda' -> `./src/Categories/Category/Construction/Grothendieck.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Spans.agda' -> `./src/Categories/Category/Construction/Spans.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/CoEilenbergMoore.agda' -> `./src/Categories/Category/Construction/CoEilenbergMoore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Adjoints.agda' -> `./src/Categories/Category/Construction/Adjoints.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Functors.agda' -> `./src/Categories/Category/Construction/Functors.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/F-Algebras.agda' -> `./src/Categories/Category/Construction/F-Algebras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Arrow.agda' -> `./src/Categories/Category/Construction/Arrow.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/MonoidalFunctors.agda' -> `./src/Categories/Category/Construction/MonoidalFunctors.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Cocones.agda' -> `./src/Categories/Category/Construction/Cocones.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/EnrichedFunctors.agda' -> `./src/Categories/Category/Construction/EnrichedFunctors.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/PathCategory.agda' -> `./src/Categories/Category/Construction/PathCategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/0-Groupoid.agda' -> `./src/Categories/Category/Construction/0-Groupoid.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Monoids.agda' -> `./src/Categories/Category/Construction/Monoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Comma.agda' -> `./src/Categories/Category/Construction/Comma.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Pullbacks.agda' -> `./src/Categories/Category/Construction/Pullbacks.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Presheaves.agda' -> `./src/Categories/Category/Construction/Presheaves.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/SetoidDiscrete.agda' -> `./src/Categories/Category/Construction/SetoidDiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Cones.agda' -> `./src/Categories/Category/Construction/Cones.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/EilenbergMoore.agda' -> `./src/Categories/Category/Construction/EilenbergMoore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Path.agda' -> `./src/Categories/Category/Construction/Path.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Coproduct.agda' -> `./src/Categories/Category/Construction/Coproduct.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/LT-Models.agda' -> `./src/Categories/Category/Construction/LT-Models.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/KaroubiEnvelope.agda' -> `./src/Categories/Category/Construction/KaroubiEnvelope.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Groups.agda' -> `./src/Categories/Category/Construction/Groups.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Fin.agda' -> `./src/Categories/Category/Construction/Fin.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Core.agda' -> `./src/Categories/Category/Construction/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Cowedges.agda' -> `./src/Categories/Category/Construction/Cowedges.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Wedges.agda' -> `./src/Categories/Category/Construction/Wedges.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/CoKleisli.agda' -> `./src/Categories/Category/Construction/CoKleisli.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/ObjectRestriction.agda' -> `./src/Categories/Category/Construction/ObjectRestriction.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/SymmetricMonoidalFunctors.agda' -> `./src/Categories/Category/Construction/SymmetricMonoidalFunctors.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/KanComplex.agda' -> `./src/Categories/Category/Construction/KanComplex.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Elements.agda' -> `./src/Categories/Category/Construction/Elements.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/GroupAsCategory.agda' -> `./src/Categories/Category/Construction/GroupAsCategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Kleisli.agda' -> `./src/Categories/Category/Construction/Properties/Kleisli.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/CoEilenbergMoore.agda' -> `./src/Categories/Category/Construction/Properties/CoEilenbergMoore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Functors.agda' -> `./src/Categories/Category/Construction/Properties/Functors.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Comma.agda' -> `./src/Categories/Category/Construction/Properties/Comma.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Presheaves.agda' -> `./src/Categories/Category/Construction/Properties/Presheaves.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/EilenbergMoore.agda' -> `./src/Categories/Category/Construction/Properties/EilenbergMoore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/CoKleisli.agda' -> `./src/Categories/Category/Construction/Properties/CoKleisli.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Presheaves/FromCartesianCCC.agda' -> `./src/Categories/Category/Construction/Properties/Presheaves/FromCartesianCCC.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Presheaves/Complete.agda' -> `./src/Categories/Category/Construction/Properties/Presheaves/Complete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Presheaves/CartesianClosed.agda' -> `./src/Categories/Category/Construction/Properties/Presheaves/CartesianClosed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/Properties/Presheaves/Cartesian.agda' -> `./src/Categories/Category/Construction/Properties/Presheaves/Cartesian.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Construction/KaroubiEnvelope/Properties.agda' -> `./src/Categories/Category/Construction/KaroubiEnvelope/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Equivalence/Preserves.agda' -> `./src/Categories/Category/Equivalence/Preserves.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Equivalence/Properties.agda' -> `./src/Categories/Category/Equivalence/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Unbundled/Utilities.agda' -> `./src/Categories/Category/Unbundled/Utilities.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Category/Unbundled/Properties.agda' -> `./src/Categories/Category/Unbundled/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Exponential.agda' -> `./src/Categories/Object/Exponential.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Kernel.agda' -> `./src/Categories/Object/Kernel.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Group.agda' -> `./src/Categories/Object/Group.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Cokernel.agda' -> `./src/Categories/Object/Cokernel.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Biproduct.agda' -> `./src/Categories/Object/Biproduct.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product.agda' -> `./src/Categories/Object/Product.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/InternalRelation.agda' -> `./src/Categories/Object/InternalRelation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Terminal.agda' -> `./src/Categories/Object/Terminal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/NaturalNumber.agda' -> `./src/Categories/Object/NaturalNumber.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Subobject.agda' -> `./src/Categories/Object/Subobject.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Monoid.agda' -> `./src/Categories/Object/Monoid.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Duality.agda' -> `./src/Categories/Object/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Coproduct.agda' -> `./src/Categories/Object/Coproduct.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Zero.agda' -> `./src/Categories/Object/Zero.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Initial.agda' -> `./src/Categories/Object/Initial.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Terminal/Limit.agda' -> `./src/Categories/Object/Terminal/Limit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product/Morphisms.agda' -> `./src/Categories/Object/Product/Morphisms.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product/Limit.agda' -> `./src/Categories/Object/Product/Limit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product/Indexed.agda' -> `./src/Categories/Object/Product/Indexed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product/Construction.agda' -> `./src/Categories/Object/Product/Construction.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product/Core.agda' -> `./src/Categories/Object/Product/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Product/Indexed/Properties.agda' -> `./src/Categories/Object/Product/Indexed/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Kernel/Properties.agda' -> `./src/Categories/Object/Kernel/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/NaturalNumber/Properties/F-Algebras.agda' -> `./src/Categories/Object/NaturalNumber/Properties/F-Algebras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Object/Subobject/Properties.agda' -> `./src/Categories/Object/Subobject/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Multi/Category/Indexed.agda' -> `./src/Categories/Multi/Category/Indexed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Utils/Product.agda' -> `./src/Categories/Utils/Product.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Utils/EqReasoning.agda' -> `./src/Categories/Utils/EqReasoning.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/TwoSided.agda' -> `./src/Categories/Adjoint/TwoSided.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/RAPL.agda' -> `./src/Categories/Adjoint/RAPL.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Alternatives.agda' -> `./src/Categories/Adjoint/Alternatives.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Equivalence.agda' -> `./src/Categories/Adjoint/Equivalence.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Parametric.agda' -> `./src/Categories/Adjoint/Parametric.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/AFT.agda' -> `./src/Categories/Adjoint/AFT.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Mate.agda' -> `./src/Categories/Adjoint/Mate.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Monadic.agda' -> `./src/Categories/Adjoint/Monadic.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Compose.agda' -> `./src/Categories/Adjoint/Compose.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Equivalents.agda' -> `./src/Categories/Adjoint/Equivalents.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Properties.agda' -> `./src/Categories/Adjoint/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Relative.agda' -> `./src/Categories/Adjoint/Relative.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Monadic/Crude.agda' -> `./src/Categories/Adjoint/Monadic/Crude.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Monadic/Properties.agda' -> `./src/Categories/Adjoint/Monadic/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/TwoSided/Compose.agda' -> `./src/Categories/Adjoint/TwoSided/Compose.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/AFT/SolutionSet.agda' -> `./src/Categories/Adjoint/AFT/SolutionSet.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/01-Truncation.agda' -> `./src/Categories/Adjoint/Instance/01-Truncation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/StrictDiscrete.agda' -> `./src/Categories/Adjoint/Instance/StrictDiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/PathsOf.agda' -> `./src/Categories/Adjoint/Instance/PathsOf.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/0-Truncation.agda' -> `./src/Categories/Adjoint/Instance/0-Truncation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/PosetCore.agda' -> `./src/Categories/Adjoint/Instance/PosetCore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/Core.agda' -> `./src/Categories/Adjoint/Instance/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Instance/StrictCore.agda' -> `./src/Categories/Adjoint/Instance/StrictCore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Construction/Kleisli.agda' -> `./src/Categories/Adjoint/Construction/Kleisli.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Construction/CoEilenbergMoore.agda' -> `./src/Categories/Adjoint/Construction/CoEilenbergMoore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Construction/EilenbergMoore.agda' -> `./src/Categories/Adjoint/Construction/EilenbergMoore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Construction/CoKleisli.agda' -> `./src/Categories/Adjoint/Construction/CoKleisli.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Adjoint/Equivalence/Properties.agda' -> `./src/Categories/Adjoint/Equivalence/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Kan/Duality.agda' -> `./src/Categories/Kan/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Coend.agda' -> `./src/Categories/Diagram/Coend.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Limit.agda' -> `./src/Categories/Diagram/Limit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Cocone.agda' -> `./src/Categories/Diagram/Cocone.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/ReflexivePair.agda' -> `./src/Categories/Diagram/ReflexivePair.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/SubobjectClassifier.agda' -> `./src/Categories/Diagram/SubobjectClassifier.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Colimit.agda' -> `./src/Categories/Diagram/Colimit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Pullback.agda' -> `./src/Categories/Diagram/Pullback.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/KernelPair.agda' -> `./src/Categories/Diagram/KernelPair.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Cone.agda' -> `./src/Categories/Diagram/Cone.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Pushout.agda' -> `./src/Categories/Diagram/Pushout.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Duality.agda' -> `./src/Categories/Diagram/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Cowedge.agda' -> `./src/Categories/Diagram/Cowedge.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/End.agda' -> `./src/Categories/Diagram/End.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Equalizer.agda' -> `./src/Categories/Diagram/Equalizer.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Wedge.agda' -> `./src/Categories/Diagram/Wedge.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Finite.agda' -> `./src/Categories/Diagram/Finite.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Coequalizer.agda' -> `./src/Categories/Diagram/Coequalizer.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Cowedge/Properties.agda' -> `./src/Categories/Diagram/Cowedge/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Limit/Ran.agda' -> `./src/Categories/Diagram/Limit/Ran.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Limit/Properties.agda' -> `./src/Categories/Diagram/Limit/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Equalizer/Limit.agda' -> `./src/Categories/Diagram/Equalizer/Limit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Equalizer/Indexed.agda' -> `./src/Categories/Diagram/Equalizer/Indexed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Equalizer/Properties.agda' -> `./src/Categories/Diagram/Equalizer/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Pushout/Properties.agda' -> `./src/Categories/Diagram/Pushout/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Coend/Properties.agda' -> `./src/Categories/Diagram/Coend/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Cone/Properties.agda' -> `./src/Categories/Diagram/Cone/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/End/Properties.agda' -> `./src/Categories/Diagram/End/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Wedge/Properties.agda' -> `./src/Categories/Diagram/Wedge/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Colimit/DualProperties.agda' -> `./src/Categories/Diagram/Colimit/DualProperties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Colimit/Lan.agda' -> `./src/Categories/Diagram/Colimit/Lan.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Colimit/Properties.agda' -> `./src/Categories/Diagram/Colimit/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Pullback/Limit.agda' -> `./src/Categories/Diagram/Pullback/Limit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Pullback/Properties.agda' -> `./src/Categories/Diagram/Pullback/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Coequalizer/Properties.agda' -> `./src/Categories/Diagram/Coequalizer/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Diagram/Cocone/Properties.agda' -> `./src/Categories/Diagram/Cocone/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Minus2-Category/Properties.agda' -> `./src/Categories/Minus2-Category/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Minus2-Category/Instance/One.agda' -> `./src/Categories/Minus2-Category/Instance/One.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Minus2-Category/Construction/Indiscrete.agda' -> `./src/Categories/Minus2-Category/Construction/Indiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Algebra.agda' -> `./src/Categories/Functor/Algebra.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Equivalence.agda' -> `./src/Categories/Functor/Equivalence.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Restriction.agda' -> `./src/Categories/Functor/Restriction.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Profunctor.agda' -> `./src/Categories/Functor/Profunctor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Bifunctor.agda' -> `./src/Categories/Functor/Bifunctor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/IdentityOnObjects.agda' -> `./src/Categories/Functor/IdentityOnObjects.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal.agda' -> `./src/Categories/Functor/Monoidal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Fibration.agda' -> `./src/Categories/Functor/Fibration.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Limits.agda' -> `./src/Categories/Functor/Limits.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/CartesianClosed.agda' -> `./src/Categories/Functor/CartesianClosed.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Coalgebra.agda' -> `./src/Categories/Functor/Coalgebra.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Slice.agda' -> `./src/Categories/Functor/Slice.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Representable.agda' -> `./src/Categories/Functor/Representable.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/DistributiveLaw.agda' -> `./src/Categories/Functor/DistributiveLaw.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Duality.agda' -> `./src/Categories/Functor/Duality.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Power.agda' -> `./src/Categories/Functor/Power.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Hom.agda' -> `./src/Categories/Functor/Hom.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Bialgebra.agda' -> `./src/Categories/Functor/Bialgebra.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Properties.agda' -> `./src/Categories/Functor/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Cartesian.agda' -> `./src/Categories/Functor/Cartesian.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Core.agda' -> `./src/Categories/Functor/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Presheaf.agda' -> `./src/Categories/Functor/Presheaf.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Groupoid.agda' -> `./src/Categories/Functor/Groupoid.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Profunctor/FormalComposite.agda' -> `./src/Categories/Functor/Profunctor/FormalComposite.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Profunctor/Cograph.agda' -> `./src/Categories/Functor/Profunctor/Cograph.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Hom/Properties.agda' -> `./src/Categories/Functor/Hom/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Hom/Properties/Contra.agda' -> `./src/Categories/Functor/Hom/Properties/Contra.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Hom/Properties/Covariant.agda' -> `./src/Categories/Functor/Hom/Properties/Covariant.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Power/Functorial.agda' -> `./src/Categories/Functor/Power/Functorial.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Power/NaturalTransformation.agda' -> `./src/Categories/Functor/Power/NaturalTransformation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Bifunctor/Properties.agda' -> `./src/Categories/Functor/Bifunctor/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal/Braided.agda' -> `./src/Categories/Functor/Monoidal/Braided.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal/Tensor.agda' -> `./src/Categories/Functor/Monoidal/Tensor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal/Symmetric.agda' -> `./src/Categories/Functor/Monoidal/Symmetric.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal/PointwiseTensor.agda' -> `./src/Categories/Functor/Monoidal/PointwiseTensor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal/Properties.agda' -> `./src/Categories/Functor/Monoidal/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Monoidal/Construction/Product.agda' -> `./src/Categories/Functor/Monoidal/Construction/Product.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Cartesian/Properties.agda' -> `./src/Categories/Functor/Cartesian/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/UnderlyingQuiver.agda' -> `./src/Categories/Functor/Instance/UnderlyingQuiver.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/01-Truncation.agda' -> `./src/Categories/Functor/Instance/01-Truncation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/Discrete.agda' -> `./src/Categories/Functor/Instance/Discrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/Twisted.agda' -> `./src/Categories/Functor/Instance/Twisted.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/SetoidDiscrete.agda' -> `./src/Categories/Functor/Instance/SetoidDiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/0-Truncation.agda' -> `./src/Categories/Functor/Instance/0-Truncation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/Core.agda' -> `./src/Categories/Functor/Instance/Core.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/StrictCore.agda' -> `./src/Categories/Functor/Instance/StrictCore.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Instance/ConnectedComponents.agda' -> `./src/Categories/Functor/Instance/ConnectedComponents.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/Constant.agda' -> `./src/Categories/Functor/Construction/Constant.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/Limit.agda' -> `./src/Categories/Functor/Construction/Limit.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/FromDiscrete.agda' -> `./src/Categories/Functor/Construction/FromDiscrete.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/PathsOf.agda' -> `./src/Categories/Functor/Construction/PathsOf.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/SubCategory.agda' -> `./src/Categories/Functor/Construction/SubCategory.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/LiftCoalgebras.agda' -> `./src/Categories/Functor/Construction/LiftCoalgebras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/LiftSetoids.agda' -> `./src/Categories/Functor/Construction/LiftSetoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/Diagonal.agda' -> `./src/Categories/Functor/Construction/Diagonal.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/LiftAlgebras.agda' -> `./src/Categories/Functor/Construction/LiftAlgebras.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/Zero.agda' -> `./src/Categories/Functor/Construction/Zero.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/ObjectRestriction.agda' -> `./src/Categories/Functor/Construction/ObjectRestriction.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Functor/Construction/SubCategory/Properties.agda' -> `./src/Categories/Functor/Construction/SubCategory/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/Category.agda' -> `./src/Categories/Enriched/Category.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/Functor.agda' -> `./src/Categories/Enriched/Functor.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/NaturalTransformation.agda' -> `./src/Categories/Enriched/NaturalTransformation.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/Over/Setoids.agda' -> `./src/Categories/Enriched/Over/Setoids.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/Over/One.agda' -> `./src/Categories/Enriched/Over/One.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/NaturalTransformation/NaturalIsomorphism.agda' -> `./src/Categories/Enriched/NaturalTransformation/NaturalIsomorphism.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/Category/Opposite.agda' -> `./src/Categories/Enriched/Category/Opposite.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Enriched/Category/Underlying.agda' -> `./src/Categories/Enriched/Category/Underlying.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Theory/Lawvere.agda' -> `./src/Categories/Theory/Lawvere.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Theory/Lawvere/Instance/Triv.agda' -> `./src/Categories/Theory/Lawvere/Instance/Triv.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Theory/Lawvere/Instance/Identity.agda' -> `./src/Categories/Theory/Lawvere/Instance/Identity.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Yoneda/Continuous.agda' -> `./src/Categories/Yoneda/Continuous.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Categories/Yoneda/Properties.agda' -> `./src/Categories/Yoneda/Properties.agda'
`/gnu/store/sdzjxyzh0zxdj80qh75gik3l4bcxj7c4-agda-categories-0.1.7.2-checkout/src/Relation/Binary/PropositionalEquality/Subst/Properties.agda' -> `./src/Relation/Binary/PropositionalEquality/Subst/Properties.agda'
phase `unpack' succeeded after 0.1 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
phase `patch-source-shebangs' succeeded after 0.1 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `build'
find src -iname '*.agda' | sed -e 's|^src/[/]*|import |' -e 's|/|.|g' -e 's/.agda//' -e '/import Everything/d' | LC_COLLATE='C' sort > Everything.agda
agda +RTS -M6G -A128M -RTS  -i. Everything.agda
agda: error in RTS option -M6G: size outside allowed range (4096 - 4294967295)
make: *** [Makefile:8: test] Error 1
error: in phase 'build': uncaught exception:
%exception #<&invoke-error program: "make" arguments: () exit-status: 2 term-signal: #f stop-signal: #f> 
phase `build' failed after 0.0 seconds
command "make" failed with status 2