Build
Derivation
/gnu/store/9mxailf3hxkv0h2q83ap403jj16bhkz7-
proof-general-4.4-1.1b1083e-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-11-30T22:04:25
Scheduled
2021-12-17T07:52:38
Started
2021-12-17T07:52:40
Succeeded