diff --git a/manifest.dhall b/manifest.dhall
index 8c3f9be1dd6e81a6f06f935d6eda2ac2107be7eb..cef72eb7ebfd60f5840efc5456c79f9fe4a12e97 100644
--- a/manifest.dhall
+++ b/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"
diff --git a/overlay.nix b/overlay.nix
index b5ff9bf0c1be8eb5b31a4b0e30a129126b196270..4941a204f9f3bb97f3d3eceff7dd7899060b66e8 100644
--- a/overlay.nix
+++ b/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) { };
diff --git a/pkgs/set-algebra.nix b/pkgs/set-algebra.nix
new file mode 100644
index 0000000000000000000000000000000000000000..04e347881556f4ffec479bf62a5b872f0767ae60
--- /dev/null
+++ b/pkgs/set-algebra.nix
@@ -0,0 +1,43 @@
+{ 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;
+}