gpo.zugaina.org

Search Portage & Overlays:

dev-lang/koka-bin

A Functional Language with Effect Types and Handlers

Screenshots

ChangeLog

commit 87c4e19463e7590d50ed0dea80a12538de11c1b8
Author: gouwazi <assheadlld@gmail.com>
Date: Wed Jul 23 17:14:41 2025 +0800

dev-lang/koka-bin: add 3.2.2, drop 3.2.0

commit 8fff99f6afe74e250475ebb5baaf9b179016e5f3
Author: gouwazi <assheadlld@gmail.com>
Date: Fri Jul 18 17:09:54 2025 +0800

dev-lang/koka-bin: add 3.2.0, drop 3.1.3

commit 551d9a3d93a17fb2fa60b758a93a4e601069fe74
Author: gouwazi <assheadlld@gmail.com>
Date: Wed Jul 9 17:39:30 2025 +0800

update maintainer email

commit b2a04b04f19cad783ca2e6713fd235defeaaef68
Author: gouwazi <assheadlld@gmail.com>
Date: Fri Jul 4 14:59:29 2025 +0800

dev-lang/koka-bin: add 3.1.3, drop 3.1.2

commit 0513abba0e3322ddde0667851bfb92ec6eaa4b0b
Author: gouwazi <assheadlld@gmail.com>
Date: Wed Jun 4 16:37:25 2025 +0800

dev-lang/koka-bin: new package, add 3.1.2