Installation

Mit Automic Vault installieren

Automic Vault

sudo av install brew:koka

macOS

Homebrewverified · 100%

brew install koka

local Homebrew formula metadata

Linux

Alpine Linux apkverified · 92%

sudo apk add koka

Alpine Linux edge package indexes · koka · source: dl-cdn.alpinelinux.org

Nixverified · 92%

nix profile install nixpkgs#koka

nixpkgs package indexes · pkgs/by-name/ko/koka/package.nix · source: api.github.com

Paketmanager-Quelle

https://formulae.brew.sh/formula/koka

Plattformhinweise

Es waren keine paketspezifischen Plattformhinweise vorhanden.

Überblick

Paketzusammenfassung

Compiler for the Koka language

Homepage

http://koka-lang.org

Befehle und Aliase

koka

Sicherheitslage

Risikostufe: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

narrow executable package without higher-risk signals

Signals

metadata:no-higher-risk-signals

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
Installs with 1 runtime dependencies.
Build metadata lists 3 build dependencies.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

Befehl	Art	Sichtbarkeit	Hinweis
`koka`	cli	global executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-06-10

Manager-Version3.2.3

Manager aktualisiert2026-03-18

lokale Datenok

Upstreamnot checked

neueste erkannte Versionnot detected

https://github.com/koka-lang/koka

infoNo cached GitHub release or tag data was available.https://github.com/koka-lang/kokanone confidence

Installationsmetadaten

Paketmetadaten

Package key	brew:koka
Version	3.2.3
Package manager	Homebrew
Package manager page	https://formulae.brew.sh/formula/koka
Homepage	http://koka-lang.org
Repository	https://github.com/koka-lang/koka
Upstream docs	https://koka-lang.github.io/koka/doc/book.html
License	Apache-2.0
Source archive	https://github.com/koka-lang/koka.git
Last updated	2026-03-18T05:36:03Z
Pulse	updated
Dependencies	gmp
Build dependencies	cabal-install, ghc, pcre2
Uses from macOS	libffi
Bottle	available (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	koka
Version Scheme	0
Revision	0
Head Version	HEAD
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	head stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

Nix95%

koka

nix profile install nixpkgs#koka

normalized package name match
Matched by: Koka

nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ko/koka/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

apk95%

koka 3.2.2-r1

Strongly typed functional-style language with effect types and handlers

https://koka-lang.github.io/

sudo apk add koka

License: Apache-2.0 AND MIT
Architecture: x86_64
Source Package: koka
1 dependencies
1 provides
normalized package name match
Matched by: Koka

Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: koka from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

Paketgraph

Links stammen aus dem lokalen Paketbeziehungsgraph, Ergänzungen, Abhängigkeitskanten, Ecosystem-Matches und Paket-Hub-Mitgliedschaft.

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

Geiger risk classifier
Nucleus package database
av.db category and tag curation
cross-ecosystem install command graph
external package-manager database matches
package relationship graph
package version freshness
package-page enrichment

koka installieren