Agda is fetched but fails to build

[carnotweat]

:PROPERTIES:
:ID: fe21a8c0-36d5-40f4-b3de-d78dcd1687b1
:END:
#+title: 2022-12-19

• github issue
  Build with /nix/store/qvzsdj4q4fsali22q7488qxdxnl551gx-ghc-8.6.4. unpacking sources unpacking source archive /nix/store/7d86sgv4my21v3424l1c7vy6jvm3bid1-Agda-2.5.4.2.tar.gz source root is Agda-2.5.4.2 setting SOURCE_DATE_EPOCH to timestamp 1540830739 of file Agda-2.5.4.2/stack-8.4.4.yaml patching sources compileBuildDriverPhase setupCompileFlags: -package-db=/build/setup-package.conf.d -j3 -threaded [1 of 1] Compiling Main ( Setup.hs, /build/Main.o )

Setup.hs:23:56: error:
• Couldn't match type ‘Distribution.System.Platform -> String’
with ‘[Char]’
Expected type: String
Actual type: Distribution.System.Platform -> String
• Probable cause: ‘exeExtension’ is applied to too few arguments
In the second argument of ‘(<.>)’, namely ‘exeExtension’
In the second argument of ‘(</>)’, namely ‘"agda" <.> exeExtension’
In the second argument of ‘(</>)’, namely
‘"agda" </> "agda" <.> exeExtension’
|
23 | agda = buildDir info </> "agda" </> "agda" <.> exeExtension
| ^^^^^^^^^^^^
error: builder for '/nix/store/nykrs3z1a8wmav9c27pi64zc5jkar6p6-Agda-2.5.4.2.drv' failed with exi$ error: 1 dependencies of derivation '/nix/store/v2ngrajw3iiy8gszr96hxj2b9f9l53z1-ghc-8.6.4-with-p$ error: 1 dependencies of derivation '/nix/store/c3v17xmw3656syd5njd73d07np8yfwii-snack.drv' faile $ To reproduce it add agda to bin/package.nix dep list , followed by nix-shell