summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20220926, it is too brokenMichał Górny2022-09-262-116/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: 15.x live is now 15.0.2Michał Górny2022-09-261-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 16.0.0_pre20220926Michał Górny2022-09-262-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/merlin: strong block dev-ml/seqMaciej Barć2022-09-251-1/+1
| | | | | Closes: https://bugs.gentoo.org/860213 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: 2.0.2 - depend on ocaml >=4.07 instead of seqMaciej Barć2022-09-241-6/+5
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/re: seq is provided by ocamlAlfredo Tupone2022-09-231-1/+2
| | | | | | | | Closes: https://bugs.gentoo.org/871993 Closes: https://bugs.gentoo.org/860387 Closes: https://bugs.gentoo.org/860273 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/batteries: bump to 3.5.1Maciej Barć2022-09-232-0/+32
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/pprint: bump to 20220103Maciej Barć2022-09-232-0/+16
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/spawn: bump to 0.15.1Maciej Barć2022-09-232-0/+19
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: bump to 2.0.2Maciej Barć2022-09-232-0/+40
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* 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>