Gentoo Packages

dev-lang/koka-bin - 3.2.9 (gentoo-zh)

Search

Install

Install this version:

emerge -a =dev-lang/koka-bin-3.2.9

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =dev-lang/koka-bin-3.2.9

Or alternatively:

emerge --autounmask-write -a =dev-lang/koka-bin-3.2.9

Package Information

Description:
A Functional Language with Effect Types and Handlers
Homepage:
https://github.com/koka-lang/koka
License:
Apache-2.0

Ebuild Details

Version EAPI Keywords Slot
3.2.9 8 ~amd64 0
View Raw Ebuild 
# Copyright 2025 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

inherit unpacker

DESCRIPTION="A Functional Language with Effect Types and Handlers"
HOMEPAGE="https://github.com/koka-lang/koka"
SRC_URI="https://github.com/koka-lang/koka/releases/download/v${PV}/koka-v${PV}-linux-x64.tar.gz"

S="${WORKDIR}"
LICENSE="Apache-2.0"

SLOT="0"
KEYWORDS="~amd64"

RESTRICT="strip"

src_install() {
	dobin "${S}/bin/koka"
	insinto /usr/lib/koka/v${PV}
	doins -r "${S}/lib/koka/v${PV}"/*
	insinto /usr/share/koka/v${PV}
	doins -r "${S}/share/koka/v${PV}"/*
}

Inherited Eclasses

unpacker

Manifest for 3.2.9

Type File Size Source URLs
DIST koka-v3.2.9-linux-x64.tar.gz 56960571 bytes https://github.com/koka-lang/koka/releases/download/v3.2.9/koka-v3.2.9-linux-x64.tar.gz