/gnu/store/kw5vqbx18lkzjc4dg23zpyv8r3zzpy9l-
coq-8.14.1
Nars
View narinfo details
View JSON
0mv1a3xccm5cw5ya1z2qdk7yysgdnnx9jlas1wdngvlxi0ip1vfk
Size
Urls
59440
Size: 19314 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/kw5vqbx18lkzjc4dg23zpyv8r3zzpy9l-coq-8.14.1
Size: 10952 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/kw5vqbx18lkzjc4dg23zpyv8r3zzpy9l-coq-8.14.1
Size: 11137 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/kw5vqbx18lkzjc4dg23zpyv8r3zzpy9l-coq-8.14.1
Version
1
Host name
berlin.guix.gnu.org
0mv1a3xccm5cw5ya1z2qdk7yysgdnnx9jlas1wdngvlxi0ip1vfk
Size
Urls
59440
Size: 10952 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/kw5vqbx18lkzjc4dg23zpyv8r3zzpy9l-coq-8.14.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/sjrxz8kmd1fw56yypz5k5b6kj9lglqms-
coq-8.14.1.drv
Derivation:
/gnu/store/r1lbhpr6qgdzzhpcvnvgdgjb1b1px1bn-
coq-8.14.1.drv