summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/num: Keyword 1.4-r3 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/num: destabilise for ppcSam James2022-03-032-3/+3
| | | | | Signed-off-by: Sam James <sam@gentoo.org> Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-191-0/+12
| | | | | | Closes: https://bugs.gentoo.org/831496 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: respect ocamloptAlfredo Tupone2022-01-122-0/+17
| | | | | | Closes: https://bugs.gentoo.org/822321 Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: fix install with -ocamloptAlfredo Tupone2022-01-071-2/+2
| | | | | Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: fix handling of ocamloptSam James2021-11-071-1/+2
| | | | | Closes: https://bugs.gentoo.org/821988 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: fix collision with newer findlibSam James2021-10-071-2/+7
| | | | | Closes: https://bugs.gentoo.org/803275 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/num: try to disable ocamloptSam James2021-06-131-2/+2
| | | | | Closes: https://bugs.gentoo.org/795780 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: ocamlopt shall be passed to ocamlAlfredo Tupone2021-06-131-1/+1
| | | | | | Closes: https://bugs.gentoo.org/795780 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: changing compiler need a rebuild, add RDEPENDAlfredo Tupone2021-06-131-0/+2
| | | | | | Closes: https://bugs.gentoo.org/795711 Package-Manager: Portage-3.0.18, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: Stabilize 1.4-r1 ppc64, #783576Sam James2021-04-191-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.4-r1 ppc, #783576Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.4-r1 amd64, #783576Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.4-r1 x86, #783576Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.4-r1 arm, #783576Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.4-r1 arm64, #783576Sam James2021-04-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: multilib--Sam James2021-04-161-2/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.3-r1 arm64, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.3-r1 arm, #772833Sam James2021-03-141-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: drop 1.3Sam James2021-03-131-33/+0
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.3-r1 ppc64, #772833Sam James2021-03-131-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: add note regarding duneSam James2021-03-091-0/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: fix testsSam James2021-03-091-1/+6
| | | | | Closes: https://bugs.gentoo.org/775146 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: fix installationSam James2021-03-091-1/+10
| | | | | | Thanks-to: Jesús P Rey (Chuso) <gentoo@chuso.net> Closes: https://bugs.gentoo.org/775119 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: 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/num: Stabilize 1.3-r1 x86, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: Stabilize 1.3-r1 ppc, #772833Sam James2021-02-251-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: bump to 1.4Sam James2021-02-082-0/+16
| | | | | Package-Manager: Portage-3.0.14, Repoman-3.0.2 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/num: ML maintains itAlfredo Tupone2021-01-141-3/+3
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: drop x86-macosFabian Groffen2021-01-061-2/+2
| | | | | Package-Manager: Portage-3.0.12, Repoman-3.0.2 Signed-off-by: Fabian Groffen <grobian@gentoo.org>
* dev-ml/num: 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/num: Rebuild when ocaml rebuilt, add KEYWORDS from ml-overlay.Mark Wright2020-10-132-0/+37
| | | | | | Co-Author: Alexis Ballier <aballier@gentoo.org> Package-Manager: Portage-3.0.8, Repoman-3.0.1 Signed-off-by: Mark Wright <gienah@gentoo.org>
* dev-ml/num: use CFLAGSAlfredo Tupone2020-05-212-0/+19
| | | | | | Closes: https://bugs.gentoo.org/723748 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: x86 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/num: amd64 stable wrt bug #723500Agostino Sarubbo2020-05-181-1/+1
| | | | | | Package-Manager: Portage-2.3.99, Repoman-2.3.22 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/num: use ocamloptAlfredo Tupone2020-04-072-3/+6
| | | | | | Closes: https://bugs.gentoo.org/710892 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: fix dependencyTupone Alfredo2020-01-131-1/+2
| | | | | Package-Manager: Portage-2.3.79, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/num: add for newer ocaml + coqJason A. Donenfeld2020-01-073-0/+30
Fixes: https://bugs.gentoo.org/704928 Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Jason A. Donenfeld <zx2c4@gentoo.org>