Closed adi-yakovian-starkware closed 1 year ago
Thanks for submitting this issue. Is there an error you are encountering? Adding the requirement does not appear to be necessary, is there anything in particular you saw?
Closing this but please file another issue if you have further questions!
What was wrong?
Missing setuptools requirement, even though it is needed here.
How can it be fixed?
Add the requirement in
setup.py
.