summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* dev-ml/curses: add 1.0.11Alfredo Tupone2023-02-022-0/+21
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-sha: add 1.15.4Alfredo Tupone2023-02-022-0/+26
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib0: change SLOTAlfredo Tupone2023-02-012-3/+3
| | | | | Closes: https://bugs.gentoo.org/892553 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib: relax sexplib0 slot depsAlfredo Tupone2023-02-012-3/+3
| | | | | Bug: https://bugs.gentoo.org/892553 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base: relax slot of sexplib0Alfredo Tupone2023-02-012-3/+3
| | | | | Bug: https://bugs.gentoo.org/892553 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Remove 13.xMichał Górny2023-02-012-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/extlib: update EAPI 7 -> 8Alfredo Tupone2023-01-313-0/+123
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cudf: fix installAlfredo Tupone2023-01-311-2/+5
| | | | | Closes: https://bugs.gentoo.org/892723 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cudf: destabilize 0.10Alfredo Tupone2023-01-311-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cudf: add 0.10Alfredo Tupone2023-01-313-0/+80
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/facile: drop stdlib-shims requirementAlfredo Tupone2023-01-311-2/+1
| | | | | Closes: https://bugs.gentoo.org/892689 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp4: bump to 4.14.1Maciej Barć2023-01-312-0/+57
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/dune-site: add 3.6.2Alfredo Tupone2023-01-302-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune-private-libs: add 3.6.2Alfredo Tupone2023-01-302-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/stdune: add 3.6.2Alfredo Tupone2023-01-302-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dyn: add 3.6.2Alfredo Tupone2023-01-302-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ordering: add 3.6.2Alfredo Tupone2023-01-302-0/+31
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/dune: add 3.6.2Alfredo Tupone2023-01-302-0/+69
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/facile: add 1.1.4Alfredo Tupone2023-01-303-0/+64
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_rc1Michał Górny2023-01-302-0/+114
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/tiny_httpd: rm dev-ml/seq depsAlfredo Tupone2023-01-302-3/+15
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cmdliner: Stabilize 1.1.1 x86, #892271Sam James2023-01-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cmdliner: Stabilize 1.1.1 arm, #892271Sam James2023-01-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cmdliner: Stabilize 1.1.1 ppc64, #892271Sam James2023-01-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cmdliner: Stabilize 1.1.1 arm64, #892271Sam James2023-01-301-1/+1
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/cmdliner: Stabilize 1.1.1 amd64, #892271Sam James2023-01-301-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_unix: adj depsAlfredo Tupone2023-01-281-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core: adj depsAlfredo Tupone2023-01-281-2/+20
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_bigstring: adj depsAlfredo Tupone2023-01-281-1/+4
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/bin_prot: adj depsAlfredo Tupone2023-01-281-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base_quickcheck: adj depsAlfredo Tupone2023-01-281-1/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_expect: adj depsAlfredo Tupone2023-01-281-0/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_inline_test: adj depsAlfredo Tupone2023-01-281-2/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexp_pretty: adj depsAlfredo Tupone2023-01-281-2/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/jst-config: adj depsAlfredo Tupone2023-01-281-1/+5
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_assert: adj depsAlfredo Tupone2023-01-281-1/+2
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib0: add 0.15.1Alfredo Tupone2023-01-282-0/+17
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexplib: add 0.15.1Alfredo Tupone2023-01-282-0/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sexp_pretty: bump to 0.15.1Alfredo Tupone2023-01-283-1/+30
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/sedlex: bump to 3.0Alfredo Tupone2023-01-283-2/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/qcheck: add 0.20Alfredo Tupone2023-01-282-0/+37
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_tools: add 6.6Alfredo Tupone2023-01-282-0/+22
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_import: bump to 1.10.0Alfredo Tupone2023-01-283-2/+35
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_sexp_conv: bump to 1.15.1Alfredo Tupone2023-01-283-1/+27
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_expect: add 0.15.1Alfredo Tupone2023-01-282-0/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppx_deriving_yojson: add 3.7.0Alfredo Tupone2023-01-272-0/+26
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ppxlib: add 0.28.0Alfredo Tupone2023-01-272-0/+40
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/mccs: add 1.1.14Alfredo Tupone2023-01-272-0/+30
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: add 3.1.3Alfredo Tupone2023-01-272-0/+32
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk-sourceview: add 3.1.3Alfredo Tupone2023-01-272-0/+31
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>