Port detail:


Port: math/coq
Maintainer: ports@FreeBSD.org
URLs: FreshPorts

Fallout List

port version build environment category date (UTC) urls
math/coq@nox 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@full 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@canna 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@devel_nox 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@devel_nox 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@full 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@nox 8.20.1_2,3 main-armv7-default configure log report build queue
math/coq@nox 8.20.1_2,3 142releng-armv7-default configure log report build queue
math/coq@full 8.20.1_2,3 142releng-armv7-default configure log report build queue
math/coq@full 8.20.1_2,3 main-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_2,3 142releng-armv7-default configure log report build queue
math/coq@canna 8.20.1_2,3 142releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_2,3 142releng-armv7-default configure log report build queue
math/coq@devel_nox 8.20.1_2,3 142releng-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_2,3 main-armv7-default configure log report build queue
math/coq@canna 8.20.1_2,3 main-armv7-default configure log report build queue
math/coq@wayland 8.20.1_2,3 main-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_1,3 135releng-armv7-quarterly configure log report build queue
math/coq@devel_nox 8.20.1_2,3 main-armv7-default configure log report build queue
math/coq@canna 8.20.1_1,3 135releng-armv7-quarterly configure log report build queue
math/coq@nox 8.20.1_1,3 135releng-armv7-quarterly configure log report build queue
math/coq@wayland 8.20.1_1,3 135releng-armv7-quarterly configure log report build queue
math/coq@devel_nox 8.20.1_1,3 135releng-armv7-quarterly configure log report build queue
math/coq@full 8.20.1_1,3 135releng-armv7-quarterly configure log report build queue
math/coq@nox 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@full 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@canna 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@devel_nox 8.20.1_2,3 135releng-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@canna 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@nox 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@wayland 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@devel_nox 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@full 8.20.1_1,3 142releng-armv7-quarterly configure log report build queue
math/coq@devel_full 8.20.1_1,3 142releng-armv7-default configure log report build queue
math/coq@canna 8.20.1_1,3 142releng-armv7-default configure log report build queue
math/coq@nox 8.20.1_1,3 142releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_1,3 142releng-armv7-default configure log report build queue
math/coq@devel_nox 8.20.1_1,3 142releng-armv7-default configure log report build queue
math/coq@full 8.20.1_1,3 142releng-armv7-default configure log report build queue
math/coq@devel_full 8.20.1_1,3 135releng-armv7-default configure log report build queue
math/coq@canna 8.20.1_1,3 135releng-armv7-default configure log report build queue
math/coq@nox 8.20.1_1,3 135releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_1,3 135releng-armv7-default configure log report build queue
math/coq@wayland 8.20.1_1,3 135releng-armv7-default configure log report build queue

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