| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| php-7.2-opt-redis_5.3.2-1+deb8u1_amd64.deb | 218678 | 2020-Nov-13 10:03 |
| php-7.2-opt-redis_5.3.7-1+deb10u1_amd64.deb | 231080 | 2022-Mar-21 15:43 |
| php-7.2-opt-redis_5.3.7-1+deb9u1_amd64.deb | 223278 | 2022-Mar-21 15:42 |
| php-7.2-opt-redis_5.3.7-1+ubuntu16_amd64.deb | 223166 | 2022-Mar-21 15:43 |
| php-7.2-opt-redis_5.3.7-1+ubuntu18_amd64.deb | 223420 | 2022-Mar-21 15:43 |
| php-7.2-opt-redis_5.3.7-1+ubuntu20_amd64.deb | 230628 | 2022-Mar-21 15:43 |