Build details

Build ID1920965
Status Succeeded
Systemi686-linux
Nameidris-1.3.2
Duration5989 seconds
Finished12 Nov 10:00 +0100
Log fileraw
Derivation
/gnu/store/b4drqibxh4z9jyq75r358vyaq68ygkz5-idris-1.3.2.drv
Outputs
/gnu/store/hfiwidv5f1cfb1wm3lfnggr9l2n7fv0r-idris-1.3.2