Build 03f8366f-3784-4246-8e13-28f6c94386fb — bordeaux.guix.gnu.org
Derivation
/gnu/store/m8kdsvhm9g2hph5b9sibw26kkpiy6ng2-Agda-2.6.2.1.tar.gz.drv
Tags
Submitted at
2021-12-17 13:12:53
State
Succeeded
Priority
0
View build log