/gnu/store/rg512y63m2yf8j5kim5hl5p1bjggmrsr-
coq-coquelicot-3.1.0
Nars
View narinfo details
View JSON
0hg6jjnr5pjcfp7i3nm8chqdk85yxn0j5aa1g1axc4qdywzinv8m
Size
Urls
5684336
Size: 2396038 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/rg512y63m2yf8j5kim5hl5p1bjggmrsr-coq-coquelicot-3.1.0
Size: 3450673 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/rg512y63m2yf8j5kim5hl5p1bjggmrsr-coq-coquelicot-3.1.0
Size: 2396038 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/rg512y63m2yf8j5kim5hl5p1bjggmrsr-coq-coquelicot-3.1.0
Size: 2830321 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/rg512y63m2yf8j5kim5hl5p1bjggmrsr-coq-coquelicot-3.1.0
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/p3r4a4sqig4q8bd2lp7nv888dglswzr7-
coq-coquelicot-3.1.0.drv
Derivation:
/gnu/store/1p2aj3jhqrzsbksnjg4argf9n78bspwn-
coq-coquelicot-3.1.0.drv
Derivation:
/gnu/store/rhxvrgp5xns6xjnch3a8vk6mi4m91pvn-
coq-coquelicot-3.1.0.drv
Derivation:
/gnu/store/5grd6ksc6f4vqdxmcv4h4cp33i9vhw2j-
coq-coquelicot-3.1.0.drv