Latest builds

# Finished at Package/release name System
Succeeded 36295823 1d ago Agda-2.5.1 x86_64-linux
Succeeded 36245477 1d ago Agda-2.5.1 x86_64-linux
Succeeded 36186830 3d ago Agda-2.5.1 x86_64-linux
Succeeded 36115765 5d ago Agda-2.5.1 x86_64-linux
Succeeded 36043113 2016-05-21 Agda-2.5.1 x86_64-linux
Cancelled 36000944 2016-05-20 Agda-2.5.1 x86_64-linux
Succeeded 35942208 2016-05-18 Agda-2.5.1 x86_64-linux
Succeeded 35817655 2016-05-18 Agda-2.5.1 x86_64-linux
Succeeded 35753497 2016-05-16 Agda-2.5.1 x86_64-linux
Succeeded 35561732 2016-05-13 Agda-2.5.1 x86_64-linux
More...
Loading...