Index of /by-release/debian/j/jerry

	Name	Last modified	Size	Description
	Parent Directory		-
	jerry_3.2.0-1.patch-basis	22-Jul-2019 09:38	8
	jerry_3.2.0-1.patch.bz2	22-Jul-2019 09:38	126K
	patches.xml	22-Jul-2019 09:41	716