dev-lang/ocaml Package Details

v4.14.1 :: 0/4.14.1 :: gentoo

Modified: Monday 29 May 18:39
License: QPL-1.0 LGPL-2
Keywords: amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~ia64 ~loong ~mips ~ppc ~ppc-macos ~riscv ~sparc ~x86-linux
USE flags: emacs flambda latex ocamlopt xemacs

v4.14.0-r1 :: 0/4.14 :: gentoo

Modified: Monday 29 May 18:39
License: QPL-1.0 LGPL-2
Keywords: amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~ia64 ~loong ~mips ~ppc ~ppc-macos ~riscv ~sparc ~x86-linux
USE flags: emacs flambda latex ocamlopt xemacs

v4.13.1 :: 0/4.13 :: gentoo

Modified: Monday 29 May 18:39
License: QPL-1.0 LGPL-2
Keywords: ~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc-macos ~ppc64 ~sparc ~x86 ~x86-linux
USE flags: emacs flambda latex ocamlopt xemacs

v4.12.1 :: 0/4.12 :: gentoo

Modified: Monday 29 May 18:39
License: QPL-1.0 LGPL-2
Keywords: ~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc-macos ~ppc64 ~sparc ~x86 ~x86-linux
USE flags: emacs flambda latex ocamlopt xemacs

v4.11.2-r2 :: 0/4.11 :: gentoo

Modified: Monday 29 May 18:39
License: QPL-1.0 LGPL-2
Keywords: amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~ia64 ~mips ~ppc ~ppc-macos ~sparc ~x86-linux
USE flags: emacs flambda latex ocamlopt spacetime xemacs

v4.10.2-r3 :: 0/4.10 :: gentoo

Modified: Monday 29 May 18:39
License: LGPL-2.1
Keywords: ~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc-macos ~ppc64 ~x86 ~x86-linux
USE flags: emacs flambda latex ocamlopt spacetime xemacs

v4.09.0-r3 :: 0/4.09 :: gentoo

Modified: Monday 29 May 18:39
License: LGPL-2.1
Keywords: amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~ia64 ~mips ~ppc ~ppc-macos ~x86-linux
USE flags: emacs flambda latex ocamlopt spacetime xemacs

v4.05.0-r9 :: 0/4.05 :: gentoo

Modified: Monday 29 May 18:39
License: QPL-1.0 LGPL-2
Keywords: amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~ia64 ~mips ~ppc ~ppc-macos ~x86-linux
USE flags: X emacs flambda latex ncurses ocamlopt spacetime xemacs

General

X: Add support for X11
emacs: Add support for GNU Emacs
flambda: Enables the Flambda optimizer: A new intermediate representation (introduced in ocaml 4.03) in the depths of the compiler designed to allow for better inlining.
latex: Add support for LaTeX (typesetting package)
ncurses: Add ncurses support (console display library)
ocamlopt: Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
spacetime: Enables the Spacetime memory profiler. See https://caml.inria.fr/pub/docs/manual-ocaml/spacetime.html for more information.
xemacs: Add support for XEmacs

dev-ml / num : Library for arbitrary-precision integer and rational arithmetic

sys-libs / binutils-libs : Core binutils libraries (libbfd, libopcodes, libiberty) for external packages

sys-libs / libunwind : Portable and efficient API to determine the call-chain of a program

sys-libs / ncurses : Console display library

x11-libs / libX11 : X.Org X11 library

app-accessibility / brltty : Daemon that provides access to the Linux/Unix console for a blind person

app-emulation / guestfs-tools : Tools for accessing, inspecting, and modifying virtual machine (VM) disk images

app-emulation / libguestfs : Tools for accessing, inspecting, and modifying virtual machine (VM) disk images

app-emulation / xen-tools : Xen tools including QEMU and xl

app-misc / geneweb : Genealogy software program with a Web interface

app-misc / hivex : Library for reading and writing Windows Registry 'hive' binary files

app-misc / ledit : A line editor to be used with interactive commands

app-text / cpdf : A command line tool for manipulating PDF files

app-text / pdfsandwich : generator of sandwich OCR pdf files

dev-lang / elpi : Embeddable Lambda Prolog Interpreter in OCaml

dev-lang / haxe : Multi-target universal programming language

dev-lang / teyjus : Higher-order logic programming language Lambda Prolog

dev-ml / ANSITerminal : Basic control of ANSI compliant terminals and the windows shell

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

dev-ml / astring : Alternative String module for OCaml

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 / atd : Static types for JSON APIs

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 / batteries : A community-maintained standard library extension

dev-ml / bigarray-compat : Compatibility library to use Stdlib.Bigarray when possible

dev-ml / bin_prot : Binary protocol generator

dev-ml / biniou : A binary data serialization format inspired by JSON for OCaml

dev-ml / bos : Basic OS interaction for OCaml

dev-ml / cairo2 : Binding to Cairo, a 2D Vector Graphics Library

dev-ml / calendar : Ocaml library to handle dates and time

dev-ml / calendars : Convert dates between gregorian/julian/french/hebrew calendars

dev-ml / camlbz2 : OCaml bindings for libbz (AKA, bzip2)

dev-ml / camldbm : OCaml binding to the NDBM/GDBM Unix databases

dev-ml / camlidl : Stub code generator for OCaml

dev-ml / camlp-streams : Stream and Genlex libraries for use with Camlp4 and Camlp5

dev-ml / camlp4 : System for writing extensible parsers for programming languages

dev-ml / camlp5 : A preprocessor-pretty-printer of ocaml

dev-ml / camlpdf : OCaml library for reading, writing, and modifying PDF files

dev-ml / camlzip : Compressed file access ML library (ZIP, GZIP and JAR)

dev-ml / camomile : Camomile is a comprehensive Unicode library for ocaml

dev-ml / charinfo_width : Determine column width for a character

dev-ml / cinaps : Trivial metaprogramming tool

dev-ml / cmdliner : Declarative definition of command line interfaces for OCaml

dev-ml / coq-menhirlib : A support library for verified Coq parsers produced by Menhir

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

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

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

dev-ml / core_unix : Unix-specific portions of Core

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

dev-ml / cryptokit : Cryptographic primitives library for Objective Caml

dev-ml / csexp : Parsing and printing of S-expressions in Canonical form

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

dev-ml / curses : Bindings to ncurses

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

dev-ml / dune : A composable build system for OCaml

dev-ml / dune-build-info : Embed locations informations inside executable and libraries

dev-ml / dune-configurator : Helper library for gathering system configuration

dev-ml / dune-private-libs : Private libraries of Dune

dev-ml / dune-site : Embed locations informations inside executable and libraries

dev-ml / duration : Duration - conversions to various time units

dev-ml / dyn : Dynamic type

dev-ml / easy-format : Pretty-printing library for OCaml

dev-ml / expect_test_helpers_core : Helpers for writing expectation tests

dev-ml / extlib : Standard library extensions for O'Caml

dev-ml / facile : OCaml constraint programming library on integer & integer set finite domains

dev-ml / fieldslib : Folding over record fields

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

dev-ml / fix : Facilities for memoization and fixed points

dev-ml / fmt : Combinators to devise OCaml Format pretty-printing functions

dev-ml / fpath : File system paths for OCaml

dev-ml / gapi-ocaml : A simple OCaml client for Google Services

dev-ml / gen : Iterators for OCaml, both restartable and consumable

dev-ml / graphics : The OCaml graphics library

dev-ml / gsl-ocaml : OCaml bindings for the GSL library (successor of dev-ml/ocamlgsl)

dev-ml / int_repr : Integers of various widths

dev-ml / integers : Various signed and unsigned integer types for OCaml

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

dev-ml / jingoo : OCaml template engine almost compatible with Jinja2

dev-ml / jsonm : Non-blocking streaming JSON codec for OCaml

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

dev-ml / lablgl : Objective CAML interface for OpenGL

dev-ml / lablgtk : OCaml bindings to GTK-3

dev-ml / lablgtk-sourceview : OCaml bindings to GTK-3

dev-ml / labltk : OCaml interface to the Tcl/Tk GUI framework

dev-ml / lambda-term : Terminal manipulation library for OCaml

dev-ml / llvm-ocaml : OCaml bindings for LLVM

dev-ml / logs : Logging infrastructure for OCaml

dev-ml / luv : Binding to libuv: cross-platform asynchronous I/O

dev-ml / lwt : Cooperative light-weight thread library for OCaml

dev-ml / lwt_log : Cooperative light-weight thread library for OCaml

dev-ml / lwt_ssl : GLib integration for Lwt

dev-ml / markup : Error-recovering streaming HTML5 and XML parsers

dev-ml / mccs : Multi Criteria CUDF Solver

dev-ml / menhir : LR(1) parser generator for the OCaml language

dev-ml / merlin : Context sensitive completion for OCaml in Vim and Emacs

dev-ml / merlin-extend : SDK to extend Merlin

dev-ml / mew : General modal editing engine generator

dev-ml / mew_vi : A vi-like modal editing engine generator

dev-ml / mirage-clock : Portable clock implementation for Unix and Xen

dev-ml / mmap : File mapping

dev-ml / mtime : OCaml module to access monotonic wall-clock time

dev-ml / num : Library for arbitrary-precision integer and rational arithmetic

dev-ml / ocaml-augeas : Ocaml bindings for Augeas

dev-ml / ocaml-base64 : Library for radix-64 representation (de)coding

dev-ml / ocaml-compiler-libs : Repackage the OCaml compiler libs so they do not expose everything at toplevel

dev-ml / ocaml-ctypes : Library for binding to C libraries using pure OCaml

dev-ml / ocaml-expat : OCaml bindings for expat

dev-ml / ocaml-fileutils : Pure OCaml functions to manipulate real file (POSIX like) and filename

dev-ml / ocaml-gettext : Provides support for internationalization of OCaml program

dev-ml / ocaml-gettext-camomile : Support for internationalization of OCaml programs using the Camomile library

dev-ml / ocaml-gettext-stub : Support for internationalization of OCaml programs using native gettext library

dev-ml / ocaml-hashcons : OCaml hash-consing library

dev-ml / ocaml-inifiles : A small OCaml library to read and write .ini files

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

dev-ml / ocaml-process : Easy process control for OCaml

dev-ml / ocaml-sha : Binding to the SHA cryptographic functions

dev-ml / ocaml-sqlite3 : SQLite3 bindings for OCaml

dev-ml / ocaml-ssl : OCaml bindings for OpenSSL

dev-ml / ocaml-stdint : Signed and unsigned integer types having specified widths

dev-ml / ocaml_intrinsics : Invoke amd64 instructions (such as clz, popcnt, rdtsc, rdpmc)

dev-ml / ocamlbuild : Generic build tool with built-in rules for building OCaml library and programs

dev-ml / ocamlfuse : OCaml binding for fuse

dev-ml / ocamlgraph : O'Caml Graph library

dev-ml / ocamlnet : Modules for OCaml application-level Internet protocols

dev-ml / ocamlsdl : OCaml SDL Bindings

dev-ml / ocamlweb : O'Caml literate programming tool

dev-ml / ocplib-endian : Functions to read and write int16/32/64 from strings, bytes, and bigarrays

dev-ml / ocplib-simplex : A library implementing a simplex algorithm

dev-ml / octavius : ocamldoc comment syntax parser

dev-ml / ocurl : OCaml interface to the libcurl library

dev-ml / odoc : OCaml documentation generator

dev-ml / odoc-parser : Parser for ocaml documentation comments

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

dev-ml / opam-client : opam client libraries

dev-ml / opam-core : Core libraries for opam

dev-ml / opam-file-format : Parser and printer for the opam file syntax

dev-ml / opam-format : Core libraries for opam

dev-ml / opam-installer : Core installer for opam packages

dev-ml / opam-repository : opam repository libraries

dev-ml / opam-solver : opam solver

dev-ml / opam-state : opam state libraries

dev-ml / ordering : Element ordering

dev-ml / ounit2 : Unit testing framework for OCaml

dev-ml / parmap : Library to exploit multicore architectures for OCaml programs

dev-ml / parsexp : S-expression parsing library

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

dev-ml / pcre-ocaml : Perl Compatibility Regular Expressions for O'Caml

dev-ml / pp : Pretty-printing library

dev-ml / pprint : A pretty-printing combinator library and rendering engine

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_bench : Syntax extension for writing in-line benchmarks in ocaml code

dev-ml / ppx_bin_prot : Generation of bin_prot readers and writers from types

dev-ml / ppx_blob : Include a file as a string at compile time

dev-ml / ppx_cold : Expands [@cold] into [@inline never][@specialise never][@local never]

dev-ml / ppx_compare : Generation of comparison functions from types

dev-ml / ppx_custom_printf : Printf-style format-strings for user-defined string conversion

dev-ml / ppx_derivers : Shared [@@deriving] plugin registry

dev-ml / ppx_deriving : Type-driven code generation for OCaml

dev-ml / ppx_deriving_yojson : JSON codec generator for OCaml

dev-ml / ppx_disable_unused_warnings : Expands [@disable_unused_warnings]

dev-ml / ppx_enumerate : Generate a list containing all values of a finite type

dev-ml / ppx_expect : Cram like framework for OCaml

dev-ml / ppx_fail : Add location to calls to failwiths

dev-ml / ppx_fields_conv : Generation of accessor and iteration functions for ocaml records

dev-ml / ppx_fixed_literal : Simpler notation for fixed point literals

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

dev-ml / ppx_here : Expands [%here] into its location

dev-ml / ppx_ignore_instrumentation : Ignore Jane Street specific instrumentation extensions

dev-ml / ppx_import : A syntax extension for importing declarations from interface files

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_js_style : Code style checker for Jane Street Packages

dev-ml / ppx_let : Monadic let-bindings

dev-ml / ppx_log : Lazily rendering log messages

dev-ml / ppx_module_timer : Ppx rewriter that records top-level module startup times

dev-ml / ppx_optcomp : Optional compilation for OCaml

dev-ml / ppx_optional : Pattern matching on flat options

dev-ml / ppx_pipebang : A ppx rewriter that inlines reverse application operators |> and |!

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 / ppx_sexp_value : Standard library for ppx rewriters

dev-ml / ppx_stable : Stable types conversions generator

dev-ml / ppx_string : Ppx extension for string interpolation

dev-ml / ppx_tools : Tools for authors of ppx rewriters

dev-ml / ppx_typerep_conv : Generation of runtime types from type declarations

dev-ml / ppx_variants_conv : Generation of accessor and iteration functions for ocaml variant types

dev-ml / ppxlib : Base library and tools for ppx rewriters

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

dev-ml / ptime : POSIX time for OCaml

dev-ml / ptmap : Maps of integers implemented as Patricia trees

dev-ml / qcheck : QuickCheck inspired property-based testing for OCaml

dev-ml / qtest : Inline (Unit) Tests for OCaml

dev-ml / re : Regular expression library for OCaml

dev-ml / react : OCaml module for functional reactive programming

dev-ml / reactiveData : Functional reactive programming with incremental changes in data structures

dev-ml / reason : Simple, fast & type safe language that leverages JavaScript and OCaml

dev-ml / result : Compat result type

dev-ml / rresult : Result value combinators for OCaml

dev-ml / sedlex : An OCaml lexer generator for Unicode

dev-ml / seq : Compatibility package for the standard OCaml iterator type

dev-ml / sexp_pretty : S-expression pretty-printer

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

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

dev-ml / spawn : Spawning sub-processes

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

dev-ml / stdcompat : Compatibility module for OCaml standard library

dev-ml / stdio : Standard IO Library for OCaml

dev-ml / stdlib-shims : Pure OCaml library that allows replacing Pervasives with Stdlib before 4.08

dev-ml / stdune : Dune's unstable standard library

dev-ml / textutils : Text output utilities

dev-ml / textutils_kernel : Text output utilities

dev-ml / time_now : Reports the current time

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

dev-ml / tiny_httpd : Minimal HTTP server with a small request router

dev-ml / topkg : The transitory OCaml software packager

dev-ml / trie : Strict impure trie tree

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

dev-ml / tyxml : A library for building correct HTML and SVG documents

dev-ml / uchar : Uchar compatibility library

dev-ml / unidecode : Convert unicode strings into its ASCII representation

dev-ml / utop : Universal toplevel for OCaml

dev-ml / uucp : Unicode character properties for OCaml

dev-ml / uuidm : Universally unique identifiers (UUIDs) for OCaml

dev-ml / uunf : Unicode text normalization

dev-ml / uuseg : Unicode text segmentation for OCaml

dev-ml / uutf : Non-blocking streaming Unicode codec for OCaml

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

dev-ml / xml-light : Minimal Xml parser and printer for OCaml

dev-ml / yojson : JSON parsing and pretty-printing library for OCaml

dev-ml / zarith : Arithmetic and logic operations over arbitrary-precision integers

dev-ml / zed : Abstract engine for text edition in OCaml

dev-ml / zmq : OCaml bindings for ZeroMQ 4.x

dev-ml / zmq-async : Async-aware bindings to ZMQ for OCaml

dev-ml / zmq-lwt : Lwt-aware bindings to ZMQ for OCaml

dev-tex / bibtex2html : A bibtex to HTML converter

dev-tex / hevea : HeVeA is a quite complete and fast LaTeX to HTML translator

dev-util / coccinelle : Program matching and transformation engine

dev-util / herdtools7 : The Herd toolsuite to deal with .cat memory models

dev-util / omake : Make replacement

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

net-misc / sks : An OpenPGP keyserver which is decentralized with highly reliable synchronization

net-p2p / mldonkey : Multi-network P2P application written in Ocaml, with Gtk, web & telnet interface

sci-calculators / orpie : A fullscreen RPN calculator for the console

sci-libs / plplot : Multi-language scientific plotting library

sci-mathematics / alt-ergo : Automatic theorem prover

sci-mathematics / coq : Proof assistant written in O'Caml

sci-mathematics / coq-mathcomp : Mathematical Components for the Coq proof assistant

sci-mathematics / coq-serapi : Serialization library and protocol for interaction with the Coq proof assistant

sci-mathematics / cubicle : Model checker for verifying properties of array-based systems

sci-mathematics / easycrypt : Computer-Aided Cryptographic Proofs

sci-mathematics / flocq : Formalization of floating-point arithmetic for the Coq proof assistant

sci-mathematics / gappalib-coq : Allows the certificates Gappa generates to be imported by the Coq

sci-mathematics / kind2 : Multi-engine SMT-based automatic model checker

sci-mathematics / psmt2-frontend : Library to parse and type-check an extension of the SMT-LIB 2 standard

sci-mathematics / why3 : Platform for deductive program verification

sci-mathematics / why3-for-spark : Platform for deductive program verification

sys-fs / google-drive-ocamlfuse : FUSE filesystem over Google Drive

sys-libs / libnbd : NBD client library in userspace

555598: dev-lang/ocaml fails to build on x32 (with patch)
559564: sys-apps/portage-2.2.20.1: a slot conflict between dev-lang/ocaml and sci-mathematics/coq cannot be auto resolved
719134: <dev-lang/ocaml-4.09.0: Integer overflow (CVE-2018-9838)
882361: dev-lang/ocaml-4.11.2-r2 - interp.c: error: passing arguments to a function without a prototype is

Thursday 25 May: Repository mirror & CI · gentoo
Merge updates from master
Thursday 25 May: Fabian Groffen · gentoo
*/*: remove sparc-solaris keyword
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Wednesday 24 May: Repository mirror & CI · gentoo
Merge updates from master
Wednesday 24 May: Fabian Groffen · gentoo
*/*: remove x86-solaris keyword
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Monday 03 April: Repository mirror & CI · gentoo
Merge updates from master
Monday 03 April: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 arm64, #901711
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Monday 03 April: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 arm, #901711
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Friday 17 March: Repository mirror & CI · gentoo
Merge updates from master
Friday 17 March: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.1 ppc64, #901615
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Friday 17 March: Repository mirror & CI · gentoo
Merge updates from master
Friday 17 March: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 ppc64, #901711
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Friday 17 March: Repository mirror & CI · gentoo
Merge updates from master
Friday 17 March: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 ppc64, #901673
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Friday 17 March: Repository mirror & CI · gentoo
Merge updates from master
Friday 17 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 x86, #901711
Signed-off-by: Sam James <sam@gentoo.org>
Friday 17 March: Repository mirror & CI · gentoo
Merge updates from master
Friday 17 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 amd64, #901711
Signed-off-by: Sam James <sam@gentoo.org>
Friday 17 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 x86, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Friday 17 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 amd64, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Friday 17 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 x86, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Friday 17 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 amd64, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Thursday 16 March: Repository mirror & CI · gentoo
Merge updates from master
Thursday 16 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 arm, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Thursday 16 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 arm64, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Thursday 16 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 arm, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Thursday 16 March: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 arm64, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Wednesday 15 February: Repository mirror & CI · gentoo
Merge updates from master
Wednesday 15 February: Matt Turner · gentoo
dev-lang/ocaml: Drop alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Friday 10 February: Repository mirror & CI · gentoo
Merge updates from master
Friday 10 February: Alfredo Tupone · gentoo
dev-lang/ocaml: add 4.14.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
30 November 2022: Repository mirror & CI · gentoo
Merge updates from master
30 November 2022: WANG Xuerui · gentoo
dev-lang/ocaml: keyword 4.14.0-r1 for ~loong
Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
29 September 2022: Repository mirror & CI · gentoo
Merge updates from master
29 September 2022: Alfredo Tupone · gentoo
dev-lang/ocaml: filtering lto
Closes: https://bugs.gentoo.org/872995 Closes: https://bugs.gentoo.org/870349 Closes: https://bugs.gentoo.org/835157 Closes: https://bugs.gentoo.org/858446 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
18 April 2022: Repository mirror & CI · gentoo
Merge updates from master
17 April 2022: Yongxiang Liang · gentoo
dev-lang/ocaml: Keyword 4.14.0 riscv, #835392
Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
29 March 2022: Repository mirror & CI · gentoo
Merge updates from master
29 March 2022: Mark Wright · gentoo
dev-lang/ocaml: Bump to 4.14.0, fix clang build.
See: https://github.com/ocaml/ocaml/pull/10774 Closes: https://bugs.gentoo.org/729566 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Mark Wright <gienah@gentoo.org>
04 March 2022: Repository mirror & CI · gentoo
Merge updates from master
04 March 2022: Sam James · gentoo
dev-lang/ocaml: drop 4.09.0-r2
Bug: https://bugs.gentoo.org/804498 Signed-off-by: Sam James <sam@gentoo.org>
03 March 2022: Repository mirror & CI · gentoo
Merge updates from master
03 March 2022: Sam James · gentoo
dev-lang/ocaml: destabilise for ppc
Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
28 February 2022: Repository mirror & CI · gentoo
Merge updates from master
28 February 2022: Alfredo Tupone · gentoo
dev-lang/ocaml: add riscv patch to 4.13.1 too
Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
27 February 2022: Repository mirror & CI · gentoo
Merge updates from master
27 February 2022: Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #804498
Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
27 February 2022: Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #804498
Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
27 February 2022: Repository mirror & CI · gentoo
Merge updates from master
27 February 2022: Sam James · gentoo
dev-lang/ocaml: fix 4.11.2 src_prepare (missing patch)
Accidentally cleaned up in 9e8369277b272b15f3dd1159fa18b71ec4431a77 (got confused by what I had/hadn't moved into patch tarballs, renamed accordingly now to avoid that in future). Once OCaml 4.09.0-r3 stabilisation is complete, we can cleanup all the obsolete patches from files/ and then everything is a bit clearer. Bug: https://bugs.gentoo.org/804498 Fixes: 9e8369277b272b15f3dd1159fa18b71ec4431a77 See: https://forums.gentoo.org/viewtopic-t-1147490.html Signed-off-by: Sam James <sam@gentoo.org>
26 February 2022: Repository mirror & CI · gentoo
Merge updates from master
26 February 2022: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.09.0-r3 ppc64, #804498
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
26 February 2022: Repository mirror & CI · gentoo
Merge updates from master
26 February 2022: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.09.0-r3 arm, #804498
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
26 February 2022: Repository mirror & CI · gentoo
Merge updates from master
26 February 2022: Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.09.0-r3 arm64, #804498
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
25 February 2022: Repository mirror & CI · gentoo
Merge updates from master
25 February 2022: Alfredo Tupone · gentoo
dev-lang/ocaml: fix TEXTREL on 4.12.1
Closes: https://bugs.gentoo.org/825282 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
22 February 2022: Repository mirror & CI · gentoo
Merge updates from master
22 February 2022: Sam James · gentoo
dev-lang/ocaml: drop 4.05.0-r7, 4.05.0-r8, 4.10.2-r2
Signed-off-by: Sam James <sam@gentoo.org>
22 February 2022: Sam James · gentoo
dev-lang/ocaml: use tarball for 4.05/4.09/4.10 patches
Signed-off-by: Sam James <sam@gentoo.org>
22 February 2022: Repository mirror & CI · gentoo
Merge updates from master
22 February 2022: Sam James · gentoo
dev-lang/ocaml: fix 4.05 with glibc 2.34
Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
22 February 2022: Sam James · gentoo
dev-lang/ocaml: fix 4.10 with glibc 2.34
Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
22 February 2022: Sam James · gentoo
dev-lang/ocaml: fix 4.09 with glibc 2.34
Bug: https://bugs.gentoo.org/804498 See: https://github.com/gentoo/gentoo/pull/22851#pullrequestreview-882504245 Signed-off-by: Sam James <sam@gentoo.org>
23 January 2022: Repository mirror & CI · gentoo
Merge updates from master
23 January 2022: Alfredo Tupone · gentoo
dev-lang/ocaml: respect CFLAGS
Closes: https://bugs.gentoo.org/719166 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
22 January 2022: Repository mirror & CI · gentoo
Merge updates from master
22 January 2022: Alfredo Tupone · gentoo
dev-lang/ocaml: respect CFLAGS for ocaml-4.09
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
17 October 2021: Repository mirror & CI · gentoo
Merge updates from master
17 October 2021: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 arm64, #804774
Signed-off-by: Sam James <sam@gentoo.org>
17 October 2021: Repository mirror & CI · gentoo
Merge updates from master
17 October 2021: Sam James · gentoo
dev-lang/ocaml: fix build with glibc-2.34 in 4.11.2
Closes: https://bugs.gentoo.org/804498 Signed-off-by: Sam James <sam@gentoo.org>
17 October 2021: Repository mirror & CI · gentoo
Merge updates from master
17 October 2021: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 arm, #804774
Signed-off-by: Sam James <sam@gentoo.org>
16 October 2021: Repository mirror & CI · gentoo
Merge updates from master
16 October 2021: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 ppc64, #804774
Signed-off-by: Sam James <sam@gentoo.org>
16 October 2021: Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 ppc, #804774
Signed-off-by: Sam James <sam@gentoo.org>
16 October 2021: Repository mirror & CI · gentoo
Merge updates from master
16 October 2021: Sam James · gentoo
dev-lang/ocaml: filter -flto* too
Signed-off-by: Sam James <sam@gentoo.org>
16 October 2021: Repository mirror & CI · gentoo
Merge updates from master
16 October 2021: Sam James · gentoo
dev-lang/ocaml: filter LTO, no strict aliasing in <4.12
Bug: https://bugs.gentoo.org/818445 Signed-off-by: Sam James <sam@gentoo.org>
13 October 2021: Repository mirror & CI · gentoo
Merge updates from master
13 October 2021: Repository mirror & CI · gentoo
Merge updates from master
13 October 2021: Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #804774
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
13 October 2021: Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #804774
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
09 October 2021: Repository mirror & CI · gentoo
Merge updates from master
09 October 2021: Sam James · gentoo
dev-lang/ocaml: drop 4.12.0-r2, 4.13.0
Signed-off-by: Sam James <sam@gentoo.org>
09 October 2021: Sam James · gentoo
dev-lang/ocaml: fix build with glibc 2.34
Closes: https://bugs.gentoo.org/816765 Signed-off-by: Sam James <sam@gentoo.org>
07 October 2021: Repository mirror & CI · gentoo
Merge updates from master
07 October 2021: Sam James · gentoo
dev-lang/ocaml: add 4.13.1
Signed-off-by: Sam James <sam@gentoo.org>
02 October 2021: Repository mirror & CI · gentoo
Merge updates from master
02 October 2021: Sam James · gentoo
dev-lang/ocaml: add 4.13.0
Signed-off-by: Sam James <sam@gentoo.org>
02 October 2021: Sam James · gentoo
dev-lang/ocaml: add 4.12.1
Signed-off-by: Sam James <sam@gentoo.org>
15 September 2021: Repository mirror & CI · gentoo
Merge updates from master
15 September 2021: Alfredo Tupone · gentoo
dev-lang/ocaml: UnusedInherits
Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
18 June 2021: Repository mirror & CI · gentoo
Merge updates from master
18 June 2021: Sam James · gentoo
dev-lang/ocaml: fix installed Portage set libdir target
Closes: https://bugs.gentoo.org/796641 Signed-off-by: Sam James <sam@gentoo.org>
09 June 2021: Repository mirror & CI · gentoo
Merge updates from master
09 June 2021: Sam James · gentoo
dev-lang/ocaml: adjust subslot to be major version
Should be bytecode compatible with non-major version changes. Makes it a lot easier to give dependencies in e.g. camlp4 which needs to be exactly aligned with the OCaml major version. Bug: https://bugs.gentoo.org/794898 Acked-by: Alfredo Tupone <tupone@gentoo.org> Signed-off-by: Sam James <sam@gentoo.org>
08 June 2021: Repository mirror & CI · gentoo
Merge updates from master
08 June 2021: Sam James · gentoo
dev-lang/ocaml: add CVE-2018-9838 patch to 4.05.0
Closes: https://bugs.gentoo.org/755257 Bug: https://bugs.gentoo.org/719134 Signed-off-by: Sam James <sam@gentoo.org>
08 June 2021: Sam James · gentoo
dev-lang/ocaml: add 4.12.0
Closes: https://bugs.gentoo.org/772407 Signed-off-by: Sam James <sam@gentoo.org>
13 March 2021: Repository mirror & CI · gentoo
Merge updates from master
12 March 2021: Repository mirror & CI · gentoo
Merge updates from master
12 March 2021: Sam James · gentoo
dev-lang/ocaml: don't warn on textrels on 32-bit arches
We can't do anything about it on 32-bit arches and it causes unnecessary test failures in OCaml-based packages (because of the diff in output). Closes: https://bugs.gentoo.org/773226 Signed-off-by: Sam James <sam@gentoo.org>
12 March 2021: Sam James · gentoo
dev-lang/ocaml: drop 4.10.0, 4.11.1
Signed-off-by: Sam James <sam@gentoo.org>
08 March 2021: Repository mirror & CI · gentoo
Merge updates from master
08 March 2021: Michael Mair-Keimberger · gentoo
dev-lang/ocaml: fixing patching, remove unused eutils eclass
Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Closes: https://bugs.gentoo.org/774867 Closes: https://github.com/gentoo/gentoo/pull/19831 Signed-off-by: Sam James <sam@gentoo.org>
24 February 2021: Repository mirror & CI · gentoo
Merge updates from master
24 February 2021: Sam James · gentoo
dev-lang/ocaml: bump to 4.11.2
Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
17 February 2021: Repository mirror & CI · gentoo
Merge updates from master
17 February 2021: Alfredo Tupone · gentoo
dev-lang/ocaml: remove 4.04 version
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
17 February 2021: Repository mirror & CI · gentoo
Merge updates from master
17 February 2021: Alfredo Tupone · gentoo
dev-lang/ocaml: migrate to EAPI 7
Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
28 January 2021: Repository mirror & CI · gentoo
Merge updates from master
28 January 2021: Alfredo Tupone · gentoo
dev-lang/ocaml: build with gcc-10
Bug: https://bugs.gentoo.org/735274 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
06 January 2021: Repository mirror & CI · gentoo
Merge updates from master
06 January 2021: Fabian Groffen · gentoo
dev-lang/ocaml: drop x86-macos
Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
28 December 2020: Repository mirror & CI · gentoo
Merge updates from master
28 December 2020: Sam James · gentoo
dev-lang/ocaml: bump to 4.10.2
Package-Manager: Portage-3.0.9, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
13 October 2020: Repository mirror & CI · gentoo
Merge updates from master
10 October 2020: Mark Wright · gentoo
dev-lang/ocaml: Bump to 4.11.1
Thanks to Martin 'The Bishop' Scheffler for reporting ocaml does not compile with gcc-10, and for the patch. This appears to be fixed upstream. Thanks to Josh Parsons for the x32 compile patch, this appears to be fixed upstream. Bug: https://bugs.gentoo.org/735274 Bug: https://bugs.gentoo.org/555598 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
07 October 2020: Lubos Kolouch · gentoo
dev-lang/ocaml: Bump to 4.10.0
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Lubos Kolouch <lubos@kolouch.net> Signed-off-by: Mark Wright <gienah@gentoo.org>
03 October 2020: Repository mirror & CI · gentoo
Merge updates from master
03 October 2020: Sergei Trofimovich · gentoo
*/*: depeywork dev-lang/ocaml and revdeps on sparc
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
12 April 2020: Repository mirror & CI · gentoo
Merge updates from master
12 April 2020: Mart Raudsepp · gentoo
dev-lang/ocaml: arm64 stable (bug #708696)
Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Mart Raudsepp <leio@gentoo.org>
03 April 2020: Repository mirror & CI · gentoo
Merge updates from master
30 March 2020: Matt Turner · gentoo
*/*: Drop stable ia64 keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
20 March 2020: Repository mirror & CI · gentoo
Merge updates from master
20 March 2020: Rolf Eike Beer · gentoo
dev-lang/ocaml: drop to ~hppa
Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="hppa" Signed-off-by: Rolf Eike Beer <eike@sf-mail.de> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
02 March 2020: Repository mirror & CI · gentoo
Merge updates from master
02 March 2020: Sergei Trofimovich · gentoo
dev-lang/ocaml: stable 4.09.0 for hppa, bug #708696
Package-Manager: Portage-2.3.88, Repoman-2.3.20 RepoMan-Options: --include-arches="hppa" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
11 February 2020: Repository mirror & CI · gentoo
Merge updates from master
11 February 2020: Michał Górny · gentoo
*/*: Bump copyright on files touched this year
Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org>
11 February 2020: Repository mirror & CI · gentoo
Merge updates from master
11 February 2020: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc stable wrt bug #708696
Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
11 February 2020: Repository mirror & CI · gentoo
Merge updates from master
11 February 2020: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc64 stable wrt bug #708696
Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
11 February 2020: Agostino Sarubbo · gentoo
dev-lang/ocaml: ia64 stable wrt bug #708696
Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
10 February 2020: Repository mirror & CI · gentoo
Merge updates from master
10 February 2020: Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #708696
Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
10 February 2020: Agostino Sarubbo · gentoo
dev-lang/ocaml: arm stable wrt bug #708696
Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
09 February 2020: Repository mirror & CI · gentoo
Merge updates from master
09 February 2020: Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #708696
Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
05 February 2020: Repository mirror & CI · gentoo
Merge updates from master
05 February 2020: Sergei Trofimovich · gentoo
dev-lang/ocaml: tweak for gcc-10
Package-Manager: Portage-2.3.87, Repoman-2.3.20 Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
26 January 2020: Repository mirror & CI · gentoo
Merge updates from master
26 January 2020: Matt Turner · gentoo
*/*: Drop stable alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
28 December 2019: Repository mirror & CI · gentoo
Merge updates from master
28 December 2019: Mikle Kolyada · gentoo
dev-lang/ocaml: restore keywords
Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
27 December 2019: Repository mirror & CI · gentoo
Merge updates from master
16 December 2019: Ralph Seichter · gentoo
dev-lang/ocaml: Bump to version 4.09.0, EAPI 7
This new OCaml ebuild uses EAPI 7. As discussed with Zlogenem, multi- platform support has been removed and the ebuild is now keyworded for ~amd64 only. Significant time was spent figuring out why the build failed when run via ebuild, but succeeded when run manually. After I filed an upstream issue[1] and a subsequent discussion, it turned out that Gentoo's ${P} variable clashed with the OCaml build, as I had suspected. The line P ?= stdlib__ in a Makefile resulted in wrong file paths which in turn broke the OCaml documentation build. I have asked upstream if their use of the "?=" operator is deliberate; an answer is pending. The license in this build has been changed to match [2]. [1] https://github.com/ocaml/ocaml/issues/9189 [2] https://ocaml.org/docs/license.html Closes: https://bugs.gentoo.org/688108 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Ralph Seichter <gentoo@seichter.de> Signed-off-by: Mikle Kolyada <zlogene@gentoo.org>
11 October 2019: Repository mirror & CI · gentoo
Merge updates from master
11 October 2019: Michał Górny · gentoo
dev-lang: Remove *-fbsd KEYWORDS
Signed-off-by: Michał Górny <mgorny@gentoo.org>
29 July 2019: Repository mirror & CI · gentoo
Merge updates from master
29 July 2019: Aaron Bauman · gentoo
dev-lang/ocaml: arm64 stable
Signed-off-by: Aaron Bauman <bman@gentoo.org> Package-Manager: Portage-2.3.69, Repoman-2.3.16 RepoMan-Options: --include-arches="arm64"
22 March 2019: Repository mirror & CI · gentoo
Merge updates from master
22 March 2019: Lars Wendler · gentoo
dev-lang/ocaml: Fixed build with sys-libs/ncurses[tinfo]
Closes: https://bugs.gentoo.org/459512 Package-Manager: Portage-2.3.62, Repoman-2.3.12 Signed-off-by: Lars Wendler <polynomial-c@gentoo.org>
04 January 2019: Repository mirror & CI · gentoo
Merge updates from master
04 January 2019: Tim Harder · gentoo
dev-lang/ocaml: use https for HOMEPAGE
Signed-off-by: Tim Harder <radhermit@gentoo.org>
28 April 2018: Matt Turner · gentoo
dev-lang/ocaml: Drop unnecessary x11-proto dep
13 November 2017: Alexis Ballier · gentoo
dev-lang/ocaml: remove 4.06.0, moved to overlay
Package-Manager: Portage-2.3.13, Repoman-2.3.4
04 November 2017: Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.06
Package-Manager: Portage-2.3.13, Repoman-2.3.4
31 October 2017: Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.06.0-rc1
Package-Manager: Portage-2.3.13, Repoman-2.3.4
14 October 2017: Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.06.0_beta2
Package-Manager: Portage-2.3.11, Repoman-2.3.3
14 October 2017: Alexis Ballier · gentoo
dev-lang/ocaml: restore keywords on 4.06 now that it is masked
Package-Manager: Portage-2.3.11, Repoman-2.3.3
04 October 2017: Alexis Ballier · gentoo
dev-lang/ocaml: add 4.06.0_beta1
Package-Manager: Portage-2.3.11, Repoman-2.3.3
04 October 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Remove old
Package-Manager: Portage-2.3.11, Repoman-2.3.3
27 September 2017: Sergei Trofimovich · gentoo
dev-lang/ocaml: stable 4.04.2 for hppa, bug #622544
Package-Manager: Portage-2.3.10, Repoman-2.3.3 RepoMan-Options: --include-arches="hppa"
16 July 2017: Tobias Klausmann · gentoo
dev-lang/ocaml-4.04.2-r0: alpha stable
Gentoo-Bug: 622544
13 July 2017: Alexis Ballier · gentoo
dev-lang/ocaml: serialize build a bit more as it sometimes fails
Package-Manager: Portage-2.3.6, Repoman-2.3.2
13 July 2017: Alexis Ballier · gentoo
dev-lang/ocaml: dont enable flambda by default yet, it causes infinite loop when building e.g. dose3
Package-Manager: Portage-2.3.6, Repoman-2.3.2
13 July 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05
Package-Manager: Portage-2.3.6, Repoman-2.3.2
07 July 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc64 stable wrt bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
07 July 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc stable wrt bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
07 July 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: sparc stable wrt bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
07 July 2017: Markus Meier · gentoo
dev-lang/ocaml: arm stable, bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="arm"
30 June 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
30 June 2017: Sergei Trofimovich · gentoo
dev-lang/ocaml: ia64 stable, bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.2
29 June 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.1 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
29 June 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.2
29 June 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05.0_rc1
Package-Manager: Portage-2.3.6, Repoman-2.3.2
25 June 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.04.2, bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.2
20 June 2017: Fabian Groffen · gentoo
dev-lang/ocaml: add Prefix keywords, bug #618700
Package-Manager: Portage-2.3.6, Repoman-2.3.1
15 June 2017: Alexis Ballier · gentoo
dev-lang/ocaml: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
14 April 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.04.1
Package-Manager: Portage-2.3.5, Repoman-2.3.2
01 April 2017: Alexis Ballier · gentoo
dev-lang/ocaml: remove shadowed version
Package-Manager: Portage-2.3.5, Repoman-2.3.2
01 April 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Strip -ggdb3 from cflags as it causes issues.
Package-Manager: Portage-2.3.5, Repoman-2.3.2
27 March 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05 beta3
Package-Manager: Portage-2.3.5, Repoman-2.3.2
03 March 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Restore standard keywords now that it is masked
Package-Manager: Portage-2.3.4, Repoman-2.3.2
28 February 2017: Robin H. Johnson · gentoo
Drop $Id$ per council decision in bug #611234.
Signed-off-by: Robin H. Johnson <robbat2@gentoo.org>
21 February 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Shorten description.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
21 February 2017: Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05.0_beta2.
Without keywords since it is a beta and breaks quite a few packages. Enable flambda by default. Add spacetime useflag. Package-Manager: Portage-2.3.3, Repoman-2.3.1
14 February 2017: Alexis Ballier · gentoo
dev-lang/ocaml: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
12 February 2017: Markus Meier · gentoo
dev-lang/ocaml: arm stable, bug #581946
Package-Manager: Portage-2.3.3, Repoman-2.3.1 RepoMan-Options: --include-arches="arm"
29 January 2017: Jeroen Roovers · gentoo
dev-lang/ocaml: Stable for HPPA (bug #581946).
Package-Manager: Portage-2.3.3, Repoman-2.3.1 RepoMan-Options: --ignore-arches
26 January 2017: T. Malfatti · gentoo
media-libs/portaudio: Version bump
26 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: ia64 stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
26 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
26 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: sparc stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
25 January 2017: Tobias Klausmann · gentoo
dev-lang/ocaml-4.04.0-r0: stable on alpha
Gentoo-Bug: 581946
25 January 2017: Alexis Ballier · gentoo
dev-lang/ocaml: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
25 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc64 stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
25 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
25 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #581946
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
14 January 2017: Mikle Kolyada · gentoo
dev-lang/ocaml: last EAPI=1 ebuild is gone
Package-Manager: portage-2.3.0
14 January 2017: Mikle Kolyada · gentoo
dev-lang/ocaml: ia64 stable
Package-Manager: portage-2.3.0
11 January 2017: Agostino Sarubbo · gentoo
dev-lang/ocaml: sparc stable wrt bug #463018
Package-Manager: portage-2.3.0 RepoMan-Options: --include-arches="sparc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
29 November 2016: Alexis Ballier · gentoo
dev-lang/ocaml: restore keywords on 4.04
Package-Manager: portage-2.3.2
15 November 2016: Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.04.0 (still without keywords for now)
Package-Manager: portage-2.3.2
15 November 2016: Alexis Ballier · gentoo
dev-lang/ocaml: add missing dep on binutils-libs
Package-Manager: portage-2.3.2
06 September 2016: Alexis Ballier · gentoo
dev-lang/ocaml: add 4.04.0_beta2 without keywords
Package-Manager: portage-2.3.0
30 April 2016: Alexis Ballier · gentoo
dev-lang/ocaml: remove 4.03 beta
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
30 April 2016: Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.03
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
02 April 2016: Alexis Ballier · gentoo
dev-lang/ocaml: add flambda useflag
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
02 April 2016: Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.03.0+beta2
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
03 March 2016: Alexis Ballier · gentoo
dev-lang/ocaml: add tests support
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
01 March 2016: Alexis Ballier · gentoo
dev-lang/ocaml: restore keywords, it is masked in package.mask
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
01 March 2016: Alexis Ballier · gentoo
dev-lang/ocaml: Add a 4.02.3 version without ocamlbuild to prepare for the dev-ml/ocamlbuild transition needed for ocaml 4.03
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
01 March 2016: Alexis Ballier · gentoo
dev-lang/ocaml: add 4.03 beta1 without keywords
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
04 February 2016: Tobias Klausmann · gentoo
dev-lang/ocaml: add alpha keyword
Gentoo-Bug: 463018 Package-Manager: portage-2.2.27
21 November 2015: Markus Meier · gentoo
dev-lang/ocaml: arm stable, bug #463018
Package-Manager: portage-2.2.25 RepoMan-Options: --include-arches="arm"
12 November 2015: Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
11 November 2015: Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
10 November 2015: Alexis Ballier · gentoo
dev-lang/ocaml: remove old
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
10 November 2015: Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
03 November 2015: Jeroen Roovers · gentoo
dev-lang/ocaml: Stable for PPC64 (bug #463018).
Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
01 November 2015: Jeroen Roovers · gentoo
dev-lang/ocaml: Stable for HPPA (bug #463018).
Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
08 August 2015: 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

dev-lang / ocaml

Versions

USE flags

General

Runtime Dependencies

Depending packages

Bugs

Change logs

Versions

USE flags

General

Runtime Dependencies

Depending packages

Bugs

Change logs

Site search

Login