Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o
Build logs for cbmc on armhf [X] in stretch-staging [X]
| Version | Architecture | Result | Build date | Builder | Build time | Disk space |
|---|---|---|---|---|---|---|
| 5.6-1 (stretch-staging) |  armhf |
Maybe-Successful | 2016-12-15 17:41:41 | testbuildd | 3h 7m | 1.27 GB |
| 5.4-3 (stretch-staging) | Maybe-Successful | 2016-07-20 17:11:11 | bm-wb-01 | 2h 39m | 933.07 MB | |
| 5.4-2 (stretch-staging) | Maybe-Successful | 2016-05-20 13:44:40 | bm-wb-03 | 2h 34m | 865.88 MB | |
| 5.3-1 (stretch-staging) | Maybe-Successful | 2016-01-31 15:08:23 | testwandboard | 2h 52m | 1 GB | |
| 5.2-1 (stretch-staging) | Maybe-Successful | 2015-09-17 09:40:04 | bm-wb-03 | 2h 48m | 831.93 MB | |
| 5.1-1 (stretch-staging) | Maybe-Successful | 2015-05-21 06:42:58 | testwandboard | 2h 3m | 696.25 MB | |
| 5.0-3 (stretch-staging) | Maybe-Successful | 2015-04-27 21:53:09 | testwandboard | 2h 4m | 628 MB |