| 3 days ago | v13_dev0-1265-ga05c6e8c1 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 3 days ago | v13_dev0-1263-ga14a12ca1 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 6 days ago | v13_dev0-1250-g538e50875 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 10 days ago | v13_dev0-1248-g19388a720 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 12 days ago | v13_dev0-1244-gdefe307fb | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 2017-07-28 | v13_dev0-1241-gb90fdb2c7 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 2017-07-26 | v13_dev0-1236-gb9129ec46 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 2017-07-26 | v13_dev0-1225-g80e919b17 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 56 | | 164 / 164 | |
| 2017-07-25 | v13_dev0-1224-g550cb6a85 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 57 | | 164 / 164 | |
| 2017-07-22 | v13_dev0-1222-g2b1324bd1 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 57 | | 164 / 164 | |
| 2017-07-21 | v13_dev0-1219-gce1a99d87 | x86_32 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 57 | | 164 / 164 | |