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

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