Control: retitle -1 ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings Control: owner -1 ! Control: block 907636 by -1 Control: block 908203 by -1
Hi Ralf, I started the packaging work while preparing opam/2.0.5-1. Hopefully I can get this out this week; otherwise, it will likely be after CCCamp (so, end of the month?) Best, nicoo On Tue, Sep 18, 2018 at 01:40:42PM +0200, Ralf Jung wrote: > Package: wnpp > Severity: wishlist > > * Package name : ocaml-mccs > Version : 1.1+8 > Upstream Author : Claude Michel > * URL : https://github.com/AltGr/ocaml-mccs > * License : BSD (3-clause), GPL > Programming Lang: C++, OCaml > Description : Stripped-down version of mccs, a CUDF problem solver, > with OCaml bindings > > This is a a stripped-down version of the mccs solver, taken from snapshot 1.1, > with a binding as an OCaml library, and building with jbuilder. > > This is needed for opam to work without an external solver. >
signature.asc
Description: PGP signature