port | maintainer | build environment | category | date | urls |
---|---|---|---|---|---|
devel/gprbuild | [email protected] | main-arm64-default | configure | 2024-01-06 16:49 | log report port detail FreshPorts |
devel/gprbuild | [email protected] | 132arm64-quarterly | configure | 2024-01-03 03:05 | log report port detail FreshPorts |