1 files changed, 1 insertions, 1 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";