summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/dune: bump to 2.8.2Sam James2021-01-242-0/+34
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: adopt for ml@Sam James2021-01-171-0/+4
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.7.1 amd64, #757444Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: stable 2.7.1 for ppcSergei Trofimovich2020-12-131-1/+1
| | | | | | | | stable wrt bug #757444 (STABLEREQ) Tested-by: ernsteiswuerfel Package-Manager: Portage-3.0.12, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/dune: x86 stable (bug #757444)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
* dev-ml/dune: ppc64 keyworded (bug #748576)Sam James2020-10-281-1/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Bump to 2.7.1Mark Wright2020-10-133-1/+42
| | | | | | Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/dune: arm64 stable (#710374)Sam James (sam_c)2020-03-311-1/+1
| | | | | Signed-off-by: Sam James (sam_c) <sam@cmpct.info> Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* dev-ml/dune: x86 stable wrt bug #710374Agostino Sarubbo2020-02-241-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/dune: arm stable wrt bug #710374Agostino Sarubbo2020-02-241-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/dune: remove old versionTupone Alfredo2020-02-212-38/+0
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: amd64 stable wrt bug #710374Agostino Sarubbo2020-02-211-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/dune: version bumpTupone Alfredo2020-01-172-0/+33
| | | | | | Bugs: https://bugs.gentoo.org/704304 Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: Remove ml@ from packages maintainersMichał Górny2019-12-131-4/+1
| | | | | Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune: amd64 stableTupone Alfredo2019-10-211-1/+1
| | | | | Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add dev-ml/duneTupone Alfredo2019-07-253-0/+49
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11