Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* dev-ml/camlpdf: drop 2.3.1Ivan Lloro2024-09-142-37/+0
* dev-ml/coq-menhirlib: drop old 20220210Maciej Barć2024-09-132-35/+0
* dev-ml/coq-menhirlib: pin coq <8.20.0 to version 20231231Maciej Barć2024-09-131-1/+1
* dev-ml/coq-menhirlib: bump to 20240715Maciej Barć2024-09-132-0/+45
* dev-ml/merlin: pin menhir <20240715Maciej Barć2024-09-131-2/+2
* dev-ml/menhir: bump to 20240715Maciej Barć2024-09-132-0/+22
* */*: unkeyword ~ia64Arthur Zamarin2024-09-1221-21/+21
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240910 snapshotMichał Górny2024-09-102-0/+108
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-09-103-217/+0
* dev-ml/dune-private-libs: drop 3.10.0, 3.13.1-r3Alfredo Tupone2024-09-083-78/+0
* dev-ml/dune-site: drop 3.10.0, 3.13.1Alfredo Tupone2024-09-083-65/+0
* dev-ml/dune-configurator: drop 3.6.1, 3.7.1, 3.10.0, 3.11.1, 3.13.1Alfredo Tupone2024-09-076-200/+0
* dev-ml/dune: drop 3.6.2, 3.7.0, 3.7.1, 3.10.0, 3.11.1Alfredo Tupone2024-09-066-351/+0
* dev-ml/llvm-ocaml: Add 19.1.0_rc4Michał Górny2024-09-032-0/+109
* dev-ml/dune-private-libs: drop 2.8.4, 3.6.2, 3.7.1, 3.11.1-r3Alfredo Tupone2024-09-035-235/+0
* dev-ml/dune-site: drop 3.6.2, 3.7.1, 3.11.1Alfredo Tupone2024-09-024-96/+0
* dev-ml/mccs: Stabilize 1.1.17 arm64, #938140Arthur Zamarin2024-09-021-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 arm64, #938140Arthur Zamarin2024-09-021-1/+1
* dev-ml/opam: Stabilize 2.1.6 arm64, #938140Arthur Zamarin2024-09-021-1/+1
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240830 snapshotMichał Górny2024-08-312-0/+108
* dev-ml/opam-format: remove unused patch(es)Michael Mair-Keimberger2024-08-281-142/+0
* dev-ml/camlpdf: Take over as maintainer.Ivan Lloro2024-08-281-1/+8
* dev-ml/camlpdf: add 2.7.1Ivan Lloro2024-08-282-0/+37
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-08-274-325/+0
* dev-ml/ocamlbuild: remove ~mips, leaf package with broken dependenciesAndreas K. Hüttel2024-08-253-3/+3
* dev-ml/camlp4: remove ~mipsAndreas K. Hüttel2024-08-256-11/+11
* dev-ml/labltk: remove ~mipsAndreas K. Hüttel2024-08-255-8/+8
* dev-ml/mccs: Stabilize 1.1.17 arm, #938140Arthur Zamarin2024-08-231-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 arm, #938140Arthur Zamarin2024-08-231-1/+1
* dev-ml/opam: Stabilize 2.1.6 arm, #938140Arthur Zamarin2024-08-231-1/+1
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240822 snapshotMichał Górny2024-08-222-0/+108
* dev-ml/memtrace: fix bugs-to urlMichael Mair-Keimberger2024-08-211-1/+1
* dev-ml/memtrace: remove trailing whitespace in DESCRIPTIONMichael Mair-Keimberger2024-08-211-2/+2
* dev-ml/llvm-ocaml: Add 19.1.0_rc3Michał Górny2024-08-202-0/+109
* dev-ml/opam-state: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/opam-solver: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/opam-repository: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/opam-installer: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/opam: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/opam-client: remove unused patch(es)Michael Mair-Keimberger2024-08-201-142/+0
* dev-ml/mccs: Stabilize 1.1.17 ppc64, #938140Sam James2024-08-181-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 ppc64, #938140Sam James2024-08-181-1/+1
* dev-ml/opam: Stabilize 2.1.6 ppc64, #938140Sam James2024-08-181-1/+1
* dev-ml/mccs: Stabilize 1.1.17 amd64, #938140Sam James2024-08-181-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 amd64, #938140Sam James2024-08-181-1/+1
* dev-ml/opam: Stabilize 2.1.6 amd64, #938140Sam James2024-08-181-1/+1
* dev-ml/mccs: Stabilize 1.1.17 x86, #938140Sam James2024-08-181-1/+1
* dev-ml/opam-installer: Stabilize 2.1.6 x86, #938140Sam James2024-08-181-1/+1
* dev-ml/opam: Stabilize 2.1.6 x86, #938140Sam James2024-08-181-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 ppc64, #937870Sam James2024-08-161-1/+1