/gnu/store/6nibs404paiwvrig2d1dp5b478krzpyj-agda-2.6.0.1-static

Nars

View narinfo detailsView JSON

Builds

Derivation:

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

Derivation:

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