php-redis: php-redis (PHP extension for redis memory cache)
php-redis:
php-redis: php-redis is a PHP extension for interfacing with Redis.
php-redis:
php-redis:
php-redis:
php-redis:
php-redis:
php-redis:
php-redis: See also: https://github.com/phpredis/phpredis/
php-redis:

	Name	Last modified	Size	Description
	Parent Directory		-
	pkg64/	05-Jul-2025 06:07	-
	pkg/	05-Jul-2025 07:24	-
	build/	05-Jul-2025 06:08	-
	README	24-Jan-2022 12:14	275