Update sources (#1839)

* Update sources * rm upstreamed --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Dec 21, 2024 · 63b0319 · 63b0319
1 parent 55076bb
commit 63b0319
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 14 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
   };
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs?rev=948a31b4b765c01f485c05bdeb12b2197f440d5a";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=8af52ff6ba2ed83047881e877718db3bb02fad85";
   };
 
   outputs = { self, nixpkgs }:

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -588,15 +588,6 @@ with oself;
 
   cookie = callPackage ./cookie { };
 
-  cppo = osuper.cppo.overrideAttrs (_: {
-    src = fetchFromGitHub {
-      owner = "ocaml-community";
-      repo = "cppo";
-      rev = "v1.8.0";
-      hash = "sha256-+HnAGM+GddYJK0RCvKrs+baZS+1o8Yq+/cVa3U3nFWg=";
-    };
-  });
-
   cryptokit = (osuper.cryptokit.override { zlib = zlib-oc; });
 
   cstruct = osuper.cstruct.overrideAttrs (_: {