/gnu/store/g8qkv2p72yqcjv52paj661y4cwqsj2ij-
coq-stdpp-1.4.0
Nars
View narinfo details
View JSON
1996azbg1v7l9s43hzclhk6izxm1qz5gg689rabvyk05cgb89k0s
Size
Urls
12689608
Size: 3185749 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/g8qkv2p72yqcjv52paj661y4cwqsj2ij-coq-stdpp-1.4.0
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/7y0q2i9kffxbpc9gg1kqk24xayz7w7fm-
coq-stdpp-1.4.0.drv
Derivation:
/gnu/store/7x8jigmqvzh505jhlkskzi1hn2ljhgwh-
coq-stdpp-1.4.0.drv
Derivation:
/gnu/store/rvc87nn4l4157w55dyaqwxh2sanssacq-
coq-stdpp-1.4.0.drv