/gnu/store/iacikwwcjv85s9jx8vjh2n04drahhd64-coq-core-8.15.1

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/z49g452fhblhpny162f0p7sril4nvzd4-coq-core-8.15.1.drv

Derivation:

/gnu/store/qc1bvi43yxn7l5x9g7kkxn4jrhnklzy1-coq-core-8.15.1.drv

Derivation:

/gnu/store/71my64fi4lmgl5gcfcpp83mj6kpcsl10-coq-core-8.15.1.drv