Added cl-z3 per issue #2474

quicklisp · quicklisp · commit a1ffe74fe377 · 2025-12-08T15:02:51.000-05:00
diff --git a/projects/cl-z3/source.txt b/projects/cl-z3/source.txt
@@ -0,0 +1 @@
+git https://github.com/mister-walter/cl-z3.git

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+git https://github.com/mister-walter/cl-z3.git`