../ jruby_1.5.6-9+deb8u2.debian.tar.xz 10-Dec-2019 12:05 38K jruby_1.5.6-9+deb8u2.dsc 10-Dec-2019 12:05 2494 jruby_1.5.6-9+deb8u2_all.deb 10-Dec-2019 12:05 7M jruby_1.5.6.orig.tar.gz 20-May-2019 10:48 5M jruby_1.7.26-1+deb9u3.debian.tar.xz 01-Oct-2020 15:04 95K jruby_1.7.26-1+deb9u3.dsc 01-Oct-2020 15:04 3090 jruby_1.7.26-1+deb9u3_all.deb 01-Oct-2020 15:04 47M jruby_1.7.26.orig.tar.gz 06-Jun-2018 10:25 10M