/gnu/store/vsa4nsfdwj0c0ihsa9rixddjrvvb29lr-
agda-2.6.0.1
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/xss3253rzvjrzawb0vrgmqb9shhdakb8-
agda-2.6.0.1.drv
Derivation:
/gnu/store/wxg0kkdz4hw1b4ir9wkgdzq5hi6w155p-
agda-2.6.0.1.drv
Derivation:
/gnu/store/p3a5d87jayv6sfn1j7q25y4vpq3pjn0r-
agda-2.6.0.1.drv
Derivation:
/gnu/store/47lgbrrzqa46yjdpm18ahf1vsxmslmwh-
agda-2.6.0.1.drv
Derivation:
/gnu/store/kpx5z2s97z8lrbrqml372mwpmrfwi6lk-
agda-2.6.0.1.drv