1 files changed, 7 insertions, 7 deletions
diff --git a/pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-smt-lib.nix b/pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-smt-lib.nix
index 62d77dfa7c2..23a11c5176e 100644
--- a/pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-smt-lib.nix
+++ b/pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-smt-lib.nix
@@ -2,15 +2,15 @@
 args @ { fetchurl, ... }:
 rec {
   baseName = "cl-smt-lib";
-  version = "20210630-git";
+  version = "20211020-git";
 
   description = "SMT object supporting SMT-LIB communication over input and output streams";
 
   deps = [ args."asdf-package-system" args."named-readtables" args."trivial-gray-streams" ];
 
   src = fetchurl {
-    url = "http://beta.quicklisp.org/archive/cl-smt-lib/2021-06-30/cl-smt-lib-20210630-git.tgz";
-    sha256 = "0vrqzp6im2nvq6yfv4ysq4zv3m80v33apggzqq8r8j1zvbjjzrvm";
+    url = "http://beta.quicklisp.org/archive/cl-smt-lib/2021-10-20/cl-smt-lib-20211020-git.tgz";
+    sha256 = "1x2d79xcc0c56cb02axly6c10y6dmvxcpr3f16qry02rpfqys3qm";
   };
 
   packageName = "cl-smt-lib";
@@ -20,12 +20,12 @@ rec {
 }
 /* (SYSTEM cl-smt-lib DESCRIPTION
     SMT object supporting SMT-LIB communication over input and output streams
-    SHA256 0vrqzp6im2nvq6yfv4ysq4zv3m80v33apggzqq8r8j1zvbjjzrvm URL
-    http://beta.quicklisp.org/archive/cl-smt-lib/2021-06-30/cl-smt-lib-20210630-git.tgz
-    MD5 a10f913b43ba0ca99ee87a66e2f508ac NAME cl-smt-lib FILENAME cl-smt-lib
+    SHA256 1x2d79xcc0c56cb02axly6c10y6dmvxcpr3f16qry02rpfqys3qm URL
+    http://beta.quicklisp.org/archive/cl-smt-lib/2021-10-20/cl-smt-lib-20211020-git.tgz
+    MD5 f22b48a87b78fb5b38b35d780d34cd77 NAME cl-smt-lib FILENAME cl-smt-lib
     DEPS
     ((NAME asdf-package-system FILENAME asdf-package-system)
      (NAME named-readtables FILENAME named-readtables)
      (NAME trivial-gray-streams FILENAME trivial-gray-streams))
     DEPENDENCIES (asdf-package-system named-readtables trivial-gray-streams)
-    VERSION 20210630-git SIBLINGS NIL PARASITES NIL) */
+    VERSION 20211020-git SIBLINGS NIL PARASITES NIL) */