Skip to content

agda-stdlib-utils: allow base-4.22 for GHC 9.14

f5482d6
Select commit
Loading
Failed to load commit list.
Open

agda-stdlib-utils: allow base-4.22 for GHC 9.14 #2984

agda-stdlib-utils: allow base-4.22 for GHC 9.14
f5482d6
Select commit
Loading
Failed to load commit list.