| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/lwt_log: bump to 1.1.2 |   Maciej Barć | 2023-01-24 | 2 | -0/+20 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/lwt: bump to 5.6.1 | Maciej Barć | 2023-01-24 | 2 | -0/+61 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/ocaml_intrinsics: bump to 0.15.2 | Maciej Barć | 2023-01-24 | 2 | -0/+24 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 16.0.0_pre20230101 |   Michał Górny | 2023-01-24 | 2 | -113/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ocaml-ctypes: fix shuffle |   Alfredo Tupone | 2023-01-24 | 3 | -2/+19 |
| | | | | | | Closes: https://bugs.gentoo.org/882669 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/topkg: bump to 1.0.7 | Maciej Barć | 2023-01-23 | 2 | -0/+39 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/jingoo: bump to 1.4.4 | Maciej Barć | 2023-01-23 | 2 | -0/+30 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/lablgtk: fix depend in Makefile | Alfredo Tupone | 2023-01-22 | 3 | -1/+14 |
| | | | | | | Closes: https://bugs.gentoo.org/882691 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/labltk: add depend on makefile | Alfredo Tupone | 2023-01-21 | 2 | -1/+14 |
| | | | | | | Closes: https://bugs.gentoo.org/884509 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocaml-process: fix test | Alfredo Tupone | 2023-01-21 | 1 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/890174 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/markup: bump to 1.0.3 | Maciej Barć | 2023-01-21 | 2 | -0/+27 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/ocamlnet: compute dependency better | Alfredo Tupone | 2023-01-20 | 2 | -2/+16 |
| | | | | | | Closes: https://bugs.gentoo.org/888601 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/lablgtk: add 2.18.13 | Alfredo Tupone | 2023-01-20 | 2 | -0/+80 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/facile: bump EAPI to 8 | Maciej Barć | 2023-01-19 | 1 | -2/+4 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/camlidl: add 1.11 | Alfredo Tupone | 2023-01-19 | 2 | -0/+67 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/camlidl: fix compilation order | Alfredo Tupone | 2023-01-19 | 1 | -0/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/889080 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/camlidl: fix parallelMake | Alfredo Tupone | 2023-01-19 | 2 | -1/+14 |
| | | | | | | Closes: https://bugs.gentoo.org/889872 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/uucp: bump to 15.0.0 | Maciej Barć | 2023-01-16 | 2 | -0/+29 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/uunf: bump to 15.0.0 | Maciej Barć | 2023-01-16 | 2 | -0/+32 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | */*: remove py3.8 from PYTHON_COMPAT |   David Seifert | 2023-01-14 | 7 | -11/+11 |
| | | | | | Signed-off-by: David Seifert <soap@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Bump to 15.0.7 | Michał Górny | 2023-01-13 | 2 | -0/+117 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/zed: fix deps | Maciej Barć | 2023-01-13 | 1 | -2/+4 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/utop: fix deps | Maciej Barć | 2023-01-13 | 1 | -1/+2 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/lambda-term: fix deps | Maciej Barć | 2023-01-13 | 1 | -3/+4 |
| | | | | | | Closes: https://bugs.gentoo.org/890626 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 15.x live ebuild | Michał Górny | 2023-01-13 | 1 | -115/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/utop: bump to 2.11.0 | Maciej Barć | 2023-01-13 | 2 | -0/+64 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/zed: bump to 3.2.1 | Maciej Barć | 2023-01-13 | 2 | -0/+25 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/lambda-term: bump to 3.3.1 | Maciej Barć | 2023-01-13 | 2 | -0/+26 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/uuseg: new package; add 15.0.0 | Maciej Barć | 2023-01-13 | 3 | -0/+62 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 16.0.0_pre20230107 snapshot | Michał Górny | 2023-01-08 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ocaml-process: fix a spelling mistake in make opts | Maciej Barć | 2023-01-07 | 1 | -8/+8 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 16.0.0_pre2022* snapshots | Michał Górny | 2023-01-07 | 3 | -226/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 15.0.5 | Michał Górny | 2023-01-07 | 2 | -117/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ocaml-stdint: bump to 0.7.2 | Maciej Barć | 2023-01-07 | 2 | -0/+19 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/ocaml-ssl: bump to 0.5.13 | Maciej Barć | 2023-01-07 | 2 | -0/+33 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/findlib: bump to 1.9.6 | Maciej Barć | 2023-01-07 | 2 | -0/+76 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/uchar: EAPI 8 |   Sam James | 2023-01-01 | 1 | -8/+11 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 16.0.0_pre20230101 snapshot | Michał Górny | 2023-01-01 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/mirage-clock: bump to 4.2.0 | Maciej Barć | 2022-12-29 | 2 | -0/+23 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 16.0.0_pre20221226 snapshot | Michał Górny | 2022-12-27 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/labltk: keyword 8.06.12-r1 for ~loong |   WANG Xuerui | 2022-12-26 | 1 | -1/+1 |
| | | | | | Signed-off-by: WANG Xuerui <xen0n@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove 16.0.0_pre20221210 | Michał Górny | 2022-12-25 | 2 | -113/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/alcotest: require an old cmdliner | Alfredo Tupone | 2022-12-24 | 1 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/886115 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/coq-menhirlib: new package; add 20220210 | Maciej Barć | 2022-12-23 | 3 | -0/+43 |
| | | | | | | Closes: https://bugs.gentoo.org/888075 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/lablgtk: fix Makefile | Alfredo Tupone | 2022-12-23 | 2 | -0/+12 |
| | | | | | | Closes: https://bugs.gentoo.org/887039 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/lablgtk: remove warn-error | Alfredo Tupone | 2022-12-23 | 1 | -2/+3 |
| | | | | | | Closes: https://bugs.gentoo.org/887393 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocamlnet: get version from $PV | Alfredo Tupone | 2022-12-22 | 1 | -0/+8 |
| | | | | | | Closes: https://bugs.gentoo.org/880945 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocamlnet: add hard dependency in Makefile | Alfredo Tupone | 2022-12-22 | 2 | -0/+12 |
| | | | | | | | Closes: https://bugs.gentoo.org/887479 Closes: https://bugs.gentoo.org/887687 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ocamlnet: fix build with tk | Alfredo Tupone | 2022-12-21 | 2 | -0/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/odoc: add missing fmt dep | Maciej Barć | 2022-12-21 | 1 | -3/+4 |
| | | | | | | Closes: https://bugs.gentoo.org/887709 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
GitWeb