/gnu/store/245kxdsfrgrq91w0sqh8ff0vxvsfcc40-coq-stdlib-8.15.2

Nars

View narinfo detailsView JSON

Builds

Succeeded

Derivation:

/gnu/store/6big4dqg98vsy0ay71d18v5d91wrw5dl-coq-stdlib-8.15.2.drv

Derivation:

/gnu/store/fz806jz5nyfvkj3da7kawrzwi496k07s-coq-stdlib-8.15.2.drv