[console_scripts]
coq-config = coqconfig:main

