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" }: