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

../
jerry_3.2.0-1build1.debian.tar.xz                  30-Aug-2023 23:46                2320
jerry_3.2.0-1build1.dsc                            30-Aug-2023 23:46                1793
jerry_3.2.0-1build1_arm64.deb                      30-Aug-2023 23:46             1441820
jerry_3.2.0.orig.tar.gz                            30-Aug-2023 23:46             1671152