/gnu/store/y663lqk6cffl37zxzc8nxzr8134p4mbl-
coq-equations-1.2.4
Nars
View narinfo details
View JSON
0rb8c7li3ws2iarylpmpcrf0rmag7scgc202mi5ayvh4yfiv2ka7
Size
Urls
5092096
Size: 1070638 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Size: 1613351 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Size: 1070638 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Size: 1269431 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/y663lqk6cffl37zxzc8nxzr8134p4mbl-coq-equations-1.2.4
Version
1
Host name
bayfront
Version
1
Host name
berlin.guix.gnu.org
Builds
Succeeded
Derivation:
/gnu/store/y3dka5javcmwwzlrwjfc20zhc4bcn81y-
coq-equations-1.2.4.drv
Derivation:
/gnu/store/hd8hwgs12xq7bnlxh0nhzngmn1kxjwq2-
coq-equations-1.2.4.drv
Derivation:
/gnu/store/4nglwclnv7fyw1zxnv82g0b97lwirx8i-
coq-equations-1.2.4.drv
Derivation:
/gnu/store/hh71fbkckgngrnb4fy8lj7ymhcm56qj0-
coq-equations-1.2.4.drv