Javascript license information
Build details
Build ID1773
Evaluation532061
Status Succeeded
Systemx86_64-linux
Namecompcert-3.10
Duration129 seconds
Finished26 May 10:32 +0200
Weather New success
Log fileraw
Derivation
/gnu/store/p79mp48cbddck1d4sjy2sr597ixr80dd-compcert-3.10.drv
Dependencies
Outputs
/gnu/store/jwcr4vzzhjgxp7lwimck0wx3qfnxi8jv-compcert-3.10
Build history
IDNameCompletion time
1671compcert-3.10 1 May 19:34 +0200
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