summaryrefslogtreecommitdiff
path: root/dev-ml
Commit message (Expand)AuthorAgeFilesLines
* 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
* dev-ml/dune-configurator: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/dune: Stabilize 3.16.0 ppc64, #937870Sam James2024-08-161-1/+1
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240815 snapshotMichał Górny2024-08-152-0/+108
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm64, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune: Stabilize 3.16.0 arm, #937870Sam James2024-08-141-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune: Stabilize 3.16.0 x86, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-private-libs: Stabilize 3.16.0-r3 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-configurator: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-build-info: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune-site: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/dune: Stabilize 3.16.0 amd64, #937870Arthur Zamarin2024-08-131-1/+1
* dev-ml/llvm-ocaml: Remove oldMichał Górny2024-08-133-217/+0
* dev-ml/llvm-ocaml: Add 20.0.0_pre20240808 snapshotMichał Górny2024-08-082-0/+108