dev-ml / cmdliner

Declarative definition of command line interfaces for OCaml

Official package sites : http://erratique.ch/software/cmdliner ·

v1.3.0 :: 0/1.3.0 :: gentoo

Modified
License
ISC
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
USE flags
ocamlopt

v1.2.0 :: 0/1.2.0 :: gentoo

Modified
License
ISC
Keywords
amd64 arm arm64 x86 ~ppc ~ppc64 ~riscv
USE flags
ocamlopt

v1.1.1 :: 0/1.1.1 :: gentoo

Modified
License
ISC
Keywords
amd64 arm arm64 ppc64 x86 ~ppc ~riscv
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 / findlib : OCaml tool to find/use non-standard packages

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

dev-ml / result : Compat result type

dev-ml / topkg : The transitory OCaml software packager

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

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

dev-ml / result : Compat result type

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

dev-ml / atd : Static types for JSON APIs

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

dev-ml / logs : Logging infrastructure for OCaml

dev-ml / ocaml-crunch : Convert a filesystem into a static OCaml module

dev-ml / odoc : OCaml documentation generator

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

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

dev-ml / uunf : Unicode text normalization

dev-ml / uuseg : Unicode text segmentation for OCaml

dev-ml / uutf : Non-blocking streaming Unicode codec 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
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.3.0 arm64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.3.0 arm, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.3.0 x86, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.3.0 ppc64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.3.0 amd64, #941576
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Maciej Barć · gentoo
dev-ml/cmdliner: drop old 1.0.4
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/cmdliner: add 1.3.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.2.0 x86, #933839
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.2.0 amd64, #933839
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.2.0 arm, #933839
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Arthur Zamarin · gentoo
dev-ml/cmdliner: Stabilize 1.2.0 arm64, #933839
Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/cmdliner: add 1.2.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.1.1 x86, #892271
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.1.1 arm, #892271
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.1.1 ppc64, #892271
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.1.1 arm64, #892271
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.1.1 amd64, #892271
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/cmdliner: serialize compilation
Closes: https://bugs.gentoo.org/852608 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
Yongxiang Liang · gentoo
dev-ml/cmdliner: Keyword 1.1.1 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
Alessandro Barbieri · gentoo
dev-ml/cmdliner: add 1.1.1
Closes: https://bugs.gentoo.org/836972 Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/24951 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: 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/cmdliner: Stabilize 1.0.4 arm64, #772833
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.0.4 arm, #772833
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/cmdliner: Stabilize 1.0.4 ppc, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.0.4 x86, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.0.4 amd64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: Stabilize 1.0.4 ppc64, #769317
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Aaron Bauman · gentoo
dev-ml/cmdliner: drop old
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cmdliner: 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/cmdliner: Fix QA MissingTestRestrict
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
Mark Wright · gentoo
dev-ml/cmdliner: Bump to 1.0.4
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
Alexey Sokolov · gentoo
dev-ml/cmdliner: update homepage
Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alexey Sokolov <sokolov@google.com> Signed-off-by: David Seifert <soap@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
*/*: [QA] Fix trivial cases of MissingTestRestrict
The result was achieved via the following pipeline: pkgcheck scan -c RestrictTestCheck -R FormatReporter \ --format '{category}/{package}/{package}-{version}.ebuild' | xargs -n32 grep -L RESTRICT | xargs -n32 sed -i -e '/^IUSE=.*test/aRESTRICT="!test? ( test )"' The resulting metadata was compared before and after the change. Few Go ebuilds had to be fixed manually due to implicit RESTRICT=strip added by the eclass. Two ebuilds have to be fixed because of multiline IUSE. Suggested-by: Robin H. Johnson <robbat2@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/13942 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Alexis Ballier · gentoo
dev-ml/cmdliner: bump to 1.0.2
Package-Manager: Portage-2.3.6, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/cmdliner: bump to 1.0.1
Package-Manager: Portage-2.3.6, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/cmdliner: Remove old
Package-Manager: Portage-2.3.6, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/cmdliner: keyword ~x86
Package-Manager: Portage-2.3.6, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/cmdliner: keyword ~arm64
Package-Manager: Portage-2.3.6, Repoman-2.3.2
Markus Meier · gentoo
dev-ml/cmdliner: add ~arm, bug #611014
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="arm"
Michael Weber · gentoo
dev-ml/cmdliner: add ~ppc (bug 527318).
Package-Manager: Portage-2.3.5, Repoman-2.3.2 RepoMan-Options: --include-arches="ppc"
Alexis Ballier · gentoo
dev-ml/cmdliner: keyword ~arm
Package-Manager: Portage-2.3.4, Repoman-2.3.2
Alexis Ballier · gentoo
dev-ml/cmdliner: Bump to 1.0.0
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-ml/cmdliner: add ocamlbuild dep
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/cmdliner: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Alexis Ballier · gentoo
dev-ml/cmdliner: bump to 0.9.8
Package-Manager: portage-2.2.23
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