Skip to content

Commit

Permalink
Update sources (#1324)
Browse files Browse the repository at this point in the history
* Update sources

* rm upstreamed

---------

Co-authored-by: UpdateBot <[email protected]>
  • Loading branch information
anmonteiro and ulrikstrid authored Mar 16, 2024
1 parent 9c02597 commit 006a69f
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 11 deletions.
8 changes: 4 additions & 4 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
};

inputs = {
nixpkgs.url = "github:NixOS/nixpkgs?rev=2bcf18c64c66b95e17d9c8755104d33bc5103c63";
nixpkgs.url = "github:NixOS/nixpkgs?rev=bda93c2221bc4185056723795c62e1b4cc661c4b";
flake-utils.url = "github:numtide/flake-utils";
};

Expand Down
6 changes: 0 additions & 6 deletions ocaml/overlay-ocaml-packages.nix
Original file line number Diff line number Diff line change
Expand Up @@ -30,12 +30,6 @@ let
(if !(ocaml-ng ? "ocamlPackages_trunk") then {
ocamlPackages_4_14 = ocaml-ng.ocamlPackages_4_14.overrideScope (oself: osuper: {
ocaml = osuper.ocaml.overrideAttrs (_: {
src = super.fetchFromGitHub {
owner = "ocaml";
repo = "ocaml";
rev = "4.14.2-rc1";
hash = "sha256-QZiPaYY66kkhn9xO60LFHDaT76kAvkNIgNT+G17YJrM=";
};
hardeningDisable = [ "strictoverflow" ];
});
});
Expand Down

0 comments on commit 006a69f

Please sign in to comment.