Index of /ubuntu/pool/universe/j/jerry/
Name | Last Modified | Size |
---|---|---|
Parent Directory | ||
jerry_3.2.0-1build1.debian.tar.xz | 23-03-2020 06:59 | 4k |
jerry_3.2.0-1build1.dsc | 23-03-2020 06:59 | 4k |
jerry_3.2.0-1build1_amd64.deb | 23-03-2020 08:03 | 1448k |
jerry_3.2.0.orig.tar.gz | 22-07-2019 11:08 | 1632k |