Skip to content

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

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

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