Skip to content

haskellPackages.agda2hs: fix build with Agda 2.8.0 - #428695

Merged
sternenseemann merged 1 commit into
NixOS:haskell-updatesfrom
ncfavier:fix-agda2hs
Jul 28, 2025
Merged

haskellPackages.agda2hs: fix build with Agda 2.8.0#428695
sternenseemann merged 1 commit into
NixOS:haskell-updatesfrom
ncfavier:fix-agda2hs

haskellPackages.agda2hs: fix build with Agda 2.8.0

d6ddb72
Select commit
Loading
Failed to load commit list.
OfBorg / haskellPackages.agda2hs, haskellPackages.agda2hs.passthru.tests on x86_64-darwin Started 2025-07-28 09:31:35 ago
View more details on OfBorg