/gnu/store/gv9blxmq1awm7lchcj6d7ydxxay38sc0-
coq-ide-server-8.17.1
Nars
View narinfo details
View JSON
0d7cxs5p9vcm0bblzs1cqbdqiixwl2m6s7a561bhf8hx8gymavlv
Size
Urls
59247160
Size: 17337429 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1
Version
1
Host name
bayfront
14lzl9ffdbn1xwam8nca7dfgs0slphv2d7kvx5va35k6aybnljpv
Size
Urls
59247176
Size: 17339702 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1
Size: 21054960 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/gv9blxmq1awm7lchcj6d7ydxxay38sc0-coq-ide-server-8.17.1
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Canceled
Canceled
Derivation:
/gnu/store/4xanfnxsj2vvndwbhh5gmmdyb3y1mbxw-
coq-ide-server-8.17.1.drv
Derivation:
/gnu/store/ymachmgsgvbla892wr669y6hbmnkd4q3-
coq-ide-server-8.17.1.drv
Derivation:
/gnu/store/59x5a1npdw5d5x6i5q6hl5skxsnambmd-
coq-ide-server-8.17.1.drv