summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* */*: Drop stable ia64 keywordsMatt Turner2020-04-039-9/+9
| | | | Signed-off-by: Matt Turner <mattst88@gentoo.org>
* dev-ml/dune: arm64 stable (#710374)Sam James (sam_c)2020-03-311-1/+1
| | | | | Signed-off-by: Sam James (sam_c) <sam@cmpct.info> Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* dev-ml/findlib: arm64 stable (bug #708874)Sam James (sam_c)2020-03-311-1/+1
| | | | | Signed-off-by: Sam James (sam_c) <sam@cmpct.info> Signed-off-by: Mart Raudsepp <leio@gentoo.org>
* dev-ml/zarith: remove old versionsTupone Alfredo2020-03-274-153/+0
| | | | | Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlzip: requires a newer version of ocamlTupone Alfredo2020-03-273-5/+5
| | | | | Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: require a newer version of ocamlTupone Alfredo2020-03-275-9/+9
| | | | | | Closes: https://bugs.gentoo.org/648982 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 10.0.0 RCsMichał Górny2020-03-254-378/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.0Michał Górny2020-03-242-0/+126
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.0rc6Michał Górny2020-03-232-0/+126
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lablgtk: require a newerb version of dev-lang/ocamlTupone Alfredo2020-03-231-1/+1
| | | | | | Closes: https://bugs.gentoo.org/713578 Package-Manager: Portage-2.3.89, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: Remove USE="opengl"David Seifert2020-03-203-17/+8
| | | | | | | * Depends on EOL GtkGLArea Package-Manager: Portage-2.3.93, Repoman-2.3.20 Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/*: drop to ~hppaRolf Eike Beer2020-03-206-6/+6
| | | | | | | Package-Manager: Portage-2.3.89, Repoman-2.3.20 RepoMan-Options: --include-arches="hppa" Signed-off-by: Rolf Eike Beer <eike@sf-mail.de> Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.0rc4Michał Górny2020-03-162-0/+126
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 10.0.0rc[12]Michał Górny2020-03-043-253/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Keyword 10.0.0rc3Michał Górny2020-03-041-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.0rc3Michał Górny2020-03-042-0/+126
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/dune: x86 stable wrt bug #710374Agostino Sarubbo2020-02-241-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/dune: arm stable wrt bug #710374Agostino Sarubbo2020-02-241-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-229-14/+14
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/dune: remove old versionTupone Alfredo2020-02-212-38/+0
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: amd64 stable wrt bug #710374Agostino Sarubbo2020-02-211-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/lablgtk: took maintainershipTupone Alfredo2020-02-171-1/+4
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: version bump to 2.18.10Tupone Alfredo2020-02-172-0/+77
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: took maintainershipTupone Alfredo2020-02-171-1/+4
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: Version bump to 1.9.1Tupone Alfredo2020-02-172-0/+55
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: remove old versionsTupone Alfredo2020-02-176-329/+0
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: x86 stable wrt bug #709348Agostino Sarubbo2020-02-171-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp5: amd64 stable wrt bug #709348Agostino Sarubbo2020-02-171-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlp5: ppc stable wrt bug #709348Agostino Sarubbo2020-02-171-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/camlzip: Version bump to 1.10Tupone Alfredo2020-02-173-1/+42
| | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove unused WITH_POLLYMichał Górny2020-02-143-3/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove broken VE target from 10.0.0rc2Michał Górny2020-02-141-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Enable py3.8Michał Górny2020-02-143-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 10.0.0rc2Michał Górny2020-02-142-0/+127
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/labltk: ppc64 stable wrt bug #708672Agostino Sarubbo2020-02-121-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: ia64 stable wrt bug #708672Agostino Sarubbo2020-02-121-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* */*: Bump copyright on files touched this yearMichał Górny2020-02-116-6/+6
| | | | | | | Update the copyright notice on all files that were touched since January 1st but did not have the notice updated. Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/labltk: ppc stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: amd64 stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: ppc stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: amd64 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: ppc64 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ppc64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: ia64 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="ia64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: x86 stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: x86 stable wrt bug #708874Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="x86" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/labltk: arm stable wrt bug #708672Agostino Sarubbo2020-02-111-1/+1
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/findlib: arm stable wrt bug #708874Agostino Sarubbo2020-02-101-2/+2
| | | | | | Package-Manager: Portage-2.3.84, Repoman-2.3.20 RepoMan-Options: --include-arches="arm" Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/llvm-ocaml: Remove py2 where possibleMichał Górny2020-02-104-4/+4
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/camlp5: restricted 7.10 wrt ocamlMiroslav Šulc2020-02-101-1/+1
| | | | | | Closes: https://bugs.gentoo.org/708924 Package-Manager: Portage-2.3.88, Repoman-2.3.20 Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>