Build details

Build ID3088731
Evaluation15619
Status Succeeded
Systemaarch64-linux
Nameflint-2.6.2
Duration11948 seconds
Finished 8 Aug 20:50 +0200
Log fileraw
Derivation
/gnu/store/b0vz9nkic483blp8v669x1arqwm6zbz2-flint-2.6.2.drv
Outputs
/gnu/store/vsghflqhqa3v7b8wszgj902alyv75lz4-flint-2.6.2