| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870 |   Sam James | 2024-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870 | Sam James | 2024-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870 | Sam James | 2024-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870 | Sam James | 2024-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 3.16.0 ppc64, #937870 | Sam James | 2024-08-16 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 20.0.0_pre20240815 snapshot |   Michał Górny | 2024-08-15 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 3.16.0 arm64, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-site: Stabilize 3.16.0 arm, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 3.16.0 arm, #937870 | Sam James | 2024-08-14 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870 |   Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-site: Stabilize 3.16.0 x86, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 3.16.0 x86, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/dune: Stabilize 3.16.0 amd64, #937870 | Arthur Zamarin | 2024-08-13 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2024-08-13 | 3 | -217/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 20.0.0_pre20240808 snapshot | Michał Górny | 2024-08-08 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 19.1.0_rc2 | Michał Górny | 2024-08-05 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: block stdune/ordering/dyn |   Alfredo Tupone | 2024-08-03 | 3 | -3/+15 |
| | | | | | | Closes: https://bugs.gentoo.org/937224 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: install ordering, dyn, and stdune too |   Hiroki Tokunaga | 2024-08-02 | 3 | -0/+12 |
| | | | | | | | Signed-off-by: Hiroki Tokunaga <tokusan441@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/37926 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/ordering: drop 3.11.1 | Alfredo Tupone | 2024-08-02 | 2 | -30/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dyn: drop 3.11.1 | Alfredo Tupone | 2024-08-02 | 2 | -32/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdune: drop 3.11.1 | Alfredo Tupone | 2024-08-02 | 2 | -35/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: collaps ordering dyn stdune in here | Alfredo Tupone | 2024-08-02 | 1 | -2/+4 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: drop 2.8.4 | Alfredo Tupone | 2024-08-02 | 2 | -117/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2024-08-01 | 2 | -108/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 20.0.0_pre20240801 snapshot | Michał Górny | 2024-08-01 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ordering: drop 3.13.1 | Alfredo Tupone | 2024-08-01 | 2 | -30/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dyn: drop 3.13.1 | Alfredo Tupone | 2024-08-01 | 2 | -32/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdune: drop 3.13.1 | Alfredo Tupone | 2024-08-01 | 2 | -37/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: collaps ordering dyn stdune in here | Alfredo Tupone | 2024-08-01 | 1 | -4/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/coq-menhirlib: bump to 20231231 |   Maciej Barć | 2024-08-01 | 2 | -0/+45 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/utop: add alcotest deps | Alfredo Tupone | 2024-08-01 | 1 | -1/+4 |
| | | | | | | Closes: https://bugs.gentoo.org/936002 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/stdcompat: regenerate autotools files | Alfredo Tupone | 2024-07-30 | 1 | -1/+8 |
| | | | | | | Closes: https://bugs.gentoo.org/936152 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/num: fix parallel build | Alfredo Tupone | 2024-07-30 | 1 | -0/+4 |
| | | | | | | Closes: https://bugs.gentoo.org/936155 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/core_unix: fix musl build | Alfredo Tupone | 2024-07-29 | 1 | -0/+12 |
| | | | | | | Closes: https://bugs.gentoo.org/936394 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/core: sameslot for more packages | Alfredo Tupone | 2024-07-29 | 1 | -5/+5 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/core: sameslot for ppx_stable | Alfredo Tupone | 2024-07-29 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/core: sameslot for ppx_string | Alfredo Tupone | 2024-07-29 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/core: use sameslot for ppx_ignore_instrumentation | Alfredo Tupone | 2024-07-29 | 1 | -1/+1 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/core: use sameslot for typerep | Alfredo Tupone | 2024-07-29 | 1 | -2/+2 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/alcotest: add 1.8.0 | Alfredo Tupone | 2024-07-28 | 2 | -0/+39 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
GitWeb