/gnu/store/71bz7nd33anac70csdck2c9mjab8kkp9-
agda-2.6.0.1
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/v3z7kn89vlkfc69i9jgw4ms7yx461i7g-
agda-2.6.0.1.drv
Derivation:
/gnu/store/ag8n9ngkaqzqm3136rfdhk30832h4rq9-
agda-2.6.0.1.drv
Derivation:
/gnu/store/bz443xb4l1v36jkmmjwbqnm05nkxin9i-
agda-2.6.0.1.drv
Derivation:
/gnu/store/6s7hrd0pz9rni17c31wwhyicmbw44898-
agda-2.6.0.1.drv
Derivation:
/gnu/store/8lj0v73d78w5sygpg0401w5ypidmsi8a-
agda-2.6.0.1.drv