use-ez_setup.py-from-py2-antlr3.patch
add-compat.py.patch
add-encoding-when-opening-files.patch
congress-python3-antlr3.patch
re-do-the-encoding-patch.patch
