I'll push a newer version. In the mean time you can download the packages manually and install them with "dpkg -i *.deb".
I'll push a newer version. In the mean time you can download the packages manually and install them with "dpkg -i *.deb".