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		-
	README	24-Jan-2022 12:14	275
	build/	24-Jan-2022 12:46	-
	pkg/	02-Feb-2022 13:10	-
	pkg64/	02-Feb-2022 13:10	-