Build 34e3256b-323d-46aa-9a58-1928432f4421 — bordeaux.guix.gnu.org

Derivation
/gnu/store/qkl38pig3wbjmfgn8wrz2qf5mz1y9ig3-agda-stdlib-1.7.2.drv
Tags
Submitted at
2023-08-13 12:26:22
State
Succeeded
Priority
400
View build log