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 main-armv7-default configure 2024-12-09 22:01 log report build queue
math/coq@wayland 8.19_4,3 141releng-armv7-default configure 2024-12-09 16:09 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-12-09 12:00 log report build queue
math/coq@nox 8.19_4,3 141releng-armv7-default configure 2024-12-09 09:42 log report build queue
math/coq@full 8.19_4,3 141releng-armv7-default configure 2024-12-08 22:53 log report build queue
math/coq@canna 8.19_4,3 141releng-armv7-default configure 2024-12-08 22:32 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-12-08 18:34 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-12-08 17:53 log report build queue
math/coq@wayland 8.19_4,3 133releng-armv7-default configure 2024-12-03 15:56 log report build queue
math/coq@nox 8.19_4,3 133releng-armv7-default configure 2024-12-03 09:14 log report build queue
math/coq@full 8.19_4,3 133releng-armv7-default configure 2024-12-02 22:27 log report build queue
math/coq@canna 8.19_4,3 133releng-armv7-default configure 2024-12-02 22:06 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-11-13 04:48 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-11-12 22:18 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-11-12 10:49 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-11-12 10:18 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-11-04 11:44 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-11-04 02:14 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-11-03 10:50 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-11-03 10:14 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-10-05 05:50 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-10-04 23:20 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-10-04 12:16 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-10-04 11:52 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-09-25 20:55 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-09-25 13:39 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-09-25 01:39 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-09-25 01:08 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-09-15 20:22 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-09-15 12:42 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-09-15 00:31 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-09-15 00:08 log report build queue
math/coq@wayland 8.19_4,3 main-armv7-default configure 2024-09-04 09:11 log report build queue
math/coq@nox 8.19_4,3 main-armv7-default configure 2024-09-04 00:02 log report build queue
math/coq@full 8.19_4,3 main-armv7-default configure 2024-09-03 09:05 log report build queue
math/coq@canna 8.19_4,3 main-armv7-default configure 2024-09-03 08:27 log report build queue