This update has been unpushed.
Sorry about that, they added a soname to the library in 1.3.2, which I missed. There's not a whole lot of other changes between 1.3.1 and 1.3.4, so I'll just unpush and revert.
This update fixes bug 1296002 for me. The IDE starts and builds example programs.
Arduino IDE fails to start, see bug #1296002
Fixes bug 1224512 for me
I found the issue, the python2 'setup.py install' is not overwriting the python3 scripts that are already installed at that point. I'll add the --force switch to make sure the right scripts are being installed and update the affected packages
This update has been unpushed
Works with PCL-1.5.1
Looks good to me