Raspbian Package Auto-Building
Build logs for coq
Package:
Debian PTS
–
Tracker
–
Changelog
–
Bugs
–
packages.d.o
–
buildd.d.o
Build logs for
coq
in bullseye-staging
[
X
]
Version
Architecture
Result
Build date
Builder
Build time
Disk space
8.12.0-3+b2
(
bullseye-staging
)
armhf
Maybe-Successful
2020-12-03 17:32:14
mb-lxc-01
1h 38m
2.24 GB
8.12.0-3+b1
(
bullseye-staging
)
armhf
Maybe-Successful
2020-11-10 04:36:22
bm-wb-01
4h 32m
2.24 GB
8.12.0-3
(
bullseye-staging
)
armhf
Maybe-Successful
2020-10-23 01:41:37
testwandboard
3h 58m
2.02 GB
8.11.0-1+rpi1+b1
(
bullseye-staging
)
armhf
Maybe-Successful
2020-10-04 23:57:49
mb-lxc-02
53m
1.85 GB
8.11.0-1
(
bullseye-staging
)
armhf
Maybe-Failed
2020-06-12 22:40:20
testwandboard
3h 23m
—
Maybe-Failed
2020-05-29 05:38:13
mb-lxc-02
1h 25m
837.64 MB
Maybe-Failed
2020-05-22 07:52:15
bm-wb-03
3h 26m
—
Maybe-Failed
2020-03-30 11:57:19
test2019
2h 7m
839.21 MB
Maybe-Failed
2020-03-23 12:45:00
mb-lxc-02
1h 20m
838.41 MB
8.9.1-5+b1
(
bullseye-staging
)
armhf
Maybe-Successful
2020-02-17 22:03:00
mb-lxc-01
1h 21m
1.68 GB
8.9.1-5
(
bullseye-staging
)
armhf
Maybe-Successful
2020-02-01 04:14:59
bm-wb-02
3h 6m
1.68 GB
8.9.1-2+b2
(
bullseye-staging
)
armhf
Maybe-Successful
2020-01-03 21:43:42
bm-wb-04
2h 57m
1.6 GB
8.9.1-2+b1
(
bullseye-staging
)
armhf
Maybe-Successful
2019-12-08 19:29:57
testwandboard
3h 11m
1.6 GB
8.9.1-2
(
bullseye-staging
)
armhf
Maybe-Successful
2019-11-28 04:40:49
mb-lxc-02
1h 1m
1.6 GB
8.9.1-1
(
bullseye-staging
)
armhf
Maybe-Successful
2019-09-04 22:50:40
bm-wb-01
2h 47m
1.51 GB
8.9.0-1+b2
(
bullseye-staging
)
armhf
Maybe-Successful
2019-08-09 13:37:01
test2019
1h 57m
1.51 GB
8.9.0-1+b1
(
bullseye-staging
)
armhf
Maybe-Successful
2019-07-31 13:39:07
bm-wb-02
2h 51m
1.51 GB