summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--default.nix2
-rw-r--r--nix/sources.json12
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"
}
}