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 141releng-armv7-default configure 2025-02-21 09:03 log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-default configure 2025-02-21 00:16 log report build queue
math/coq@full 8.19_4,3 141releng-armv7-default configure 2025-02-20 09:25 log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-default configure 2025-02-20 08:57 log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-quarterly configure 2025-02-19 13:12 log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-quarterly configure 2025-02-19 04:44 log report build queue
math/coq@full 8.19_4,3 134releng-armv7-quarterly configure 2025-02-18 14:00 log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-quarterly configure 2025-02-18 13:34 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2025-02-15 19:28 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2025-02-15 09:06 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2025-02-14 16:08 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2025-02-14 15:29 log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-default configure 2025-02-12 10:09 log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-default configure 2025-02-12 01:12 log report build queue
math/coq@full 8.19_4,3 134releng-armv7-default configure 2025-02-11 10:05 log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-default configure 2025-02-11 09:35 log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-quarterly configure 2025-02-09 06:09 log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-quarterly configure 2025-02-08 21:51 log report build queue
math/coq@full 8.19_4,3 141releng-armv7-quarterly configure 2025-02-08 07:23 log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-quarterly configure 2025-02-08 06:59 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2025-02-05 07:25 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2025-02-05 03:15 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2025-02-04 19:39 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2025-02-04 19:25 log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-default configure 2025-02-02 00:03 log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-default configure 2025-02-01 17:47 log report build queue
math/coq@full 8.19_4,3 141releng-armv7-default configure 2025-02-01 06:50 log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-default configure 2025-02-01 06:31 log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-quarterly configure 2025-01-30 10:47 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2025-01-30 05:09 log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-quarterly configure 2025-01-30 03:44 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2025-01-29 23:32 log report build queue
math/coq@full 8.19_4,3 134releng-armv7-quarterly configure 2025-01-29 15:44 log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-quarterly configure 2025-01-29 15:19 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2025-01-29 14:41 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2025-01-29 14:17 log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-quarterly configure 2025-01-25 10:41 log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-default configure 2025-01-25 10:31 log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-quarterly configure 2025-01-25 03:49 log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-default configure 2025-01-25 01:30 log report build queue
math/coq@full 8.19_4,3 141releng-armv7-quarterly configure 2025-01-24 16:00 log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-quarterly configure 2025-01-24 15:37 log report build queue
math/coq@full 8.19_4,3 134releng-armv7-default configure 2025-01-24 10:53 log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-default configure 2025-01-24 10:23 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2025-01-23 12:03 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2025-01-23 05:45 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2025-01-22 19:16 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2025-01-22 18:49 log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-default configure 2025-01-15 15:57 log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-default configure 2025-01-15 10:44 log report build queue

See the fallout history page for more entries for this port.