summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Collapse)AuthorAgeFilesLines
* 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>
* dev-ml/uucp: bump to 15.0.0Maciej Barć2023-01-162-0/+29
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/uunf: bump to 15.0.0Maciej Barć2023-01-162-0/+32
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* */*: remove py3.8 from PYTHON_COMPATDavid Seifert2023-01-147-11/+11
| | | | Signed-off-by: David Seifert <soap@gentoo.org>
* dev-ml/llvm-ocaml: Bump to 15.0.7Michał Górny2023-01-132-0/+117
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/zed: fix depsMaciej Barć2023-01-131-2/+4
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/utop: fix depsMaciej Barć2023-01-131-1/+2
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lambda-term: fix depsMaciej Barć2023-01-131-3/+4
| | | | | Closes: https://bugs.gentoo.org/890626 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/llvm-ocaml: Remove 15.x live ebuildMichał Górny2023-01-131-115/+0
| | | | Signed-off-by: Michał Górny <mgorny@gentoo.org>
* dev-ml/utop: bump to 2.11.0Maciej Barć2023-01-132-0/+64
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/zed: bump to 3.2.1Maciej Barć2023-01-132-0/+25
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/lambda-term: bump to 3.3.1Maciej Barć2023-01-132-0/+26
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>
* dev-ml/uuseg: new package; add 15.0.0Maciej Barć2023-01-133-0/+62
| | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org>