Latest builds

# Finished at Package/release name System
Succeeded 25331491 17h ago idris-0.9.18.1 x86_64-linux
Succeeded 25317293 1d ago haskell-idris-0.9.18.1 x86_64-linux
Succeeded 25226795 3d ago haskell-idris-0.9.18.1 x86_64-linux
Succeeded 25087736 6d ago haskell-idris-0.9.18.1 x86_64-linux
Succeeded 25029964 2015-08-25 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 24843230 2015-08-19 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 24815857 2015-08-17 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 24798911 2015-08-15 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 24715566 2015-08-14 haskell-idris-0.9.18.1 x86_64-linux
Succeeded 24553633 2015-08-12 haskell-idris-0.9.18.1 x86_64-linux
More...

Build time (in seconds)

Closure size (in MiB)

Output size (in MiB)