Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | dev-ml/dune-private-libs: add 3.9.1 | Alfredo Tupone | 2023-07-11 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.9.0 | Alfredo Tupone | 2023-07-03 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.8.0 | Alfredo Tupone | 2023-05-23 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: stabilize 3.7.1 for amd64 | Alfredo Tupone | 2023-05-20 | 1 | -1/+1 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 3.6.2 ppc64, #901629 | Arthur Zamarin | 2023-04-29 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 3.6.2 x86, #901629 | Arthur Zamarin | 2023-04-29 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 3.6.2 arm, #901629 | Arthur Zamarin | 2023-04-29 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.7.1 | Alfredo Tupone | 2023-04-16 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 3.6.2 arm64, #901629 | Sam James | 2023-04-01 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 3.6.2 amd64, #901629 | Arthur Zamarin | 2023-03-17 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.3 ppc64, #896102 | Arthur Zamarin | 2023-03-15 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.7.0 | Alfredo Tupone | 2023-03-01 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.3 x86, #896102 | Arthur Zamarin | 2023-02-24 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.3 amd64, #896102 | Sam James | 2023-02-23 | 1 | -2/+2 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.6.2 | Alfredo Tupone | 2023-01-30 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 3.2.0 | Alfredo Tupone | 2022-11-22 | 2 | -0/+37 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: adj deps | Alfredo Tupone | 2022-11-20 | 1 | -3/+7 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: fix build | Alfredo Tupone | 2022-11-19 | 1 | -10/+9 |
| | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: bump to 3.0.3 | Maciej Barć | 2022-11-19 | 2 | -0/+36 |
| | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.1 arm, #817752 | Arthur Zamarin | 2022-11-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: fix test | Alfredo Tupone | 2022-10-12 | 2 | -0/+41 |
| | | | | | | Closes: https://bugs.gentoo.org/872266 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: drop 2.8.2-r1, 2.9.0 | Sam James | 2022-07-24 | 3 | -231/+0 |
| | | | | | | Signed-off-by: Sam James <sam@gentoo.org> Closes: https://github.com/gentoo/gentoo/pull/26555 Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: be less strict depending on ocamlopt | Alfredo Tupone | 2022-07-06 | 5 | -12/+12 |
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Keyword 2.9.3 riscv, #835392 | Yongxiang Liang | 2022-04-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Yongxiang Liang <tanekliang@gmail.com> Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
* | dev-ml/dune-private-libs: destabilise for ppc | Sam James | 2022-03-03 | 2 | -4/+4 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org> | ||||
* | dev-ml/dune-private-libs: 2.9.3 bump | Alfredo Tupone | 2022-01-29 | 2 | -0/+120 |
| | | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.1 x86, #817752 | Jakov Smolić | 2021-12-10 | 1 | -1/+1 |
| | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.1 amd64, #817752 | Jakov Smolić | 2021-12-10 | 1 | -1/+1 |
| | | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.1 arm64, #817752 | Arthur Zamarin | 2021-12-08 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.9.1 ppc64, #817752 | Arthur Zamarin | 2021-12-07 | 1 | -1/+1 |
| | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 2.9.1 | Sam James | 2021-10-02 | 2 | -0/+120 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | **/metadata.xml: Replace http by https in DOCTYPE element | Ulrich Müller | 2021-09-11 | 1 | -1/+1 |
| | | | | | Bug: https://bugs.gentoo.org/552720 Signed-off-by: Ulrich Müller <ulm@gentoo.org> | ||||
* | dev-ml/dune-private-libs: bump 2.9.0 | Alfredo Tupone | 2021-07-21 | 2 | -0/+120 |
| | | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.4 x86, #783567 | Sam James | 2021-04-26 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.4 arm, #783567 | Sam James | 2021-04-25 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.4 ppc64, #783567 | Sam James | 2021-04-22 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.4 ppc, #783567 | Sam James | 2021-04-22 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.4 arm64, #783567 | Sam James | 2021-04-22 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.4 amd64, #783567 | Sam James | 2021-04-18 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: drop 2.7.1 | Sam James | 2021-03-15 | 2 | -45/+0 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.7.1 arm, #775782 | Sam James | 2021-03-14 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm64, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm, #772833 | Sam James | 2021-03-14 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc64, #772833 | Sam James | 2021-03-13 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: add 2.8.4 | Sam James | 2021-03-13 | 2 | -0/+120 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: amd64 stable wrt bug #772833 | Agostino Sarubbo | 2021-03-04 | 1 | -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/dune-private-libs: Stabilize 2.8.2-r1 x86, #772833 | Sam James | 2021-02-25 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc, #772833 | Sam James | 2021-02-25 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
* | dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc, #766884 | Sam James | 2021-02-21 | 1 | -1/+1 |
| | | | | Signed-off-by: Sam James <sam@gentoo.org> |