Diffusion Isabelle 014c3d00e0f1

update to polyml-5e9c8155ea96, which is more robust on arm64;
014c3d00e0f1
Actions

Tags

None

Subscribers

None

Description

update to polyml-5e9c8155ea96, which is more robust on arm64;

Details

Provenance

Authored on

Parents

rISABELLE198697983eec: more robust dependencies for Pure;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE014c3d00e0f1: update to polyml-5e9c8155ea96, which is more robust on arm64;.Feb 5 2023, 2:41 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLE014c3d00e0f1

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...