/gnu/store/9bnnj6rjj01djd608ya7d53zwczp36as-
coq-mathcomp-1.19.0
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/wmxc1cyi4bx991hgmfnbgyc3k8lyhbg9-
coq-mathcomp-1.19.0.drv
Derivation:
/gnu/store/hwzj64mnym7v2kkpazpzcw47yc033z2i-
coq-mathcomp-1.19.0.drv
Derivation:
/gnu/store/vyvjp6dgvy5zimh65g76ymccv4jn76xj-
coq-mathcomp-1.19.0.drv