/gnu/store/1vipg40l5yfg5g1sisskm40byz5s3rjw-
agda-ial-1.5.0
Nars
View narinfo details
View JSON
0x1yv2lcc0kwk1jxi6ni3x2spcxikwkp6648ryydp4jgzk6qzmd0
Size
Urls
3244432
Size: 2690444 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/1vipg40l5yfg5g1sisskm40byz5s3rjw-agda-ial-1.5.0
Size: 2485056 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/1vipg40l5yfg5g1sisskm40byz5s3rjw-agda-ial-1.5.0
Size: 2583792 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/1vipg40l5yfg5g1sisskm40byz5s3rjw-agda-ial-1.5.0
Version
1
Host name
berlin.guix.gnu.org
0x1yv2lcc0kwk1jxi6ni3x2spcxikwkp6648ryydp4jgzk6qzmd0
Size
Urls
3244432
Size: 2485056 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/1vipg40l5yfg5g1sisskm40byz5s3rjw-agda-ial-1.5.0
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/j2nly8shi4yxbrz825hdhyzc6s6fw1l0-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/q3xb2kyrd2yxvf478w29n7ih3qryi8l5-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/slg8pyfgbr6qvpwmacggyc8ljdgsw59q-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/4lq5lw3j0lqbx4gc31x9imajrq0yhm4q-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/p3jq4006pb5q84k4vmp9prwp7ga1fb5s-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/1mwrdlviwf9m3qm57pp4xsya6m9w48za-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/sma6wb9p96gm0wqrppv90g9kr6bbnpcj-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/k7gs5l78wvkyh8jx3sd6psl05ldwm9gc-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/5b5vji1vafkn4w2mdha7milrsr0x2cr3-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/8wlvmr2a1vgnvmjh70dmx0rwx97prqlp-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/cywr2z96bw58v6ygdnx7nvcnqqnzlpcx-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/wxpxqi6ama80lnj3hn0ky9gpff8g6dfc-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/pb7ipsglyck4p5v8qar5dabg4pf1jv7h-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/q7qwjgfsh4wh21qn4hlrncqch9vrnnz2-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/wbpcxwdgmn93rvwpnm7mhsd4fzs03c80-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/xkmzrfm088ng9190v87jqv3l35xf92d2-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/w5182qk58z82wj6m8v75pvx1j9a4viwl-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/22s17fzhwzj0q06b84qwi0978n0s11sq-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/js47zq2bfzy4gci4gg42jnbjwmfq1760-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/clgx2pdh0xch3sq3ndy48rhbp5jx06rb-
agda-ial-1.5.0.drv
Derivation:
/gnu/store/1nmsyqyn4ip3y6znbrqrx477smnrxxzl-
agda-ial-1.5.0.drv