diff options
-rw-r--r-- | extra.old.json | 4 | ||||
-rw-r--r-- | extra.old.json~ | 6 |
2 files changed, 6 insertions, 4 deletions
diff --git a/extra.old.json b/extra.old.json index 34c565b..b9207a3 100644 --- a/extra.old.json +++ b/extra.old.json @@ -939,7 +939,9 @@ "version": "v38" }, "mkosi": { - "version": "v22" + "version": "v23.1", + "gitref": "refs/tags/v23.1", + "revision": "c615fbdfcd5b2e7947e6f72a5ae56555cf834370" }, "mod-lv2-extensions": { "version": "2022-09-28" diff --git a/extra.old.json~ b/extra.old.json~ index 505507d..34c565b 100644 --- a/extra.old.json~ +++ b/extra.old.json~ @@ -1233,9 +1233,9 @@ "version": "0.1.12" }, "pyenv": { - "version": "v2.4.1", - "gitref": "refs/tags/v2.4.1", - "revision": "aabaa892438d05d96775042a129b1580fcd60105" + "version": "v2.4.2", + "gitref": "refs/tags/v2.4.2", + "revision": "0963c8ac02bca616b8f91ab8b1902f48502cd813" }, "pypiserver": { "version": "2.1.1", |