summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/dune-configurator: Stabilize 3.10.0 arm, #933822Arthur Zamarin2024-06-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.10.0 arm64, #933822Sam James2024-06-081-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.10.0 amd64, #933822Arthur Zamarin2024-06-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.10.0 x86, #933822Arthur Zamarin2024-06-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.10.0 ppc64, #933822Arthur Zamarin2024-06-081-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: add 3.11.1Alfredo Tupone2024-06-082-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: drop 3.0.3-r1, 3.2.0, 3.7.0, 3.8.0, 3.9.0, 3.9.1Alfredo Tupone2024-06-047-243/+0
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* */*: Reassign gienah's packagesMichał Górny2024-02-141-4/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.3 arm, #896102Arthur Zamarin2023-08-161-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: add 3.10.0Alfredo Tupone2023-08-022-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.9.1Alfredo Tupone2023-07-112-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.9.0Alfredo Tupone2023-07-032-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.8.0Alfredo Tupone2023-05-232-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: stabilize 3.7.1 for amd64Alfredo Tupone2023-05-201-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.7.1Alfredo Tupone2023-04-162-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.6.1 arm64, #901653Arthur Zamarin2023-03-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.6.1 ppc64, #901653Arthur Zamarin2023-03-171-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.6.1 amd64, #901653Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.6.1 x86, #901653Sam James2023-03-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 3.6.1 arm, #901653Arthur Zamarin2023-03-171-2/+2
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.3 ppc64, #896102Arthur Zamarin2023-03-151-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: add 3.7.0Alfredo Tupone2023-03-012-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.3 x86, #896102Arthur Zamarin2023-02-241-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.3 amd64, #896102Sam James2023-02-231-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: add 3.6.1Alfredo Tupone2022-12-162-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3.2.0Alfredo Tupone2022-11-222-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: relax dune depsAlfredo Tupone2022-11-211-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: build dune-configuratorAlfredo Tupone2022-11-193-16/+43
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: add 3Alfredo Tupone2022-11-191-0/+16
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: test are run in dune-private-libsAlfredo Tupone2022-10-121-91/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: drop 2.8.2-r1, 2.9.0Sam James2022-07-243-225/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: be less strict vs ocamlopt depAlfredo Tupone2022-07-065-16/+16
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: Keyword 2.9.3 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/dune-configurator: destabilise for ppcSam James2022-03-032-4/+4
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/dune-configurator: 2.9.3 bumpAlfredo Tupone2022-01-292-0/+117
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-configurator: tidy ebuildSam James2021-10-154-12/+8
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: add 2.9.1Sam James2021-10-052-0/+118
| | | | 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>
* dev-ml/dune-configurator: bump 2.9.0Alfredo Tupone2021-07-212-0/+118
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: fix phase definition styleSam James2021-05-042-2/+2
| | | | | Package-Manager: Portage-3.0.18-prefix, Repoman-3.0.3 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-configurator: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>