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.
> 

Attachment: signature.asc
Description: PGP signature

Reply via email to