Package Details: koka-bin 3.1.0-1

Git Clone URL: https://aur.archlinux.org/koka-bin.git (read-only, click to copy)
Package Base: koka-bin
Description: Koka: a function-oriented language with effect inference
Upstream URL: https://github.com/koka-lang/koka
Licenses: Apache
Conflicts: koka
Provides: koka
Submitter: zhangkaizhao
Maintainer: TwoFinger
Last Packager: TwoFinger
Votes: 1
Popularity: 0.98
First Submitted: 2020-11-28 07:53 (UTC)
Last Updated: 2024-02-23 06:32 (UTC)

Dependencies (7)

Required by (0)

Sources (1)

Latest Comments

zhangkaizhao commented on 2022-02-08 09:07 (UTC) (edited on 2022-02-08 09:10 (UTC) by zhangkaizhao)

Since version 2.4.0 there are official packages for Arch Linux provided. e.g. for version 2.4.0 the download url is https://github.com/koka-lang/koka/releases/download/v2.4.0/koka-v2.4.0-arch-x64.pkg.tar.zst . Here is the information of the official package.

$ pacman -Qi -p koka-v2.4.0-arch-x64.pkg.tar.zst
Name            : koka
Version         : 2.4.0-002004000
Description     : Koka is a strongly typed functional-style language with effect types and handlers
Architecture    : x86_64
URL             : https://koka-lang.github.io/
Licenses        : Apache-2.0
Groups          : default
Provides        : koka
Depends On      : gcc  make  tar  curl  glibc>=2.32
Optional Deps   : None
Conflicts With  : None
Replaces        : None
Compressed Size : 10.36 MiB
Installed Size  : 47.77 MiB
Packager        : <@9c85298d9119>
Build Date      : Sun 06 Feb 2022 08:58:48 PM UTC
Install Script  : Yes
Validated By    : None
Signatures      : None