From a2fb664c4f05055bf3586681707edc57fa66896d Mon Sep 17 00:00:00 2001
From: Trolli Schmittlauch <t.schmittlauch@orlives.de>
Date: Tue, 12 May 2020 10:22:09 +0200
Subject: [PATCH] switch back to pinned NixOS 20.03 stable branch for
 environment

---
 Hash2Pub/default.nix | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/Hash2Pub/default.nix b/Hash2Pub/default.nix
index aadc22e..cc1d392 100644
--- a/Hash2Pub/default.nix
+++ b/Hash2Pub/default.nix
@@ -1,12 +1,9 @@
 { pkgs ? import (
   builtins.fetchGit {
     name = "nixpkgs-pinned";
-    #url = https://github.com/NixOS/nixpkgs/;
-    url = https://github.com/schmittlauch/nixpkgs/;
-    #ref = "refs/heads/release-20.03";
-    ref = "refs/heads/bump-asn1-types";
-    #rev = "10100a97c8964e82b30f180fda41ade8e6f69e41";
-    rev = "cb0e38127c7a66c292e60d7e8c1ab4eeb26c44a4";
+    url = https://github.com/NixOS/nixpkgs/;
+    ref = "refs/heads/release-20.03";
+    rev = "da7ddd822e32aeebea00e97ab5aeca9758250a40";
   }) {},
   compiler ? "ghc865"
 }: