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