Skip to content

Commit

Permalink
fix: koka binary name changed
Browse files Browse the repository at this point in the history
  • Loading branch information
alecthomas committed Dec 30, 2023
1 parent 5a93b97 commit 73a804e
Showing 1 changed file with 11 additions and 6 deletions.
17 changes: 11 additions & 6 deletions koka.hcl
Original file line number Diff line number Diff line change
Expand Up @@ -6,12 +6,6 @@ vars = {
"os_": "${os}",
}

platform "linux" {
vars = {
"os_": "alpine",
}
}

platform "darwin" {
vars = {
"os_": "macos",
Expand All @@ -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"
}
Expand All @@ -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",
}

0 comments on commit 73a804e

Please sign in to comment.