dev-ml / seq

Compatibility package for the standard OCaml iterator type

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

v0.3 :: 0 :: gentoo

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

v0.2.2 :: 0 :: gentoo

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

v0.2 :: 0 :: gentoo

Modified
License
GPL-3
Keywords
amd64 arm arm64 ppc64 x86 ~ppc
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 / gen : Iterators for OCaml, both restartable and consumable

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

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

dev-ml / re : Regular expression library for OCaml

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

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

sci-mathematics / alt-ergo : Automatic theorem prover

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

Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/seq: bump to 0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Yongxiang Liang · gentoo
dev-ml/seq: Keyword 0.2.2 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
Sam James · gentoo
dev-ml/seq: 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
Sam James · gentoo
dev-ml/seq: Stabilize 0.2.2 arm, #817743
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.2 arm64, #817743
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.2 x86, #817743
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Agostino Sarubbo · gentoo
dev-ml/seq: ppc stable wrt bug #817743
Package-Manager: Portage-3.0.20, Repoman-3.0.3 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@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.2 ppc64, #817743
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/seq: Stabilize 0.2.2 amd64, #817743
Signed-off-by: Sam James <sam@gentoo.org>
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