/gnu/store/r9jf8rsyr607mcgb0cdq4vm8vx7dfvba-
coq-mathcomp-1.8.0
Nars
View narinfo details
View JSON
1nf86mr0r8yb2n9m3fnjqgm8fpzqgzs46lhy8fhb856l3xqhas6b
Size
Urls
95272760
Size: 35780070 Compression: gzip
http://bayfront.guix.info/nar/gzip/r9jf8rsyr607mcgb0cdq4vm8vx7dfvba-coq-mathcomp-1.8.0
Size: 24713467 Compression: lzip
http://bayfront.guix.info/nar/lzip/r9jf8rsyr607mcgb0cdq4vm8vx7dfvba-coq-mathcomp-1.8.0
Version
1
Host name
bayfront
0m1kdxcm11zjv3xa5957ygd7czki7mjak5924vh9q4d48q56cxg4
Size
Urls
95272808
Size: 35780018 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/r9jf8rsyr607mcgb0cdq4vm8vx7dfvba-coq-mathcomp-1.8.0
Size: 24714209 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/r9jf8rsyr607mcgb0cdq4vm8vx7dfvba-coq-mathcomp-1.8.0
Version
1
Host name
berlin.guixsd.org
Builds
Derivation:
/gnu/store/38fs4lvlmhrpz6dc98hz4d6npm2msrnc-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/r3dpz88z5fz3zgkh75w5425194gf7wsi-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/qmdpgjkgyly6vywhpa1hcm7i8kkd2fam-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/171dmk2z5z22a16x6g0mmlifzqlni8z9-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/w78sqd0xvzh7gc7ymbdr6gynmnvbpjx2-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/cqji2l319f9bbkq483ykjr50q7rh5y6k-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/d3svk75mjzipi2h47gvydilnflfkqsyc-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/vfkp2v24wwh1m59l9y4vgklwd2hric9b-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/g6nv73d7ilcq07g74rv0j196b6xw6rw6-
coq-mathcomp-1.8.0.drv
Derivation:
/gnu/store/f11lxln7nz0vb8wnnisxpdnfij0raaq5-
coq-mathcomp-1.8.0.drv