support for platform family "linux_arm";
f3a356c64193
Actions

Description

support for platform family "linux_arm";

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (6)

Path

Size

src/

Pure/

Admin/

System/

rISABELLEf3a356c64193

Admin/components/bundled-linux_arm

src/Pure/Admin/build_release.scala

src/Pure/Admin/components.scala

src/Pure/System/platform.scala

support for platform family "linux_arm";f3a356c64193Actions

Description

Details

Changes (6)

rISABELLEf3a356c64193

Admin/components/bundled-linux_arm

src/Pure/Admin/build_release.scala

src/Pure/Admin/components.scala

src/Pure/System/platform.scala

support for platform family "linux_arm";
f3a356c64193
Actions