From 2beeb713b47a762f465f35c0efed4c76d258a51c Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Mon, 29 Aug 2022 22:18:16 +0800 Subject: [PATCH] remove obsolete file --- zynq-rs.nix | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 zynq-rs.nix diff --git a/zynq-rs.nix b/zynq-rs.nix deleted file mode 100644 index 5a22f34..0000000 --- a/zynq-rs.nix +++ /dev/null @@ -1,8 +0,0 @@ -let - pkgs = import {}; -in - pkgs.fetchgit { - url = "https://git.m-labs.hk/M-Labs/zynq-rs.git"; - rev = "22833ef0c6ff705130c9c7e39c83103b5b6a1c12"; - sha256 = "095dk8jmsqmj5822zwn34i9x08f0arqy8rhif0dxqsn1zpb4mk1l"; - }