/gnu/store/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-
coq-stdlib-8.15.1
Nars
View narinfo details
View JSON
0msyxdm50c7brqm0klj4a8nwnwhvb614kch7bv66hjgzq4f67px5
Size
Urls
62468720
Size: 29482345 Compression: gzip
https://ci.guix.gnu.org/nar/gzip/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Size: 18145167 Compression: lzip
https://ci.guix.gnu.org/nar/lzip/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Size: 21894631 Compression: zstd
https://ci.guix.gnu.org/nar/zstd/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Version
1
Host name
berlin.guix.gnu.org
0msyxdm50c7brqm0klj4a8nwnwhvb614kch7bv66hjgzq4f67px5
Size
Urls
62468720
Size: 18145167 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/lmb0w4h4ldicvzid5vqlhkqcsv1591fy-coq-stdlib-8.15.1
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/qlxwdhxbadb5drh6m85kygrxcpf9zk2b-
coq-stdlib-8.15.1.drv
Derivation:
/gnu/store/7h7hfg7s1w3hw4fb0qyg8af6bbrw2lv2-
coq-stdlib-8.15.1.drv
Derivation:
/gnu/store/kldj85kjarwiybg6gvcylnizjqwh9b98-
coq-stdlib-8.15.1.drv