about summary refs log tree commit diff
path: root/third_party/lisp/prove.nix
diff options
context:
space:
mode:
Diffstat (limited to 'third_party/lisp/prove.nix')
-rw-r--r--third_party/lisp/prove.nix7
1 files changed, 1 insertions, 6 deletions
diff --git a/third_party/lisp/prove.nix b/third_party/lisp/prove.nix
index 358049865efb..af481499207f 100644
--- a/third_party/lisp/prove.nix
+++ b/third_party/lisp/prove.nix
@@ -1,11 +1,6 @@
 { depot, pkgs, ... }:
 
-let
-  src = pkgs.fetchgit {
-    url = "https://github.com/fukamachi/prove.git";
-    rev = "5d71f02795b89e36f34e8c7d50e69b67ec6ca2de";
-    hash = "sha256:0ca6ha3zhmckq3ad9lxm6sbg4i0hg3m81xhan4dkxd3x9898jzpc";
-  };
+let src = with pkgs; srcOnly lispPackages.prove;
 in depot.nix.buildLisp.library {
   name = "prove";