| port | maintainer | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/coq@devel_nox | hrs@FreeBSD.org | 135releng-armv7-default | configure | log report port detail FreshPorts | |
| math/coq@full | hrs@FreeBSD.org | 135releng-armv7-default | configure | log report port detail FreshPorts |