provide zipperposition-2.1 (still unused);
authorwenzelm
Mon, 27 Sep 2021 20:45:26 +0200
changeset 74736 ac90d6c6c149
parent 74733 ba30067b7259
child 74737 3301c0d8b560
provide zipperposition-2.1 (still unused);
Admin/components/components.sha1
src/Pure/Admin/build_zipperposition.scala
--- a/Admin/components/components.sha1	Mon Sep 27 11:19:56 2021 +0200
+++ b/Admin/components/components.sha1	Mon Sep 27 20:45:26 2021 +0200
@@ -438,3 +438,4 @@
 aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz
 9dfeb39c87393af7b6a34118507637aa53aca05e  zipperposition-2.0-1.tar.gz
 b884c60653002a7811e3b652ae0515e825d98667  zipperposition-2.0.tar.gz
+5f53a77efb5cbe9d0c95d74a1588cc923bd711a7  zipperposition-2.1.tar.gz
--- a/src/Pure/Admin/build_zipperposition.scala	Mon Sep 27 11:19:56 2021 +0200
+++ b/src/Pure/Admin/build_zipperposition.scala	Mon Sep 27 20:45:26 2021 +0200
@@ -9,7 +9,7 @@
 
 object Build_Zipperposition
 {
-  val default_version = "2.0"
+  val default_version = "2.1"
 
 
   /* build Zipperposition */