Build details

Build ID3088757
Evaluation15619
Status Canceled
Systemarmhf-linux
Nameflint-2.6.2
Duration1712829 seconds
Finished
Log file
Derivation
/gnu/store/xsa6ir94szqm62ksqb5f7pwlgwfdrja9-flint-2.6.2.drv
Outputs
/gnu/store/4wzfn4im0zfw4fkxrybxf1zbrsj7yb9w-flint-2.6.2