summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* dev-ml/jst-config: add 0.15.1Alfredo Tupone2023-01-272-0/+24
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/gapi-ocaml: add 0.4.3Alfredo Tupone2023-01-272-0/+33
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core_unix: add 0.15.2Alfredo Tupone2023-01-272-0/+27
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/core: add 0.15.1Alfredo Tupone2023-01-272-0/+29
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cairo2: destabilize 0.6.4 for ~amd64, ~ppc64, ~x86Alfredo Tupone2023-01-271-1/+1
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlp5: add 8.00.04Alfredo Tupone2023-01-272-0/+56
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/cairo2: add 0.6.4Alfredo Tupone2023-01-272-0/+36
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/base: add 0.15.1Alfredo Tupone2023-01-272-0/+23
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 16.0.0_pre20230127 snapshotMichał Górny2023-01-272-0/+113
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.0.6Michał Górny2023-01-272-117/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/timezone: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/textutils: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ppx_jane: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/patience_diff: unkeyword 0.15.0 for ~riscvSam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_kernel: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/core_bench: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/base_bigstring: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_unix: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/async_kernel: unkeyword 0.15.0Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/alcotest: unkeyword 1.6.0-r1Sam James2023-01-271-2/+2
| | | | Signed-off-by: Sam James <sam@gentoo.org>
* dev-ml/ocaml-inifiles: add dep rulesAlfredo Tupone2023-01-262-2/+13
| | | | | Closes: https://bugs.gentoo.org/880593 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/zarith: fix makeAlfredo Tupone2023-01-252-1/+14
| | | | | Closes: https://bugs.gentoo.org/881129 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: add internal depsAlfredo Tupone2023-01-251-0/+9
| | | | | Closes: https://bugs.gentoo.org/882021 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: fix function without prototypeAlfredo Tupone2023-01-252-0/+48
| | | | | Closes: https://bugs.gentoo.org/882057 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/llvm-ocaml: Add 17.0.0.9999 live ebuildMichał Górny2023-01-251-0/+112
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-ctypes: fix deps on MakefileAlfredo Tupone2023-01-241-0/+11
| | | | | Closes: https://bugs.gentoo.org/882367 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-ctypes: align with commited codeAlfredo Tupone2023-01-241-4/+3
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lwt_log: bump to 1.1.2Maciej Barć2023-01-242-0/+20
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lwt: bump to 5.6.1Maciej Barć2023-01-242-0/+61
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocaml_intrinsics: bump to 0.15.2Maciej Barć2023-01-242-0/+24
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove 16.0.0_pre20230101Michał Górny2023-01-242-113/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/ocaml-ctypes: fix shuffleAlfredo Tupone2023-01-243-2/+19
| | | | | Closes: https://bugs.gentoo.org/882669 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/topkg: bump to 1.0.7Maciej Barć2023-01-232-0/+39
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/jingoo: bump to 1.4.4Maciej Barć2023-01-232-0/+30
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lablgtk: fix depend in MakefileAlfredo Tupone2023-01-223-1/+14
| | | | | Closes: https://bugs.gentoo.org/882691 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/labltk: add depend on makefileAlfredo Tupone2023-01-212-1/+14
| | | | | Closes: https://bugs.gentoo.org/884509 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/ocaml-process: fix testAlfredo Tupone2023-01-211-1/+1
| | | | | Closes: https://bugs.gentoo.org/890174 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/markup: bump to 1.0.3Maciej Barć2023-01-212-0/+27
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/ocamlnet: compute dependency betterAlfredo Tupone2023-01-202-2/+16
| | | | | Closes: https://bugs.gentoo.org/888601 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/lablgtk: add 2.18.13Alfredo Tupone2023-01-202-0/+80
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/facile: bump EAPI to 8Maciej Barć2023-01-191-2/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/camlidl: add 1.11Alfredo Tupone2023-01-192-0/+67
| | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlidl: fix compilation orderAlfredo Tupone2023-01-191-0/+1
| | | | | Closes: https://bugs.gentoo.org/889080 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
* dev-ml/camlidl: fix parallelMakeAlfredo Tupone2023-01-192-1/+14
| | | | | Closes: https://bugs.gentoo.org/889872 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>