Update sources (#1338)

* Update sources * rm upstreamed * Update default.nix --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Mar 21, 2024 · 0f9bb84 · 0f9bb84
1 parent 8d58105
commit 0f9bb84
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 9 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=20f77aa09916374aa3141cbc605c955626762c9a";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=9b1635f1e7507a82f36c12a1534fafaa1b52d3ee";
     flake-utils.url = "github:numtide/flake-utils";
   };
 

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -1208,10 +1208,6 @@ with oself;
   matrix-stos = callPackage ./matrix/stos.nix { };
 
   mdx = osuper.mdx.overrideAttrs (o: {
-    src = builtins.fetchurl {
-      url = https://github.com/realworldocaml/mdx/releases/download/2.4.1/mdx-2.4.1.tbz;
-      sha256 = "04xg282dv9xrpcvav4fckrsxnfwmai1l73f9405fsgamrj8wqh0s";
-    };
     propagatedBuildInputs = o.propagatedBuildInputs ++ [ result cmdliner ];
   });