| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/cryptokit: destabilise for ppc | Sam James | 2022-03-03 | 1 | -2/+2 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-ml/cryptokit: drop 1.10, 1.11 (oasis.eclass) | Sam James | 2021-03-13 | 3 | -100/+0 |
* | dev-ml/cryptokit: Stabilize 1.16.1-r1 x86, #775668 | Sam James | 2021-03-13 | 1 | -1/+1 |
* | dev-ml/cryptokit: Stabilize 1.16.1-r1 amd64, #775668 | Sam James | 2021-03-13 | 1 | -1/+1 |
* | dev-ml/cryptokit: Stabilize 1.16.1-r1 ppc, #775668 | Sam James | 2021-03-13 | 1 | -2/+2 |
* | dev-ml/cryptokit: Stabilize 1.11 ppc, #737156 | Sam James | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/cryptokit: x86 stable (bug #737156) | Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/cryptokit: Keyword 1.16.1-r1 ppc, #748576 | Sam James | 2020-10-24 | 1 | -1/+1 |
* | dev-ml/cryptokit: Keyword 1.16.1-r1 arm, #748576 | Sam James | 2020-10-22 | 1 | -1/+1 |
* | dev-ml/cryptokit: Keyword 1.16.1-r1 arm64, #748576 | Sam James | 2020-10-22 | 1 | -1/+1 |
* | dev-ml/cryptokit: require dev-ml/zarith[-mpir] | Sam James | 2020-10-22 | 1 | -1/+4 |
* | dev-ml/cryptokit: drop 1.12 | Jakov Smolic | 2020-10-17 | 2 | -53/+0 |
* | dev-ml/cryptokit: add missing dev-ml/dune-configurator dep | Jakov Smolic | 2020-10-17 | 1 | -0/+1 |
* | dev-ml/cryptokit: MissingTestRestrict | Sam James | 2020-10-17 | 1 | -0/+1 |
* | dev-ml/cryptokit: bump to 1.16.1 | Sam James | 2020-10-17 | 2 | -0/+59 |
* | dev-ml/cryptokit: Stabilize 1.11 amd64, #737156 | Sam James | 2020-08-15 | 1 | -2/+2 |
* | dev-ml/cryptokit: x86 keyworded (bug #729796) | Sam James | 2020-07-20 | 1 | -2/+2 |
* | */*: Remove ml@ from packages maintainers | Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | dev-ml: Remove *-fbsd KEYWORDS | Michał Górny | 2019-10-11 | 3 | -3/+3 |
* | dev-ml/cryptokit: x86 keyworded (bug #596862) | Thomas Deutschmann | 2018-01-09 | 1 | -2/+2 |
* | dev-ml/*: Update Manifest hashes | Michał Górny | 2017-12-09 | 1 | -3/+3 |
* | dev-ml/cryptokit: [QA] Consistent whitespace in metadata.xml | David Seifert | 2017-11-26 | 1 | -7/+7 |
* | dev-ml/cryptokit: keyworded 1.12 for ppc, bug #596862 | Sergei Trofimovich | 2017-09-10 | 1 | -1/+1 |
* | dev-ml/cryptokit: keyworded 1.11 for ppc, bug #596862 | Sergei Trofimovich | 2017-09-10 | 1 | -1/+1 |
* | dev-ml/cryptokit: bump to 1.12 and switch to github | Alexis Ballier | 2017-07-25 | 3 | -0/+56 |
* | dev-ml/cryptokit: tests require ocamlopt, bug #624294 | Alexis Ballier | 2017-07-09 | 1 | -1/+2 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 2 | -2/+0 |
* | dev-ml/cryptokit: bump to 1.11 | Alexis Ballier | 2016-10-11 | 2 | -0/+51 |
* | dev-ml/cryptokit: remove old | Alexis Ballier | 2016-02-07 | 3 | -99/+0 |
* | Set appropriate maintainer types in metadata.xml (GLEP 67) | Michał Górny | 2016-01-24 | 1 | -1/+1 |
* | Replace all herds with appropriate projects (GLEP 67) | Michał Górny | 2016-01-24 | 1 | -1/+4 |
* | Revert DOCTYPE SYSTEM https changes in metadata.xml | Mike Gilbert | 2015-08-24 | 1 | -1/+1 |
* | Use https by default | Justin Lecher | 2015-08-24 | 1 | -1/+1 |
* | proj/gentoo: Initial commit | Robin H. Johnson | 2015-08-08 | 5 | -0/+154 |