Latest builds

# Finished at Package/release name System
Succeeded 37144728 1d ago Agda-2.5.1 x86_64-linux
Succeeded 37075971 3d ago Agda-2.5.1 x86_64-linux
Succeeded 37019683 4d ago Agda-2.5.1 x86_64-linux
Succeeded 36970938 4d ago Agda-2.5.1 x86_64-linux
Succeeded 36861754 2016-06-14 Agda-2.5.1 x86_64-linux
Succeeded 36797957 2016-06-12 Agda-2.5.1 x86_64-linux
Succeeded 36752510 2016-06-10 Agda-2.5.1 x86_64-linux
Succeeded 36723113 2016-06-07 Agda-2.5.1 x86_64-linux
Succeeded 36675641 2016-06-07 Agda-2.5.1 x86_64-linux
Succeeded 36617079 2016-06-03 Agda-2.5.1 x86_64-linux
More...
Loading...