Build a4327789-5202-4b4d-b087-e502dd71a328 — bordeaux.guix.gnu.org
Derivation
/gnu/store/yqvffz2a6yvj19pa949rmxifam25vxsf-agda-categories-0.2.0.drv
Tags
branch: master
revision: 5794926bed6fad4598bb565fb7f49be4205b11a1
category: package
Submitted at
2024-10-21 10:14:36
State
Succeeded
Agent
a698e0fe-32d4-42e0-9aa6-9b93d216bcb6
Priority
800
View build log