/gnu/store/5djin49v59kfxp11carxs5543wvp42sx-
coq-8.17.1
Nars
View narinfo details
View JSON
0192gq20wcv8kkk3l54dvpjdza2i8c8p0kd6kbgabph2nylqf77f
Size
Urls
540319048
Size: 129436777 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/5djin49v59kfxp11carxs5543wvp42sx-coq-8.17.1
Size: 169056028 Compression: zstd
https://bordeaux.guix.gnu.org/nar/zstd/5djin49v59kfxp11carxs5543wvp42sx-coq-8.17.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/11nppnfvdhxmwbzzmmnaqqgxwpks8d53-
coq-8.17.1.drv
Derivation:
/gnu/store/8arllbrlv81h4g6lkq3hjh3nlpbp81af-
coq-8.17.1.drv
Derivation:
/gnu/store/gk1773h75mjcfiz6zh6wmn2mz0lifqjc-
coq-8.17.1.drv