summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 arm, #896100Matoro Mahri2024-01-191-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Ionen Wolkens <ionen@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 x86, #896100Sam James2024-01-111-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 ppc64, #896100Sam James2023-12-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 arm64, #896100Matoro Mahri2023-12-071-1/+1
| | | | | Signed-off-by: Matoro Mahri <matoro_gentoo@matoro.tk> Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: stabilize 2.1.3 for amd64Alfredo Tupone2023-05-131-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: add 2.1.3Alfredo Tupone2023-03-032-0/+43
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.10 amd64, #896100Sam James2023-02-231-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 ppc64, #859508Arthur Zamarin2022-11-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 arm64, #859508Arthur Zamarin2022-11-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 arm, #859508Arthur Zamarin2022-11-191-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: drop 2.0.8, 2.0.8-r1, 2.1.0, 2.1.1Sam James2022-07-245-168/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Keyword 2.1.2 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/opam-solver: destabilise for ppcSam James2022-03-033-5/+5
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/opam-solver: 2.1.2 bumpAlfredo Tupone2022-01-312-0/+43
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 x86, #817749Sam James2022-01-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 ppc64, #817749Arthur Zamarin2022-01-131-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 arm64, #817749Sam James2022-01-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 amd64, #817749Sam James2022-01-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 ppc, #817749Arthur Zamarin2022-01-101-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.9 arm, #817749Arthur Zamarin2022-01-101-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 x86, #804780Sam James2021-12-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: fix 2.0.10Sam James2021-11-061-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.1.1Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.0.10Sam James2021-11-062-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: src_compile is in dune.eclassAlfredo Tupone2021-10-033-12/+0
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam-solver: drop useless patchSam James2021-10-021-526/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add 2.1.0Sam James2021-10-023-0/+574
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 ppc, #804780Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 ppc64, #804780Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 arm, #804780Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 arm64, #804780Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8-r1 amd64, #804780Sam James2021-10-021-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: build with ocaml-4.12Alfredo Tupone2021-10-012-0/+8
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@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>
* dev-ml/opam-solver: add 2.0.9Sam James2021-07-282-0/+43
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Keyword 2.0.8-r1 x86, #788406Sam James2021-07-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: restore keywords for arm/arm64/ppc/ppc64Sam James2021-06-081-1/+1
| | | | | Bug: https://bugs.gentoo.org/794844 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: patch for dose3-6.x compatHank Leininger2021-06-062-0/+184
| | | | | | | | | Lifted from Debian, see https://bugs.debian.org/982733 Signed-off-by: Hank Leininger <hlein@korelogic.com> Closes: https://bugs.gentoo.org/788265 Package-Manager: Portage-3.0.18, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: drop 2.0.7-r1Sam James2021-03-152-41/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8 arm64, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8 arm, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8 ppc64, #772833Sam James2021-03-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: amd64 stable wrt bug #772833Agostino Sarubbo2021-03-041-1/+1
| | | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8 x86, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.0.8 ppc, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: fix depsSam James2021-02-081-4/+4
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: add ml@Sam James2021-02-081-0/+4
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>