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-gitAUR, git-glAUR) (make)
- ncurses (ncurses-gitAUR) (make)
- ncurses (ncurses-gitAUR) (optional) – advanced ncurses features
- tk (tk-fossilAUR) (optional) – advanced tk features
Required by (371)
- 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)
- brltty-git (requires ocaml) (optional)
- 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-quickchick-git (requires ocaml) (make)
- Show 351 more...