/gnu/store/kif39qqffv7wbgs3l9ck8dbi0afdzn7z-coq-coquelicot-3.4.1

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/g7mmvxlfxy9p7wrh2p7jil43y9cdw6rr-coq-coquelicot-3.4.1.drv

Derivation:

/gnu/store/blk045xphy028s15v8bwrgc8kwqps4bi-coq-coquelicot-3.4.1.drv

Derivation:

/gnu/store/y4cjww167yrjxsc3vr7wrjyx2cy715b9-coq-coquelicot-3.4.1.drv