https://nuitka.net/info/debian-dist-packages.html