summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/dune-private-libs: 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-private-libs: 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-private-libs: 2.9.3 bumpAlfredo Tupone2022-01-292-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, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune-private-libs: add 2.9.1Sam James2021-10-022-0/+120
| | | | 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-private-libs: bump 2.9.0Alfredo Tupone2021-07-212-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, #783567Sam James2021-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: drop 2.7.1Sam James2021-03-152-45/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.7.1 arm, #775782Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm64, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.2-r1 arm, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc64, #772833Sam James2021-03-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: add 2.8.4Sam James2021-03-132-0/+120
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: 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/dune-private-libs: Stabilize 2.8.2-r1 x86, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.8.2-r1 ppc, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc, #766884Sam James2021-02-211-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.7.1 ppc, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.7.1 x86, #769317Sam James2021-02-111-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.7.1 amd64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Keyword 2.8.2-r1 ppc64, #766884Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Stabilize 2.7.1 ppc64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: does not work with ocaml-4.05Alfredo Tupone2021-01-291-0/+1
| | | | | | Closes: https://bugs.gentoo.org/767826 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add ml@Sam James2021-01-291-0/+4
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Keyword 2.8.2-r1 x86, #766884Sam James2021-01-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Keyword 2.8.2-r1 arm64, #766884Sam James2021-01-281-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Keyword 2.8.2-r1 arm, #766884Sam James2021-01-271-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: enforce ocamlopt=Sam James2021-01-271-2/+2
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: generalise dev-ml/dune version lockSam James2021-01-252-3/+3
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: add dev-ml/core_bench test depSam James2021-01-241-1/+2
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: bump to 2.8.2Sam James2021-01-242-0/+109
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: depend on matching dev-ml/dune versionSam James2020-11-101-5/+7
| | | | | | Closes: https://bugs.gentoo.org/753710 Package-Manager: Portage-3.0.8, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: 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/dune-private-libs: Keyword 2.7.1 ppc, #748576Sam James2020-10-241-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune-private-libs: Add missing dep dev-ml/findlibMark Wright2020-10-141-0/+2
| | | | | | | | | | Thanks to Agostino Sarubbo for reporting. Fix QA MissingTestRestrict. Closes: https://bugs.gentoo.org/748627 Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/dune-private-libs: Bump to 2.7.1Mark Wright2020-10-133-0/+52
Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>