Build
Derivation
/gnu/store/bdzrhdilvvqbbxl8dk0wz041zf65rb7b-
agda-cubical-0.7.drv
Build server URL
https://bordeaux.guix.gnu.org/
View build on https://bordeaux.guix.gnu.org/
Timeline
Timestamp
Status
2026-03-24T21:29:48
Scheduled
2026-03-26T01:30:33
Canceled