Javascript license information
Build details
Build ID1671
Evaluation500944
Status Failed
Systemx86_64-linux
Namecompcert-3.10
Duration24 seconds
Finished 1 May 19:34 +0200
Weather Still failing
Log fileraw
Derivation
/gnu/store/45nw5bmjdw76amai343yw2p9d0grawhs-compcert-3.10.drv
Dependencies
Outputs
/gnu/store/v776q21a0h09mfibv4j5hbgk1y31xvfq-compcert-3.10
Build history
IDNameCompletion time
1443compcert-3.1014 Mar 23:44 +0100
1437compcert-3.1013 Mar 22:53 +0100
1416compcert-3.10
1358compcert-3.10 2 Mar 00:22 +0100
1263compcert-3.1011 Feb 10:44 +0100