Port detail:
Fallout List
| port |
version |
build environment |
category |
date |
urls |
|
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
|
|
math/coq@devel_nox
|
8.19_2,3 |
140amd64-default |
package |
2024-06-06 17:27 |
log
report
build queue
|