| 12 hours ago | v13_dev0-1236-gb9129ec46 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 34 hours ago | v13_dev0-1225-g80e919b17 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 46 hours ago | v13_dev0-1224-g550cb6a85 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 62 | | 2104 / 2109 | ▶ |
|
|
| 5 days ago | v13_dev0-1222-g2b1324bd1 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 62 | | 2107 / 2111 | ▶ |
|
|
| 5 days ago | v13_dev0-1219-gce1a99d87 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 62 | | 2106 / 2110 | ▶ |
|
|
| 9 days ago | v13_dev0-1218-g95ce02b35 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 62 | | 2104 / 2110 | ▶ |
|
|
| 2017-07-11 | v13_dev0-1217-g825e463a1 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 61 | | 2111 / 2111 | |
| 2017-07-09 | v13_dev0-1216-g0f5ad12ba | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 67 | | 2111 / 2111 | |
| 2017-07-09 | v13_dev0-1213-g79f64f7eb | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 67 | | 2111 / 2111 | |
| 2017-07-06 | v13_dev0-1212-gfd92dafaf | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 67 | | 2111 / 2111 | |
| 2017-07-05 | v13_dev0-1211-g5be9939b4 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 67 | | 2111 / 2111 | |
| 2017-07-03 | v13_dev0-1201-g61f589e31 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 67 | | 2109 / 2109 | |
| 2017-06-28 | v13_dev0-1200-g969f21595 | x86_64 | linux | gcc 6.3.0 (Debian 6.3.0-18) 20170516 | 67 | | 2109 / 2109 | |