/gnu/store/amqxp5fkhv2khfwkzq8l4bnj0lkj67l8-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Scheduled
Derivation:
/gnu/store/qxkkx9h37087vxiwl52r9kkv5dlvs365-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/vw6xvqddlqrcbyivp4dkdkkxl6arjm9z-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/jp069p3q8q4ghkjrv7r1hbyg79kgdgzz-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/f96wgfqsfdshjr84kh4gyyh66gn298nz-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/h6mrnbaipx739cz6lp1synzc119jga9b-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/y01zyk74ipa6rx41jdbd0xhn9x7pmf2r-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/kmm14sqb0qwx8fl7lpnf57l9m256bjdb-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/dji5yi7dycdd02ixv9ljgj25hizf4s9v-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/yxmf61ykg1sly9sqii70gsnsiy5hhnqd-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/3ds7bcb2369yhr90mhzs22jlhabyd3qy-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/m2hmrjdbjlh6zpb4h97ln7xd7d5nzcwv-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/36jhjiq01ljbdswjj8d2m8bn85np25b6-
agda-ial-1.5.0.drv