diff --git a/flake.lock b/flake.lock index a14bda2b9fd98eb81895ace2d1638f883b169c81..d476a2da7d483bdb12728c2ca1273b893c3091df 100644 --- a/flake.lock +++ b/flake.lock @@ -118,11 +118,11 @@ "cardano-ledger": { "flake": false, "locked": { - "lastModified": 1665487672, - "narHash": "sha256-DcD7kLp7WJj2Pf01kR/nqFeEYSQCW/QhxpQhx4jxDIE=", + "lastModified": 1665957020, + "narHash": "sha256-X6wDKTzbxwU8PagnXx979y74cenJDUkJbJyVF8xsQsM=", "owner": "milloni", "repo": "cardano-ledger", - "rev": "5150d61189363c9ee5e652cc0daabb954ae8b117", + "rev": "23751e07daf353fc8eb730450906d2830dd1a4d6", "type": "github" }, "original": { diff --git a/overlay.nix b/overlay.nix index 4a86df384b93ae4ac2c30bf576b7df0d9ce825fb..d7da57b50512977b56b8dd74e2e51fbf8760b7c1 100644 --- a/overlay.nix +++ b/overlay.nix @@ -34,6 +34,10 @@ final: prev: with pkgs.haskell.lib; cardano-crypto-praos = doDevbreak (addPkgconfigDepend (prev.callCabal2nix "cardano-crypto-praos" (inputs.cardano-base + /cardano-crypto-praos) {}) pkgs.libsodium); + cardano-crypto-test = doJailbreak (prev.callCabal2nix "cardano-crypto-test" (inputs.cardano-ledger + /eras/byron/crypto/test) {}); + + cardano-crypto-wrapper = doJailbreak (prev.callCabal2nix "cardano-crypto-wrapper" (inputs.cardano-ledger + /eras/byron/crypto) {}); + cardano-prelude = enableCabalFlag (doJailbreak (prev.callCabal2nix "cardano-prelude" (inputs.cardano-prelude + /cardano-prelude) {})) "development"; cardano-prelude-test = dontHaddock (prev.callCabal2nix "cardano-prelude-test" (inputs.cardano-prelude + /cardano-prelude-test) {}); @@ -44,6 +48,8 @@ final: prev: with pkgs.haskell.lib; fin = doJailbreak prev.fin; + generic-monoid = doJailbreak (prev.callHackage "generic-monoid" "0.1.0.1" {}); + ghc-typelits-knownnat = prev.callCabal2nix "ghc-typelits-knownnat" inputs.ghc-typelits-knownnat {}; ghc-typelits-natnormalise = prev.callCabal2nix "ghc-typelits-natnormalise" inputs.ghc-typelits-natnormalise {}; @@ -97,6 +103,8 @@ final: prev: with pkgs.haskell.lib; small-steps-test = doJailbreak (prev.callCabal2nix "small-steps-test" (inputs.cardano-ledger + /libs/small-steps-test) {}); + streaming-bytestring = doJailbreak (prev.callHackage "streaming-bytestring" "0.2.4" {}); + strict-containers = dontCheck (doJailbreak (prev.callCabal2nix "strict-containers" (inputs.strict-containers + /strict-containers) {})); th-extras = doJailbreak prev.th-extras;