1 files changed, 14 insertions, 11 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/lisp-modules/quicklisp-to-nix-output/prove.nix b/infra/libkookie/nixpkgs/pkgs/development/lisp-modules/quicklisp-to-nix-output/prove.nix
index 065c81e11a68..c3aa1dcaafed 100644
--- a/infra/libkookie/nixpkgs/pkgs/development/lisp-modules/quicklisp-to-nix-output/prove.nix
+++ b/infra/libkookie/nixpkgs/pkgs/development/lisp-modules/quicklisp-to-nix-output/prove.nix
@@ -1,15 +1,15 @@
 args @ { fetchurl, ... }:
 rec {
   baseName = ''prove'';
-  version = ''20171130-git'';
+  version = ''20200218-git'';
 
   description = ''System lacks description'';
 
-  deps = [ args."alexandria" args."anaphora" args."cl-ansi-text" args."cl-colors" args."cl-ppcre" args."let-plus" args."uiop" ];
+  deps = [ args."alexandria" args."anaphora" args."cl-ansi-text" args."cl-colors" args."cl-colors2" args."cl-ppcre" args."let-plus" args."uiop" ];
 
   src = fetchurl {
-    url = ''http://beta.quicklisp.org/archive/prove/2017-11-30/prove-20171130-git.tgz'';
-    sha256 = ''13dmnnlk3r9fxxcvk6sqq8m0ifv9y80zgp1wg63nv1ykwdi7kyar'';
+    url = ''http://beta.quicklisp.org/archive/prove/2020-02-18/prove-20200218-git.tgz'';
+    sha256 = ''1sv3zyam9sdmyis5lyv0khvw82q7bcpsycpj9b3bsv9isb4j30zn'';
   };
 
   packageName = "prove";
@@ -18,13 +18,16 @@ rec {
   overrides = x: x;
 }
 /* (SYSTEM prove DESCRIPTION System lacks description SHA256
-    13dmnnlk3r9fxxcvk6sqq8m0ifv9y80zgp1wg63nv1ykwdi7kyar URL
-    http://beta.quicklisp.org/archive/prove/2017-11-30/prove-20171130-git.tgz
-    MD5 630df4367537f799570be40242f8ed52 NAME prove FILENAME prove DEPS
+    1sv3zyam9sdmyis5lyv0khvw82q7bcpsycpj9b3bsv9isb4j30zn URL
+    http://beta.quicklisp.org/archive/prove/2020-02-18/prove-20200218-git.tgz
+    MD5 85780b65e84c17a78d658364b8c4d11b NAME prove FILENAME prove DEPS
     ((NAME alexandria FILENAME alexandria) (NAME anaphora FILENAME anaphora)
      (NAME cl-ansi-text FILENAME cl-ansi-text)
-     (NAME cl-colors FILENAME cl-colors) (NAME cl-ppcre FILENAME cl-ppcre)
-     (NAME let-plus FILENAME let-plus) (NAME uiop FILENAME uiop))
+     (NAME cl-colors FILENAME cl-colors) (NAME cl-colors2 FILENAME cl-colors2)
+     (NAME cl-ppcre FILENAME cl-ppcre) (NAME let-plus FILENAME let-plus)
+     (NAME uiop FILENAME uiop))
     DEPENDENCIES
-    (alexandria anaphora cl-ansi-text cl-colors cl-ppcre let-plus uiop) VERSION
-    20171130-git SIBLINGS (cl-test-more prove-asdf prove-test) PARASITES NIL) */
+    (alexandria anaphora cl-ansi-text cl-colors cl-colors2 cl-ppcre let-plus
+     uiop)
+    VERSION 20200218-git SIBLINGS (cl-test-more prove-asdf prove-test)
+    PARASITES NIL) */