Changelog for arduino-core-1.8.5-8.fc31.noarch.rpm :

* Wed Jul 24 2019 Fedora Release Engineering - 1:1.8.5-8- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Thu Jan 31 2019 Fedora Release Engineering - 1:1.8.5-7- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Thu Oct 11 2018 Gianluca Sforna - 1:1.8.5-6- Fix #1518055 by requiring java = 1:1.8.0
* Thu Jul 12 2018 Fedora Release Engineering - 1:1.8.5-5- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Fri Mar 02 2018 Peter Oliver - 1:1.8.5-4- Consistenty use appstream ID to ensure inclusion in, e.g., Gnome Software.
* Wed Feb 07 2018 Fedora Release Engineering - 1:1.8.5-3- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Sun Jan 07 2018 Igor Gnatenko - 1:1.8.5-2- Remove obsolete scriptlets
* Tue Oct 10 2017 Gianluca Sforna - 1:1.8.5-1- update to 1.8.5- add versioned require for arduino-builder- fix buider usage by adding an empty tools-builder directory
* Thu Aug 24 2017 Gianluca Sforna - 1:1.8.4-1- update to 1.8.4
* Wed Aug 23 2017 Gianluca Sforna - 1:1.8.3-1- update to 1.8.3, based off Tom Callaway patches
* Wed Jul 26 2017 Gianluca Sforna - 1:1.6.7-2- re-uploaded all sources