Diffusion Isabelle ffb15f7f26d5

include arm64-linux;
ffb15f7f26d5
Actions

Tags

None

Subscribers

None

Description

include arm64-linux;

Details

Provenance

Authored on

Parents

rISABELLEc876e8c61843: prefer existing OCaml installation;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEffb15f7f26d5: include arm64-linux;.Oct 5 2021, 12:04 AM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLEffb15f7f26d5

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...