Update sources (#1885)

* Update sources * rm upstreamed --------- Co-authored-by: UpdateBot <[email protected]>
nix-ocaml · Jan 18, 2025 · b4d5d86 · b4d5d86
1 parent 4baf0d2
commit b4d5d86
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 13 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=62e9d4ae7c343fdae23f7cf347d98204488c1401";
+    nixpkgs.url = "github:NixOS/nixpkgs?rev=0993fc268872148cebcd1fac8660a8b8ced49542";
   };
 
   outputs = { self, nixpkgs }:

diff --git a/ocaml/default.nix b/ocaml/default.nix
@@ -183,14 +183,6 @@ with oself;
     propagatedBuildInputs = [ async_ssl uri uri-sexp ];
   };
 
-  asn1-combinators = osuper.asn1-combinators.overrideAttrs (o: {
-    src = builtins.fetchurl {
-      url = "https://github.com/mirleft/ocaml-asn1-combinators/releases/download/v0.3.2/asn1-combinators-0.3.2.tbz";
-      sha256 = "0zwa1pxprzq77h5y6j2s7dj14zkmsrdkb14zrlyhf8i7drgrh9ib";
-    };
-    propagatedBuildInputs = o.propagatedBuildInputs ++ [ ohex ];
-  });
-
   atdts = buildDunePackage {
     pname = "atdts";
     inherit (atdgen-codec-runtime) version src;