Giters
conda-forge
/
coq-feedstock
A conda-smithy repository for coq.
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
7
Issues:
2
Forks:
5
conda-forge/coq-feedstock Issues
@conda-forge-admin, rerender
Closed
5 years ago
Comments count
1
Package license is incorrect.
Closed
5 years ago
Comments count
3