Geert Stappers Fri, 19 May 2017 12:57:34 -0700
The watch file in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=849213 does fetch the 1.8.2 version of Arduino
