Partial build log below. Ran right after a guix pull && guix package -u.
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/564215v4ma3jqxai20hf1ymcrn60nm44-ghc-8.4.3/bin:/gnu/store/xn6qx2p58rcswdy7ffv098dqagvabgnp-cpphs-1.20.8/bin:/gnu/store.... .... .... Configuring Agda-2.5.4.1... Warning: This package indirectly depends on multiple versions of the same package. This is very likely to cause a compile failure. package network-uri (network-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9) requires parsec-3.1.13.0 package regex-tdfa (regex-tdfa-1.2.3.1-4XsUntSXxH4A4zhCaXNDfb) requires parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH package uri-encode (uri-encode-1.5.0.5-1EgYr8HkM9wD6gdpghyroU) requires text-1.2.3.0 package parsec (parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH) requires text-1.2.3.0 package parsec (parsec-3.1.13.0) requires text-1.2.3.0 package Agda (Agda-2.5.4.1) requires text-1.2.3.0 package hashable (hashable-1.2.7.0-E92h8KGCxs9nEzqMyfi2y) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-markup (blaze-markup-0.8.2.1-G01IErgxGnm2gnQBZJnf22) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-html (blaze-html-0.9.1.1-GAgExUjjwqJ3ccn0WMIpSn) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-builder (blaze-builder-0.4.1.0-Bxpj8zQZx6hE2zSu9Go0jT) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm phase `configure' succeeded after 3.2 seconds ... ... [ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o ) src/full/Agda/Utils/FileName.hs:42:28: error: • No instance for (Hashable Text) arising from the 'deriving' clause of a data type declaration Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself There are instances for similar types: instance Hashable text-1.2.3.0:Data.Text.Internal.Text -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’ instance Hashable text-1.2.3.0:Data.Text.Internal.Lazy.Text -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’ • When deriving the instance for (Hashable AbsolutePath) | 42 | deriving (Eq, Ord, Data, Hashable) | ^^^^^^^^ Backtrace: 4 (primitive-load "/gnu/store/j0nza4gsz3fkcxz2g85jp47063p…") In ice-9/eval.scm: 191:35 3 (_ _) In srfi/srfi-1.scm: 863:16 2 (every1 #<procedure 7c2020 at /gnu/store/79jn1m4ax1zr5…> …) In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/gnu-build-system.scm: 799:28 1 (_ _) In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm: 616:6 0 (invoke _ . _) /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm:616:6: In procedure invoke: Throw to key `srfi-34' with args `(#<condition &invoke-error [program: "runhaskell" arguments: ("Setup.hs" "build") exit-status: 1 term-signal: #f stop-signal: #f] 56d440>)'.