|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-12-25 15:34 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-12-25 05:31 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-12-24 12:49 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-12-24 12:12 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-22 14:02 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-22 08:10 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-21 21:43 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-21 21:25 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-12-09 22:01 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-09 16:09 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-12-09 12:00 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-09 09:42 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-08 22:53 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
141releng-armv7-default |
configure |
2024-12-08 22:32 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-12-08 18:34 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-12-08 17:53 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
133releng-armv7-default |
configure |
2024-12-03 15:56 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
133releng-armv7-default |
configure |
2024-12-03 09:14 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
133releng-armv7-default |
configure |
2024-12-02 22:27 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
133releng-armv7-default |
configure |
2024-12-02 22:06 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-11-13 04:48 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-11-12 22:18 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-11-12 10:49 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-11-12 10:18 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-11-04 11:44 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-11-04 02:14 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-11-03 10:50 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-11-03 10:14 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-10-05 05:50 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-10-04 23:20 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-10-04 12:16 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-10-04 11:52 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-09-25 20:55 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-09-25 13:39 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-09-25 01:39 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-09-25 01:08 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-09-15 20:22 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-09-15 12:42 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-09-15 00:31 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-09-15 00:08 |
log
report
port detail
FreshPorts
|
|
math/coq@wayland
|
[email protected] |
main-armv7-default |
configure |
2024-09-04 09:11 |
log
report
port detail
FreshPorts
|
|
math/coq@nox
|
[email protected] |
main-armv7-default |
configure |
2024-09-04 00:02 |
log
report
port detail
FreshPorts
|
|
math/coq@full
|
[email protected] |
main-armv7-default |
configure |
2024-09-03 09:05 |
log
report
port detail
FreshPorts
|
|
math/coq@canna
|
[email protected] |
main-armv7-default |
configure |
2024-09-03 08:27 |
log
report
port detail
FreshPorts
|