summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* dev-ml/opam-solver: bump to 2.0.8Sam James2021-02-082-0/+40
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: 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/opam-solver: Keyword 2.0.7 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Keyword 2.0.7 x86, #748576Sam James2020-10-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Fix QA MissingTestRestrictMark Wright2020-10-151-0/+1
| | | | | Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>