/gnu/store/n3k8y2nzmirwn9lxcgl0s6nfvw6kid3p-
coq-core-8.14.1-checkout
Nars
View narinfo details
View JSON
Builds
Succeeded
Derivation:
/gnu/store/ipxabq2vmyw96hlg47hyrj7wwrwm9n6w-
coq-core-8.14.1-checkout.drv
Derivation:
/gnu/store/3yy3k4212q58qxgaz9i28xmr8cpz4qv3-
coq-core-8.14.1-checkout.drv