/gnu/store/hwhanl4h04dxqv1gqvcwz75n2rhjmb78-
coq-stdpp-1.5.0
Nars
View narinfo details
View JSON
0rbs8qi0q3bsf8lkq1x81bbmw5rbppci2rwhii441abhfbwpa64i
Size
Urls
12651904
Size: 3292450 Compression: lzip
https://bordeaux.guix.gnu.org/nar/lzip/hwhanl4h04dxqv1gqvcwz75n2rhjmb78-coq-stdpp-1.5.0
Version
1
Host name
bayfront
Builds
Succeeded
Derivation:
/gnu/store/1h6jip9z1s54g14d7jnipa7glfskj5ba-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/vgqbay84d0453miikkcxfny58ksly6fn-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/shl092iy2c33ia9fhcln4kzr3ak4f75x-
coq-stdpp-1.5.0.drv
Derivation:
/gnu/store/0crfqspn4fyr5siarmj03m7xmjr6kziy-
coq-stdpp-1.5.0.drv