Port detail:


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

Fallout List

port version build environment category date urls
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-11-04 11:44 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-11-04 02:14 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-11-03 10:50 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-11-03 10:14 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-10-05 05:50 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-10-04 23:20 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-10-04 12:16 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-10-04 11:52 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-09-25 20:55 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-09-25 13:39 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-09-25 01:39 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-09-25 01:08 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-09-15 20:22 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-09-15 12:42 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-09-15 00:31 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-09-15 00:08 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-09-04 09:11 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-09-04 00:02 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-09-03 09:05 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-09-03 08:27 log report build queue