dev-ml / core

Jane Street's alternative to the standard library

Official package sites : https://github.com/janestreet/core ·

Core is Jane Street Capital's Ocaml standard library overlay. It provides tail recursive versions of non tail recursive functions in the standard library, changes the signature of many of the standard modules, and adds new functionality. Core_extended adds new functionality, but is only code reviewed on an ad-hoc basis.

v0.14.0-r3 :: 0/0.14.0 :: gentoo

Modified
License
MIT
Keywords
amd64 arm arm64 ppc ppc64 x86
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 / base : Standard library for OCaml

dev-ml / core_kernel : System-independent part of Core

dev-ml / jst-config : Compile-time configuration for Jane Street libraries

dev-ml / ppx_jane : Standard Jane Street ppx rewriters

dev-ml / sexplib : Library for automated conversion of OCaml-values to and from S-expressions

dev-ml / spawn : Spawning sub-processes

dev-ml / stdio : Standard IO Library for OCaml

dev-ml / timezone : Time-zone handling for OCaml

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

dev-ml / base : Standard library for OCaml

dev-ml / core_kernel : System-independent part of Core

dev-ml / jst-config : Compile-time configuration for Jane Street libraries

dev-ml / ppx_jane : Standard Jane Street ppx rewriters

dev-ml / sexplib : Library for automated conversion of OCaml-values to and from S-expressions

dev-ml / spawn : Spawning sub-processes

dev-ml / stdio : Standard IO Library for OCaml

dev-ml / timezone : Time-zone handling for OCaml

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

dev-ml / async : Jane Street Capital's asynchronous execution library

dev-ml / async_ssl : An Async-pipe-based interface with OpenSSL.

dev-ml / async_unix : Jane Street Capital's asynchronous execution library (unix)

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

dev-ml / textutils : Text output utilities

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

627946
dev-ml/core : (.text+<snip>): undefined reference to makedev
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Stabilize 0.14.0-r3 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/core: Stabilize 0.14.0-r3 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Stabilize 0.14.0-r3 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/core: default +ocamlopt
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/core: rm old versions
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
Agostino Sarubbo · gentoo
dev-ml/core: amd64 stable wrt bug #772833
Package-Manager: Portage-3.0.13, Repoman-3.0.2 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/core: Stabilize 0.14.0-r3 x86, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Stabilize 0.14.0-r3 ppc, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Keyword 0.14.0-r3 ppc, #769554
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Keyword 0.14.0-r3 ppc64, #769554
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Keyword 0.14.0-r3 x86, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Keyword 0.14.0-r3 arm64, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: Keyword 0.14.0-r3 arm, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core: fix dependencies
* Drop dev-ml/ppx_assert * Drop dev-ml/ppx_driver * Drop dev-ml/ocaml-migrate-parsetree * Add dev-ml/timezone 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/core: fix dev-ml/bin-prot dep
Bug: https://bugs.gentoo.org/767382 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/core: add dev-ml/jst-config dep
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/core: drop obsolete dev-ml/configurator dep
Bug: https://bugs.gentoo.org/766884 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/core: bump to 0.14.0
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core: bump to 0.9.2
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-ml/core: Remove old
Package-Manager: Portage-2.3.7, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/core: convert to opam.eclass and add fix for glibc 2.25
Package-Manager: Portage-2.3.7, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/core: bump to 0.9.1
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Alexis Ballier · gentoo
dev-ml/core: Bump to 0.9.0
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>
T. Malfatti · gentoo
media-libs/portaudio: Version bump
Alexis Ballier · gentoo
dev-ml/core: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/core: bump to 113.33.02 and fix build with ocaml 4.03
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core: bump to 113.33.00
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core: bump to 113.24.02
Alexis Ballier · gentoo
dev-ml/core: bump to 113.24.01
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core: bump to 113.24.00
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core: bump to 113.00.00
Package-Manager: portage-2.2.20.1
Alexis Ballier · gentoo
dev-ml/core: remove old.
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