summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/zarith: Stabilize 1.13 x86, #924580Arthur Zamarin2024-02-141-2/+2
* dev-ml/zarith: bump to 1.13Maciej Barć2023-09-222-0/+62
* dev-ml/zarith: fix makeAlfredo Tupone2023-01-252-1/+14
* dev-ml/zarith: destabilise for ppcSam James2022-03-031-2/+2
* dev-ml/zarith: remove oldAlfredo Tupone2021-09-122-59/+0
* dev-ml/zarith: VariableScopeAlfredo Tupone2021-09-121-1/+4
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* dev-ml/zarith: Stabilize 1.12 x86, #783585Sam James2021-04-181-1/+1
* dev-ml/zarith: Stabilize 1.12 ppc, #783585Sam James2021-04-181-1/+1
* dev-ml/zarith: Stabilize 1.12 amd64, #783585Sam James2021-04-181-1/+1
* dev-ml/zarith: remove unused patch(es)Michael Mair-Keimberger2021-03-161-11/+0
* dev-ml/zarith: drop 1.7, 1.9.1, 1.10Sam James2021-03-154-171/+0
* dev-ml/zarith: bump to 1.12Sam James2021-03-032-0/+58
* dev-ml/zarith: amd64 stable wrt bug #772842Agostino Sarubbo2021-02-261-1/+1
* dev-ml/zarith: x86 stable wrt bug #772842Agostino Sarubbo2021-02-261-1/+1
* dev-ml/zarith: Stabilize 1.11 ppc, #772842Sam James2021-02-251-1/+1
* dev-ml/zarith: ml maintains itAlfredo Tupone2021-01-141-3/+3
* dev-ml/zarith: bump to 1.11Sam James2021-01-112-0/+59
* dev-ml/zarith: Stabilize 1.9.1 amd64, #737156Sam James2020-11-011-1/+1
* dev-ml/zarith: version bump to 1.10Alfredo Tupone2020-10-262-0/+59
* dev-ml/zarith: x86 stable (bug #737156)Thomas Deutschmann2020-10-261-1/+1
* dev-ml/zarith: Keyword 1.9.1 arm, #748576Sam James2020-10-221-1/+1
* dev-ml/zarith: Keyword 1.9.1 arm64, #748576Sam James2020-10-221-1/+1
* dev-ml/zarith: stable 1.9.1 for ppcSergei Trofimovich2020-09-071-1/+1
* dev-ml/zarith: using ARAlfredo Tupone2020-05-172-1/+16
* dev-ml/zarith: remove old versionsTupone Alfredo2020-03-274-153/+0
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-275-9/+9
* dev-ml/zarith: took maintainershipTupone Alfredo2020-02-171-1/+4
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-172-0/+55
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
* dev-ml/zarith: amd64 stable wrt bug #672444Mikle Kolyada2018-12-151-2/+2
* dev-ml/*: Update Manifest hashesMichał Górny2017-12-091-4/+4
* dev-ml/zarith: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-10/+10
* dev-ml/zarith: bump to 1.7Alexis Ballier2017-10-172-0/+53
* dev-ml/zarith: bump to 1.6Alexis Ballier2017-09-282-0/+53
* dev-ml/zarith: keyworded 1.5 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/zarith: keyworded 1.4.1 for ppc, bug #596862Sergei Trofimovich2017-09-101-1/+1
* dev-ml/zarith: Skip tests when not building native code, they require it. Bug...Alexis Ballier2017-07-091-1/+5
* dev-ml/zarith: Bump to 1.5Alexis Ballier2017-05-263-0/+52
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-ml/zarith: fix bug 585026Andrew Savchenko2017-02-231-2/+2
* dev-ml/zarith: remove oldAlexis Ballier2016-02-073-95/+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
* dev-ml/zarith: bump to 1.4.1Alexis Ballier2015-11-122-0/+48
* dev-ml/zarith: Bump to 1.4.Alexis Ballier2015-11-052-0/+48
* dev-ml/zarith: revbumpMatthew Brewer2015-10-171-1/+1
* dev-ml/zarith: initial import, bug #388903Alexis Ballier2015-09-193-0/+55