Raspbian Package Auto-Building
Build logs for coq_8.9.1-2+b2 on armhf
Package:
Debian PTS
–
Tracker
–
Changelog
–
Bugs
–
packages.d.o
–
buildd.d.o
Build logs for
coq
_8.9.1-2+b2
[
X
]
on
armhf
[
X
]
in bullseye-staging
[
X
]
Version
Architecture
Result
Build date
Builder
Build time
Disk space
8.9.1-2+b2 (
bullseye-staging
)
armhf
Maybe-Successful
2020-01-03 21:43:42
bm-wb-04
2h 57m
1.6 GB