Latest builds

# Finished at Package/release name System
Succeeded 41343531 8h ago Agda-2.5.1.1 x86_64-linux
Succeeded 41310502 1d ago Agda-2.5.1.1 x86_64-linux
Succeeded 41300324 1d ago Agda-2.5.1.1 x86_64-linux
Succeeded 41124299 3d ago Agda-2.5.1.1 x86_64-linux
Succeeded 41046744 4d ago Agda-2.5.1.1 x86_64-linux
Succeeded 40958110 5d ago Agda-2.5.1.1 x86_64-linux
Succeeded 40865029 2016-09-21 Agda-2.5.1.1 x86_64-linux
Succeeded 40845470 2016-09-19 Agda-2.5.1.1 x86_64-linux
Succeeded 40818567 2016-09-18 Agda-2.5.1.1 x86_64-linux
Succeeded 40809437 2016-09-17 Agda-2.5.1.1 x86_64-linux
More...

Queued builds

# Queued at Package/release name System
Queued 41115123 4d ago Agda-2.5.1.1 x86_64-linux
Loading...