dev-ml / camlp-streams

Stream and Genlex libraries for use with Camlp4 and Camlp5

Official package sites : https://github.com/ocaml/camlp-streams ·

v5.0.1 :: 0 :: gentoo

Modified
License
LGPL-2-with-linking-exception
Keywords
amd64 arm arm64 ppc64 x86 ~ppc
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles

dev-ml / dune : A composable build system for OCaml

app-misc / geneweb : Genealogy software program with a Web interface

dev-ml / batteries : A community-maintained standard library extension

dev-ml / biniou : A binary data serialization format inspired by JSON for OCaml

dev-ml / camlp4 : System for writing extensible parsers for programming languages

dev-ml / camlp5 : A preprocessor-pretty-printer of ocaml

dev-ml / camomile : Camomile is a comprehensive Unicode library for ocaml

dev-ml / gapi-ocaml : A simple OCaml client for Google Services

dev-ml / lablgtk : OCaml bindings to GTK-3

dev-ml / odoc : OCaml documentation generator

sci-mathematics / easycrypt : Computer-Aided Cryptographic Proofs

Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/camlp-streams: drop blank DEPEND/RDEPEND
This makes it hard to grep for actual mistakes like DEPEND=DEPEND. Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/camlp-streams: drop old 5.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Stabilize 5.0.1 ppc64, #901641
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Stabilize 5.0.1 amd64, #901641
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Stabilize 5.0.1 x86, #901641
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/camlp-streams: Stabilize 5.0.1 arm, #901641
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/camlp-streams: Stabilize 5.0.1 arm64, #901641
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/camlp-streams: bump to 5.0.1
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Keyword 5.0 ppc, #841446
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Keyword 5.0 ppc64, #841446
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Keyword 5.0 arm, #841446
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/camlp-streams: Keyword 5.0 arm64, #841446
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/camlp-streams: Keyword 5.0 x86, #841446
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/camlp-streams: add to tree
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>