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
235
Stabilization
1
Outdated
36
Pull requests
1
Bugs
43
Security
0
Changelog
Outdated Packages
Atom feed
dev-ml/camlp4
System for writing extensible parsers for programming languages
dev-ml/camlp5
A preprocessor-pretty-printer of ocaml
dev-ml/coq-menhirlib
A support library for verified Coq parsers produced by Menhir
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
Private libraries of Dune
dev-ml/dune-site
Embed locations informations inside executable and libraries
dev-ml/dyn
Dynamic type
dev-ml/jingoo
OCaml template engine almost compatible with Jinja2
dev-ml/merlin
Context sensitive completion for OCaml in Vim and Emacs
dev-ml/ocplib-simplex
A library implementing a simplex algorithm
dev-ml/odoc
OCaml documentation generator
dev-ml/odoc-parser
Parser for ocaml documentation comments
dev-ml/opam
A source-based package manager for OCaml
dev-ml/opam-core
Core libraries for opam
dev-ml/opam-format
Core libraries for opam
dev-ml/opam-installer
Core installer for opam packages
dev-ml/opam-repository
opam repository libraries
dev-ml/opam-state
opam state libraries
dev-ml/ordering
Element ordering
dev-ml/pp
Pretty-printing library
dev-ml/ppx_deriving_yojson
JSON codec generator for OCaml
dev-ml/ppx_import
A syntax extension for importing declarations from interface files
dev-ml/qcheck
QuickCheck inspired property-based testing for OCaml
dev-ml/sedlex
An OCaml lexer generator for Unicode
dev-ml/stdune
Dune's unstable standard library
dev-ml/tiny_httpd
Minimal HTTP server with a small request router
dev-ml/utop
Universal toplevel for OCaml
dev-ml/uuseg
Unicode text segmentation for OCaml
dev-ml/zmq
OCaml bindings for ZeroMQ 4.x
dev-ml/zmq-lwt
Lwt-aware bindings to ZMQ for OCaml
dev-util/coccinelle
Program matching and transformation engine
sci-mathematics/alt-ergo
Automatic theorem prover
sci-mathematics/why3
Platform for deductive program verification
sys-fs/google-drive-ocamlfuse
FUSE filesystem over Google Drive
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.