Build details

Build ID3315613
Evaluation17434
Status Scheduled
Systemaarch64-linux
Nameocaml4.07-lambda-term-2.0.2
Duration-64608 seconds
Finished
Log file
Derivation
/gnu/store/alq3km51ja3b3drq9yndm0hmfz78q7b8-ocaml4.07-lambda-term-2.0.2.drv
Outputs
/gnu/store/6qjb658zj544zk03vq4n7k54x5f6ldfs-ocaml4.07-lambda-term-2.0.2