From 6a27ba96989166da2d16397852e7343ac4d10b1e Mon Sep 17 00:00:00 2001
From: Simon Van Casteren <simon.van.casteren@gmail.com>
Date: Mon, 4 Nov 2019 15:17:47 +0100
Subject: Added nix files

---
 default.nix | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 default.nix

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
new file mode 100644
index 00000000..ba9eed30
--- /dev/null
+++ b/default.nix
@@ -0,0 +1,9 @@
+let
+  pinnedNixpkgs = import (builtins.fetchTarball {
+    name = "pinned-nixpkgs-for-urweb-school";
+    url = https://github.com/NixOS/nixpkgs/archive/5a8bfc98a23669f71596d079df20730ccdfdf04b.tar.gz;
+    # Hash obtained using `nix-prefetch-url --unpack <url>`
+    sha256 = "15qbfjjw5ak1bpiq36s0y9iq3j45azmb8nz06fpx4dgkg32i8fm5";
+  }) {};
+in
+{pkgs ? pinnedNixpkgs}: pkgs.callPackage ./derivation.nix {}
-- 
cgit v1.2.3