| Port: | math/coq |
|---|---|
| Maintainer: | [email protected] |
| URLs: | FreshPorts |
| port | version | build environment | category | date | urls |
|---|---|---|---|---|---|
| math/coq@wayland | 8.19_4,3 | 141releng-armv7-default | configure | 2025-01-15 15:57 | log report build queue |
| math/coq@nox | 8.19_4,3 | 141releng-armv7-default | configure | 2025-01-15 10:44 | log report build queue |
| math/coq@full | 8.19_4,3 | 141releng-armv7-default | configure | 2025-01-15 01:16 | log report build queue |
| math/coq@canna | 8.19_4,3 | 141releng-armv7-default | configure | 2025-01-15 00:56 | log report build queue |
| math/coq@wayland | 8.19_4,3 | main-armv7-default | configure | 2025-01-13 20:38 | log report build queue |
| math/coq@nox | 8.19_4,3 | main-armv7-default | configure | 2025-01-13 10:19 | log report build queue |
| math/coq@full | 8.19_4,3 | main-armv7-default | configure | 2025-01-12 17:55 | log report build queue |
| math/coq@canna | 8.19_4,3 | main-armv7-default | configure | 2025-01-12 17:13 | log report build queue |
| math/coq@wayland | 8.19_4,3 | main-armv7-default | configure | 2025-01-02 09:49 | log report build queue |
| math/coq@nox | 8.19_4,3 | main-armv7-default | configure | 2025-01-02 04:43 | log report build queue |
| math/coq@full | 8.19_4,3 | main-armv7-default | configure | 2025-01-01 19:54 | log report build queue |
| math/coq@canna | 8.19_4,3 | main-armv7-default | configure | 2025-01-01 19:31 | log report build queue |
| math/coq@wayland | 8.19_4,3 | 141releng-armv7-default | configure | 2025-01-01 12:34 | log report build queue |
| math/coq@nox | 8.19_4,3 | 141releng-armv7-default | configure | 2025-01-01 07:49 | log report build queue |
| math/coq@full | 8.19_4,3 | 141releng-armv7-default | configure | 2024-12-31 22:44 | log report build queue |
| math/coq@canna | 8.19_4,3 | 141releng-armv7-default | configure | 2024-12-31 22:32 | log report build queue |
| math/coq@wayland | 8.19_4,3 | main-armv7-default | configure | 2024-12-25 15:34 | log report build queue |
| math/coq@nox | 8.19_4,3 | main-armv7-default | configure | 2024-12-25 05:31 | log report build queue |
| math/coq@full | 8.19_4,3 | main-armv7-default | configure | 2024-12-24 12:49 | log report build queue |
| math/coq@canna | 8.19_4,3 | main-armv7-default | configure | 2024-12-24 12:12 | log report build queue |
| math/coq@wayland | 8.19_4,3 | 141releng-armv7-default | configure | 2024-12-22 14:02 | log report build queue |
| math/coq@nox | 8.19_4,3 | 141releng-armv7-default | configure | 2024-12-22 08:10 | log report build queue |
| math/coq@full | 8.19_4,3 | 141releng-armv7-default | configure | 2024-12-21 21:43 | log report build queue |
| math/coq@canna | 8.19_4,3 | 141releng-armv7-default | configure | 2024-12-21 21:25 | log report build queue |
| 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 |
See the fallout history page for more entries for this port.