Skip to content

Bump nixpkgs to GHC 9.4#303

Merged
d-xo merged 1 commit intomainfrom
ghc-9.4
Jul 11, 2023
Merged

Bump nixpkgs to GHC 9.4#303
d-xo merged 1 commit intomainfrom
ghc-9.4

Commits

Commits on Jul 10, 2023