/gnu/store/1pji7bdzdimp14ns97imbc9k6d364mb4-
coq-8.11.2-ide
Nars
View narinfo details
View JSON
0q5cr49p34kdg19rwhvky3488fsqk8zdvpi8wm6fjnxsz0nsx5pg
Size
Urls
9537400
Size: 2744083 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/1pji7bdzdimp14ns97imbc9k6d364mb4-coq-8.11.2-ide
Size: 1807697 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/1pji7bdzdimp14ns97imbc9k6d364mb4-coq-8.11.2-ide
Size: 2174373 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/1pji7bdzdimp14ns97imbc9k6d364mb4-coq-8.11.2-ide
Size: 1807697 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/1pji7bdzdimp14ns97imbc9k6d364mb4-coq-8.11.2-ide
Version
1
Host name
berlin.guix.gnu.org
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/91hq5f7sn6vp8y1qxglz11dmm2vpjdj7-
coq-8.11.2.drv
Derivation:
/gnu/store/f2jhfrypffyrljijkqv5cp4k2zsb699f-
coq-8.11.2.drv
Derivation:
/gnu/store/4sqhcrmv90v1haas06i13j5bvp9ww4if-
coq-8.11.2.drv