diff options
Diffstat (limited to 'third_party/arion/default.nix')
-rw-r--r-- | third_party/arion/default.nix | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/third_party/arion/default.nix b/third_party/arion/default.nix deleted file mode 100644 index 7b0aa4ee334a..000000000000 --- a/third_party/arion/default.nix +++ /dev/null @@ -1,10 +0,0 @@ -{ pkgs, ... }: - -(import - (pkgs.fetchFromGitHub { - owner = "hercules-ci"; - repo = "arion"; - rev = "db6d4d7490dff363de60cebbece3ae9361e3ce43"; - sha256 = "0d8nqmc7fjshigax2g47ips262v8ml27x0ksq59kmprgb7ckzi5l"; - }) - { inherit pkgs; }).arion |