Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/camlidl: respect CPPAlfredo Tupone2022-10-161-1/+1
| | | | | | Closes: https://bugs.gentoo.org/857843 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20221016 snapshotMichał Górny2022-10-162-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/reason: drop old 3.7.0_p20211014Maciej Barć2022-10-162-41/+0
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/reason: bump to 3.8.2Maciej Barć2022-10-162-0/+38
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/core: adj depsAlfredo Tupone2022-10-151-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_kernel: adj depsAlfredo Tupone2022-10-151-6/+6
| | | | | | Closes: https://bugs.gentoo.org/877191 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_kernel: adj depsAlfredo Tupone2022-10-141-4/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_bigstring: adj depsAlfredo Tupone2022-10-141-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/jst-config: adj depsAlfredo Tupone2022-10-141-2/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib: adj depsAlfredo Tupone2022-10-141-3/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/async_unix: adj depsAlfredo Tupone2022-10-141-1/+1
| | | | | | Closes: https://bugs.gentoo.org/876997 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/alcotest: adjust depsAlfredo Tupone2022-10-132-1/+2
| | | | | | Closes: https://bugs.gentoo.org/859580 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-configurator: test are run in dune-private-libsAlfredo Tupone2022-10-121-91/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: fix testAlfredo Tupone2022-10-122-0/+41
| | | | | | Closes: https://bugs.gentoo.org/872266 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221006Michał Górny2022-10-112-116/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove unused GO_EXECUTABLEMichał Górny2022-10-102-6/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 16.0.0_pre20221010Michał Górny2022-10-102-0/+116
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* 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>