Code

Pin nixpkgs to haskell-backend#3754

Code

Merged

rv-jenkins merged 4 commits intodevelopruntimeverification/k:developfrom sam/pin-nixpkgs-to-haskell-backendruntimeverification/k:sam/pin-nixpkgs-to-haskell-backendCopy head branch name to clipboardOct 26, 2023

+36-209

Commits

Commits on Oct 25, 2023

• Cleanup of nixpkgs deps

  goodlyrottenapple

  committed
  162f5a0

  Copy full SHA for 162f5a0

• further cleanup

  goodlyrottenapple

  committed
  96ad36e

  Copy full SHA for 96ad36e

• cleanup

  goodlyrottenapple

  committed
  2c4e36a

  Copy full SHA for 2c4e36a

Commits on Oct 26, 2023

• Merge branch 'develop' into sam/pin-nixpkgs-to-haskell-backend

  goodlyrottenapple

  authored
  9524511

  Copy full SHA for 9524511