scripts/setup-ubuntu.sh: Huh. We only have Python 3.5 here.
[termux-packages] / packages / libisl /
drwxr-xr-x   ..
-rw-r--r-- 378 build.sh