ocaml 4.12.0-1
| Architecture: | x86_64 |
|---|---|
| Repository: | Extra |
| Split Packages: | |
| Description: | A functional language with OO extensions |
| Upstream URL: | https://caml.inria.fr/ |
| License(s): | custom: QPL-1.0, LGPL2.1 |
| Maintainers: |
Jürgen Hötzel |
| Package Size: | 53.0 MB |
| Installed Size: | 274.3 MB |
| Last Packager: | Jürgen Hötzel |
| Build Date: | 2021-07-27 14:00 UTC |
| Signed By: | Jürgen Hötzel |
| Signature Date: | 2021-07-27 15:43 UTC |
| Last Updated: | 2021-07-27 16:06 UTC |
Dependencies (3)
Required By (46)
- camlp4
- camlp5
- coq
- coqide
- dune
- llvm-ocaml
- ocaml-base
- ocamlbuild
- ocaml-cairo
- ocaml-compiler-libs
- ocaml-compiler-libs-repackaged
- ocaml-csexp
- ocaml-ctypes
- ocaml-findlib
- ocaml-hashcons
- ocaml-lablgl
- ocaml-num
- ocaml-ppx_derivers
- ocaml-result
- ocaml-sexplib0
- ocaml-stdio
- ocaml-stdlib-shims
- ocaml-topkg
- brltty (optional)
- graphviz (optional)
- hivex (optional)
- lablgtk2 (optional)
- lablgtk3 (optional)
- libguestfs (optional)
- tamarin-prover (optional)
- tamarin-prover (testing) (optional)
- graphviz (make)
- haxe (make)
- hevea (make)
- hivex (make)
- kalzium (make)
- libguestfs (make)
- llpp (make)
- llvm (make)
- ocaml-zarith (make)
- root (make)
- supermin (make)
- tamarin-prover (make)
- tamarin-prover (testing) (make)
- texvc (make)
- unison (make)