| Port: | math/coq |
|---|---|
| Maintainer: | ports@FreeBSD.org |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/coq@nox | 8.20.1_2,3 | 135releng-armv7-default | configure | log report build queue | |
| math/coq@full | 8.20.1_2,3 | 135releng-armv7-default | configure | log report build queue |