search

runtimeverification / hs-backend-booster

Accelerates K Framework's Haskell backend
BSD 3-Clause "New" or "Revised" License
7 stars 0 forks source link

Update nixpkgs+ghc #515

Closed goodlyrottenapple closed 9 months ago

goodlyrottenapple commented 9 months ago

Update nixpkgs to 23.11 and ghc to 9.6.4, inline with https://github.com/runtimeverification/haskell-backend/pull/3719

jberthold commented 9 months ago

I believe we will have to also upgrade the K dependency in this PR, but IIRC to a custom version that adjusts the nix setup to avoid problems with our integration test :thinking: ?