1 files changed, 0 insertions, 31 deletions
diff --git a/users/wpcarro/third_party/lisp/prove.nix b/users/wpcarro/third_party/lisp/prove.nix
deleted file mode 100644
index 7c5879b1fded..000000000000
--- a/users/wpcarro/third_party/lisp/prove.nix
+++ /dev/null
@@ -1,31 +0,0 @@
-{ depot, briefcase, ... }:
-
-let
-  src = builtins.fetchGit {
-    url = "https://github.com/fukamachi/prove.git";
-    rev = "5d71f02795b89e36f34e8c7d50e69b67ec6ca2de";
-  };
-in depot.nix.buildLisp.library {
-  name = "prove";
-  deps = [
-    depot.third_party.lisp.cl-ppcre
-    depot.third_party.lisp.cl-ansi-text
-    depot.third_party.lisp.alexandria
-    depot.third_party.lisp.uiop
-    briefcase.third_party.lisp.cl-colors
-  ];
-  srcs = [
-    "${src}/src/asdf.lisp"
-    "${src}/src/suite.lisp"
-    "${src}/src/color.lisp"
-    "${src}/src/output.lisp"
-    "${src}/src/prove.lisp"
-    "${src}/src/report.lisp"
-    "${src}/src/reporter.lisp"
-    "${src}/src/test.lisp"
-    "${src}/src/reporter/dot.lisp"
-    "${src}/src/reporter/fiveam.lisp"
-    "${src}/src/reporter/list.lisp"
-    "${src}/src/reporter/tap.lisp"
-  ];
-}