diff options
-rw-r--r-- | extra.old.json | 6 | ||||
-rw-r--r-- | extra.old.json~ | 6 |
2 files changed, 6 insertions, 6 deletions
diff --git a/extra.old.json b/extra.old.json index d829cc5..823230c 100644 --- a/extra.old.json +++ b/extra.old.json @@ -1244,9 +1244,9 @@ "version": "v0.94" }, "pd-lua": { - "version": "0.12.10", - "gitref": "refs/tags/0.12.10", - "revision": "3e0c1ec368e6862c3fae7cdb1a02df22c72dae4a" + "version": "0.12.14", + "gitref": "refs/tags/0.12.14", + "revision": "25fb7f18ed767918b71f9c4fa4c3bc78cc2e073b" }, "pesign": { "version": "116" diff --git a/extra.old.json~ b/extra.old.json~ index f6a8a39..d829cc5 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -1325,9 +1325,9 @@ "version": "0.1.12" }, "pyenv": { - "version": "v2.4.11", - "gitref": "refs/tags/v2.4.11", - "revision": "b123520826ad9daa141980d459ef0977b581f918" + "version": "v2.4.12", + "gitref": "refs/tags/v2.4.12", + "revision": "2e658d3e3574074ba24ffd10ad67b1c8e2ff717d" }, "pypiserver": { "version": "2.1.1", |