../ jruby_1.7.22-1ubuntu1_all.deb 23-Oct-2015 15:14 42M jruby_9.1.13.0-1_all.deb 10-Oct-2017 10:20 38M jruby_9.1.17.0-1~18.04_all.deb 26-Feb-2019 11:08 41M jruby_9.1.17.0-3build6_all.deb 29-Feb-2020 02:28 41M