From c7f2de3902ef4ba013b5d3b1376d81e30c2c5c64 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 13 Jan 2025 21:32:30 +0530 Subject: [PATCH] Ubuntu changed a package name. Sigh. --- setup/unix-ci.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/setup/unix-ci.py b/setup/unix-ci.py index 07fedae2d2..9c041007a0 100644 --- a/setup/unix-ci.py +++ b/setup/unix-ci.py @@ -115,7 +115,7 @@ def install_linux_deps(): run('sudo', 'apt-get', 'update', '-y') # run('sudo', 'apt-get', 'upgrade', '-y') run('sudo', 'apt-get', 'install', '-y', - 'gettext', 'libgl1-mesa-dev', 'libxkbcommon-dev', 'libxkbcommon-x11-dev', 'pulseaudio', 'libasound2', 'libflite1', 'libspeechd2') + 'gettext', 'libgl1-mesa-dev', 'libxkbcommon-dev', 'libxkbcommon-x11-dev', 'pulseaudio', 'libasound2t64', 'libflite1', 'libspeechd2') def get_tx():