Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: koka-bin 3.1.2-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/koka-bin.git (read-only, click to copy)
Package Base:	koka-bin
Description:	A strongly typed functional-style language with effect types and handlers
Upstream URL:	https://github.com/koka-lang/koka
Licenses:	Apache
Conflicts:	koka
Provides:	koka
Submitter:	zhangkaizhao
Maintainer:	apropos
Last Packager:	apropos
Votes:	1
Popularity:	0.001743
First Submitted:	2020-11-28 07:53 (UTC)
Last Updated:	2024-12-07 23:21 (UTC)

Dependencies (7)

gcc (gcc-git^AUR, gccrs-git^AUR, gcc11^AUR, gcc-snapshot^AUR)
make (make-git^AUR)
clang (llvm-rocm-git^AUR, llvm-git^AUR, clang-minimal-git^AUR, clang17-bin^AUR) (optional) – for C backend compiler
emscripten (emscripten-git^AUR) (optional) – for WebAssembly target
mono (mono-git^AUR) (optional) – for C# target
nodejs (nodejs-git^AUR, python-nodejs-wheel^AUR, nodejs-lts-hydrogen, nodejs-lts-iron) (optional) – for JavaScript target
wasmtime (wasmtime-git^AUR) (optional) – for running WebAssembly modules

Required by (0)

Sources (1)

https://github.com/koka-lang/koka/releases/download/v3.1.2/koka-v3.1.2-linux-x64.tar.gz

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