[ https://issues.jboss.org/browse/JBIDE-24973?page=com.atlassian.jira.plugi... ] Nick Boldt edited comment on JBIDE-24973 at 9/11/17 9:46 AM: ------------------------------------------------------------- Yeah, I meant 1.8.1. Updated the issue title. As to browsing Fedora / Koji for packages, here's how: 1. Search: https://koji.fedoraproject.org/koji/search?match=glob&type=package&am... 2. Explore: https://koji.fedoraproject.org/koji/buildinfo?buildID=953415 Fedora has 1.8.0 right now so we'll need to [get 1.8.1 built there too|https://bugzilla.redhat.com/show_bug.cgi?id=1489929] so that this dependency in devstudio rpm can be resolved from upstream rpm rather than devstudio update site. was (Author: nickboldt): Yeah, I meant 1.8.1. Updated the issue title. As to browsing Fedora / Koji for packages, here's how: 1. Search: https://koji.fedoraproject.org/koji/search?match=glob&type=package&am... 2. Explore: https://koji.fedoraproject.org/koji/buildinfo?buildID=953415 Fedora has 1.8.0 right now so we'll need to get 1.8.1 built there too so that this dependency in devstudio rpm can be resolved from upstream rpm rather than devstudio update site. -- This message was sent by Atlassian JIRA (v7.2.3#72005)