Index of /pub/os/linux/ubuntu/pool/universe/j/jerry/

Filename	Modification time	Size
jerry_3.2.0-1build1.debian.tar.xz	2020-03-23 07:59 CET	2320 B
jerry_3.2.0-1build1.dsc	2020-03-23 07:59 CET	1793 B
jerry_3.2.0-1build1_amd64.deb	2020-03-23 09:03 CET	1444 KiB
jerry_3.2.0.orig.tar.gz	2019-07-22 13:08 CEST	1632 KiB