/gnu/store/2zqcp4dawmxvn6iil445kig3zk5s6xam-
coq-core-8.15.2-checkout
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/0g9piyvgmb7c7q44wdcrsf4vis1v8cn2-
coq-core-8.15.2-checkout.drv