# HG changeset patch
# User wenzelm
# Date 1632768326 -7200
# Node ID ac90d6c6c14924ca756984fcf7e950a963820477
# Parent  ba30067b7259630f48c1d615ed4caa6feac8ec05
provide zipperposition-2.1 (still unused);

diff -r ba30067b7259 -r ac90d6c6c149 Admin/components/components.sha1
--- 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
diff -r ba30067b7259 -r ac90d6c6c149 src/Pure/Admin/build_zipperposition.scala
--- 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 */