Build details

Build ID1871049
Status Succeeded
Systemx86_64-linux
Namegmp-6.1.2
Duration1571576946 seconds
Finished20 Oct 15:09 +0200
Log fileraw
Derivation
/gnu/store/sanxhc3xn0ryr5nkqwsqjbj144q9r4gy-gmp-6.1.2.drv
Outputs
/gnu/store/gzsnfa4v6672hnfp15gqg9bgglgca237-gmp-6.1.2
/gnu/store/4nfnbapknl4gvx958swc484fh0z4flkz-gmp-6.1.2-debug