Build ce258048-646b-4070-a09d-8f541109f31c — bordeaux.guix.gnu.org

Derivation
/gnu/store/rz6nhjb3bw9dpspni9nz4nzzzllcwz20-agda-categories-0.2.0.drv
Tags
Submitted at
2024-10-21 18:19:37
State
Pending
Priority
700