| Port: | devel/cbmc |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| devel/cbmc | 6.3.1 | main-armv7-default | build | 2025-01-12 17:42 | log report build queue |
| devel/cbmc | 6.3.1 | main-arm64-default | build | 2025-01-07 09:29 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2025-01-07 02:39 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2025-01-06 18:59 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2025-01-03 13:54 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2025-01-03 07:37 | log report build queue |
| devel/cbmc | 6.3.1 | main-armv7-default | build | 2025-01-01 19:47 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-31 02:44 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-31 02:39 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-29 20:15 | log report build queue |
| devel/cbmc | 6.3.1 | main-arm64-default | build | 2024-12-29 20:11 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-29 18:04 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-28 05:29 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-28 05:27 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-26 14:00 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-26 08:58 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-24 19:41 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-24 14:39 | log report build queue |
| devel/cbmc | 6.3.1 | main-armv7-default | build | 2024-12-24 12:38 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-22 22:14 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-22 18:15 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-21 03:52 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-21 03:15 | log report build queue |
| devel/cbmc | 6.3.1 | main-arm64-default | build | 2024-12-20 13:06 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-19 03:26 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-19 02:38 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-17 20:11 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-17 16:04 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-15 15:11 | log report build queue |
| devel/cbmc | 6.3.1 | main-arm64-default | build | 2024-12-15 10:15 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-15 09:22 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-13 12:50 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-13 05:36 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-09 03:25 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-08 20:07 | log report build queue |
| devel/cbmc | 6.3.1 | main-armv7-default | build | 2024-12-08 18:20 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-05 12:55 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-12-04 08:22 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-04 00:15 | log report build queue |
| devel/cbmc | 6.3.1 | main-arm64-default | build | 2024-12-03 10:43 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-12-01 13:05 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-11-30 01:34 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-11-29 19:31 | log report build queue |
| devel/cbmc | 6.3.1 | main-armv7-default | build | 2024-11-27 00:23 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-11-26 23:48 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-11-26 20:26 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-11-24 05:11 | log report build queue |
| devel/cbmc | 6.3.1 | main-i386-default | build | 2024-11-24 00:41 | log report build queue |
| devel/cbmc | 6.3.1 | main-arm64-default | build | 2024-11-22 07:18 | log report build queue |
| devel/cbmc | 6.3.1 | main-amd64-default | build | 2024-11-21 16:02 | log report build queue |
See the fallout history page for more entries for this port.