summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/llvm-ocaml: 15.x is now 15.0.3Michał Górny2022-10-101-0/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/lwt: remove seq dependencyAlfredo Tupone2022-10-091-0/+8
| | | | | | Closes: https://bugs.gentoo.org/872674 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cairo2: fix MissingUseDepDefault on cairoSam James2022-10-082-2/+2
| | | | | Closes: https://bugs.gentoo.org/875911 Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/llvm-ocaml: Use the new version varsMichał Górny2022-10-073-3/+3
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20220930Michał Górny2022-10-072-116/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.1Michał Górny2022-10-072-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 16.0.0_pre20221006Michał Górny2022-10-062-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.2Michał Górny2022-10-042-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20220918Michał Górny2022-10-032-116/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/re: for 1.10.4 block seq only in version <0.3Maciej Barć2022-10-021-1/+1
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ppx_deriving_yojson: remove yojson constraintMaciej Barć2022-10-021-2/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20220930 snapshotMichał Górny2022-09-302-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>