Index of /pool/main/j/jruby

	Name	Last modified	Size
	Parent Directory		-
	jruby_9.1.13.0-1~bpo9+1.debian.tar.xz	15-Oct-2017 16:45	76K
	jruby_9.1.13.0-1~bpo9+1.dsc	15-Oct-2017 16:45	3.0K
	jruby_9.1.13.0-1~bpo9+1_all.deb	15-Oct-2017 16:45	38M
	jruby_9.1.13.0.orig.tar.gz	05-Oct-2017 22:54	8.2M
	jruby_9.1.17.0-3.debian.tar.xz	29-May-2019 07:37	80K
	jruby_9.1.17.0-3.dsc	29-May-2019 07:37	3.0K
	jruby_9.1.17.0-3_all.deb	29-May-2019 08:42	41M
	jruby_9.1.17.0.orig.tar.gz	25-Feb-2019 21:43	8.2M
	jruby_9.3.9.0+ds-8.debian.tar.xz	16-Jan-2023 22:26	39K
	jruby_9.3.9.0+ds-8.dsc	16-Jan-2023 22:26	2.8K
	jruby_9.3.9.0+ds-8_all.deb	16-Jan-2023 23:48	41M
	jruby_9.3.9.0+ds.orig-rubygems-default.tar.xz	03-Dec-2022 21:33	12M
	jruby_9.3.9.0+ds.orig.tar.xz	03-Dec-2022 21:33	5.1M