| Port details |
- hs-koka Koka: strongly typed functional-style language with effect inference
- 3.2.2 lang
 =2      3.1.2Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2024-01-02 16:54:04
- Last Update: 2025-07-23 07:54:50
- Commit Hash: 7c6484f
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- Also Listed In: haskell
- License: APACHE20
- WWW:
- https://koka-lang.github.io/koka/doc/index.html
- Description:
- Koka is a strongly typed functional-style language with effect types
and handlers.
Koka v2 is a research language that is currently under development and not ready
for production use. Nevertheless, the language is stable and the compiler
implements the full specification. The main things lacking at the moment are
libraries, package management, and deep IDE integration.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/lang/hs-koka/ && make install clean
- To add the package, run one of these commands:
- pkg install lang/hs-koka
- pkg install hs-koka
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: hs-koka
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1753244600
SHA256 (cabal/Diff-1.0.2/Diff-1.0.2.tar.gz) = cd7e26d3d5ebf7f2c1a7525aebe251fbcbffee2a6362db634b4be23b9e354d85
SIZE (cabal/Diff-1.0.2/Diff-1.0.2.tar.gz) = 10936
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ghc : lang/ghc
- cabal : devel/hs-cabal-install
- Library dependencies:
-
- libgmp.so : math/gmp
- libffi.so : devel/libffi
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- lang_hs-koka
- USES:
- cabal
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
3.2.2
23 Jul 2025 07:54:50
 |
Yuri Victorovich (yuri) |
lang/hs-koka: update 3.1.2 → 3.2.2
Reported by: portscout |
3.1.2
01 Jun 2024 08:10:54
|
Yuri Victorovich (yuri) |
lang/hs-koka: update 3.1.1 → 3.1.2
Reported by: portscout |
3.1.1
07 Mar 2024 17:30:47
|
Yuri Victorovich (yuri) |
lang/hs-koka: update 3.0.4 → 3.1.1
Reported by: portscout |
3.0.4
27 Jan 2024 08:25:18
|
Yuri Victorovich (yuri) |
lang/hs-koka: update 3.0.1 → 3.0.4
Reported by: portscout |
3.0.1
14 Jan 2024 11:16:01
|
Yuri Victorovich (yuri) |
lang/hs-koka: update 2.6.0 → 3.0.1
Reported by: portscout |
2.6.0
02 Jan 2024 16:52:29
|
Yuri Victorovich (yuri) |
lang/hs-koka: New port: Koka: strongly typed functional-style language with
effect inference |
As an Amazon Associate I earn from qualifying purchases.