| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/zarith: bump to 1.13 | Maciej Barć | 2023-09-22 | 2 | -0/+62 |
* | dev-ml/zarith: fix make | Alfredo Tupone | 2023-01-25 | 2 | -1/+14 |
* | dev-ml/zarith: destabilise for ppc | Sam James | 2022-03-03 | 1 | -2/+2 |
* | dev-ml/zarith: remove old | Alfredo Tupone | 2021-09-12 | 2 | -59/+0 |
* | dev-ml/zarith: VariableScope | Alfredo Tupone | 2021-09-12 | 1 | -1/+4 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.12 x86, #783585 | Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.12 ppc, #783585 | Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.12 amd64, #783585 | Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/zarith: remove unused patch(es) | Michael Mair-Keimberger | 2021-03-16 | 1 | -11/+0 |
* | dev-ml/zarith: drop 1.7, 1.9.1, 1.10 | Sam James | 2021-03-15 | 4 | -171/+0 |
* | dev-ml/zarith: bump to 1.12 | Sam James | 2021-03-03 | 2 | -0/+58 |
* | dev-ml/zarith: amd64 stable wrt bug #772842 | Agostino Sarubbo | 2021-02-26 | 1 | -1/+1 |
* | dev-ml/zarith: x86 stable wrt bug #772842 | Agostino Sarubbo | 2021-02-26 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.11 ppc, #772842 | Sam James | 2021-02-25 | 1 | -1/+1 |
* | dev-ml/zarith: ml maintains it | Alfredo Tupone | 2021-01-14 | 1 | -3/+3 |
* | dev-ml/zarith: bump to 1.11 | Sam James | 2021-01-11 | 2 | -0/+59 |
* | dev-ml/zarith: Stabilize 1.9.1 amd64, #737156 | Sam James | 2020-11-01 | 1 | -1/+1 |
* | dev-ml/zarith: version bump to 1.10 | Alfredo Tupone | 2020-10-26 | 2 | -0/+59 |
* | dev-ml/zarith: x86 stable (bug #737156) | Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/zarith: Keyword 1.9.1 arm, #748576 | Sam James | 2020-10-22 | 1 | -1/+1 |
* | dev-ml/zarith: Keyword 1.9.1 arm64, #748576 | Sam James | 2020-10-22 | 1 | -1/+1 |
* | dev-ml/zarith: stable 1.9.1 for ppc | Sergei Trofimovich | 2020-09-07 | 1 | -1/+1 |
* | dev-ml/zarith: using AR | Alfredo Tupone | 2020-05-17 | 2 | -1/+16 |
* | dev-ml/zarith: remove old versions | Tupone Alfredo | 2020-03-27 | 4 | -153/+0 |
* | dev-ml/zarith: require a newer version of ocaml | Tupone Alfredo | 2020-03-27 | 5 | -9/+9 |
* | dev-ml/zarith: took maintainership | Tupone Alfredo | 2020-02-17 | 1 | -1/+4 |
* | dev-ml/zarith: Version bump to 1.9.1 | Tupone Alfredo | 2020-02-17 | 2 | -0/+55 |
* | */*: Remove ml@ from packages maintainers | Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | dev-ml/zarith: amd64 stable wrt bug #672444 | Mikle Kolyada | 2018-12-15 | 1 | -2/+2 |
* | dev-ml/*: Update Manifest hashes | Michał Górny | 2017-12-09 | 1 | -4/+4 |
* | dev-ml/zarith: [QA] Consistent whitespace in metadata.xml | David Seifert | 2017-11-26 | 1 | -10/+10 |
* | dev-ml/zarith: bump to 1.7 | Alexis Ballier | 2017-10-17 | 2 | -0/+53 |
* | dev-ml/zarith: bump to 1.6 | Alexis Ballier | 2017-09-28 | 2 | -0/+53 |
* | dev-ml/zarith: keyworded 1.5 for ppc, bug #596862 | Sergei Trofimovich | 2017-09-10 | 1 | -1/+1 |
* | dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862 | Sergei Trofimovich | 2017-09-10 | 1 | -1/+1 |
* | dev-ml/zarith: Skip tests when not building native code, they require it. Bug... | Alexis Ballier | 2017-07-09 | 1 | -1/+5 |
* | dev-ml/zarith: Bump to 1.5 | Alexis Ballier | 2017-05-26 | 3 | -0/+52 |
* | Drop $Id$ per council decision in bug #611234. | Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | dev-ml/zarith: fix bug 585026 | Andrew Savchenko | 2017-02-23 | 1 | -2/+2 |
* | dev-ml/zarith: remove old | Alexis Ballier | 2016-02-07 | 3 | -95/+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 |
* | dev-ml/zarith: bump to 1.4.1 | Alexis Ballier | 2015-11-12 | 2 | -0/+48 |
* | dev-ml/zarith: Bump to 1.4. | Alexis Ballier | 2015-11-05 | 2 | -0/+48 |
* | dev-ml/zarith: revbump | Matthew Brewer | 2015-10-17 | 1 | -1/+1 |
* | dev-ml/zarith: initial import, bug #388903 | Alexis Ballier | 2015-09-19 | 3 | -0/+55 |