# HG changeset patch
# User wenzelm
# Date 1706736972 -3600
# Node ID 76ad72736e9ed3f1ee5d76a82383942209211d10
# Parent  ceaef5bae253a7c975f4b3636ddf509e099d0e7c
rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
uniform baseline for "linux" and "linux_arm";

diff -r ceaef5bae253 -r 76ad72736e9e Admin/components/PLATFORMS
--- a/Admin/components/PLATFORMS	Wed Jan 31 21:50:50 2024 +0100
+++ b/Admin/components/PLATFORMS	Wed Jan 31 22:36:12 2024 +0100
@@ -50,7 +50,7 @@
 
 Experimental platforms:
 
-  arm64-linux       Raspberry Pi OS 64bit beta (Debian 10 / Buster)
+  arm64-linux       Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:20.04 bash")
 
 
 64 bit vs. 32 bit platform personality
diff -r ceaef5bae253 -r 76ad72736e9e Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Jan 31 21:50:50 2024 +0100
+++ b/Admin/components/components.sha1	Wed Jan 31 22:36:12 2024 +0100
@@ -521,6 +521,7 @@
 d33e1e36139e86b9e9a48d8b46a6f90d7863a51c verit-2021.06-rmx-1.tar.gz
 c11d1120fcefaec79f099fe2be05b03cd2aed8b9 verit-2021.06-rmx.tar.gz
 b576fd5d89767c1067541d4839fb749c6a68d22c verit-2021.06.1-rmx.tar.gz
+ddfac93c72f79f712a42eb2638b2693d6f9f4692 verit-2021.06.2-rmx-1.tar.gz
 19c6e5677b0a26cbc5805da79d00d06a66b7a671 verit-2021.06.2-rmx.tar.gz
 c4666a6d8080b5e376b50471fd2d9edeb1f9c988 vscode_extension-20220324.tar.gz
 86c952d739d1eb868be88898982d4870a3d8c2dc vscode_extension-20220325.tar.gz
diff -r ceaef5bae253 -r 76ad72736e9e Admin/components/main
--- a/Admin/components/main	Wed Jan 31 21:50:50 2024 +0100
+++ b/Admin/components/main	Wed Jan 31 22:36:12 2024 +0100
@@ -36,7 +36,7 @@
 sqlite-jdbc-3.45.0.0
 stack-2.13.1
 vampire-4.8
-verit-2021.06.2-rmx
+verit-2021.06.2-rmx-1
 vscode_extension-20230206
 vscodium-1.70.1
 xz-java-1.9