Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/dune
Commit message (Collapse)AuthorAgeFilesLines
* 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