| Port: | math/coq |
|---|---|
| Maintainer: | ports@FreeBSD.org |
| URLs: | FreshPorts |
| port | version | build environment | category | date (UTC) | urls |
|---|---|---|---|---|---|
| math/coq@canna | 8.20.1_2,3 | 143arm64-default | build | log report build queue | |
| math/coq@devel_full | 8.20.1_2,3 | main-amd64-default | build | log report build queue | |
| math/coq@full | 8.20.1_2,3 | 143arm64-default | build | log report build queue | |
| math/coq@full | 8.20.1_2,3 | 143arm64-default | build | log report build queue |