/gnu/store/mkhjprclpg58zij8nmgs4lg3skrc3l91-
coq-ide-server-8.13.2
Nars
View narinfo details
View JSON
Builds
Derivation:
/gnu/store/lqx8p7fb8rzwlx6r6awidmhpjycqnqk5-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/krg5y9yk3pvad4y6dsbrwz7zzyf81wki-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/mrzkz16b18g4lnfsc4x4933mmjfgvsi5-
coq-ide-server-8.13.2.drv
Derivation:
/gnu/store/5clpw480zp1grk3scc1lgvnvagj4vmvd-
coq-ide-server-8.13.2.drv