diff --git a/setup.py b/setup.py
old mode 100755
new mode 100644
index 66337ef..875261d
--- a/setup.py
+++ b/setup.py
@@ -51,6 +51,6 @@ def get_version(rel_path):
         "Topic :: Education",
         "Topic :: Scientific/Engineering :: Mathematics",
     ],
-    install_requires=["automata-lib==7.0.1"],
+    install_requires=["automata-lib==9.0.0"],
     entry_points={"console_scripts": ["permtools=permuta.cli:main"]},
 )