Build 9b2bd0ee-9594-4dd2-840a-e00d25e38b3e — bordeaux.guix.gnu.org
Derivation
/gnu/store/kafi3r71nd0apvhgmzyd1kfr7izmlc82-agda-2.6.2.1.drv
Tags
Submitted at
2022-01-18 14:19:28
State
Pending
Priority
0