set-algebra: init at bc859395040abf075f4ca44b4ce8c221d2c4bb66 from github:milloni

manifest.dhall

@@ -184,6 +184,11 @@ in  [ callHackage "PyF" "0.11.0.0"
     , callHackage "ral" "0.1"
     , callHackage "recursion-schemes" "5.2.2.2"
     , callHackage "ref-tf" "0.5.0.1"
+    , callCabal2nix
+        "set-algebra"
+        "https://github.com/milloni/cardano-ledger"
+        (Some "bc859395040abf075f4ca44b4ce8c221d2c4bb66")
+        (Some "libs/set-algebra")
     , callHackage "singletons-th" "3.1.1"
     , callCabal2nix
         "small-steps"

overlay.nix

@@ -77,6 +77,8 @@ final: prev: with pkgs.haskell.lib; {
 
   ref-tf = prev.callPackage (./pkgs/ref-tf.nix) { };
 
+  set-algebra = prev.callPackage (./pkgs/set-algebra.nix) { };
+
   singletons-th = prev.callPackage (./pkgs/singletons-th.nix) { };
 
   small-steps = prev.callPackage (./pkgs/small-steps.nix) { };

pkgs/set-algebra.nix

+{ mkDerivation
+, ansi-wl-pprint
+, base
+, cardano-data
+, containers
+, fetchgit
+, lib
+, tasty
+, tasty-hunit
+, tasty-quickcheck
+}:
+mkDerivation {
+  pname = "set-algebra";
+  version = "0.1.0.0";
+  src = fetchgit {
+    url = "https://github.com/milloni/cardano-ledger";
+    sha256 = "109piw0q5nlypsywkmkwng4ixalbfmzf379b4n931ghih54xzwja";
+    rev = "bc859395040abf075f4ca44b4ce8c221d2c4bb66";
+    fetchSubmodules = true;
+  };
+  postUnpack = "sourceRoot+=/libs/set-algebra/; echo source root reset to $sourceRoot";
+  libraryHaskellDepends = [
+    ansi-wl-pprint
+    base
+    cardano-data
+    containers
+  ];
+  testHaskellDepends = [
+    base
+    cardano-data
+    containers
+    tasty
+    tasty-hunit
+    tasty-quickcheck
+  ];
+  doHaddock = false;
+  jailbreak = true;
+  doCheck = false;
+  hyperlinkSource = false;
+  homepage = "https://github.com/input-output-hk/cardano-ledger";
+  description = "Set Algebra";
+  license = lib.licenses.asl20;
+}