[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings



Control: tag 909091 + pending
Control: tag 908203 + pending
Control: tag 907636 + pending

On Thu, Aug 15, 2019 at 01:31:19AM +0200, Nicolas Braud-Santoni wrote:
> 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?)

Uploaded to NEW.


I also prepared opam/2.0.5-1, which uses the internal solver based on
ocaml-mccs. We can upload it and close #908203 and #907636 (opam bugs w/
external solvers) as soon as ocaml-mccs clears NEW.


Best,

  nicoo

Attachment: signature.asc
Description: PGP signature


Reply to: