New random-state (v. 1.0.1).

shop-planner · Apr 3, 2023 · 4ceb483 · 4ceb483
1 parent 5d0c6e6
commit 4ceb483
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/jenkins/ext/random-state b/jenkins/ext/random-state
diff --git a/shop3/shop3.asd b/shop3/shop3.asd
@@ -155,7 +155,7 @@ minimal affected subtree."
 (defsystem :shop3/theorem-prover
     :serial t
     :pathname "theorem-prover/"
-    :depends-on ("shop3/common" "shop3/unifier" "random-state")
+    :depends-on ("shop3/common" "shop3/unifier" (:version "random-state" "1.0.1"))
     :version (:read-file-form "shop-version.lisp-expr")
     :components ((:file "package-thpr")
                  (:file "decls")