Build

Derivation: /gnu/store/lpw17pbfhymf31slilmbaah2l4g5wvhr-coq-core-8.15.2.drv
Build server URL: https://bordeaux.guix.gnu.org

View build on https://bordeaux.guix.gnu.org

Timeline

Timestamp	Status
2022-07-03T01:53:01	Scheduled

Required failed builds

Derivation	Status