Build details

Build ID3328493
Evaluation17532
Status Scheduled
Systemaarch64-linux
Namecamlp5-7.13
Duration-273 seconds
Finished
Log file
Derivation
/gnu/store/m5jsnlikp5xw5rwcsks2ya7x3fk48bvd-camlp5-7.13.drv
Outputs
/gnu/store/11z9h9id5224z0dh4jyi27yjk82hccvi-camlp5-7.13