[[source]] url = "https://pypi.org/simple" verify_ssl = true name = "pypi" [packages] websockets = "*" spidev = "*" watchfiles = "*" async-tkinter-loop = "*" mido = "*" python-rtmidi = "*" pyaudio = "*" aubio = "*" websocket-client = "*" [dev-packages] [requires] python_version = "3.12" [scripts] run = "python src/main.py" ui = "python src/ui_client.py" control = "python src/control_server.py" sound = "python src/sound.py" dev-ui = 'watchfiles "python src/ui_client.py" src' dev-control = 'watchfiles "python src/control_server.py" src' install = "pipenv install" send-json = "python test/send_json.py"