Skip to content

Commit 15ddfb8

Browse files
Update sources (#1948)
* Update sources * rm upstreamd --------- Co-authored-by: UpdateBot <[email protected]>
1 parent 07f36a7 commit 15ddfb8

File tree

3 files changed

+5
-14
lines changed

3 files changed

+5
-14
lines changed

flake.lock

+4-4
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

flake.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
};
88

99
inputs = {
10-
nixpkgs.url = "github:NixOS/nixpkgs?rev=449d030cc433d6f39d1c5116f812e7df74bba1c3";
10+
nixpkgs.url = "github:NixOS/nixpkgs?rev=b1f2198021490b51fb92b8b09db97b9ba2a7b4ce";
1111
};
1212

1313
outputs = { self, nixpkgs }:

ocaml/default.nix

-9
Original file line numberDiff line numberDiff line change
@@ -2027,15 +2027,6 @@ with oself;
20272027
propagatedBuildInputs = o.propagatedBuildInputs ++ [ stdio ];
20282028
});
20292029

2030-
paf = osuper.paf.overrideAttrs (o: {
2031-
src = fetchFromGitHub {
2032-
owner = "dinosaure";
2033-
repo = "paf-le-chien";
2034-
rev = "0.7.0";
2035-
hash = "sha256-1syLjF30a7xd7VOtSCbNaWAAum+2ewFo+hoH40xyLew=";
2036-
};
2037-
});
2038-
20392030
patch = buildDunePackage {
20402031
pname = "patch";
20412032
version = "2.0.0";

0 commit comments

Comments
 (0)