DIST Isabelle2023_linux.tar.gz 660494085 BLAKE2B 1b5b66c7f6c7118ddbd0c4e9c472eebe4b108654098717933f6310848a406fcc6ac924e0dad0430334c493ee768d0797666179010526371ec61d7f13ec75916d SHA512 2ac1da96d9312a89efc8112d104300e75aed9d2c945b067579bf6d3c2078d9a9af27905b72be12501f06e224df74fccd2483b699fa38b9bb483044695095747f
DIST Isabelle2023_linux_arm.tar.gz 623824573 BLAKE2B 2308d3aaf9e1ccc4fdd29a7affa7ac6cd5ece65e6ce2e4e568ef3e473998c916535be4fdbe68097e23d1eaa2a9fcebb00580e60e8e62eb89c3d85cd4b6553537 SHA512 7571820c7476a95332bac6f008544d32df16e2d1f047e8db1f2a28bc2454bb878e286c7a6f8da1da6482e45556392b3c41afd5cddc921fbffc4d676a829e07da