/gnu/store/17j3m305nj69n17hf6fh96fvb3s7f1q5-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
15aqjspdch0z6f3qkpa5i85shbggbgsd27d55y8prj8lzi950f5m
Size
Urls
3244072
Size: 2689275 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/17j3m305nj69n17hf6fh96fvb3s7f1q5-agda-ial-1.5.0
Size: 2483108 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/17j3m305nj69n17hf6fh96fvb3s7f1q5-agda-ial-1.5.0
Size: 2581312 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/17j3m305nj69n17hf6fh96fvb3s7f1q5-agda-ial-1.5.0
Version
1
Host name
berlin.guix.gnu.org
15aqjspdch0z6f3qkpa5i85shbggbgsd27d55y8prj8lzi950f5m
Size
Urls
3244072
Size: 2483108 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/17j3m305nj69n17hf6fh96fvb3s7f1q5-agda-ial-1.5.0
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/7zglxpq1i1a7yr5zasvfkglhhfb5i4pw-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/vl6frsg7ac25jqczp47q2za53fa6m2d5-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/14wybcn3r8vyrqjz4qidmmwxlppbhx9p-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/xc8v4vfmh2icp0xfyv1irgxqmb6z3pbk-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/gn6jcxwdhjx5hs0ki0p05lpyqgwgxh8v-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/4qzr8ys50kw2rhx7vfh1fx8gf4l9dab9-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/1pk9ai9vgss0s3m9gnl40s70l3g7qhdc-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ndhkyg4gspdsxdcl00xwn9mh724iza41-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/n4jw60l1k679ishxh6c3qfihcm5iv7r5-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/gy6aq3pb0vi7mimg8gdl1l0pbiqlfk2v-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ha3qiqk4f1jfazi9r59cwa7d80ibg1fw-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/2a1420lpg8jca947qbjq0mj6zg6qlkff-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/zir4i2srhq1wmlh514nvcg45sqgi4jl7-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/ridzcfnnlxa16mrd8y7rwrsk2zs91nrm-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/a80lwywkiykxx7rm0k1h518hzha4h1yw-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/k74g3lbghvdj05qbrh8dpdwvyhycsiyy-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/cmyygjr44sjnc6h0cq9qi27y47sfzf87-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/8jgca3aqgf1hdw2v4nz8cnwdxmhhvan6-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/6dr13x9r4lhg9bag4fiazza3axcq3bn5-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/wsdw0qarjjwylq98ilns42fx195xhdal-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/10y50h1pz478vfz8jcc0cl00q66wlbfj-
agda-ial-1.5.0.drv