summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/cryptokit: Stabilize 1.11 ppc, #737156Sam James2020-10-261-1/+1
* dev-ml/cryptokit: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
* dev-ml/cryptokit: Keyword 1.16.1-r1 ppc, #748576Sam James2020-10-241-1/+1
* dev-ml/cryptokit: Keyword 1.16.1-r1 arm, #748576Sam James2020-10-221-1/+1
* dev-ml/cryptokit: Keyword 1.16.1-r1 arm64, #748576Sam James2020-10-221-1/+1
* dev-ml/cryptokit: require dev-ml/zarith[-mpir]Sam James2020-10-221-1/+4
* dev-ml/cryptokit: drop 1.12Jakov Smolic2020-10-172-53/+0
* dev-ml/cryptokit: add missing dev-ml/dune-configurator depJakov Smolic2020-10-171-0/+1
* dev-ml/cryptokit: MissingTestRestrictSam James2020-10-171-0/+1
* dev-ml/cryptokit: bump to 1.16.1Sam James2020-10-172-0/+59
* dev-ml/cryptokit: Stabilize 1.11 amd64, #737156Sam James2020-08-151-2/+2
* dev-ml/cryptokit: x86 keyworded (bug #729796)Sam James2020-07-201-2/+2
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml: Remove *-fbsd KEYWORDSMichał Górny2019-10-113-3/+3
* dev-ml/cryptokit: x86 keyworded (bug #596862)Thomas Deutschmann2018-01-091-2/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-3/+3
* dev-ml/cryptokit: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-7/+7
* dev-ml/cryptokit: keyworded 1.12 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/cryptokit: keyworded 1.11 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/cryptokit: bump to 1.12 and switch to githubAlexis Ballier2017-07-253-0/+56
* dev-ml/cryptokit: tests require ocamlopt, bug #624294Alexis Ballier2017-07-091-1/+2
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* dev-ml/cryptokit: bump to 1.11Alexis Ballier2016-10-112-0/+51
* dev-ml/cryptokit: remove oldAlexis Ballier2016-02-073-99/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-085-0/+154