| Commit message (Expand) | Author | Age | Files | Lines |
* | dev-ml/zarith: fix make | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2023-01-25 | 2 | -1/+14 |
* | dev-ml/zarith: destabilise for ppc | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2022-03-03 | 1 | -2/+2 |
* | dev-ml/zarith: remove old | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-12 | 2 | -59/+0 |
* | dev-ml/zarith: VariableScope | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-09-12 | 1 | -1/+4 |
* | **/metadata.xml: Replace http by https in DOCTYPE element | ![](//www.gravatar.com/avatar/9b780464538c2e5d91e7ef48683ad46d?s=13&d=retro) Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.12 x86, #783585 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.12 ppc, #783585 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.12 amd64, #783585 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-04-18 | 1 | -1/+1 |
* | dev-ml/zarith: remove unused patch(es) | ![](//www.gravatar.com/avatar/e41d23b7c6e57e8429f31ec2f6984955?s=13&d=retro) Michael Mair-Keimberger | 2021-03-16 | 1 | -11/+0 |
* | dev-ml/zarith: drop 1.7, 1.9.1, 1.10 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-03-15 | 4 | -171/+0 |
* | dev-ml/zarith: bump to 1.12 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-03-03 | 2 | -0/+58 |
* | dev-ml/zarith: amd64 stable wrt bug #772842 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-02-26 | 1 | -1/+1 |
* | dev-ml/zarith: x86 stable wrt bug #772842 | ![](//www.gravatar.com/avatar/ffd3ec5554c5bffa647e2bf8ae171e68?s=13&d=retro) Agostino Sarubbo | 2021-02-26 | 1 | -1/+1 |
* | dev-ml/zarith: Stabilize 1.11 ppc, #772842 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-02-25 | 1 | -1/+1 |
* | dev-ml/zarith: ml maintains it | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2021-01-14 | 1 | -3/+3 |
* | dev-ml/zarith: bump to 1.11 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2021-01-11 | 2 | -0/+59 |
* | dev-ml/zarith: Stabilize 1.9.1 amd64, #737156 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-11-01 | 1 | -1/+1 |
* | dev-ml/zarith: version bump to 1.10 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2020-10-26 | 2 | -0/+59 |
* | dev-ml/zarith: x86 stable (bug #737156) | ![](//www.gravatar.com/avatar/9d15a677bb67b6c5e4eb01e8ed206d3b?s=13&d=retro) Thomas Deutschmann | 2020-10-26 | 1 | -1/+1 |
* | dev-ml/zarith: Keyword 1.9.1 arm, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-22 | 1 | -1/+1 |
* | dev-ml/zarith: Keyword 1.9.1 arm64, #748576 | ![](//www.gravatar.com/avatar/786f3a957bcc3a8d19160e824fc64b8e?s=13&d=retro) Sam James | 2020-10-22 | 1 | -1/+1 |
* | dev-ml/zarith: stable 1.9.1 for ppc | ![](//www.gravatar.com/avatar/1be5b056f9ea2711489589f41227f5a0?s=13&d=retro) Sergei Trofimovich | 2020-09-07 | 1 | -1/+1 |
* | dev-ml/zarith: using AR | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Alfredo Tupone | 2020-05-17 | 2 | -1/+16 |
* | dev-ml/zarith: remove old versions | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2020-03-27 | 4 | -153/+0 |
* | dev-ml/zarith: require a newer version of ocaml | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2020-03-27 | 5 | -9/+9 |
* | dev-ml/zarith: took maintainership | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2020-02-17 | 1 | -1/+4 |
* | dev-ml/zarith: Version bump to 1.9.1 | ![](//www.gravatar.com/avatar/9ff745fda2bc64cdad97b91ecc09ef87?s=13&d=retro) Tupone Alfredo | 2020-02-17 | 2 | -0/+55 |
* | */*: Remove ml@ from packages maintainers | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2019-12-13 | 1 | -4/+1 |
* | dev-ml/zarith: amd64 stable wrt bug #672444 | ![](//www.gravatar.com/avatar/8052ba2e0894e17b4d3ee627c0986a7d?s=13&d=retro) Mikle Kolyada | 2018-12-15 | 1 | -2/+2 |
* | dev-ml/*: Update Manifest hashes | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2017-12-09 | 1 | -4/+4 |
* | dev-ml/zarith: [QA] Consistent whitespace in metadata.xml | ![](//www.gravatar.com/avatar/ad749c7d33947840e611b0e18be937fa?s=13&d=retro) David Seifert | 2017-11-26 | 1 | -10/+10 |
* | dev-ml/zarith: bump to 1.7 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2017-10-17 | 2 | -0/+53 |
* | dev-ml/zarith: bump to 1.6 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2017-09-28 | 2 | -0/+53 |
* | dev-ml/zarith: keyworded 1.5 for ppc, bug #596862 | ![](//www.gravatar.com/avatar/1be5b056f9ea2711489589f41227f5a0?s=13&d=retro) Sergei Trofimovich | 2017-09-10 | 1 | -1/+1 |
* | dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862 | ![](//www.gravatar.com/avatar/1be5b056f9ea2711489589f41227f5a0?s=13&d=retro) Sergei Trofimovich | 2017-09-10 | 1 | -1/+1 |
* | dev-ml/zarith: Skip tests when not building native code, they require it. Bug... | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2017-07-09 | 1 | -1/+5 |
* | dev-ml/zarith: Bump to 1.5 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2017-05-26 | 3 | -0/+52 |
* | Drop $Id$ per council decision in bug #611234. | ![](//www.gravatar.com/avatar/92acbdd6a6a4ac8239f987f1ee9181b8?s=13&d=retro) Robin H. Johnson | 2017-02-28 | 1 | -1/+0 |
* | dev-ml/zarith: fix bug 585026 | ![](//www.gravatar.com/avatar/59bdbedf960ad2f452194879dac6f68f?s=13&d=retro) Andrew Savchenko | 2017-02-23 | 1 | -2/+2 |
* | dev-ml/zarith: remove old | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2016-02-07 | 3 | -95/+0 |
* | Set appropriate maintainer types in metadata.xml (GLEP 67) | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2016-01-24 | 1 | -1/+1 |
* | Replace all herds with appropriate projects (GLEP 67) | ![](//www.gravatar.com/avatar/ff5429ef741b434eb2011692832f810e?s=13&d=retro) Michał Górny | 2016-01-24 | 1 | -1/+4 |
* | dev-ml/zarith: bump to 1.4.1 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2015-11-12 | 2 | -0/+48 |
* | dev-ml/zarith: Bump to 1.4. | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2015-11-05 | 2 | -0/+48 |
* | dev-ml/zarith: revbump | ![](//www.gravatar.com/avatar/65baa0ba287b1dabefe5f74b35793893?s=13&d=retro) Matthew Brewer | 2015-10-17 | 1 | -1/+1 |
* | dev-ml/zarith: initial import, bug #388903 | ![](//www.gravatar.com/avatar/bdfe43959b94effb58540b239fc9a312?s=13&d=retro) Alexis Ballier | 2015-09-19 | 3 | -0/+55 |