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 122amd64-quarterly package 2021-07-04 19:26 log report build queue
math/[email protected]_full 8.6_6,3 122amd64-quarterly package 2021-07-04 19:26 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-07-04 11:58 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-07-04 11:58 log report build queue
math/[email protected]_full 8.6_6,3 122i386-quarterly package 2021-07-04 00:57 log report build queue
math/[email protected]_full 8.6_6,3 122i386-quarterly package 2021-07-04 00:57 log report build queue
math/[email protected]_full 8.6_6,3 114amd64-quarterly package 2021-07-03 20:28 log report build queue
math/[email protected]_full 8.6_6,3 114amd64-quarterly package 2021-07-03 20:28 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-07-03 20:15 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-07-03 20:15 log report build queue
math/[email protected]_nox 8.6_6,3 122amd64-quarterly package 2021-07-03 17:29 log report build queue
math/[email protected]_nox 8.6_6,3 122amd64-quarterly package 2021-07-03 17:29 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-07-03 16:25 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-07-03 16:25 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-07-03 15:30 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-07-03 15:30 log report build queue
math/[email protected]_full 8.6_6,3 114i386-quarterly package 2021-07-03 10:35 log report build queue
math/[email protected]_full 8.6_6,3 114i386-quarterly package 2021-07-03 10:35 log report build queue
math/[email protected]_nox 8.6_6,3 122i386-quarterly package 2021-07-03 07:45 log report build queue
math/[email protected]_nox 8.6_6,3 122i386-quarterly package 2021-07-03 07:45 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-07-03 06:52 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-07-03 06:52 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-07-03 06:51 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-07-03 06:51 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-07-03 04:57 log report build queue
math/[email protected] 8.6_6,3 122amd64-quarterly package 2021-07-03 04:57 log report build queue
math/[email protected]_full 8.6_6,3 130amd64-quarterly package 2021-07-03 04:48 log report build queue
math/[email protected]_full 8.6_6,3 130amd64-quarterly package 2021-07-03 04:48 log report build queue
math/[email protected]_nox 8.6_6,3 114amd64-quarterly package 2021-07-03 04:33 log report build queue
math/[email protected]_nox 8.6_6,3 114amd64-quarterly package 2021-07-03 04:33 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-07-03 03:55 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-07-03 03:55 log report build queue
math/[email protected] 8.6_6,3 130amd64-quarterly package 2021-07-03 00:24 log report build queue
math/[email protected] 8.6_6,3 130amd64-quarterly package 2021-07-03 00:24 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-07-02 22:46 log report build queue
math/[email protected] 8.6_6,3 122i386-quarterly package 2021-07-02 22:46 log report build queue
math/[email protected]_nox 8.6_6,3 114i386-quarterly package 2021-07-02 20:49 log report build queue
math/[email protected]_nox 8.6_6,3 114i386-quarterly package 2021-07-02 20:49 log report build queue
math/[email protected]_full 8.6_6,3 130i386-quarterly package 2021-07-02 20:10 log report build queue
math/[email protected]_full 8.6_6,3 130i386-quarterly package 2021-07-02 20:10 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-07-02 20:08 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-07-02 20:08 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-07-02 18:41 log report build queue
math/[email protected] 8.6_6,3 114amd64-quarterly package 2021-07-02 18:41 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-07-02 17:17 log report build queue
math/[email protected] 8.6_6,3 130i386-quarterly package 2021-07-02 17:17 log report build queue
math/[email protected]_nox 8.6_6,3 130amd64-quarterly package 2021-07-02 14:03 log report build queue
math/[email protected]_nox 8.6_6,3 130amd64-quarterly package 2021-07-02 14:03 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-07-02 13:34 log report build queue
math/[email protected] 8.6_6,3 114i386-quarterly package 2021-07-02 13:34 log report build queue

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