dev-ml / re

Regular expression library for OCaml

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

v1.13.3 :: 0/1.13.3 :: gentoo

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

v1.13.0-r1 :: 0/1.13.0 :: gentoo

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

v1.12.0 :: 0/1.12.0 :: gentoo

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

v1.11.0 :: 0/1.11.0 :: gentoo

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

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)

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-lang / elpi : Embeddable Lambda Prolog Interpreter in OCaml

dev-ml / alcotest : A lightweight and colourful test framework

dev-ml / atd : Static types for JSON APIs

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

dev-ml / cinaps : Trivial metaprogramming tool

dev-ml / core_bench : Micro-benchmarking library for OCaml

dev-ml / core_unix : Unix-specific portions of Core

dev-ml / dose3 : Library to perform analysis on package repositories

dev-ml / expect_test_helpers_core : Helpers for writing expectation tests

dev-ml / jingoo : OCaml template engine almost compatible with Jinja2

dev-ml / opam : A source-based package manager for OCaml

dev-ml / opam-common : Core libraries for opam

dev-ml / opam-installer : Core installer for opam packages

dev-ml / ppx_expect : Cram like framework for OCaml

dev-ml / ppxlib : Base library and tools for ppx rewriters

dev-ml / sexp_pretty : S-expression pretty-printer

dev-ml / tyxml : A library for building correct HTML and SVG documents

dev-util / patdiff : Colored patience diffs with word-level refinement

sci-mathematics / why3 : Platform for deductive program verification

948488
dev-ml/re-1.13.0-r1 fails to compile: Error: Version 3.12 of the dune language is not supported
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.13.0-r1 x86, #945767
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.13.0-r1 ppc64, #945767
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.13.0-r1 arm, #945767
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.13.0-r1 arm64, #945767
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.13.0-r1 amd64, #945767
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: fix test DEPs
Closes: https://bugs.gentoo.org/946259 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/re: bump to 1.13.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-ml/re: drop old 1.10.4-r2
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: add 1.13.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: add 1.12.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matoro Mahri · gentoo
dev-ml/re: Stabilize 1.11.0 ppc64, #924576
Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Viorel Munteanu <ceamac@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.11.0 amd64, #924576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Jakov Smolić · gentoo
dev-ml/re: Stabilize 1.11.0 x86, #924576
Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.11.0 arm64, #924576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.11.0 arm, #924576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/re: bump to 1.11.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-ml/re: drop old 1.10.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Maciej Barć · gentoo
dev-ml/re: drop old 1.9.0
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/re: Stabilize 1.10.4-r2 arm, #901645
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/re: Stabilize 1.10.4-r2 x86, #901645
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/re: Stabilize 1.10.4-r2 ppc64, #901645
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/re: Stabilize 1.10.4-r2 amd64, #901645
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/re: Stabilize 1.10.4-r2 arm64, #901645
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: drop seq requirement
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/re: for 1.10.4 block seq only in version <0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: seq is provided by ocaml
Closes: https://bugs.gentoo.org/871993 Closes: https://bugs.gentoo.org/860387 Closes: https://bugs.gentoo.org/860273 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/re: bump to 1.10.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yongxiang Liang · gentoo
dev-ml/re: Keyword 1.10.3 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: add 1.10.3
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.9.0 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.9.0 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: drop 1.7.1 (oasis.eclass)
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: add version 1.7.1
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.9.0 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/re: Stabilize 1.9.0 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.9.0 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Stabilize 1.9.0 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/re: fix test dep
Closes: https://bugs.gentoo.org/751748 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: Keyword 1.9.0 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/re: MissingTestRestrict
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/re: Dependency of dev-ml/cinaps
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>