/gnu/store/izc2gf8m5dzxr9i8bak00l7wflxk2jb4-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/v840855ijbih19spcv76s0x3wg0bin22-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/gx7cxmyjkxy8x9z2awa0x1rz5d3j8a76-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/yh6hla6ih4rnlq785z9rdwl72hzr8dhx-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/8dm92qa3iz6hiz4gjs6k6l5cp0hkl7xn-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/2xil33xlbdxcf6s0f6ydbk8wg5m5zrsb-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/cn3cxk7zzh93rd5hpvljsirk7v24pans-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ngml9dgf1yd7rya8zw3kbj6xzz6iwmwq-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/pg7nm9bashra4c6xkysk00cap1n7v98c-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/y3sfzksi1hwxbnzml9bm8qjbrpdhyhxd-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/jz1ww9mixd7h6skbczr63ld0la8aakg7-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/j09vji14vxrsb68xcazbk62g0jwp5214-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/vh0bi1mrcpf11i82jgaqfcry1qvddxh0-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/n2qza1464v3x4pkf6zpbdghymb2q1p3m-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/vvlrf6nb58dkfd6fbpn1727jci6a8y7k-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ncp4j71mb2c3lvpy9kbs71r7nh86ds3h-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/1lya6zfybdwypwx14vh84zd22pvhps5r-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/s04wvfcrh7nnmiax664asxmgjy5r1c7x-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/1rdkziag7cggapng4asd485bln2l9wx8-
agda-ial-1.5.0.drv