View on GitHub
File Changes
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-base";
-
      rev = "13e7ffbc142eb1b9d7266c8f5373d787acb65266";
-
      sha256 = "1dkral9wxd84zwcxrvids94zb2hp4g9wykxhwfj2pjih0qm8h9ng";
+
      rev = "c50bfdb129ae1eb319c9af3902674ef75b017fec";
+
      sha256 = "06963ni4hh06ai0x795wn7bxdjwnnwhraniijzyzzl5pir5lcli6";
      });
    postUnpack = "sourceRoot+=/binary/test; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-base";
-
      rev = "13e7ffbc142eb1b9d7266c8f5373d787acb65266";
-
      sha256 = "1dkral9wxd84zwcxrvids94zb2hp4g9wykxhwfj2pjih0qm8h9ng";
+
      rev = "c50bfdb129ae1eb319c9af3902674ef75b017fec";
+
      sha256 = "06963ni4hh06ai0x795wn7bxdjwnnwhraniijzyzzl5pir5lcli6";
      });
    postUnpack = "sourceRoot+=/binary; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-base";
-
      rev = "13e7ffbc142eb1b9d7266c8f5373d787acb65266";
-
      sha256 = "1dkral9wxd84zwcxrvids94zb2hp4g9wykxhwfj2pjih0qm8h9ng";
+
      rev = "c50bfdb129ae1eb319c9af3902674ef75b017fec";
+
      sha256 = "06963ni4hh06ai0x795wn7bxdjwnnwhraniijzyzzl5pir5lcli6";
      });
    postUnpack = "sourceRoot+=/cardano-crypto-class; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-ledger";
-
      rev = "edfbc26b34faae0d1f3e007a3ae21dd9716ca8f3";
-
      sha256 = "1k09p7fa98k2n2ywsz0vikw4y8qnr1ncai4sxhs3f5ifwrrhga59";
+
      rev = "238eca4497f9c9d55bb532480c63efed70de06f2";
+
      sha256 = "0fqq4i5r9ydjxg7fp2s9hlkk72az0ngkm1dh6y6wcy3477gkph85";
      });
    postUnpack = "sourceRoot+=/crypto/test; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-ledger";
-
      rev = "edfbc26b34faae0d1f3e007a3ae21dd9716ca8f3";
-
      sha256 = "1k09p7fa98k2n2ywsz0vikw4y8qnr1ncai4sxhs3f5ifwrrhga59";
+
      rev = "238eca4497f9c9d55bb532480c63efed70de06f2";
+
      sha256 = "0fqq4i5r9ydjxg7fp2s9hlkk72az0ngkm1dh6y6wcy3477gkph85";
      });
    postUnpack = "sourceRoot+=/crypto; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-ledger";
-
      rev = "edfbc26b34faae0d1f3e007a3ae21dd9716ca8f3";
-
      sha256 = "1k09p7fa98k2n2ywsz0vikw4y8qnr1ncai4sxhs3f5ifwrrhga59";
+
      rev = "238eca4497f9c9d55bb532480c63efed70de06f2";
+
      sha256 = "0fqq4i5r9ydjxg7fp2s9hlkk72az0ngkm1dh6y6wcy3477gkph85";
      });
    postUnpack = "sourceRoot+=/cardano-ledger/test; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-ledger";
-
      rev = "edfbc26b34faae0d1f3e007a3ae21dd9716ca8f3";
-
      sha256 = "1k09p7fa98k2n2ywsz0vikw4y8qnr1ncai4sxhs3f5ifwrrhga59";
+
      rev = "238eca4497f9c9d55bb532480c63efed70de06f2";
+
      sha256 = "0fqq4i5r9ydjxg7fp2s9hlkk72az0ngkm1dh6y6wcy3477gkph85";
      });
    postUnpack = "sourceRoot+=/cardano-ledger; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-prelude";
-
      rev = "b9bf62f2bab90539809bee13620fe7d29b35928d";
-
      sha256 = "0fzk6z3dgnz5wrj7zp3gxzrf11hcik22ibp5z4i8d7d7hg0ngs9h";
+
      rev = "001ec3576ef3bda04cf5bcccdd9a00991835d1a7";
+
      sha256 = "0v746pi0s1ib1bvvvlfkrw7n4p2qxqfrrlx4fg4dpk6fjp0raass";
      });
    postUnpack = "sourceRoot+=/test; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-prelude";
-
      rev = "b9bf62f2bab90539809bee13620fe7d29b35928d";
-
      sha256 = "0fzk6z3dgnz5wrj7zp3gxzrf11hcik22ibp5z4i8d7d7hg0ngs9h";
+
      rev = "001ec3576ef3bda04cf5bcccdd9a00991835d1a7";
+
      sha256 = "0v746pi0s1ib1bvvvlfkrw7n4p2qxqfrrlx4fg4dpk6fjp0raass";
      });
    }
\ No newline at end of file
    } // {
    src = (pkgs.lib).mkDefault (pkgs.fetchgit {
      url = "https://github.com/input-output-hk/cardano-shell";
-
      rev = "8b8437fa2c0cd7e0c1f0ee94ae1565dbcf5617d0";
-
      sha256 = "18mq0cq5miy6ls60nfp7crh6l72qgdcvv4fsqfcwiv4sqwc5k3mg";
+
      rev = "efba204c14a83b9e1af9bb138c2d551fe3d7a43e";
+
      sha256 = "0cr260b1drj4yal91fxcai9007jgbi2i2mh3mjnkq2rzjz6rvh8s";
      });
    postUnpack = "sourceRoot+=/cardano-shell; echo source root reset to \$sourceRoot";
    }
\ No newline at end of file
        "bimap" = (((hackage.bimap)."0.4.0").revisions).default;
        "binary" = (((hackage.binary)."0.8.7.0").revisions).default;
        "generic-monoid" = (((hackage.generic-monoid)."0.1.0.0").revisions).default;
+
        "graphviz" = (((hackage.graphviz)."2999.20.0.3").revisions).default;
+
        "quickcheck-state-machine" = (((hackage.quickcheck-state-machine)."0.6.0").revisions).default;
        "splitmix" = (((hackage.splitmix)."0.0.2").revisions).default;
        "tasty-hedgehog" = (((hackage.tasty-hedgehog)."1.0.0.1").revisions).default;
        "Win32" = (((hackage.Win32)."2.5.4.1").revisions).default;
        "streaming-binary" = (((hackage.streaming-binary)."0.3.0.1").revisions).default;
        "cborg" = (((hackage.cborg)."0.2.2.0").revisions).default;
        "canonical-json" = (((hackage.canonical-json)."0.6.0.0").revisions).default;
-
        "graphviz" = (((hackage.graphviz)."2999.20.0.3").revisions)."cde383c356bc41136ed53cd27e0800f46dbd2185600dd0de18d66d5c49739d94";
-
        "quickcheck-state-machine" = (((hackage.quickcheck-state-machine)."0.6.0").revisions)."3e4f8df0f6b5d415e3c8840dc75034a63e37f56f5f8cfa1035ded16345235ac4";
        } // {
        typed-transitions = ./typed-transitions.nix;
        typed-protocols = ./typed-protocols.nix;