/gnu/store/kbbv80hyb3wvxpbsqjpqb0d9f10gzhb7-agda-2.6.2.2

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