koka 2.4.0 (new formula)
koka 2.4.0 (new formula)

* koka-2.3.9 (new formula)
  This adds a formula for the Koka compiler and interpreter.
  See <http://koka-lang.org> for more information.
* koka-2.3.9 (pass audit)
  The default branch for the HEAD should be "dev" but audit wants
  it to be "master". Change to master for now to pass the CI.
* koka-2.3.9 (remove livecheck)
  Remove unneeded livecheck
* koka-2.3.9 (add more tests)
  Add a test to see if the samples are installed correctly.
* koka-2.3.9 (remove unneeded caveat)
  As discussed in PR #93179, remove the unneeded caveat.
* koka-2.3.9 (simplify install with prefix flag)
  As discussed in #93179, we now install directly into the
  <prefix> instead of to a temporary directory and copying later.
* koka-2.3.9 (update cabal commands)
  Remove unneeded 'new-' prefix to the cabal commands
  'new-' is equivalent to 'v2-' and no more needed for
  cabal v3.
* update koka version to 2.4.0 (now the url directory and package version match)
* remove build dependency on vcpkg and make stdlib dependencies explicit (just pcre2 for now)

Closes #93179.

Signed-off-by: Carlo Cabrera <3ffc397d0e4bded29cb84b56167de54c01e3a55b@users.noreply.github.com>
Signed-off-by: BrewTestBot <8a898ee6867e4f2028e63d2a6319b2224641c06c@users.noreply.github.com>

nbari/homebrew-core,nbari/homebrew-core,chrisfinazzo/homebrew-core,zyedidia/homebrew-core,lemzwerg/homebrew-core,cblecker/homebrew-core,cblecker/homebrew-core,makigumo/homebrew-core,adam-moss/homebrew-core,Homebrew/homebrew-core,Homebrew/homebrew-core,lemzwerg/homebrew-core,filcab/homebrew-core,nandub/homebrew-core,filcab/homebrew-core,zyedidia/homebrew-core,nandub/homebrew-core,stgraber/homebrew-core,chrisfinazzo/homebrew-core,adam-moss/homebrew-core,stgraber/homebrew-core,makigumo/homebrew-core,sjackman/homebrew-core,sjackman/homebrew-core