Build
Derivation
/gnu/store/d91zvr4r8adig99lbvvfsw7xrf3qf1ng-
coq-core-8.14.1-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-12-22T13:06:16
Scheduled
2021-12-26T20:39:54
Started
2021-12-26T20:40:00
Succeeded