/gnu/store/1wdn0hvclpkj2pr6m4k2dbbr8sj7i0m2-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/45cz2i1bf73n02wy1nmbxmjs12fnyf0n-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/p1ci24gl2gm4162pc4qmhnc5734yws1r-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/wv9x5az7kyz9d01zgrk4msln04wmj9xr-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/h3xz9hbizj3cw82jcn64hgz3zkj80hdy-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/cdzk8q0hl8mr5ll74k3dla813wsxx415-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/x256haw58md1r5dbhsn9qryiqkpkjly1-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/cl16b0ap46gswrlad52ajc28azj6zkmk-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ia3lacljvlx5zpiyiv1y77a8wwdwc189-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/94jpvgf3h1q2vvsigpzvvcn27abpql27-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/0lpmzh9z97cfvzac3mnzby9wdbdmsj0y-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/0rqfqzfjhv66gbpybwnkhz6ysm5xxzgx-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/5f4y64k0vxiwl6z281jdfsnai06d2p1c-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/is29f5692awnzxpnd5mgpwwaa752qdwj-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/mhl1762nz0a2r0d7mcrf2bymmw8vpxlh-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/asni0wyg3m8vdl1l6xg9lnc0m6ba4idw-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/9y51dg893py2hkixxcl5yzcaj7pilhc8-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/mwpnvp7f7039z8qw3nbaggwwagd2adym-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/n80j4nrh6r2ma8xvgfgjzph8qk7kh96y-
agda-ial-1.5.0.drv