Raspbian Package Auto-Building
Build logs for coq-elpi
Package:
Debian PTS
–
Tracker
–
Changelog
–
Bugs
–
packages.d.o
–
buildd.d.o
–
Source
Build logs for
coq-elpi
in bookworm-staging
[
X
]
Version
Architecture
Result
Build date
Builder
Build time
Disk space
1.15.6-4
(
bookworm-staging
)
armhf
Maybe-Successful
2022-11-19 05:06:23
bm-wb-03
27m
61.44 MB
1.15.6-1
(
bookworm-staging
)
armhf
Maybe-Successful
2022-09-17 15:47:09
mb-lxc-02
14m
62.62 MB
Maybe-Failed
2022-09-17 04:47:37
test2019
12m
2.11 MB
1.14.0-5+b1
(
bookworm-staging
)
armhf
Maybe-Successful
2022-08-09 16:38:06
bm-wb-02
34m
142.74 MB
1.14.0-5
(
bookworm-staging
)
armhf
Maybe-Successful
2022-07-10 09:31:03
mb-lxc-01
13m
138.28 MB
Maybe-Failed
2022-07-10 04:40:12
bm-wb-03
45m
—
1.13.0-7+b1
(
bookworm-staging
)
armhf
Maybe-Successful
2022-04-23 17:02:58
bm-wb-01
33m
98.75 MB
1.13.0-7
(
bookworm-staging
)
armhf
Maybe-Successful
2022-04-22 04:46:32
mb-lxc-01
12m
98.73 MB
1.13.0-1
(
bookworm-staging
)
armhf
Maybe-Successful
2022-02-18 01:15:52
testwandboard
30m
98.65 MB
1.12.1-2
(
bookworm-staging
)
armhf
Maybe-Successful
2022-02-10 22:14:18
test2019
16m
93.21 MB
1.11.2-1
(
bookworm-staging
)
armhf
Maybe-Failed
2022-01-11 06:36:02
bm-wb-03
37m
—