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/llvm-ocaml: Add 16.0.0_pre20221023 snapshotMichał Górny2022-10-232-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20221010Michał Górny2022-10-232-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.2Michał Górny2022-10-232-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ANSITerminal: new package; add 0.8.5Maciej Barć2022-10-233-0/+29
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/atd: new package; add 2.10.0Maciej Barć2022-10-233-0/+58
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/yojson: hard block seq lower than 0.3Maciej Barć2022-10-231-2/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/merlin: src_prepare test fixesMaciej Barć2022-10-232-4/+10
| | | | | Closes: https://bugs.gentoo.org/878049 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune: do not strip, it loose bytecodeAlfredo Tupone2022-10-223-4/+4
| | | | | | Closes: https://bugs.gentoo.org/838307 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/yojson: do not use dev-ml/seqAlfredo Tupone2022-10-201-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_variants_conv: adj depsAlfredo Tupone2022-10-193-4/+7
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_typerep_conv: adj depsAlfredo Tupone2022-10-192-0/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_string: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_stable: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_value: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_message: adj depsAlfredo Tupone2022-10-192-3/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_optional: adj depsAlfredo Tupone2022-10-191-2/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_module_timer: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_let: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_fixed_literal: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_quickcheck: adj depsAlfredo Tupone2022-10-192-0/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_bigstring: adj depsAlfredo Tupone2022-10-191-1/+19
| | | | | | Closes: https://bugs.gentoo.org/832631 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bin_prot: adj depsAlfredo Tupone2022-10-191-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_bench: adj depsAlfredo Tupone2022-10-191-3/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/luv: adj depsAlfredo Tupone2022-10-191-0/+1
| | | | | | Closes: https://bugs.gentoo.org/860204 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_pipebang: adj depsAlfredo Tupone2022-10-192-3/+4
| | | | | | Closes: https://bugs.gentoo.org/840398 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving: adj depsAlfredo Tupone2022-10-191-0/+1
| | | | | | Closes: https://bugs.gentoo.org/840508 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.3Michał Górny2022-10-182-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/alcotest: fix testAlfredo Tupone2022-10-172-1/+13
| | | | | | Closes: https://bugs.gentoo.org/877071 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* 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>