/gnu/store/a2z6w30mplff67a7vj491mxbp1295ld1-
coq-8.13.2
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/g9akxp73bz3v7gz6j2vfy2vpw0jh8mqx-
coq-8.13.2.drv
Derivation:
/gnu/store/d8gkg83b7yaw2zxcqfwsalm0vdskpwny-
coq-8.13.2.drv
Derivation:
/gnu/store/j403d2cj7wb5733ridj92ahcvi56wh0c-
coq-8.13.2.drv
Derivation:
/gnu/store/lhnwxvpdx0q9sk3zspgw345hq45ksf3m-
coq-8.13.2.drv