Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/components.sha1
changeset 83544 d1a66e53c15c
parent 83543 71163a4cdb7b 
--- a/Admin/components/components.sha1	Mon Nov 10 20:49:13 2025 +0100
+++ b/Admin/components/components.sha1	Mon Nov 10 22:28:18 2025 +0100
@@ -631,6 +631,7 @@
 c11d1120fcefaec79f099fe2be05b03cd2aed8b9 verit-2021.06-rmx.tar.gz
 b576fd5d89767c1067541d4839fb749c6a68d22c verit-2021.06.1-rmx.tar.gz
 ddfac93c72f79f712a42eb2638b2693d6f9f4692 verit-2021.06.2-rmx-1.tar.gz
+20f70c9533fdaf4b8309156cda4018fe2597253f verit-2021.06.2-rmx-2.tar.gz
 19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
 c4666a6d8080b5e376b50471fd2d9edeb1f9c988 vscode_extension-20220324.tar.gz
 86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
isabelle