Index of /ubuntu/pool/universe/j/jerry

	Name	Last modified	Size	Description
	Parent Directory		-
	jerry_3.1.0-1.debian.tar.xz	16-Jan-2019 08:13	2.1K
	jerry_3.1.0-1.dsc	16-Jan-2019 08:13	1.7K
	jerry_3.1.0-1_amd64.deb	16-Jan-2019 17:43	1.3M
	jerry_3.1.0-1_i386.deb	16-Jan-2019 17:43	1.3M
	jerry_3.1.0.orig.tar.gz	16-Jan-2019 08:13	1.8M
	jerry_3.2.0-1.debian.tar.xz	22-Jul-2019 20:08	2.2K
	jerry_3.2.0-1.dsc	22-Jul-2019 20:08	1.7K
	jerry_3.2.0-1_amd64.deb	22-Jul-2019 20:18	1.4M
	jerry_3.2.0-1_i386.deb	22-Jul-2019 20:18	1.4M
	jerry_3.2.0.orig.tar.gz	22-Jul-2019 20:08	1.6M