dev-ml / core_kernel

System-independent part of Core

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

Core_kernel is the system-independent part of Core. It is aimed for cases when the full Core is not available, such as in Javascript. It provides an overlay on the usual namespace, so the best way to use Core is to start your file with: open Core_kernel.Std

v0.14.1-r3 :: 0/0.14.1 :: gentoo

Modified
License
LGPL-2.1-with-linking-exception
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 / base_bigstring : String type based on Bigarray, for use in I/O and C-bindings

dev-ml / base_quickcheck : Randomized testing framework, designed for compatibility with Base

dev-ml / bin_prot : Binary protocol generator

dev-ml / fieldslib : Folding over record fields

dev-ml / jane-street-headers : Jane Street header files

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

dev-ml / ocaml-migrate-parsetree : Convert OCaml parsetrees between different major versions

dev-ml / ppx_assert : Assert-like extension nodes that raise useful errors on failure

dev-ml / ppx_base : Base set of ppx rewriters

dev-ml / ppx_hash : PPX rewriter that generates hash functions from type expressions and definitions

dev-ml / ppx_inline_test : Syntax extension for writing in-line tests in ocaml code

dev-ml / ppx_jane : Standard Jane Street ppx rewriters

dev-ml / ppx_sexp_conv : Support Library for type-driven code generators

dev-ml / ppx_sexp_message : A ppx rewriter for easy construction of s-expressions

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

dev-ml / splittable_random : PRNG that can be split into independent streams

dev-ml / stdio : Standard IO Library for OCaml

dev-ml / time_now : Reports the current time

dev-ml / typerep : Library for creating runtime representation of OCaml types

dev-ml / variantslib : OCaml variants as first class values

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

dev-ml / base : Standard library for OCaml

dev-ml / base_bigstring : String type based on Bigarray, for use in I/O and C-bindings

dev-ml / base_quickcheck : Randomized testing framework, designed for compatibility with Base

dev-ml / bin_prot : Binary protocol generator

dev-ml / fieldslib : Folding over record fields

dev-ml / jane-street-headers : Jane Street header files

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

dev-ml / ocaml-migrate-parsetree : Convert OCaml parsetrees between different major versions

dev-ml / ppx_assert : Assert-like extension nodes that raise useful errors on failure

dev-ml / ppx_base : Base set of ppx rewriters

dev-ml / ppx_hash : PPX rewriter that generates hash functions from type expressions and definitions

dev-ml / ppx_inline_test : Syntax extension for writing in-line tests in ocaml code

dev-ml / ppx_jane : Standard Jane Street ppx rewriters

dev-ml / ppx_sexp_conv : Support Library for type-driven code generators

dev-ml / ppx_sexp_message : A ppx rewriter for easy construction of s-expressions

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

dev-ml / splittable_random : PRNG that can be split into independent streams

dev-ml / stdio : Standard IO Library for OCaml

dev-ml / time_now : Reports the current time

dev-ml / typerep : Library for creating runtime representation of OCaml types

dev-ml / variantslib : OCaml variants as first class values

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

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

dev-ml / async_extra : Jane Street Capital's asynchronous execution library (extra)

dev-ml / async_kernel : Jane Street Capital's asynchronous execution library (core)

dev-ml / async_rpc_kernel : Platform-independent core of Async RPC library

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

dev-ml / core : Jane Street's alternative to the standard library

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

dev-ml / patience_diff : Tool and library implementing patience diff

dev-ml / protocol_version_header : Protocol aware version negotiation for OCaml

dev-ml / textutils : Text output utilities

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

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

Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core_kernel: Stabilize 0.14.1-r3 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/core_kernel: Stabilize 0.14.1-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_kernel: Stabilize 0.14.1-r3 ppc64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/core_kernel: 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_kernel: 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_kernel: Stabilize 0.14.1-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_kernel: Stabilize 0.14.1-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_kernel: Keyword 0.14.1-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_kernel: Keyword 0.14.1-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_kernel: Keyword 0.14.1-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_kernel: Keyword 0.14.1-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_kernel: Keyword 0.14.1-r3 arm, #766884
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core_kernel: restrict tests for now
We don't really want to faff with quickcheck_deprecated. Closes: https://bugs.gentoo.org/767406 Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/core_kernel: fix dependencies
* Drop dev-ml/ppx_driver * Add dev-ml/base_quickcheck * Add dev-ml/splittable_random * Add dev-ml/time_now 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_kernel: 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_kernel: 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_kernel: 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
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/core_kernel: add dev-ml/base_bigstring 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_kernel: bump to 0.14.1
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core_kernel: bump to 0.9.1
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-ml/core_kernel: 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_kernel: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Alexis Ballier · gentoo
dev-ml/core_kernel: 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_kernel: bump to 113.33.01
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core_kernel: 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_kernel: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/core_kernel: 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_kernel: bump to 113.00.00
Package-Manager: portage-2.2.20.1
Alexis Ballier · gentoo
dev-ml/core_kernel: add missing dep on dev-ml/custom_printf. Bug #559196.
Package-Manager: portage-2.2.20.1
Alexis Ballier · gentoo
dev-ml/core_kernel: remove old
Package-Manager: portage-2.2.20.1
Justin Lecher · gentoo
Use https by default
Convert all URLs for sites supporting encrypted connections from http to https 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