Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml/dune
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/dune: add 3.6.1Alfredo Tupone2022-12-172-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.5.0Alfredo Tupone2022-12-162-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.2.0Alfredo Tupone2022-11-222-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.1.1Alfredo Tupone2022-11-212-0/+66
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: use ED instead of DAlfredo Tupone2022-11-201-4/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: separate dune-configuratorAlfredo Tupone2022-11-191-21/+8
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.0.3Alfredo Tupone2022-11-192-0/+80
| | | | | | includes dune-configurator Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 arm, #817752Arthur Zamarin2022-11-181-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: do not strip, it loose bytecodeAlfredo Tupone2022-10-223-4/+4
| | | | | | Closes: https://bugs.gentoo.org/838307 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: drop 1.11.4, 2.1.0, 2.7.1, 2.8.2, 2.9.0Sam James2022-07-246-195/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: fix elisp compilationMaciej Barć2022-04-201-0/+2
| | | | | Closes: https://bugs.gentoo.org/839645 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: 2.9.3 - enable Emacs support & bump to EAPI 8Maciej Barć2022-04-192-3/+16
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: 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: destabilise for ppcSam James2022-03-033-3/+3
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/dune: 2.9.3 bumpAlfredo Tupone2022-01-292-0/+48
| | | | | Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: selecting compliance with ocaml versionsAlfredo Tupone2022-01-083-4/+7
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 x86, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 amd64, #817752Jakov Smolić2021-12-101-1/+1
| | | | Signed-off-by: Jakov Smolić <jsmolic@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 arm64, #817752Arthur Zamarin2021-12-081-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: Stabilize 2.9.1 ppc64, #817752Arthur Zamarin2021-12-071-1/+1
| | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org>
* dev-ml/dune: add 2.9.1Sam James2021-10-022-0/+48
| | | | 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: bump 2.9.0Alfredo Tupone2021-07-212-0/+48
| | | | | Package-Manager: Portage-3.0.20, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 x86, #783567Sam James2021-04-261-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 arm, #783567Sam James2021-04-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 ppc64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 ppc, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 arm64, #783567Sam James2021-04-221-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.4 amd64, #783567Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: multiprocessing--Sam James2021-04-163-13/+6
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.2 arm64, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.2 arm, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.2 ppc64, #772833Sam James2021-03-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: add 2.8.4Sam James2021-03-132-0/+48
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: 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: Stabilize 2.8.2 x86, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: add missing test depsSam James2021-02-251-5/+16
| | | | | Package-Manager: Portage-3.0.15, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.8.2 ppc, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: add 1.11.4Alfredo Tupone2021-02-183-2/+35
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: Stabilize 2.7.1 arm, #757444Sam James2021-02-161-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.7.1 arm64, #757444Sam James2021-02-121-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.7.1 ppc64, #769317Sam James2021-02-101-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: add dependencyAlfredo Tupone2021-02-011-2/+3
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: set min required ocaml versionAlfredo Tupone2021-01-301-2/+2
| | | | | Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: QA flags ignoredAlfredo Tupone2021-01-261-0/+2
| | | | | | Closes: https://bugs.gentoo.org/728038 Package-Manager: Portage-3.0.13, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: bump to 2.8.2Sam James2021-01-242-0/+34
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: adopt for ml@Sam James2021-01-171-0/+4
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: Stabilize 2.7.1 amd64, #757444Sam James2020-12-171-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/dune: stable 2.7.1 for ppcSergei Trofimovich2020-12-131-1/+1
| | | | | | | | stable wrt bug #757444 (STABLEREQ) Tested-by: ernsteiswuerfel Package-Manager: Portage-3.0.12, Repoman-3.0.2 RepoMan-Options: --include-arches="ppc" Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/dune: x86 stable (bug #757444)Thomas Deutschmann2020-12-031-1/+1
| | | | | Package-Manager: Portage-3.0.10, Repoman-3.0.2 Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>