[console_scripts]
eventb-to-txt = eventb_to_txt.__main__:main
