Versions
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
USE flags
General
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
Depending packages
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
Bugs
- 948488
- dev-ml/re-1.13.0-r1 fails to compile: Error: Version 3.12 of the dune language is not supported
Change logs
- 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>