From a4f34429f343b775efb69971267980c7d42c9690 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Wed, 1 Apr 2020 16:18:47 -0700 Subject: Delete old nixpkgs pin --- Com/Simatime/nixpkgs.nix | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 Com/Simatime/nixpkgs.nix (limited to 'Com') diff --git a/Com/Simatime/nixpkgs.nix b/Com/Simatime/nixpkgs.nix deleted file mode 100644 index 5d8dc56..0000000 --- a/Com/Simatime/nixpkgs.nix +++ /dev/null @@ -1,5 +0,0 @@ -# generated with ~/bin/nix-pin -{ - url = "https://github.com/NixOS/nixpkgs/archive/0715f2f1a9b3a1c15ddf3f7386a6d58c9a1bbe2d.tar.gz"; - sha256 = "0awm087hnsx0x5phxna5a0cm9ir6m7vha94b0q0zq5lb24clgr6s"; -} -- cgit v1.2.3