gpo.zugaina.org

Search Portage & Overlays:

dev-ml/opam-repository

opam repository libraries

Screenshots

  • opam-repository-2.2.1
    amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: Miezhiko
  • opam-repository-2.2.0_beta1
    amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: zscheile
  • opam-repository-2.1.5
    amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: zscheile
  • opam-repository-2.1.3
    amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo
  • opam-repository-2.1.2
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt

    View      Download      Browse     License: LGPL-2.1   
    Overlay: gentoo

ChangeLog

commit 03d9e88a8d950b5f7b1d107ce1ac0922c71583da
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Aug 23 11:44:10 2024 +0400

opam update to 2.2.1

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit ff9ccdb7c396bcb51fd305cdb3d55c4f28d29352
Author: Miezhiko <Miezhiko@gmail.com>
Date: Wed Jul 3 10:25:45 2024 +0400

upgrade opam!

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 2220b32adbb486087b44847eb3c03c2114e898ba
Author: Miezhiko <Miezhiko@gmail.com>
Date: Thu May 16 12:36:31 2024 +0400

opam update to 2.1.6

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 8beff45c799b9de25e6c026f790d1d2839944514
Author: Miezhiko <Miezhiko@gmail.com>
Date: Fri Dec 29 11:58:26 2023 +0400

new year thing

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit ea8d4944f20d19f1b31c098175e05a6e10a68be0
Author: Miezhiko <Miezhiko@gmail.com>
Date: Thu Oct 5 10:55:21 2023 +0400

drop unneeded patches

Signed-off-by: Miezhiko <Miezhiko@gmail.com>

commit 48246fc4b3c4d4be5790789afcc704b432993a84
Author: Miezhiko <Miezhiko@gmail.com>
Date: Tue Oct 3 18:09:38 2023 +0400

ML packages

Signed-off-by: Miezhiko <Miezhiko@gmail.com>