/gnu/store/hm5yr0bhz5x3l3mi50aszl21a82pfky4-
coq-core-8.14.1
Nars
View narinfo details
View JSON
Builds
Scheduled
Derivation:
/gnu/store/bmqz6qrabrsys7kswyp0vi93vqg6wa0r-
coq-core-8.14.1.drv