installation

Installer avec Automic Vault

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

Source du gestionnaire de paquets

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

Notes de plateforme

Aucune note de plateforme propre au paquet n'était présente.

aperçu

Résumé du paquet

Compiler for the Koka language

Page d'accueil

http://koka-lang.org

Commandes et alias

koka

posture de sécurité

Niveau de risque : 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.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

Commande	Type	Exposition	Note
`koka`	cli	global executable

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-06-10

version du gestionnaire3.2.3

gestionnaire mis à jour2026-03-18

données localesok

amontnot checked

dernière version détectéenot detected

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

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

métadonnées d'installation

Métadonnées du paquet

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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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

Installer koka