Latest builds

# Finished at Package/release name System
Succeeded 31828255 1d ago Agda-2.4.2.5 x86_64-linux
Succeeded 31575176 2016-02-03 Agda-2.4.2.5 x86_64-linux
Dependency failed 31323445 2016-01-30 Agda-2.4.2.5 x86_64-linux
Succeeded 31182818 2016-01-27 Agda-2.4.2.5 x86_64-linux
Succeeded 31001814 2016-01-22 Agda-2.4.2.5 x86_64-linux
Succeeded 30883032 2016-01-21 Agda-2.4.2.5 x86_64-linux
Succeeded 30724429 2016-01-18 Agda-2.4.2.5 x86_64-linux
Cancelled 30649814 2016-01-18 Agda-2.4.2.5 x86_64-linux
Succeeded 30468094 2016-01-14 Agda-2.4.2.5 x86_64-linux
Succeeded 30411666 2016-01-13 Agda-2.4.2.5 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)