summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/bos: drop 0.1.6, 0.2.0-r1, EAPI-6--Andreas Sturmlechner2022-09-213-93/+0
| | | | | Closes: https://bugs.gentoo.org/867118 Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
* dev-ml/bos: Stabilize 0.2.1 ppc64, #867118Agostino Sarubbo2022-09-211-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.0Michał Górny2022-09-212-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocamlfuse: add unistd includeAlfredo Tupone2022-09-202-0/+12
| | | | | | Closes: https://bugs.gentoo.org/870685 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20220915Michał Górny2022-09-202-116/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.1Michał Górny2022-09-202-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump live to 15.0.1.9999Michał Górny2022-09-201-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/react: update to eapi 8Thamognya Kodi2022-09-191-1/+1
| | | | | | Signed-off-by: Thamognya Kodi <contact@thamognya.com> Closes: https://github.com/gentoo/gentoo/pull/25874 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/uuidm: bump to 0.9.8Maciej Barć2022-09-192-0/+26
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20220918 snapMichał Górny2022-09-192-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/opam: Stabilize 2.1.2-r1 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: Stabilize 2.1.2-r1 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: Stabilize 2.1.2 x86, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam: Stabilize 2.1.2-r1 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-client: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-solver: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-state: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-repository: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-format: Stabilize 2.1.2-r1 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/opam-core: Stabilize 2.1.2 amd64, #859508Sam James2022-09-181-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20220915 snapMichał Górny2022-09-162-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/bos: Stabilize 0.2.1 x86, #867118Agostino Sarubbo2022-09-161-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/bos: Stabilize 0.2.1 arm64, #867118Agostino Sarubbo2022-09-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/bos: Stabilize 0.2.1 arm, #867118Agostino Sarubbo2022-09-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/bos: Stabilize 0.2.1 amd64, #867118Agostino Sarubbo2022-09-151-1/+1
| | | | Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
* dev-ml/batteries: disable ocamlopt if asked on install tooAlfredo Tupone2022-09-101-1/+1
| | | | | | Closes: https://bugs.gentoo.org/861455 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_let: fix depsAlfredo Tupone2022-09-091-0/+1
| | | | | | Closes: https://bugs.gentoo.org/865137 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/opam: fix opam dependency on bubblewrapigna_martinoli2022-09-093-0/+3
| | | | | | | | | Since opam 2.0.0~rc2, opam uses bwrap on Linux to run package instructions in a sandbox. Source: https://opam.ocaml.org/doc/FAQ.html#Why-does-opam-require-bwrap Signed-off-by: igna_martinoli <ignamartinoli@protonmail.com> Closes: https://github.com/gentoo/gentoo/pull/26904 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lambda-term: fix dep on lwtAlfredo Tupone2022-09-091-2/+2
| | | | | | Closes: https://bugs.gentoo.org/865883 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-ssl: add missing alcotest (test) dependencyMaciej Barć2022-09-071-2/+6
| | | | | Closes: https://bugs.gentoo.org/869017 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/biniou: add missing camlp-streams dependencyMaciej Barć2022-09-071-3/+6
| | | | | Closes: https://bugs.gentoo.org/868786 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml-ssl: fix SRC_URIMaciej Barć2022-09-071-1/+1
| | | | | Closes: https://bugs.gentoo.org/868912 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add keywords to 15.0.0Michał Górny2022-09-061-1/+1
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-ssl: bump to 0.5.12Maciej Barć2022-09-062-0/+29
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/menhir: bump to 20220210Maciej Barć2022-09-062-0/+22
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/biniou: bump to 1.2.2Maciej Barć2022-09-062-0/+21
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/cppo: bump to 1.6.9Maciej Barć2022-09-062-0/+20
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.0 RCsMichał Górny2022-09-063-234/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.0Michał Górny2022-09-062-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lablgtk-sourceview: bump to 3.1.2Maciej Barć2022-09-062-0/+36
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lablgtk: bump to 3.1.2Maciej Barć2022-09-062-0/+37
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/react: add ml@gentoo.org to maintainersMaciej Barć2022-08-261-9/+15
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/react: reassign inactive proxied maintainer's packagesSam James2022-08-261-8/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/stdlib-shims: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-gettext-stub: use <pkg> tag in metadata.xmlPetr Vaněk2022-08-261-1/+1
| | | | | Signed-off-by: Petr Vaněk <arkamar@atlas.cz> Signed-off-by: Sam James <sam@gentoo.org>