haskellPackages.agda2hs: fix build with Agda 2.8.0#428695
Merged
sternenseemann merged 1 commit intoNixOS:haskell-updatesfrom Jul 28, 2025
Merged
haskellPackages.agda2hs: fix build with Agda 2.8.0#428695sternenseemann merged 1 commit intoNixOS:haskell-updatesfrom
sternenseemann merged 1 commit intoNixOS:haskell-updatesfrom
Commits
Commits on Jul 28, 2025
- andcommitted
