VOOZH

URL: https://aur.archlinux.org/packages/ocaml-git

⇱ AUR (en) - ocaml-git

Arch Linux User Repository

Search Criteria

Package Details: ocaml-git r32422.ec88aac-2

Package Actions

Git Clone URL:	https://aur.archlinux.org/ocaml-git.git (read-only, click to copy)
Package Base:	ocaml-git
Description:	A functional language with OO extensions
Upstream URL:	https://caml.inria.fr/
Licenses:	LGPL2.1, custom: QPL-1.0
Conflicts:	ocaml
Provides:	ocaml
Submitter:	matthewq337
Maintainer:	matthewq337
Last Packager:	matthewq337
Votes:	0
Popularity:	0.000000
First Submitted:	2025-06-04 22:12 (UTC)
Last Updated:	2025-06-05 22:43 (UTC)

Dependencies (4)

git (git-git^AUR, git-gl^AUR, git-wd40^AUR) (make)
ncurses (ncurses-git^AUR) (make)
ncurses (ncurses-git^AUR) (optional) – advanced ncurses features
tk (tk-fossil^AUR) (optional) – advanced tk features

Required by (387)

abella (requires ocaml) (make)
aprolog-git (requires ocaml) (make)
austral-git (requires ocaml) (make)
belenios (requires ocaml)
bibtex2html (requires ocaml) (make)
bibtex2html-git (requires ocaml) (make)
binsec (requires ocaml)
brightmare (requires ocaml) (make)
camisole-languages (requires ocaml)
camlidl (requires ocaml)
coccinelle (requires ocaml) (make)
coccinelle (requires ocaml) (check)
coccinelle (requires ocaml) (optional)
coccinelle-git (requires ocaml) (make)
coccinelle-git (requires ocaml) (check)
coccinelle-git (requires ocaml) (optional)
compcert (requires ocaml) (make)
compcert-git (requires ocaml) (make)
coq-hammer-tactics (requires ocaml) (make)
coq-quickchick-git (requires ocaml) (make)
Show 367 more...

Sources (1)

git+https://github.com/ocaml/ocaml.git

aurweb v6.3.4

Report issues here.

Copyright © 2004-2026 aurweb Development Team.

AUR packages are user produced content. Any use of the provided files is at your own risk.