dev-ml / cryptokit

Cryptographic primitives library for Objective Caml

Official package sites : https://github.com/xavierleroy/cryptokit ·

v1.19 :: 0/1.19 :: gentoo

Modified
License
LGPL-2
Keywords
~amd64 ~arm ~arm64 ~ppc ~x86
USE flags
ocamlopt test zlib

v1.16.1-r2 :: 0/1.16.1 :: gentoo

Modified
License
LGPL-2
Keywords
amd64 x86 ~arm ~arm64 ~ppc
USE flags
ocamlopt test zlib

General

ocamlopt
Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)
test
Enable dependencies and/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)
zlib
Add support for zlib compression

cpu_flags_x86

aes
Enable support for Intel's AES instruction set (AES-NI)

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

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

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

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

sys-libs / zlib : Standard (de)compression library

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

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

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

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

sys-libs / zlib : Standard (de)compression library

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

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

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

Repository mirror & CI · gentoo
Merge updates from master
Alfredo Tupone · gentoo
dev-ml/cryptokit: add 1.19
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Eli Schwartz · gentoo
dev-ml/cryptokit: mark "mpir" use dependency as disabled-if-missing
Support for mpir was removed from zarith, which means this is guaranteed to be disabled. That's what we want here anyway. Just indicate this with a use-dependency default. Fixes: a8c2b35f50a01d401be9c29abe6d720804ebbe44 Signed-off-by: Eli Schwartz <eschwartz93@gmail.com> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: 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
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: Stabilize 1.16.1-r1 x86, #775668
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cryptokit: Stabilize 1.16.1-r1 amd64, #775668
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: Stabilize 1.16.1-r1 ppc, #775668
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cryptokit: drop 1.10, 1.11 (oasis.eclass)
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: Stabilize 1.11 ppc, #737156
Tested-by: ernsteiswuerfel <erhard_f@mailbox.org> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Thomas Deutschmann · gentoo
dev-ml/cryptokit: x86 stable (bug #737156)
Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: Keyword 1.16.1-r1 ppc, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: Keyword 1.16.1-r1 arm, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cryptokit: Keyword 1.16.1-r1 arm64, #748576
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: require dev-ml/zarith[-mpir]
mpir doesn't provide mpz_powm_sec for constant-time modular exponentation which rightly results in a test failure. Let's require -mpir in the latest version of cryptokit, as earlier versions don't work with earlier OCaml anyway. Closes: https://bugs.gentoo.org/750740 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
Jakov Smolic · gentoo
dev-ml/cryptokit: drop 1.12
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Closes: https://github.com/gentoo/gentoo/pull/17958 Signed-off-by: Sam James <sam@gentoo.org>
Jakov Smolic · gentoo
dev-ml/cryptokit: add missing dev-ml/dune-configurator dep
Closes: https://bugs.gentoo.org/749714 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr> Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: MissingTestRestrict
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sam James <sam@gentoo.org>
Sam James · gentoo
dev-ml/cryptokit: bump to 1.16.1
Closes: https://bugs.gentoo.org/625938 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: Stabilize 1.11 amd64, #737156
Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Sam James · gentoo
dev-ml/cryptokit: x86 keyworded (bug #729796)
Package-Manager: Portage-2.3.103, Repoman-2.3.23 Signed-off-by: Sam James <sam@gentoo.org>
Repository mirror & CI · gentoo
Merge updates from master
Michał Górny · gentoo
dev-ml: Remove *-fbsd KEYWORDS
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Thomas Deutschmann · gentoo
dev-ml/cryptokit: x86 keyworded (bug #596862)
Package-Manager: Portage-2.3.19, Repoman-2.3.6
Sergei Trofimovich · gentoo
dev-ml/cryptokit: keyworded 1.12 for ppc, bug #596862
Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc"
Sergei Trofimovich · gentoo
dev-ml/cryptokit: keyworded 1.11 for ppc, bug #596862
Package-Manager: Portage-2.3.8, Repoman-2.3.3 RepoMan-Options: --include-arches="ppc"
Alexis Ballier · gentoo
dev-ml/cryptokit: bump to 1.12 and switch to github
Package-Manager: Portage-2.3.6, Repoman-2.3.3
Alexis Ballier · gentoo
dev-ml/cryptokit: tests require ocamlopt, bug #624294
Package-Manager: Portage-2.3.6, 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/cryptokit: bump to 1.11
Package-Manager: portage-2.3.1
Alexis Ballier · gentoo
dev-ml/cryptokit: remove old
Package-Manager: portage-2.2.27 Signed-off-by: Alexis Ballier <aballier@gentoo.org>
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