| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | dev-ml/camlpdf: drop 2.3.1 |   Ivan Lloro | 2024-09-14 | 2 | -37/+0 |
| | | | | | | | Closes: https://bugs.gentoo.org/882485 Signed-off-by: Ivan Lloro <ivan.lloro.boada@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/coq-menhirlib: drop old 20220210 |   Maciej Barć | 2024-09-13 | 2 | -35/+0 |
| | | | | | | Closes: https://bugs.gentoo.org/923844 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/coq-menhirlib: pin coq <8.20.0 to version 20231231 | Maciej Barć | 2024-09-13 | 1 | -1/+1 |
| | | | | | | Closes: https://bugs.gentoo.org/939577 Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/coq-menhirlib: bump to 20240715 | Maciej Barć | 2024-09-13 | 2 | -0/+45 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/merlin: pin menhir <20240715 | Maciej Barć | 2024-09-13 | 1 | -2/+2 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | dev-ml/menhir: bump to 20240715 | Maciej Barć | 2024-09-13 | 2 | -0/+22 |
| | | | | | Signed-off-by: Maciej Barć <xgqt@gentoo.org> | ||||
| * | */*: unkeyword ~ia64 |   Arthur Zamarin | 2024-09-12 | 21 | -21/+21 |
| | | | | | | | | | Change was created by running the following command:: ekeyword ^ia64 */*/*.ebuild Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 20.0.0_pre20240910 snapshot |   Michał Górny | 2024-09-10 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2024-09-10 | 3 | -217/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: drop 3.10.0, 3.13.1-r3 |   Alfredo Tupone | 2024-09-08 | 3 | -78/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-site: drop 3.10.0, 3.13.1 | Alfredo Tupone | 2024-09-08 | 3 | -65/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-configurator: drop 3.6.1, 3.7.1, 3.10.0, 3.11.1, 3.13.1 | Alfredo Tupone | 2024-09-07 | 6 | -200/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune: drop 3.6.2, 3.7.0, 3.7.1, 3.10.0, 3.11.1 | Alfredo Tupone | 2024-09-06 | 6 | -351/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 19.1.0_rc4 | Michał Górny | 2024-09-03 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/dune-private-libs: drop 2.8.4, 3.6.2, 3.7.1, 3.11.1-r3 | Alfredo Tupone | 2024-09-03 | 5 | -235/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/dune-site: drop 3.6.2, 3.7.1, 3.11.1 | Alfredo Tupone | 2024-09-02 | 4 | -96/+0 |
| | | | | | Signed-off-by: Alfredo Tupone <tupone@gentoo.org> | ||||
| * | dev-ml/mccs: Stabilize 1.1.17 arm64, #938140 | Arthur Zamarin | 2024-09-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-installer: Stabilize 2.1.6 arm64, #938140 | Arthur Zamarin | 2024-09-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.6 arm64, #938140 | Arthur Zamarin | 2024-09-02 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 20.0.0_pre20240830 snapshot | Michał Górny | 2024-08-31 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/opam-format: remove unused patch(es) |   Michael Mair-Keimberger | 2024-08-28 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/camlpdf: Take over as maintainer. | Ivan Lloro | 2024-08-28 | 1 | -1/+8 |
| | | | | | | | Signed-off-by: Ivan Lloro <ivan.lloro.boada@gmail.com> Closes: https://github.com/gentoo/gentoo/pull/38232 Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/camlpdf: add 2.7.1 | Ivan Lloro | 2024-08-28 | 2 | -0/+37 |
| | | | | | | Signed-off-by: Ivan Lloro <ivan.lloro.boada@gmail.com> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Remove old | Michał Górny | 2024-08-27 | 4 | -325/+0 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/ocamlbuild: remove ~mips, leaf package with broken dependencies |   Andreas K. Hüttel | 2024-08-25 | 3 | -3/+3 |
| | | | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org> | ||||
| * | dev-ml/camlp4: remove ~mips | Andreas K. Hüttel | 2024-08-25 | 6 | -11/+11 |
| | | | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org> | ||||
| * | dev-ml/labltk: remove ~mips | Andreas K. Hüttel | 2024-08-25 | 5 | -8/+8 |
| | | | | | Signed-off-by: Andreas K. Hüttel <dilfridge@gentoo.org> | ||||
| * | dev-ml/mccs: Stabilize 1.1.17 arm, #938140 | Arthur Zamarin | 2024-08-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam-installer: Stabilize 2.1.6 arm, #938140 | Arthur Zamarin | 2024-08-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.6 arm, #938140 | Arthur Zamarin | 2024-08-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Arthur Zamarin <arthurzam@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 20.0.0_pre20240822 snapshot | Michał Górny | 2024-08-22 | 2 | -0/+108 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/memtrace: fix bugs-to url | Michael Mair-Keimberger | 2024-08-21 | 1 | -1/+1 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/memtrace: remove trailing whitespace in DESCRIPTION | Michael Mair-Keimberger | 2024-08-21 | 1 | -2/+2 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/llvm-ocaml: Add 19.1.0_rc3 | Michał Górny | 2024-08-20 | 2 | -0/+109 |
| | | | | | Signed-off-by: Michał Górny <mgorny@gentoo.org> | ||||
| * | dev-ml/opam-state: remove unused patch(es) | Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/opam-solver: remove unused patch(es) | Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/opam-repository: remove unused patch(es) | Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/opam-installer: remove unused patch(es) | Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/opam: remove unused patch(es) | Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/opam-client: remove unused patch(es) | Michael Mair-Keimberger | 2024-08-20 | 1 | -142/+0 |
| | | | | | | Signed-off-by: Michael Mair-Keimberger <mmk@levelnine.at> Signed-off-by: Joonas Niilola <juippis@gentoo.org> | ||||
| * | dev-ml/mccs: Stabilize 1.1.17 ppc64, #938140 |   Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/opam-installer: Stabilize 2.1.6 ppc64, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.6 ppc64, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/mccs: Stabilize 1.1.17 amd64, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/opam-installer: Stabilize 2.1.6 amd64, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.6 amd64, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/mccs: Stabilize 1.1.17 x86, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/opam-installer: Stabilize 2.1.6 x86, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | dev-ml/opam: Stabilize 2.1.6 x86, #938140 | Sam James | 2024-08-18 | 1 | -1/+1 |
| | | | | | Signed-off-by: Sam James <sam@gentoo.org> | ||||
| * | 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> | ||||
GitWeb