Override fusesoc's request for >= 0.8.0, because 0.9.0 is broken
Bypass-Presubmit-Reason: failure is unrelated, fix worked.
Change-Id: I64af18bad262c81574218b74387caea6c48ddfda
diff --git a/python-requirements.txt b/python-requirements.txt
index c21675e..24c9217 100644
--- a/python-requirements.txt
+++ b/python-requirements.txt
@@ -55,6 +55,9 @@
# The version is different from upstream OT because ot-0.3 builds HW twice
# somehow and doubles the build time.
git+https://github.com/lowRISC/fusesoc.git@ot-0.1
+# Override fusesoc's request for >= 0.8.0, because 0.9.0 is broken
+# https://github.com/enthought/sat-solver/issues/289
+simplesat==0.8.2
# Development version with OT-specific changes
# The version is different from upstream OT because v0.4.0 builds HW twice
