Diffusion Isabelle a57413dd2909

rebuild x86_64-linux on Ubuntu 14.04.6 LTS;
a57413dd2909
Actions

Tags

None

Subscribers

None

Description

rebuild x86_64-linux on Ubuntu 14.04.6 LTS;
rebuild x86_64-cygwin on cygwin-20200116;

Details

Provenance

Authored on

Parents

rISABELLEce1222e9451e: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa57413dd2909: rebuild x86_64-linux on Ubuntu 14.04.6 LTS;.Mar 4 2020, 3:38 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLEa57413dd2909

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...