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
239
Stabilization
19
Outdated
27
Pull requests
3
Bugs
47
Security
0
Changelog
Outdated Packages
Atom feed
dev-ml/alcotest
A lightweight and colourful test framework
dev-ml/camlp4
System for writing extensible parsers for programming languages
dev-ml/camlzip
Compressed file access ML library (ZIP, GZIP and JAR)
dev-ml/coq-menhirlib
A support library for verified Coq parsers produced by Menhir
dev-ml/dyn
Dynamic type
dev-ml/luv
Binding to libuv: cross-platform asynchronous I/O
dev-ml/menhir
LR(1) parser generator for the OCaml language
dev-ml/merlin
Context sensitive completion for OCaml in Vim and Emacs
dev-ml/opam
A source-based package manager for OCaml
dev-ml/opam-client
opam client libraries
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-solver
opam solver
dev-ml/opam-state
opam state libraries
dev-ml/ordering
Element ordering
dev-ml/ppxlib
Base library and tools for ppx rewriters
dev-ml/stdune
Dune's unstable standard library
dev-ml/tiny_httpd
Minimal HTTP server with a small request router
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/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.