File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
jerry_3.2.0-1.dsc | 1744 | 2019-Jul-22 02:39 |
jerry_3.1.0-1.dsc | 1744 | 2019-Jan-07 11:19 |
jerry_3.1.0-1.debian.tar.xz | 2132 | 2019-Jan-07 11:19 |
jerry_3.2.0-1.debian.tar.xz | 2220 | 2019-Jul-22 02:39 |
jerry_3.1.0-1_armhf.deb | 1287640 | 2019-Jan-26 10:08 |
jerry_3.2.0-1_armhf.deb | 1414908 | 2019-Aug-01 09:32 |
jerry_3.2.0.orig.tar.gz | 1671152 | 2019-Jul-22 02:39 |
jerry_3.1.0.orig.tar.gz | 1838380 | 2019-Jan-07 11:19 |