/gnu/store/pvlwbsm7r8flj0b0grhf2xq61rxxyii0-agda-2.6.0.1-static

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/8zmmmy0r1y2wzsgby4130c0m3wxcmacy-agda-2.6.0.1.drv

Derivation:

/gnu/store/y369qhd7rlriz5gmf1kib57p60y79s3m-agda-2.6.0.1.drv

Derivation:

/gnu/store/wx6j5jcz5iz5yngv3laaa279hhs5miim-agda-2.6.0.1.drv