Build a4327789-5202-4b4d-b087-e502dd71a328 — bordeaux.guix.gnu.org

Derivation
/gnu/store/yqvffz2a6yvj19pa949rmxifam25vxsf-agda-categories-0.2.0.drv
Tags
Submitted at
2024-10-21 10:14:36
State
Succeeded
Priority
800
View build log