Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Project
ML
Packages
240
Stabilization
17
Outdated
32
Pull requests
2
Bugs
59
Security
0
Changelog
Outdated Packages
Atom feed
dev-lang/elpi
Embeddable Lambda Prolog Interpreter in OCaml
dev-lang/ocaml
Programming language supporting functional, imperative & object-oriented styles
dev-lang/smlnj
Standard ML of New Jersey compiler and libraries
dev-ml/atd
Static types for JSON APIs
dev-ml/batteries
A community-maintained standard library extension
dev-ml/camlp4
System for writing extensible parsers for programming languages
dev-ml/core_bench
Micro-benchmarking library for OCaml
dev-ml/cppo
An equivalent of the C preprocessor for OCaml programs
dev-ml/cryptokit
Cryptographic primitives library for Objective Caml
dev-ml/dune
A composable build system for OCaml
dev-ml/dune-build-info
Embed locations informations inside executable and libraries
dev-ml/dune-configurator
Helper library for gathering system configuration
dev-ml/dune-private-libs
A composable build system for OCaml
dev-ml/dune-site
Embed locations informations inside executable and libraries
dev-ml/labltk
OCaml interface to the Tcl/Tk GUI framework
dev-ml/merlin
Context sensitive completion for OCaml in Vim and Emacs
dev-ml/odoc
OCaml documentation generator
dev-ml/opam
A source-based package manager for OCaml
dev-ml/opam-installer
Core installer for opam packages
dev-ml/ppx_deriving_yojson
JSON codec generator for OCaml
dev-ml/ppxlib
Base library and tools for ppx rewriters
dev-ml/ppxlib_jane
Utilities for working with Jane Street AST constructs
dev-ml/qcheck
QuickCheck inspired property-based testing for OCaml
dev-ml/spdx_licenses
A library providing a strict SPDX License Expression parser
dev-ml/xdg
XDG Base Directory Specification
dev-ml/zmq
OCaml bindings for ZeroMQ 4.x
dev-ml/zmq-async
Async-aware bindings to ZMQ for OCaml
dev-ml/zmq-lwt
Lwt-aware bindings to ZMQ for OCaml
dev-util/coccigrep
A semantic grep for the C language
dev-util/coccinelle
Program matching and transformation engine
sci-mathematics/alt-ergo
Automatic theorem prover
sci-mathematics/why3
Platform for deductive program verification
Description
Based on the data of
repology.org
, there might be a new version available for these packages.
Please don't solely rely on this information, as the repology data might not be accurate.