| Port: | devel/dra |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| devel/dra | 0.6.3 | main-armv7-default | build | 2024-11-12 07:40 | log report build queue |
| devel/dra | 0.6.2_1 | main-armv7-default | build | 2024-11-04 02:46 | log report build queue |
| devel/dra | 0.6.2_1 | main-armv7-default | build | 2024-10-24 09:54 | log report build queue |
| devel/dra | 0.6.2_1 | main-armv7-default | build | 2024-10-04 23:42 | log report build queue |