Build 7ab063dd-25a7-4d09-a186-130b8215b70f — bordeaux.guix.gnu.org
Derivation
/gnu/store/rli5l5cp0vb4fc57dc8vxdx9rz0cgw9k-Agda-2.6.2.2.tar.gz.drv
Tags
Submitted at
2022-05-16 01:24:09
State
Succeeded
Agent
b57898c3-7187-4c56-9d3c-4e68b954b79a
Priority
0
View build log