/gnu/store/rq89h1kplcqhwaml08q8nbfdmls2h82a-
agda-2.6.0.1
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/sla6xics7whjq22zh2cl5rq0qf343p1f-
agda-2.6.0.1.drv
Derivation:
/gnu/store/h601l0x0690w352qgs4da7s3w7v3jj05-
agda-2.6.0.1.drv
Derivation:
/gnu/store/jmd64r985rnpan590871n6r3xp6n6qzd-
agda-2.6.0.1.drv
Derivation:
/gnu/store/kc5pxnk9zyxljrbb9mpyfx7w14a3vjps-
agda-2.6.0.1.drv
Derivation:
/gnu/store/cq1fscnfifmmss8cjnvhsxixqmcbdaah-
agda-2.6.0.1.drv