diff options
-rw-r--r-- | extra.old.json | 6 | ||||
-rw-r--r-- | extra.old.json~ | 4 |
2 files changed, 6 insertions, 4 deletions
diff --git a/extra.old.json b/extra.old.json index 63e7c70..c9b496c 100644 --- a/extra.old.json +++ b/extra.old.json @@ -1337,9 +1337,9 @@ "version": "0.1.12" }, "pyenv": { - "version": "v2.4.13", - "gitref": "refs/tags/v2.4.13", - "revision": "62fc392515d98067fcdd355eb6a3bc0bd08c2bc0" + "version": "v2.4.14", + "gitref": "refs/tags/v2.4.14", + "revision": "5180c3cfb506006e16982602d0d82fa64e285a5b" }, "pypiserver": { "version": "2.2.0", diff --git a/extra.old.json~ b/extra.old.json~ index 9e12657..63e7c70 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -1270,7 +1270,9 @@ "version": "3.7.0" }, "php-redis": { - "version": "6.0.2" + "version": "6.1.0", + "gitref": "refs/tags/6.1.0", + "revision": "772210fbce0b29f9598862cedd7b77054266960e" }, "picard": { "version": "release-2.12.3", |