summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/stdlib-shims: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Keyword 0.3.0 riscv, #835392Yongxiang Liang2022-04-181-1/+1
| | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/stdlib-shims: destabilise for ppcSam James2022-03-032-3/+3
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 arm64, #828347Sam James2022-01-031-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 ppc, #828347Arthur Zamarin2022-01-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 ppc64, #828347Arthur Zamarin2022-01-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 arm, #828347Arthur Zamarin2022-01-021-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 x86, #828347Jakov Smolić2022-01-021-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.3.0 amd64, #828347Jakov Smolić2022-01-021-2/+2
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/stdlib-shims: enable +ocamlopt by defaultSam James2021-10-022-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
| | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org>
* */*: Add proxied="yes" for non-@gentoo.org peopleMichał Górny2021-03-161-1/+1
| | | | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '/pkgmetadata/maintainer[substring(email, string-length(email) - string-length("@gentoo.org") + 1) != "@gentoo.org"]' \ -t attr -n proxied -v yes {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* */*: Add 'proxied="proxy"' for proxy-maint projectMichał Górny2021-03-161-1/+1
| | | | | | | | | | Done via: find -name metadata.xml -exec xml ed -P -L \ -a '//maintainer[email="proxy-maint@gentoo.org"]' \ -t attr -n proxied -v proxy {} + Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.2.0 arm64, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.2.0 arm, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.2.0 ppc, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.2.0 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.2.0 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Stabilize 0.2.0 ppc64, #769317Sam James2021-02-101-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: bump to 0.3.0Sam James2021-02-082-0/+18
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: 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/stdlib-shims: Keyword 0.2.0 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: Add ~arm ~arm64 KEYWORDS from ml-overlayMark Wright2020-10-131-1/+1
| | | | | | 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/stdlib-shims: new package 0.2.0Rafael Kitover2020-06-243-0/+44
This is a dependency of dev-ml/ocaml-fileutils-0.6.2. Using the new dune.eclass. Package-Manager: Portage-2.3.100, Repoman-2.3.22 Signed-off-by: Rafael Kitover <rkitover@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org>