pkgbase = php72-redis
	pkgdesc = PHP extension for interfacing with Redis
	pkgver = 5.0.2
	pkgrel = 3
	url = http://pecl.php.net/package/redis
	arch = x86_64
	license = PHP
	makedepends = php72
	depends = php72
	backup = etc/php72/conf.d/redis.ini
	source = http://pecl.php.net/get/redis-5.0.2.tgz
	md5sums = 0fed05402f8eabc2030ae327df0d1e27

pkgname = php72-redis