search

runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

Revert `nixpkgs` alignment #4457

Closed palinatolmach closed 1 week ago

palinatolmach commented 1 week ago

This PR reverts https://github.com/runtimeverification/k/pull/4439 which pinned the version of nxpkgs to the same version as the rest of the K toolchain, as it breaks Kontrol Nix tests on CI and blocks KEVM updates there.

Baltoli commented 1 week ago

https://github.com/runtimeverification/k/pull/4458 closing in favour of