/gnu/store/4nhgv8g2m0i36lmyzkbw2m0crnrafhsz-
agda-2.6.0.1-static
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/k230qrav60xp1s30r8j07fxp72wdyvmp-
agda-2.6.0.1.drv