| Port: | devel/ikos |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| devel/ikos | 3.2_2 | 132releng-armv7-default | configure | 2024-05-13 23:27 | log report build queue |
| devel/ikos | 3.2_2 | 140releng-armv7-default | configure | 2024-05-06 15:56 | log report build queue |
| devel/ikos | 3.2_2 | main-armv7-default | configure | 2024-05-01 18:15 | log report build queue |
| devel/ikos | 3.2_2 | 132releng-armv7-default | configure | 2024-05-01 07:25 | log report build queue |