/gnu/store/ly1714sr5a39v7lmnlwbki9psxq8siwd-coq-core-8.15.1-checkout

Nars

View narinfo detailsView JSON

Builds

Derivation:

/gnu/store/32w7vkn6kikfiliyv36kbw6ffcy38r8p-coq-core-8.15.1-checkout.drv

Derivation:

/gnu/store/6nxcp0qr4zhgaad8mz1gh4pwigh65qnk-coq-core-8.15.1-checkout.drv

Derivation:

/gnu/store/0wklw3i86g6gqgyzps097pj23yynyb5r-coq-core-8.15.1-checkout.drv

Derivation:

/gnu/store/bzz9k79rj2w55rrhlakhn26r8f3b2sjm-coq-core-8.15.1-checkout.drv