dev-lang / ocaml

Programming language supporting functional, imperative & object-oriented styles

Official package sites : https://ocaml.org/ ·

v5.2.0 :: 0/5.2.0 :: gentoo (Masked by set 7223)

Modified
License
QPL-1.0 LGPL-2
Keywords
~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~loong ~mips ~ppc ~ppc-macos ~ppc64 ~riscv ~sparc ~x86 ~x86-linux
USE flags
emacs flambda latex ocamlopt test xemacs

v4.14.2 :: 0/4.14.2 :: gentoo

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

v4.14.1 :: 0/4.14.1 :: gentoo

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

v4.13.1 :: 0/4.13 :: gentoo

Modified
License
QPL-1.0 LGPL-2
Keywords
~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~mips ~ppc ~ppc-macos ~ppc64 ~sparc ~x86 ~x86-linux
USE flags
emacs flambda latex ocamlopt xemacs

v4.12.1 :: 0/4.12 :: gentoo

Modified
License
QPL-1.0 LGPL-2
Keywords
~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~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
License
QPL-1.0 LGPL-2
Keywords
amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~mips ~ppc ~ppc-macos ~sparc ~x86-linux
USE flags
emacs flambda latex ocamlopt spacetime xemacs

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

Modified
License
LGPL-2.1
Keywords
~amd64 ~amd64-linux ~arm ~arm64 ~hppa ~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
License
LGPL-2.1
Keywords
amd64 arm arm64 ppc64 x86 ~amd64-linux ~hppa ~mips ~ppc ~ppc-macos ~x86-linux
USE flags
emacs flambda latex ocamlopt spacetime xemacs

General

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)
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.
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
xemacs
Add support for XEmacs

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

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_log : Logging library built on top of Async_unix

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 / capitalization : Defines case conventions and functions to rename identifiers according to them

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 / cstruct : Access C-like structures directly from OCaml

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 / 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 / gel : A library to mark non-record fields global.

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 / hmap : Heterogeneous value maps for OCaml

dev-ml / int_repr : Integers of various widths

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

dev-ml / iostream : Generic, composable IO input and output streams

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 / memtrace : Streaming client for OCaml's Memprof

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-crunch : Convert a filesystem into a static OCaml module

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 / ocaml_intrinsics_kernel : Functions to invoke amd64 instructions (such as cmov, min/maxsd, popcnt)

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 / 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_diff : A PPX rewriter that genreates the implementation of [Ldiffable.S].

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_globalize : Generates functions to copy local values to the global heap

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_stable_witness : Ppx extension for deriving a witness that a type is intended to be stable

dev-ml / ppx_string : Ppx extension for string interpolation

dev-ml / ppx_string_conv : Ppx extension for generating of_string & to_string

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

dev-ml / ppx_tydi : Let expressions, inferring pattern type from expression

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 / ppxlib_jane : Utilities for working with Jane Street AST constructs

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 / 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 / uopt : An [option]-like type that incurs no allocation

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 / xdg : XDG Base Directory Specification

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-misc / unison : Two-way cross-platform file synchronizer

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 / proverif : Cryptographic protocol verifier in the formal model

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

559564
sys-apps/portage-2.2.20.1: a slot conflict between dev-lang/ocaml and sci-mathematics/coq cannot be auto resolved
882361
dev-lang/ocaml-4.11.2-r2 - interp.c: error: passing arguments to a function without a prototype is
910080
dev-lang/ocaml does not work on macOS
926191
dev-lang/ocaml-4.09.0-r3 fails to compile: amd64.S:748:9: error: changed section flags for .rodata.cst8, expected: 0x12
936947
dev-ml/ocaml-ctypes-0.21.1-r2 will fail to build if dev-lang/ocaml is built with -flto under clang-18
942867
dev-lang/ocaml-4.14.2 installs files that contain a TEXTREL

7223
Alfredo Tupone
Not ready for testing
  • >=dev-lang/ocaml-5
  • >=dev-ml/camlp4-5
  • >=dev-ml/labltk-8.06.14
  • >=dev-ml/ocaml-compiler-libs-0.17
  • >=dev-ml/ppx_deriving-6.0.2
  • >=dev-ml/ppxlib-0.32.1
  • dev-ml/async:0/0.17
  • dev-ml/async_kernel:0/0.17
  • dev-ml/async_log:0/0.17
  • dev-ml/async_rpc_kernel:0/0.17
  • dev-ml/async_unix:0/0.17
  • dev-ml/base:0/0.17
  • dev-ml/base_bigstring:0/0.17
  • dev-ml/base_quickcheck:0/0.17
  • dev-ml/bin_prot:0/0.17
  • dev-ml/capitalization:0/0.17
  • dev-ml/core:0/0.17
  • dev-ml/core_kernel:0/0.17
  • dev-ml/core_unix:0/0.17
  • dev-ml/expect_test_helpers_core:0/0.17
  • dev-ml/fieldslib:0/0.17
  • dev-ml/gel:0/0.17
  • dev-ml/int_repr:0/0.17
  • dev-ml/jane-street-headers:0/0.17
  • dev-ml/jst-config:0/0.17
  • dev-ml/ocaml_intrinsics:0/0.17
  • dev-ml/ocaml_intrinsics_kernel:0/0.17
  • dev-ml/parsexp:0/0.17
  • dev-ml/patience_diff:0/0.17
  • dev-ml/ppx_assert:0/0.17
  • dev-ml/ppx_base:0/0.17
  • dev-ml/ppx_bench:0/0.17
  • dev-ml/ppx_bin_prot:0/0.17
  • dev-ml/ppx_cold:0/0.17
  • dev-ml/ppx_compare:0/0.17
  • dev-ml/ppx_custom_printf:0/0.17
  • dev-ml/ppx_diff:0/0.17
  • dev-ml/ppx_disable_unused_warnings:0/0.17
  • dev-ml/ppx_enumerate:0/0.17
  • dev-ml/ppx_expect:0/0.17
  • dev-ml/ppx_fields_conv:0/0.17
  • dev-ml/ppx_fixed_literal:0/0.17
  • dev-ml/ppx_globalize:0/0.17
  • dev-ml/ppx_hash:0/0.17
  • dev-ml/ppx_here:0/0.17
  • dev-ml/ppx_ignore_instrumentation:0/0.17
  • dev-ml/ppx_inline_test:0/0.17
  • dev-ml/ppx_jane:0/0.17
  • dev-ml/ppx_js_style:0/0.17
  • dev-ml/ppx_let:0/0.17
  • dev-ml/ppx_log:0/0.17
  • dev-ml/ppx_module_timer:0/0.17
  • dev-ml/ppx_optcomp:0/0.17
  • dev-ml/ppx_optional:0/0.17
  • dev-ml/ppx_pipebang:0/0.17
  • dev-ml/ppx_sexp_conv:0/0.17
  • dev-ml/ppx_sexp_message:0/0.17
  • dev-ml/ppx_sexp_value:0/0.17
  • dev-ml/ppx_stable:0/0.17
  • dev-ml/ppx_stable_witness:0/0.17
  • dev-ml/ppx_string:0/0.17
  • dev-ml/ppx_string_conv:0/0.17
  • dev-ml/ppx_tydi:0/0.17
  • dev-ml/ppx_typerep_conv:0/0.17
  • dev-ml/ppx_variants_conv:0/0.17
  • dev-ml/ppxlib_jane
  • dev-ml/protocol_version_header:0/0.17
  • dev-ml/sexp_pretty:0/0.17
  • dev-ml/sexplib0:0/0.17
  • dev-ml/sexplib:0/0.17
  • dev-ml/splittable_random:0/0.17
  • dev-ml/stdio:0/0.17
  • dev-ml/textutils:0/0.17
  • dev-ml/textutils_kernel:0/0.17
  • dev-ml/time_now:0/0.17
  • dev-ml/timezone:0/0.17
  • dev-ml/typerep:0/0.17
  • dev-ml/uopt:0/0.17
  • dev-ml/variantslib:0/0.17
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.2 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.2 arm, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.2 x86, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.2 ppc64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.2 amd64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/ocaml: ignoring TEXREL on x86
Closes: https://bugs.gentoo.org/939733 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
*/*: unkeyword ~ia64
Change was created by running the following command:: ekeyword ^ia64 */*/*.ebuild Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/ocaml: add 5.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/ocaml: VariableOrderWrong
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Alfredo Tupone · gentoo
dev-lang/ocaml: drop 4.14.0-r1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/ocaml: ignore TEXTRELS
Closes: https://bugs.gentoo.org/924364 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/ocaml: add 4.14.2
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
John Helmert III · gentoo
dev-lang/ocaml: drop 4.05.0-r9
Bug: https://bugs.gentoo.org/719134 Signed-off-by: John Helmert III <ajak@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/28090 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Leonardo Hernández Hernández · gentoo
dev-lang/ocaml: replace `filter-flags -flto*` with `filter-lto`
Signed-off-by: Leonardo Hernández Hernández <leohdz172@proton.me> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Fabian Groffen · gentoo
*/*: remove sparc-solaris keyword
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Fabian Groffen · gentoo
*/*: remove x86-solaris keyword
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 arm64, #901711
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 arm, #901711
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.1 ppc64, #901615
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 ppc64, #901711
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 ppc64, #901673
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 x86, #901711
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.05.0-r9 amd64, #901711
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 x86, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 amd64, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 x86, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 amd64, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 arm, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 arm64, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.0-r1 arm, #901673
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.14.1 arm64, #901615
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
dev-lang/ocaml: Drop alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-lang/ocaml: add 4.14.1
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
WANG Xuerui · gentoo
dev-lang/ocaml: keyword 4.14.0-r1 for ~loong
Signed-off-by: WANG Xuerui <xen0n@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.09.0-r3 ppc64, #804498
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.09.0-r3 arm, #804498
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-lang/ocaml: Stabilize 4.09.0-r3 arm64, #804498
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Sam James · gentoo
dev-lang/ocaml: use tarball for 4.05/4.09/4.10 patches
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
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>
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 arm64, #804774
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 arm, #804774
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 ppc64, #804774
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: Stabilize 4.11.2-r2 ppc, #804774
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: filter -flto* too
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
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>
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>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: drop 4.12.0-r2, 4.13.0
Signed-off-by: Sam James <sam@gentoo.org>
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>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: add 4.13.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-lang/ocaml: add 4.13.0
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-lang/ocaml: add 4.12.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Sam James · gentoo
dev-lang/ocaml: add 4.12.0
Closes: https://bugs.gentoo.org/772407 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-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>
Sam James · gentoo
dev-lang/ocaml: drop 4.10.0, 4.11.1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
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>
Repository mirror & CI · gentoo
Merge updates from master
Sergei Trofimovich · gentoo
*/*: depeywork dev-lang/ocaml and revdeps on sparc
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
*/*: Drop stable ia64 keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Matt Turner · gentoo
*/*: Drop stable alpha keywords
Signed-off-by: Matt Turner <mattst88@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-lang: Remove *-fbsd KEYWORDS
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
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"
Repository mirror & CI · gentoo
Merge updates from master
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>
Repository mirror & CI · gentoo
Merge updates from master
Tim Harder · gentoo
dev-lang/ocaml: use https for HOMEPAGE
Signed-off-by: Tim Harder <radhermit@gentoo.org>
Matt Turner · gentoo
dev-lang/ocaml: Drop unnecessary x11-proto dep
Alexis Ballier · gentoo
dev-lang/ocaml: remove 4.06.0, moved to overlay
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.06
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.06.0-rc1
Package-Manager: Portage-2.3.13, Repoman-2.3.4
Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.06.0_beta2
Package-Manager: Portage-2.3.11, Repoman-2.3.3
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
Alexis Ballier · gentoo
dev-lang/ocaml: add 4.06.0_beta1
Package-Manager: Portage-2.3.11, Repoman-2.3.3
Alexis Ballier · gentoo
dev-lang/ocaml: Remove old
Package-Manager: Portage-2.3.11, Repoman-2.3.3
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"
Tobias Klausmann · gentoo
dev-lang/ocaml-4.04.2-r0: alpha stable
Gentoo-Bug: 622544
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
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
Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05
Package-Manager: Portage-2.3.6, Repoman-2.3.2
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>
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>
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>
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"
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>
Sergei Trofimovich · gentoo
dev-lang/ocaml: ia64 stable, bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.2
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>
Alexis Ballier · gentoo
dev-lang/ocaml: Remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05.0_rc1
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.04.2, bug #622544
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Fabian Groffen · gentoo
dev-lang/ocaml: add Prefix keywords, bug #618700
Package-Manager: Portage-2.3.6, Repoman-2.3.1
Alexis Ballier · gentoo
dev-lang/ocaml: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.04.1
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: remove shadowed version
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: Strip -ggdb3 from cflags as it causes issues.
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: Bump to 4.05 beta3
Package-Manager: Portage-2.3.5, Repoman-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: Restore standard keywords now that it is masked
Package-Manager: Portage-2.3.4, 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-lang/ocaml: Shorten description.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
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
Alexis Ballier · gentoo
dev-lang/ocaml: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
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"
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
T. Malfatti · gentoo
media-libs/portaudio: Version bump
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>
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>
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>
Tobias Klausmann · gentoo
dev-lang/ocaml-4.04.0-r0: stable on alpha
Gentoo-Bug: 581946
Alexis Ballier · gentoo
dev-lang/ocaml: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
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>
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>
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>
Mikle Kolyada · gentoo
dev-lang/ocaml: last EAPI=1 ebuild is gone
Package-Manager: portage-2.3.0
Mikle Kolyada · gentoo
dev-lang/ocaml: ia64 stable
Package-Manager: portage-2.3.0
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>
Alexis Ballier · gentoo
dev-lang/ocaml: restore keywords on 4.04
Package-Manager: portage-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.04.0 (still without keywords for now)
Package-Manager: portage-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: add missing dep on binutils-libs
Package-Manager: portage-2.3.2
Alexis Ballier · gentoo
dev-lang/ocaml: add 4.04.0_beta2 without keywords
Package-Manager: portage-2.3.0
Alexis Ballier · gentoo
dev-lang/ocaml: remove 4.03 beta
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-lang/ocaml: bump to 4.03
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-lang/ocaml: add flambda useflag
Package-Manager: portage-2.2.28 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
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>
Alexis Ballier · gentoo
dev-lang/ocaml: add tests support
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
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>
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>
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>
Tobias Klausmann · gentoo
dev-lang/ocaml: add alpha keyword
Gentoo-Bug: 463018 Package-Manager: portage-2.2.27
Markus Meier · gentoo
dev-lang/ocaml: arm stable, bug #463018
Package-Manager: portage-2.2.25 RepoMan-Options: --include-arches="arm"
Agostino Sarubbo · gentoo
dev-lang/ocaml: ppc stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="ppc"
Agostino Sarubbo · gentoo
dev-lang/ocaml: x86 stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="x86"
Alexis Ballier · gentoo
dev-lang/ocaml: remove old
Package-Manager: portage-2.2.24 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Agostino Sarubbo · gentoo
dev-lang/ocaml: amd64 stable wrt bug #463018
Package-Manager: portage-2.2.20.1 RepoMan-Options: --include-arches="amd64"
Jeroen Roovers · gentoo
dev-lang/ocaml: Stable for PPC64 (bug #463018).
Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
Jeroen Roovers · gentoo
dev-lang/ocaml: Stable for HPPA (bug #463018).
Package-Manager: portage-2.2.23 RepoMan-Options: --ignore-arches
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