[console_scripts]
coq-bug-minimizer = coq_tools.find_bug:main
coq-import-inliner = coq_tools.inline_imports:main
coq-require-minimizer = coq_tools.minimize_requires:main
