port | maintainer | build environment | category | date | urls |
---|---|---|---|---|---|
security/klee | [email protected] | 140releng-powerpc-quarterly | build | 2024-01-18 16:23 | log report port detail FreshPorts |
security/klee | [email protected] | 132powerpc-quarterly | build | 2024-01-09 05:37 | log report port detail FreshPorts |
security/klee | [email protected] | 132arm64-default | package | 2023-12-17 00:12 | log report port detail FreshPorts |
security/klee | [email protected] | 140releng-powerpc-quarterly | build | 2023-12-04 10:13 | log report port detail FreshPorts |