Build 6a2a5fab-3d0a-4270-b45a-efd83710f314 — bordeaux.guix.gnu.org
Derivation
/gnu/store/4h8p41zw0lr6jsqzmjj71snip7nhd4q6-Agda-2.6.2.2.tar.gz.drv
Tags
Submitted at
2022-05-16 03:24:01
State
Succeeded
Priority
0
View build log