dev-ml / seq

Compatibility package for the standard OCaml iterator type

Official package sites : https://github.com/c-cube/seq ·

v0.2.2 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86
USE flags
ocamlopt

v0.2 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 arm arm64 ppc ppc64 x86
USE flags
ocamlopt

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

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

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

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

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

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

dev-ml / re : Regular expression library for OCaml

sci-mathematics / alt-ergo : Automatic theorem prover

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/seq: bump to 0.2.2
Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Stabilize 0.2 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/seq: Stabilize 0.2 arm, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: drop 0.1, 1
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Stabilize 0.2 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/seq: Stabilize 0.2 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Keyword 0.2 arm64, #769728
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Stabilize 0.2 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Stabilize 0.2 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Keyword 0.2 arm, #769728
Tested-by: John Helmert III <jchelmert3@posteo.net> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: Keyword 0.2 ppc, #769728
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/seq: Keyword 0.2 ppc64, #769728
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: bump to 0.2
This doesn't rely on opam so will break a circular dep: (dev-ml/seq-1:0/1::gentoo, scheduled) depends on (dev-ml/opam-installer-2.0.7-r1:0/2.0.7::gentoo, scheduled) (buildtime) (dev-ml/opam-format-2.0.7-r1:0/2.0.7::gentoo, scheduled) (buildtime) (dev-ml/re-1.9.0:0/1.9.0::gentoo, scheduled) (buildtime_slot_op) (dev-ml/seq-1:0/1::gentoo, scheduled) (buildtime_slot_op) Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/seq: ppc64 keyworded (bug #748576)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mark Wright · gentoo
dev-ml/seq: Bump to 1
Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Mike Gilbert · gentoo
dev-ml/seq: QA_FLAGS_IGNORED accepts regexes, not globs
Signed-off-by: Mike Gilbert <floppym@gentoo.org>
Mike Gilbert · gentoo
dev-ml/seq: fix QA_FLAGS_IGNORED syntax
Signed-off-by: Mike Gilbert <floppym@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/seq: remove CFLAGS QA warning
Closes: https://bugs.gentoo.org/728042 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/seq: fix dependency
Closes: https://bugs.gentoo.org/703248 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/seq: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/seq: fix dependency
Closes: https://bugs.gentoo.org/691152 Package-Manager: Portage-2.3.66, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/seq: Bad Filename
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11
Repository mirror & CI · gentoo
Merge updates from master
Tupone Alfredo · gentoo
dev-ml/seq: compatibility for iterator type
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11