Build 1805f114-a144-4f73-819a-d79d41c91990 — bordeaux.guix.gnu.org
Derivation
/gnu/store/c73cj6fji7538gvpp7p3m649m7ch5i32-Agda-2.5.4.2.tar.gz.drv
Tags
Submitted at
2021-11-13 00:26:19
State
Succeeded
Priority
0
View build log