dev-ml / extlib

Standard library extensions for O'Caml

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

v1.7.2 :: 0/1.7.2 :: gentoo

Modified
License
LGPL-2.1
Keywords
~amd64 ~amd64-linux ~arm64 ~ppc ~ppc-macos ~x86 ~x86-linux
USE flags
doc ocamlopt

v1.7.1 :: 0/1.7.1 :: gentoo

Modified
License
LGPL-2.1
Keywords
amd64 ppc x86 ~amd64-linux ~arm ~ppc-macos ~x86-linux
USE flags
doc ocamlopt

General

doc
Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
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 : Type-inferring functional programming language descended from the ML family

dev-ml / cppo : An equivalent of the C preprocessor for OCaml programs

dev-ml / findlib : OCaml tool to find/use non-standard packages

dev-lang / ocaml : Type-inferring functional programming language descended from the ML family

dev-ml / cppo : An equivalent of the C preprocessor for OCaml programs

dev-ml / cudf : Library to parse, pretty print, and evaluate CUDF documents

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

dev-ml / oasis : Tool to integrate a configure, build and install system in OCaml project

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

Alexis Ballier · gentoo
dev-ml/extlib: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Markus Meier · gentoo
dev-ml/extlib: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="arm"
Alexis Ballier · gentoo
dev-ml/extlib: bump to 1.7.2
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Alexis Ballier · gentoo
dev-ml/extlib: Fix build with ocaml 4.05
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
Alexis Ballier · gentoo
dev-ml/extlib: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Michael Weber · gentoo
dev-ml/extlib: ppc stable (bug 586910).
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Michael Weber · gentoo
dev-ml/extlib: Add ~ppc keyword (bug 586910).
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Agostino Sarubbo · gentoo
dev-ml/extlib: x86 stable wrt bug #586910
Package-Manager: portage-2.3.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
Agostino Sarubbo · gentoo
dev-ml/extlib: amd64 stable wrt bug #586910
Package-Manager: portage-2.3.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/extlib: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/extlib: bump to 1.7.1
Package-Manager: portage-2.3.2
Michał Górny · gentoo
dev-ml/extlib: Drop non-camlp4 support, #586910
Alexis Ballier · gentoo
Revert "dev-ml/*: Remove := slot ops from || deps, #586304"
This reverts commit 2d4ac687fbf44588f764697c9dcb2b960a18d51b. This commit is wrong in several aspects: - Such changes should come with a revbump - Removing := deps causes packages not to be rebuilt on upgrades, causing barely understandable build failures when upgrading, later on. Thanks to this commit, people that have installed those packages will likely experience those failures with the upcoming ocaml 4.03 unmask. - This is a non maintainer commit where no discussion at all happened with the maintainers during the 3 days between bug report and mass commit. Such discussion could have prevented the above mentioned breakage. Proper fix is to drop the backward compatibility part of the || () dep. This fix was slowly moving forward whenever possible and noticed. Main blocker for this is bug #463018 which requires taking extra care for not breaking the stable tree nor needlessly preventing future stabilization of packages.
Michał Górny · gentoo
dev-ml/*: Remove := slot ops from || deps, #586304
Alexis Ballier · gentoo
dev-ml/extlib: Fix deps. Upstream switched from camlp4 to cppo.
Package-Manager: portage-2.2.20.1
Alexis Ballier · gentoo
dev-ml/extlib: bump to 1.7.0 and switch to github.
Package-Manager: portage-2.2.20.1
Justin Lecher · gentoo
Convert URIs for googlecode.com to https
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Justin Lecher · gentoo
Enable https for all google URIs
Signed-off-by: Justin Lecher <jlec@gentoo.org>
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