../ jruby_1.5.6-5+deb7u2.debian.tar.xz 17-Apr-2018 21:47 30344 jruby_1.5.6-5+deb7u2.dsc 17-Apr-2018 21:47 2466 jruby_1.5.6-5+deb7u2_all.deb 17-Apr-2018 21:47 8918996 jruby_1.5.6.orig.tar.gz 20-Sep-2011 20:47 5447477