| 7 hours ago | v13_dev0-1303-g2b50847e0 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2112 / 2112 | |
| 3 days ago | v13_dev0-1302-ga5a6ac1a1 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2112 / 2112 | |
| 7 days ago | v13_dev0-1300-gac6691ab9 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2112 / 2112 | |
| 8 days ago | v13_dev0-1299-g10eb496d9 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2112 / 2112 | |
| 10 days ago | v13_dev0-1289-gb05128f3c | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-09-04 | v13_dev0-1288-gf19fbfbdc | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-09-02 | v13_dev0-1286-ge12f1cd61 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-08-31 | v13_dev0-1283-g39e16ee22 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-08-30 | v13_dev0-1277-g173b56218 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-08-28 | v13_dev0-1276-g5e3f6dc70 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-08-25 | v13_dev0-1275-g29ba1e607 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |