From 522d995c874baf06c8d3935b06b51d0182f59303 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 16 Feb 2021 18:02:45 +0000
Subject: Pin nixpkgs

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

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index ae99da5..8308389 100644
--- a/default.nix
+++ b/default.nix
@@ -1,5 +1,4 @@
-with import <nixpkgs> {};
-
+with import (fetchTarball "https://github.com/NixOS/nixpkgs/archive/269fc4ddb896c1c5994eb4bb8c750ec18cb3db82.tar.gz") {};
 let
   ncoq = coq_8_12;
   ncoqPackages = coqPackages_8_12;
-- 
cgit