/gnu/store/cdv7xg6qisiv2gsx4x85rjb6mlz1620v-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/ix3c1vxdzxgcl0cs6rvjvm2mvli36yma-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/w9q93ljgnpg4lkhbdvpyf0f5nyapm2gp-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/6073hc6ncs3id470f45b6868bjfkykiz-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ffxls1rxwhfyw3qlpxlcgrl0g06zjz37-
agda-ial-1.5.0.drv