Port detail:


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

Fallout List

port version build environment category date urls
math/[email protected]_full 8.6_6,3 130powerpc64-quarterly package 2021-06-20 04:58 log report build queue
math/[email protected]_full 8.6_6,3 114amd64-quarterly package 2021-06-20 02:30 log report build queue
math/[email protected]_full 8.6_6,3 122amd64-quarterly package 2021-06-20 02:27 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-06-20 02:27 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-06-20 02:25 log report build queue
math/[email protected]_full 8.6_6,3 130i386-quarterly package 2021-06-20 02:24 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-06-20 02:23 log report build queue
math/[email protected]_nox 8.6_6,3 114amd64-quarterly package 2021-06-20 02:22 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-06-20 02:22 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-06-20 02:20 log report build queue
math/[email protected]_nox 8.6_6,3 122amd64-quarterly package 2021-06-20 02:20 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-06-20 02:20 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-06-20 02:19 log report build queue
math/[email protected]_nox 8.6_6,3 130i386-quarterly package 2021-06-20 02:18 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-06-20 02:18 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-06-20 02:16 log report build queue
math/[email protected]_full 8.6_6,3 130amd64-quarterly package 2021-06-20 02:05 log report build queue
math/[email protected] 8.6_6,3 130amd64-quarterly package 2021-06-20 02:05 log report build queue
math/[email protected] 8.6_6,3 130amd64-quarterly package 2021-06-20 02:02 log report build queue
math/[email protected]_nox 8.6_6,3 130amd64-quarterly package 2021-06-20 02:02 log report build queue
math/[email protected] 8.6_6,3 130amd64-quarterly package 2021-06-20 02:00 log report build queue
math/[email protected] 8.6_6,3 130powerpc64-quarterly package 2021-06-20 00:13 log report build queue
math/[email protected]_nox 8.6_6,3 130powerpc64-quarterly package 2021-06-19 11:03 log report build queue
math/[email protected] 8.6_6,3 130powerpc64-quarterly package 2021-06-19 10:13 log report build queue
math/[email protected]_full 8.6_6,3 122amd64-quarterly package 2021-06-19 02:51 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-06-19 02:45 log report build queue
math/[email protected]_full 8.6_6,3 122i386-quarterly package 2021-06-19 02:31 log report build queue
math/[email protected]_nox 8.6_6,3 122amd64-quarterly package 2021-06-19 02:30 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-06-19 02:29 log report build queue
math/[email protected]_full 8.6_6,3 114i386-quarterly package 2021-06-19 02:29 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-06-19 02:28 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-06-19 02:27 log report build queue
math/[email protected]_full 8.6_6,3 114amd64-quarterly package 2021-06-19 02:27 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-06-19 02:25 log report build queue
math/[email protected]_full 8.6_6,3 130i386-quarterly package 2021-06-19 02:24 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-06-19 02:24 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-06-19 02:23 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-06-19 02:23 log report build queue
math/[email protected]_nox 8.6_6,3 122i386-quarterly package 2021-06-19 02:23 log report build queue
math/[email protected]_nox 8.6_6,3 114i386-quarterly package 2021-06-19 02:22 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-06-19 02:22 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-06-19 02:20 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-06-19 02:20 log report build queue
math/[email protected]_nox 8.6_6,3 130i386-quarterly package 2021-06-19 02:20 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-06-19 02:19 log report build queue
math/[email protected]_nox 8.6_6,3 114amd64-quarterly package 2021-06-19 02:19 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-06-19 02:19 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-06-19 02:17 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-06-19 02:17 log report build queue
math/[email protected]_full 8.6_6,3 130amd64-quarterly package 2021-06-19 02:08 log report build queue

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