Port detail:


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

Fallout List

port version build environment category date (UTC) urls
math/coq@canna 8.20.1,3 141releng-armv7-default configure log report build queue
math/coq@full 8.20.1,3 141releng-armv7-default configure log report build queue
math/coq@nox 8.20.1,3 141releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1,3 141releng-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@full 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@canna 8.20.1,3 134releng-armv7-default configure log report build queue
math/coq@full 8.20.1,3 134releng-armv7-default configure log report build queue
math/coq@nox 8.20.1,3 134releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1,3 134releng-armv7-default configure log report build queue
math/coq@canna 8.20.1,3 main-armv7-default configure log report build queue
math/coq@full 8.20.1,3 main-armv7-default configure log report build queue
math/coq@nox 8.20.1,3 main-armv7-default configure log report build queue
math/coq@wayland 8.20.1,3 main-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@full 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@full 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-default configure log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-default configure log report build queue
math/coq@full 8.19_4,3 134releng-armv7-default configure log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@full 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-quarterly configure log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@full 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-default configure log report build queue
math/coq@wayland 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure log report build queue
math/coq@nox 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure log report build queue
math/coq@full 8.19_4,3 134releng-armv7-quarterly configure log report build queue
math/coq@canna 8.19_4,3 134releng-armv7-quarterly configure log report build queue

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