gpo.zugaina.org

Search Portage & Overlays:

dev-ml/mccs

Multi Criteria CUDF Solver

Screenshots

  • mccs-1.1.18
    ~amd64 ~arm ~arm64 ~ppc ~ppc64 ~riscv ~x86
    +ocamlopt test

    View      Download      Browse     License: || ( LGPL-2.1 BSD GPL-3 )   
    Overlay: gentoo
  • mccs-1.1.17
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt test

    View      Download      Browse     License: || ( LGPL-2.1 BSD GPL-3 )   
    Overlay: gentoo
  • mccs-1.1.17
    amd64 arm arm64 ~ppc ppc64 ~riscv x86
    +ocamlopt test

    View      Download      Browse     License: || ( LGPL-2.1 BSD GPL-3 )   
    Overlay: zscheile

ChangeLog

commit b3f6befd9e9bb34e3653e12d50d112f0a1b808f5
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Wed Feb 21 00:56:43 2024 +0100

dev-ml/*: fix LICENSE information (sorry)

commit 4501f775cc176a16297e23ab8cecb064e9703c43
Author: Alain Zscheile <fogti+devel@ytrizja.de>
Date: Tue Feb 20 17:43:19 2024 +0100

dev-ml/*: add dependencies of opam-format