/gnu/store/g0ajn93yb5ahanlsz7g6pq9ym04bdgdn-coq-8.15.1

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/p532ybc6xm7z2f3l2y8nk4icw89rwsb6-coq-8.15.1.drv

Derivation:

/gnu/store/y7wszmq5am607hpgqxjcy34a7a9sidax-coq-8.15.1.drv

Derivation:

/gnu/store/d3v071nnwas534sczzafc567sd5rpslm-coq-8.15.1.drv