/gnu/store/sc14s124nrppg1xxiak269nbn6wrx102-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Scheduled
Derivation:
/gnu/store/l5p7b8nw055s9q91yja7mixl12nmj36p-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/j1xamilswsdwydwwhxrr2n4mcs377al0-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/lzhhqjb65ip9hyb0dk95r00z5cs272il-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/2l7ai2lj13lcfg63m9rnixsg0ih8r5ck-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ynhgq4lc3jqh8xwkdwmc7ivfida9lrma-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/lyz48l9ss4c2375w5swl6rka8ccxsgnh-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/dv7ygdsb3vw7kshbq0ahdvjhhakzxq5w-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/0y1v3m245lpifpyzf98hzz737nmfhjjw-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/yqdng4c1lv6hmhggqhh8a626gylw7kpx-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/2666si1k21vn13nhmzlw92y7rssp8jk3-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/hrwh6jw019jxch77dfqc588qbk4d5xgx-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/14apj28bkmqpsf55jj34skaakcy0mk1r-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/8kvhwxwqyqb90w3dyjdbyvj6vnpsj40w-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/pilz30lr8jnd382wz09811l4h662zi7i-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/22xbgnckgmng9mzvwi8chbz17jbwyjd5-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/nd8b1av22kcfbxfw571f7z8sb8dmkf6l-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/v7423najaax4rb5l5aw2srscx16jj694-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/d75j6d8cn6p2pxql7wy2kwp5lhlr13cn-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/a8x4xhjv8yn10mbj4kj2bxhwzzcqs6xa-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ald5h20nq7zb5xyrjb7j67iv7s1h8asy-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/0hsp6vljj9kwv262vfxdaqd1ybd6xrr9-
agda-ial-1.5.0.drv