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
Wed, 06 Oct 2021 21:37:59 +0200
changeset 74467 149c8ba1ebb2
parent 74466 d4c2a9191cd1
child 74473 f4a80cfb2781
child 74478 3984b1e91df6
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	Wed Oct 06 21:18:00 2021 +0200
+++ b/Admin/components/components.sha1	Wed Oct 06 21:37:59 2021 +0200
@@ -419,6 +419,7 @@
 98c5c79fef7256db9f64c8feea2edef0a789ce46  verit-2016post.tar.gz
 52ba18a6c96b53c5ae9b179d5a805a0c08f1da6d  verit-2020.10-rmx-1.tar.gz
 b6706e74e20e14038e9b38f0acdb5639a134246a  verit-2020.10-rmx.tar.gz
+d33e1e36139e86b9e9a48d8b46a6f90d7863a51c  verit-2021.06-rmx-1.tar.gz
 c11d1120fcefaec79f099fe2be05b03cd2aed8b9  verit-2021.06-rmx.tar.gz
 81d21dfd0ea5c58f375301f5166be9dbf8921a7a  windows_app-20130716.tar.gz
 fe15e1079cf5ad86f3cbab4553722a0d20002d11  windows_app-20130905.tar.gz
--- a/Admin/components/main	Wed Oct 06 21:18:00 2021 +0200
+++ b/Admin/components/main	Wed Oct 06 21:37:59 2021 +0200
@@ -25,7 +25,7 @@
 ssh-java-20190323
 stack-2.7.3
 vampire-4.6
-verit-2021.06-rmx
+verit-2021.06-rmx-1
 xz-java-1.9
 z3-4.4.0pre-3
 zipperposition-2.1-1
isabelle