Build

Derivation: /gnu/store/qxkkx9h37087vxiwl52r9kkv5dlvs365-agda-ial-1.5.0.drv
Build server URL: https://bordeaux.guix.gnu.org

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

Timeline

Timestamp	Status
2022-06-17T23:13:52	Scheduled

Required failed builds

Derivation	Status