/gnu/store/kzhs1jsphx78ckrwpni4gffpfsz7k3wz-coq-stdlib-8.15.1

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/z0gcvhb4a1vlk2pq5a527wvxydfrkmq4-coq-stdlib-8.15.1.drv

Derivation:

/gnu/store/9w94qx8rwffb35h8b080i5v3xxk0w3b1-coq-stdlib-8.15.1.drv

Derivation:

/gnu/store/arbnqp1lfgl9w0n7vhsyfq6gz9v0ddsl-coq-stdlib-8.15.1.drv