Skip to content

haskellPackages.Agda: unbreak the build by dropping a (by now) unnece…

b4bf157
Select commit
Loading
Failed to load commit list.
Closed

haskellPackages.Agda: unbreak the build by dropping a (by now) unnecessary patch #113396

haskellPackages.Agda: unbreak the build by dropping a (by now) unnece…
b4bf157
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs