Build
Derivation
/gnu/store/i9vm28z1ky8vp5wq0c4gaq7hmx5z8g6j-
proof-general-4.4-1.1b1083e.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2022-06-23T05:19:36
Scheduled
2022-06-23T08:26:47
Started
2022-06-23T08:26:55
Succeeded