Port detail:


Port: math/coq
Maintainer: [email protected]
URLs: FreshPorts

Fallout List

port version build environment category date urls
math/[email protected]_nox 8.6_11,3 main-amd64-default build 2022-07-14 18:42 log log v4 report build queue
math/[email protected] 8.6_11,3 main-amd64-default build 2022-06-03 00:17 log log v4 report build queue
math/[email protected] 8.6_11,3 main-amd64-default build 2022-06-03 00:17 log log v4 report build queue
math/[email protected]_full 8.6_11,3 main-amd64-default build 2022-06-02 16:05 log log v4 report build queue
math/[email protected]_full 8.6_11,3 main-amd64-default build 2022-06-02 16:05 log log v4 report build queue
math/[email protected]_full 8.6_11,3 main-amd64-default build 2022-05-31 19:57 log log v4 report build queue
math/[email protected]_full 8.6_11,3 main-amd64-default build 2022-05-28 20:34 log log v4 report build queue