diff --git a/koka.hcl b/koka.hcl index 6bca61b6..5a5c787a 100644 --- a/koka.hcl +++ b/koka.hcl @@ -6,12 +6,6 @@ vars = { "os_": "${os}", } -platform "linux" { - vars = { - "os_": "alpine", - } -} - platform "darwin" { vars = { "os_": "macos", @@ -25,6 +19,14 @@ platform "amd64" { } version "2.4.0" { + platform "linux" { + vars = { + "os_": "alpine", + } + } +} + +version "2.4.2" { auto-version { github-release = "koka-lang/koka" } @@ -34,4 +36,7 @@ sha256sums = { "https://github.com/koka-lang/koka/releases/download/v2.4.0/koka-v2.4.0-alpine-x64.tar.gz": "4a66161da15e875b57152d94e4fb5e3198c1d28d97ed2612ca7f070b2ed41c5f", "https://github.com/koka-lang/koka/releases/download/v2.4.0/koka-v2.4.0-macos-x64.tar.gz": "64b4662ce367e5ecd0ba1719c02b800ad46749a395551054313e8980878c99ee", "https://github.com/koka-lang/koka/releases/download/v2.4.0/koka-v2.4.0-macos-arm64.tar.gz": "a0a0b97598a723891d91b841caf9a30e43f07329b09a8f503f48bd70bee44fcf", + "https://github.com/koka-lang/koka/releases/download/v2.4.2/koka-v2.4.2-linux-x64.tar.gz": "7d544c7d7fbd22481949d5644cbe19eb3bae9431b7a8537bea02b0bc55a28322", + "https://github.com/koka-lang/koka/releases/download/v2.4.2/koka-v2.4.2-macos-x64.tar.gz": "d03c1d41fbe63a23b3998759b472cf5a8b3ab09f9fb52af5e78a0eee8e559f8e", + "https://github.com/koka-lang/koka/releases/download/v2.4.2/koka-v2.4.2-macos-arm64.tar.gz": "8d2fb7ca4e9d758de9174280bf901b0849373adce3ae61621d8a0ba1dffbdd5c", }