rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
uniform baseline for "linux" and "linux_arm";
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEceaef5bae253: proper os_name "linux" instead of "linux_arm" (amending a33a6e541cbb);
- Branches
- Unknown
- Tags