Versions
v7.0.0-r1 :: 0/7.0.0 :: gentoo
- Modified
- License
- LGPL-3+
- Keywords
- amd64 arm arm64 ppc64 x86 ~ppc ~riscv
- USE flags
- ocamlopt
USE flags
General
- ocamlopt
- Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents
dev-ml / dune : A composable build system for OCaml
dev-ml / extlib : Standard library extensions for O'Caml
dev-ml / ocaml-base64 : Library for radix-64 representation (de)coding
dev-ml / ocaml-expat : OCaml bindings for expat
dev-ml / ocamlgraph : O'Caml Graph library
dev-ml / parmap : Library to exploit multicore architectures for OCaml programs
dev-ml / re : Regular expression library for OCaml
dev-ml / xml-light : Minimal Xml parser and printer for OCaml
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents
dev-ml / dune : A composable build system for OCaml
dev-ml / extlib : Standard library extensions for O'Caml
dev-ml / ocaml-base64 : Library for radix-64 representation (de)coding
dev-ml / ocaml-expat : OCaml bindings for expat
dev-ml / ocamlgraph : O'Caml Graph library
dev-ml / parmap : Library to exploit multicore architectures for OCaml programs
dev-ml / re : Regular expression library for OCaml
dev-ml / xml-light : Minimal Xml parser and printer for OCaml
Depending packages
dev-ml / opam : A source-based package manager for OCaml
dev-ml / opam-installer : Core installer for opam packages
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Ellen Emilia Anna Zscheile · gentoo
dev-ml/dose3: update HOMEPAGE
Signed-off-by: Ellen Emilia Anna Zscheile <fogti@ytrizja.de> Part-of: https://github.com/gentoo/gentoo/pull/41803 Closes: https://github.com/gentoo/gentoo/pull/41803 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: drop 7.0.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0-r1 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0-r1 arm, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0-r1 x86, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0-r1 ppc64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0-r1 amd64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alain Emilia Anna Zscheile · gentoo
dev-ml/dose3: remove unnecessary dependencies on archivers
This also fixes unnecessary [ocamlopt=] use-flag dependencies. Signed-off-by: Alain Emilia Anna Zscheile <fogti@ytrizja.de> Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: drop 5.0.1_p16-r4, 6.0.1_p2-r1, 6.1-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0 arm64, #901707
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0 arm, #901707
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0 ppc64, #901707
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Arthur Zamarin · gentoo
dev-ml/dose3: Stabilize 7.0.0 amd64, #901707
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 7.0.0 x86, #901707
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: BetterCompressionUri
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Yongxiang Liang · gentoo
dev-ml/dose3: Keyword 7.0.0 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/dose3: 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 - Alfredo Tupone · gentoo
dev-ml/dose3: remove test dependency as RESTRICT
Closes: https://bugs.gentoo.org/818133 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: 7.0.0 bump
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/dose3: ppc64 stable wrt bug #817704
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 6.1-r1 arm, #817704
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 6.1-r1 arm64, #817704
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/dose3: x86 stable wrt bug #817704
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Michał Górny · gentoo
dev-ml/dose3: pyyaml is using libyaml unconditionally now
Signed-off-by: Michał Górny <mgorny@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 6.0.1_p2 x86, #815910
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
dev-ml/dose3: ppc stable wrt bug #817704
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Agostino Sarubbo · gentoo
dev-ml/dose3: amd64 stable wrt bug #817704
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: keyword 6.0.1_p2 for ~x86
Bug: https://bugs.gentoo.org/815910 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 6.0.1_p2 ppc, #804771
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/dose3: Stabilize 6.0.1_p2 ppc64, #804771
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/dose3: Stabilize 6.0.1_p2 amd64, #804771
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 6.0.1_p2 arm, #804771
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 6.0.1_p2 arm64, #804771
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Keyword 6.1 x86, #788406
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: bump 6.1
Package-Manager: Portage-3.0.20, 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/dose3: update OCaml < dep
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: restore keywords for arm/arm64/ppc/ppc64
Bug: https://bugs.gentoo.org/788406 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Hank Leininger · gentoo
dev-ml/dose3: version bump for newer ocaml compat.
Switched to the Dune build system by copy-paste from other ebuilds. Caveats: I don't know the right way to make some components optional with Dune build systems; therefore, everything that used to be conditional on USE is now mandatory. Also, ocaml-base64 is only KEYWORDS=~amd64, so as a result that is the only arch I could keep for dose3-6 atm without repoman having a fit. Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/769821 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: drop superfluous die
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 5.0.1_p16-r2 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/dose3: Stabilize 5.0.1_p16-r2 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: drop 5.0.1-r2
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: depends on re-1.9.0
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/dose3: Stabilize 5.0.1_p16-r2 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Sam James · gentoo
dev-ml/dose3: Stabilize 5.0.1_p16-r2 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 5.0.1_p16-r2 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: Stabilize 5.0.1_p16-r2 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: add upper bound on OCaml for 5.0.1-r1
Safe string issues. Package-Manager: Portage-3.0.14, 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/dose3: add upper bound on dev-ml/ocamlgraph version
Causes build failures. Package-Manager: Portage-3.0.14, 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/dose3: add upper bound on dev-lang/ocaml
Package-Manager: Portage-3.0.14, 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/dose3: import Debian patchset (p16)
Closes: https://bugs.gentoo.org/675892 Closes: https://bugs.gentoo.org/707938 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
dev-ml/dose3: ignore QA Flags warning
Closes: https://bugs.gentoo.org/748828 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 - Aaron Bauman · gentoo
dev-ml/dose3: drop old
Signed-off-by: Aaron Bauman <bman@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Sam James · gentoo
dev-ml/dose3: 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/dose3: Keyword 5.0.1-r1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Mark Wright · gentoo
dev-ml/dose3: EAPI=7, patch for >=dev-lang/ocaml-4.06
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> - Repository mirror & CI · gentoo
Merge updates from master - David Seifert · gentoo
*/*: [QA] Remove redundant `|| die` guards
* Since all ebuilds in the tree are EAPI>=4, `|| die` on builtin commands is redundant and dead code. Closes: https://github.com/gentoo/gentoo/pull/13940 Reviewed-by: Ulrich Müller <ulm@gentoo.org> Reviewed-by: Michał Górny <mgorny@gentoo.org> Reviewed-by: Andreas K. Hüttel <dilfridge@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org> - Alexis Ballier · gentoo
dev-ml/dose3: keyword ~x86
Package-Manager: Portage-2.3.6, Repoman-2.3.3 - Jonas Stein · gentoo
dev-ml/dose3: Shorter DESCRIPTION - Alexis Ballier · gentoo
dev-ml/dose3: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2 - Markus Meier · gentoo
dev-ml/dose3: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="arm" - Michael Weber · gentoo
dev-ml/dose3: add ~ppc (bug 527318).
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="ppc" - Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> - T. Malfatti · gentoo
media-libs/portaudio: Version bump - Alexis Ballier · gentoo
dev-ml/dose3: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1 - Alexis Ballier · gentoo
dev-ml/dose3: bump to 5.0.1
Package-Manager: portage-2.3.0 - Alexis Ballier · gentoo
dev-ml/dose3: do not enable parmap by default
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/dose3: fix build with ocamlgraph 1.8.7
Package-Manager: portage-2.2.28 - Alexis Ballier · gentoo
dev-ml/dose3: bump to 4.3
Package-Manager: portage-2.2.28 - Alexis Ballier · gentoo
dev-ml/dose3: add ocamlbuild dep
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Ian Delaney · gentoo
Merge remote-tracking branch 'remotes/sbraz/urlwatch'
Pull request: https://github.com/gentoo/gentoo/pull/705 - Alexis Ballier · gentoo
Merge remote-tracking branch 'remotes/github/pr/701' - Matthew Brewer · gentoo
dev-ml/dose3: adjust extlib-dependency for dose-4.2 - Alexis Ballier · gentoo
dev-ml/dose3: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/dose3: bump to 4.2
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org> - Alexis Ballier · gentoo
dev-ml/dose3: fix build with latest extlib.
Package-Manager: portage-2.2.20.1 - Robin H. Johnson · gentoo
proj/gentoo: Initial commit
This commit represents a new era for Gentoo: Storing the gentoo-x86 tree in Git, as converted from CVS. This commit is the start of the NEW history. Any historical data is intended to be grafted onto this point. Creation process: 1. Take final CVS checkout snapshot 2. Remove ALL ChangeLog* files 3. Transform all Manifests to thin 4. Remove empty Manifests 5. Convert all stale $Header$/$Id$ CVS keywords to non-expanded Git $Id$ 5.1. Do not touch files with -kb/-ko keyword flags. Signed-off-by: Robin H. Johnson <robbat2@gentoo.org> X-Thanks: Alec Warner <antarus@gentoo.org> - did the GSoC 2006 migration tests X-Thanks: Robin H. Johnson <robbat2@gentoo.org> - infra guy, herding this project X-Thanks: Nguyen Thai Ngoc Duy <pclouds@gentoo.org> - Former Gentoo developer, wrote Git features for the migration X-Thanks: Brian Harring <ferringb@gentoo.org> - wrote much python to improve cvs2svn X-Thanks: Rich Freeman <rich0@gentoo.org> - validation scripts X-Thanks: Patrick Lauer <patrick@gentoo.org> - Gentoo dev, running new 2014 work in migration X-Thanks: Michał Górny <mgorny@gentoo.org> - scripts, QA, nagging X-Thanks: All of other Gentoo developers - many ideas and lots of paint on the bikeshed