update nix sources

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"
     }
 }