Index of /debian/pool/main/j/jruby

	Name	Last modified	Size
	Parent Directory		-
	jruby_1.5.6-5.dsc	2012-12-11 20:40	2.2K
	jruby_1.5.6-9.dsc	2014-11-02 03:24	2.2K
	jruby_9.1.17.0-3.dsc	2019-05-29 05:37	3.0K
	jruby_9.1.13.0-1~bpo9+1.dsc	2017-10-15 14:45	3.0K
	jruby_1.7.26-1+deb9u1.dsc	2018-06-06 10:25	3.1K
	jruby_1.5.6-5.debian.tar.gz	2012-12-11 20:40	30K
	jruby_1.5.6-9.debian.tar.xz	2014-11-02 03:24	33K
	jruby_9.1.13.0-1~bpo9+1.debian.tar.xz	2017-10-15 14:45	76K
	jruby_9.1.17.0-3.debian.tar.xz	2019-05-29 05:37	80K
	jruby_1.7.26-1+deb9u1.debian.tar.xz	2018-06-06 10:25	90K
	jruby_1.5.6.orig.tar.gz	2011-09-20 20:47	5.2M
	jruby_1.5.6-9_all.deb	2014-11-02 03:24	7.5M
	jruby_9.1.13.0.orig.tar.gz	2017-10-05 20:54	8.2M
	jruby_9.1.17.0.orig.tar.gz	2019-02-25 20:43	8.2M
	jruby_1.5.6-5_all.deb	2012-12-11 20:40	8.5M
	jruby_1.7.26.orig.tar.gz	2016-11-12 22:44	9.8M
	jruby_9.1.13.0-1~bpo9+1_all.deb	2017-10-15 14:45	38M
	jruby_9.1.17.0-3_all.deb	2019-05-29 06:42	41M
	jruby_1.7.26-1+deb9u1_all.deb	2018-06-06 10:25	47M