| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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> | ||||
| * | dev-ml/odoc: new package, add 2.2.0 | Alfredo Tupone | 2022-12-21 | 3 | -0/+44 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/odoc-parser: new package, add 2.0.0 | Alfredo Tupone | 2022-12-21 | 3 | -0/+44 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/tyxml: new package, add 4.5.0 | Alfredo Tupone | 2022-12-21 | 4 | -0/+62 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/reason: keyword 3.8.2 for ~x86 | Alfredo Tupone | 2022-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/merlin-extend: keyword 0.6.1 for ~x86 | Alfredo Tupone | 2022-12-21 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old snapshots | Michał Górny | 2022-12-19 | 3 | -226/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 16.0.0_pre20221217 snapshot | Michał Górny | 2022-12-18 | 2 | -0/+113 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune: add 3.6.1 | Alfredo Tupone | 2022-12-17 | 2 | -0/+69 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-site: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+32 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+37 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdune: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+36 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dyn: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+32 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ordering: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+31 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+40 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-build-info: add 3.6.1 | Alfredo Tupone | 2022-12-16 | 2 | -0/+29 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/batteries: add missing camlp-streams dependency | Maciej Barć | 2022-12-16 | 1 | -1/+2 |
| | | | | | | Closes: https://bugs.gentoo.org/886355 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/mmap: add missing bigarray-compat dependency | Maciej Barć | 2022-12-16 | 1 | -0/+3 |
| | | | | | | Closes: https://bugs.gentoo.org/886353 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/dune: add 3.5.0 | Alfredo Tupone | 2022-12-16 | 2 | -0/+69 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/extlib: bump to 1.7.9 | Maciej Barć | 2022-12-16 | 2 | -0/+50 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/batteries: bump to 3.6.0 | Maciej Barć | 2022-12-16 | 2 | -0/+32 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
GitWeb