../ jruby_9.1.13.0-1.debian.tar.xz 10-Oct-2017 08:14 77728 jruby_9.1.13.0-1.dsc 10-Oct-2017 08:14 3005 jruby_9.1.13.0-1_all.deb 10-Oct-2017 10:20 39499560 jruby_9.1.13.0.orig.tar.gz 10-Oct-2017 08:14 8551549 jruby_9.1.17.0-1~18.04.debian.tar.xz 26-Feb-2019 11:08 78524 jruby_9.1.17.0-1~18.04.dsc 26-Feb-2019 11:08 3089 jruby_9.1.17.0-1~18.04_all.deb 26-Feb-2019 11:08 42656932 jruby_9.1.17.0.orig.tar.gz 26-Feb-2019 06:03 8574514