diff options
Diffstat (limited to '')
| -rw-r--r-- | default.nix | 2 | ||||
| -rw-r--r-- | nix/sources.json | 12 |
2 files changed, 7 insertions, 7 deletions
diff --git a/default.nix b/default.nix index 28053b1..964a95a 100644 --- a/default.nix +++ b/default.nix @@ -1,6 +1,6 @@ let - pkgs = import <nixpkgs> {}; sources = import ./nix/sources.nix; + pkgs = import sources.nixpkgs {}; naersk = pkgs.callPackage sources.naersk {}; in naersk.buildPackage { name = "isabelle-unicode"; diff --git a/nix/sources.json b/nix/sources.json index 195c3bd..eb410e4 100644 --- a/nix/sources.json +++ b/nix/sources.json @@ -5,10 +5,10 @@ "homepage": "", "owner": "nmattia", "repo": "naersk", - "rev": "e09c320446c5c2516d430803f7b19f5833781337", + "rev": "df71f5e4babda41cd919a8684b72218e2e809fa9", "sha256": "0k1pk2ixnxl6njjrgy750gm6m1nkkdsah383n3wp4ybrzacnav5h", "type": "tarball", - "url": "https://github.com/nmattia/naersk/archive/e09c320446c5c2516d430803f7b19f5833781337.tar.gz", + "url": "https://github.com/nmattia/naersk/archive/df71f5e4babda41cd919a8684b72218e2e809fa9.tar.gz", "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" }, "niv": { @@ -24,15 +24,15 @@ "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" }, "nixpkgs": { - "branch": "release-20.03", + "branch": "release-21.05", "description": "Nix Packages collection", "homepage": "", "owner": "NixOS", "repo": "nixpkgs", - "rev": "246b75a0d0d7da135a3e62c686b98975c30df42c", - "sha256": "0px8k4lh5nhq6f7pxqw8yawl5494njv22z4rmssywqkanf1xjs32", + "rev": "a75daa8c05eec495fa48ba794f6f513916eece27", + "sha256": "14vn0l98x7c02pjyf1x85j0n4l7746llyhqip17q5a2ilg81b9pa", "type": "tarball", - "url": "https://github.com/NixOS/nixpkgs/archive/246b75a0d0d7da135a3e62c686b98975c30df42c.tar.gz", + "url": "https://github.com/NixOS/nixpkgs/archive/a75daa8c05eec495fa48ba794f6f513916eece27.tar.gz", "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz" } } |