Build
Derivation
/gnu/store/6big4dqg98vsy0ay71d18v5d91wrw5dl-
coq-stdlib-8.15.2.drv
Build server URL
https://bordeaux.guix.gnu.org
View build on https://bordeaux.guix.gnu.org
Timeline
Timestamp
Status
2022-08-14T19:10:42
Scheduled
2022-10-07T23:15:22
Started
2022-10-07T23:18:58
Succeeded