Latest builds

# Finished at Package/release name System
Succeeded 39168708 4d ago Agda-2.5.1.1 x86_64-linux
Succeeded 39033130 5d ago Agda-2.5.1.1 x86_64-linux
Succeeded 38960102 2016-08-22 Agda-2.5.1.1 x86_64-linux
Succeeded 38765872 2016-08-21 Agda-2.5.1.1 x86_64-linux
Cancelled 38672550 2016-08-19 Agda-2.5.1.1 x86_64-linux
Succeeded 38653310 2016-08-19 Agda-2.5.1.1 x86_64-linux
Succeeded 38617437 2016-08-17 Agda-2.5.1.1 x86_64-linux
Succeeded 38424923 2016-08-10 Agda-2.5.1.1 x86_64-linux
Succeeded 38311304 2016-08-05 Agda-2.5.1.1 x86_64-linux
Succeeded 38287758 2016-08-05 Agda-2.5.1.1 x86_64-linux
More...
Loading...