Unfortunately the "Pro" series of printers aren't supported, but if you don't mind paying a little money then check out Turboprint for Linux. It's €29 for the standard version to the Studio version which costs €59 and supports all Pro printers upto the Prograf-1000. I went for the Studio version for my Pro-1 as it adds colour profile support and I use it on a Lubuntu 17.4 system without fault.
