/gnu/store/4gmyn3bjhn71wcnpljbrkz29vkgw1myc-
coq-equations-1.2.3
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/d8i4nmrzfvzm092a3nxsni718is9svgz-
coq-equations-1.2.3.drv
Derivation:
/gnu/store/ika6zvih8fr3mdvgql2aiwz5p29icz93-
coq-equations-1.2.3.drv
Derivation:
/gnu/store/q48lm8ksqazs6c24gp88yvg8zz4071r9-
coq-equations-1.2.3.drv