The PPA proposal has proved to be problematic:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=974107#83
So no solution in sight at the moment.
The PPA proposal has proved to be problematic:
https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 974107# 83
So no solution in sight at the moment.