Port detail:
Fallout List
port |
version |
build environment |
category |
date |
urls |
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
|