search

runtimeverification / k

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

Revert "Revert "Align Pyk's nixpkgs version to the shared K version"" #4467

Closed Baltoli closed 1 week ago

Baltoli commented 1 week ago

Reverts runtimeverification/k#4458