From 147816450f7c10b4f0c734aa8910aef2d92f5496 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 4 Sep 2021 16:30:59 +0200
Subject: update nix sources

---
 default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'default.nix')

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";
-- 
cgit v1.2.3