/gnu/store/c83i5xnkf2gngbnlbcaa2lms2g2d3xkn-
idris-1.3.3-static
Nars
View narinfo details
View JSON
0agbl3zjj02cd0a6rbj6vy7815zi84z9jxjsakil4ibffdv4zf0d
Size
Urls
36457272
Size: 7686592 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/c83i5xnkf2gngbnlbcaa2lms2g2d3xkn-idris-1.3.3-static
Size: 4193898 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/c83i5xnkf2gngbnlbcaa2lms2g2d3xkn-idris-1.3.3-static
Size: 5495312 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/c83i5xnkf2gngbnlbcaa2lms2g2d3xkn-idris-1.3.3-static
Version
1
Host name
berlin.guix.gnu.org
0agbl3zjj02cd0a6rbj6vy7815zi84z9jxjsakil4ibffdv4zf0d
Size
Urls
36457272
Size: 4193898 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/c83i5xnkf2gngbnlbcaa2lms2g2d3xkn-idris-1.3.3-static
Version
1
Host name
bayfront
Builds
Succeeded
Succeeded
Failed
Derivation:
/gnu/store/b0cmkfcrkmd3qkj10nlpbvmic84588nr-
idris-1.3.3.drv
Derivation:
/gnu/store/a4y77y6h0bzhxkgnyarsay8iv3w9szji-
idris-1.3.3.drv
Derivation:
/gnu/store/f1i6vzqdsvyzwvgszb7m30ywgxy2kph3-
idris-1.3.3.drv