Build
Derivation
/gnu/store/1cidxwjq0sjci033ndh81ivi7yn4f7a3-
coq-bignums-8.11.0-checkout.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2021-04-23T15:45:53
Scheduled
2021-05-04T18:58:36
Started
2021-05-04T18:02:27
Succeeded