/gnu/store/qs7c54w9di8czg2njaninjw9l2gczlm7-agda-2.6.2.2-static

Nars

View narinfo detailsView JSON

Builds

FailedFailedFailed

Derivation:

/gnu/store/pd0wj1vy5ah9m9hpkgb5sdmc80cnh5ns-agda-2.6.2.2.drv

Derivation:

/gnu/store/d85ifcwvwdlc3rdfwvdc6nyham66fjzl-agda-2.6.2.2.drv

Derivation:

/gnu/store/0nrlm9qyww1l913yrp46g0r8b0xybpri-agda-2.6.2.2.drv