FWIW, there has been an (aborted) Debian packaging attempt at https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791388.
FWIW, there has been an (aborted) Debian packaging attempt at https:/ /bugs.debian. org/cgi- bin/bugreport. cgi?bug= 791388.