Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include arm64-linux;
authorwenzelm
Mon, 04 Oct 2021 23:50:21 +0200
changeset 74458 91ede652d828
parent 74457 4e317412db48
child 74459 c876e8c61843
include arm64-linux;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Oct 04 23:47:15 2021 +0200
+++ b/Admin/components/components.sha1	Mon Oct 04 23:50:21 2021 +0200
@@ -449,4 +449,5 @@
 aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz
 9dfeb39c87393af7b6a34118507637aa53aca05e  zipperposition-2.0-1.tar.gz
 b884c60653002a7811e3b652ae0515e825d98667  zipperposition-2.0.tar.gz
+b129ec4f8a4474953ec107536298ee08a01fbebc  zipperposition-2.1-1.tar.gz
 5f53a77efb5cbe9d0c95d74a1588cc923bd711a7  zipperposition-2.1.tar.gz
--- a/Admin/components/main	Mon Oct 04 23:47:15 2021 +0200
+++ b/Admin/components/main	Mon Oct 04 23:50:21 2021 +0200
@@ -28,4 +28,4 @@
 verit-2021.06-rmx
 xz-java-1.9
 z3-4.4.0pre-3
-zipperposition-2.1
+zipperposition-2.1-1
isabelle