Raspbian Package Auto-Building
Build logs for why3_1.5.0-1
Package:
Debian PTS
–
Tracker
–
Changelog
–
Bugs
–
packages.d.o
–
buildd.d.o
Build logs for
why3
_1.5.0-1
[
X
]
in bookworm-staging
[
X
]
Version
Architecture
Result
Build date
Builder
Build time
Disk space
1.5.0-1 (
bookworm-staging
)
armhf
Maybe-Successful
2022-07-06 10:56:43
mb-lxc-02
18m
624.18 MB