From a25739b595b1fb03b4aba4298a33e1833a428b85 Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 03:02:46 +0200 Subject: [PATCH 1/8] polyml: Add version 5.9.1 Closes #17766 Signed-off-by: Yan Cao --- bucket/polyml.json | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 bucket/polyml.json diff --git a/bucket/polyml.json b/bucket/polyml.json new file mode 100644 index 00000000000000..7d22ba3d839124 --- /dev/null +++ b/bucket/polyml.json @@ -0,0 +1,31 @@ +{ + "version": "5.9.1", + "description": "An implementation of Standard ML", + "homepage": "https://github.com/polyml/polyml/", + "license": "LGPL-2.1", + "architecture": { + "64bit": { + "url": "https://github.com/polyml/polyml/releases/download/v5.9.1/PolyML5.9.1-64bit.msi", + "hash": "06C7C11A9BE151D3F3C9016F9CDD66186031FC9620AC26013D258E9781AE41EB" + } + }, + "extract_dir": "PFiles/Poly ML", + "bin": "PolyML.exe", + "shortcuts": [ + [ + "PolyML.exe", + "PolyML" + ] + ], + "checkver": { + "github": "https://api.github.com/repos/polyml/polyml/releases/latest", + "jsonpath": "$..browser_download_url", + "regex": "download/v(?[\\d.]+)/PolyML.([\\d.]+)-64bit\\.msi" + }, + "autoupdate": { + "url": "https://github.com/polyml/polyml/releases/download/v$matchTag/PolyML.$version-64bit.msi", + "hash": { + "url": "$baseurl/SHA256sums.txt" + } + } +} From c296ff3413a8838a7022a2b69ccea2b858f0e8a4 Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 09:44:10 +0200 Subject: [PATCH 2/8] fix checkver --- bucket/polyml.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index 7d22ba3d839124..fcfc2551cadf8f 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -2,7 +2,7 @@ "version": "5.9.1", "description": "An implementation of Standard ML", "homepage": "https://github.com/polyml/polyml/", - "license": "LGPL-2.1", + "license": "LGPL-2.1-only", "architecture": { "64bit": { "url": "https://github.com/polyml/polyml/releases/download/v5.9.1/PolyML5.9.1-64bit.msi", @@ -20,10 +20,10 @@ "checkver": { "github": "https://api.github.com/repos/polyml/polyml/releases/latest", "jsonpath": "$..browser_download_url", - "regex": "download/v(?[\\d.]+)/PolyML.([\\d.]+)-64bit\\.msi" + "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" }, "autoupdate": { - "url": "https://github.com/polyml/polyml/releases/download/v$matchTag/PolyML.$version-64bit.msi", + "url": "https://github.com/polyml/polyml/releases/download/v$matchTag/PolyML$version-64bit.msi", "hash": { "url": "$baseurl/SHA256sums.txt" } From de22766b290fbd63f3b048de5fa8ad9e1376973c Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 09:51:16 +0200 Subject: [PATCH 3/8] rm autoupdate, because the latest release binary is missing --- bucket/polyml.json | 45 +++++++++++++++++---------------------------- 1 file changed, 17 insertions(+), 28 deletions(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index fcfc2551cadf8f..b1430c4e23a99c 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -1,31 +1,20 @@ { - "version": "5.9.1", - "description": "An implementation of Standard ML", - "homepage": "https://github.com/polyml/polyml/", - "license": "LGPL-2.1-only", - "architecture": { - "64bit": { - "url": "https://github.com/polyml/polyml/releases/download/v5.9.1/PolyML5.9.1-64bit.msi", - "hash": "06C7C11A9BE151D3F3C9016F9CDD66186031FC9620AC26013D258E9781AE41EB" - } - }, - "extract_dir": "PFiles/Poly ML", - "bin": "PolyML.exe", - "shortcuts": [ - [ - "PolyML.exe", - "PolyML" + "version": "5.9.1", + "description": "An implementation of Standard ML", + "homepage": "https://github.com/polyml/polyml/", + "license": "LGPL-2.1-only", + "architecture": { + "64bit": { + "url": "https://github.com/polyml/polyml/releases/download/v5.9.1/PolyML5.9.1-64bit.msi", + "hash": "06C7C11A9BE151D3F3C9016F9CDD66186031FC9620AC26013D258E9781AE41EB" + } + }, + "extract_dir": "PFiles/Poly ML", + "bin": "PolyML.exe", + "shortcuts": [ + [ + "PolyML.exe", + "PolyML" + ] ] - ], - "checkver": { - "github": "https://api.github.com/repos/polyml/polyml/releases/latest", - "jsonpath": "$..browser_download_url", - "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" - }, - "autoupdate": { - "url": "https://github.com/polyml/polyml/releases/download/v$matchTag/PolyML$version-64bit.msi", - "hash": { - "url": "$baseurl/SHA256sums.txt" - } - } } From 4aa1afda325e99444798d304f5ea0f48881f9f5c Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 10:24:35 +0200 Subject: [PATCH 4/8] readd checkver --- bucket/polyml.json | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index b1430c4e23a99c..36faac8adb314a 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -16,5 +16,16 @@ "PolyML.exe", "PolyML" ] - ] + ], + "checkver": { + "github": "https://api.github.com/repos/polyml/polyml/releases/latest", + "jsonpath": "$..browser_download_url", + "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" + }, + "autoupdate": { + "url": "https://github.com/polyml/polyml/releases/download/v$matchTag/PolyML$version-64bit.msi", + "hash": { + "url": "$baseurl/SHA256sums.txt" + } + } } From 16ef562cd165b609858004ba4a6241554fbdc0fe Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 10:29:56 +0200 Subject: [PATCH 5/8] add back checkver and autoupdate --- bucket/polyml.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index 36faac8adb314a..c86fdd36d9647e 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -23,7 +23,7 @@ "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" }, "autoupdate": { - "url": "https://github.com/polyml/polyml/releases/download/v$matchTag/PolyML$version-64bit.msi", + "url": "https://github.com/polyml/polyml/releases/download/v$version/PolyML$version-64bit.msi", "hash": { "url": "$baseurl/SHA256sums.txt" } From b41c0f2fce3893bddf6d97ae34389da5672b528e Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 10:31:32 +0200 Subject: [PATCH 6/8] fix lint --- bucket/polyml.json | 19 ++++++++----------- 1 file changed, 8 insertions(+), 11 deletions(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index c86fdd36d9647e..a045981e1cf5ea 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -17,15 +17,12 @@ "PolyML" ] ], - "checkver": { - "github": "https://api.github.com/repos/polyml/polyml/releases/latest", - "jsonpath": "$..browser_download_url", - "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" - }, - "autoupdate": { - "url": "https://github.com/polyml/polyml/releases/download/v$version/PolyML$version-64bit.msi", - "hash": { - "url": "$baseurl/SHA256sums.txt" - } - } + "checkver": { + "github": "https://api.github.com/repos/polyml/polyml/releases/latest", + "jsonpath": "$..browser_download_url", + "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" + }, + "autoupdate": { + "url": "https://github.com/polyml/polyml/releases/download/v$version/PolyML$version-64bit.msi" + } } From e6c05ac9050dca077c304db343bc2f0b7b1c217b Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 6 May 2026 10:37:19 +0200 Subject: [PATCH 7/8] missing release binary, remove it again --- bucket/polyml.json | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index a045981e1cf5ea..b1430c4e23a99c 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -16,13 +16,5 @@ "PolyML.exe", "PolyML" ] - ], - "checkver": { - "github": "https://api.github.com/repos/polyml/polyml/releases/latest", - "jsonpath": "$..browser_download_url", - "regex": "download/v(?[\\d.]+)/PolyML([\\d.]+)-64bit\\.msi" - }, - "autoupdate": { - "url": "https://github.com/polyml/polyml/releases/download/v$version/PolyML$version-64bit.msi" - } + ] } From c12def44537879afad594ed3c6da54e88d712cd1 Mon Sep 17 00:00:00 2001 From: Yan Cao Date: Wed, 13 May 2026 21:24:56 +0200 Subject: [PATCH 8/8] add autoupdate --- bucket/polyml.json | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/bucket/polyml.json b/bucket/polyml.json index b1430c4e23a99c..20a15fa1ad1a90 100644 --- a/bucket/polyml.json +++ b/bucket/polyml.json @@ -16,5 +16,17 @@ "PolyML.exe", "PolyML" ] - ] + ], + "checkver": { + "github": "https://api.github.com/repos/polyml/polyml/releases", + "jsonpath": "$....name", + "regex": "PolyML(?[\\d.]*)-64bit.msi" + }, + "autoupdate": { + "architecture": { + "64bit": { + "url": "https://github.com/polyml/polyml/releases/download/v$version/PolyML$version-64bit.msi" + } + } + } }