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

2019-08-15 Thread Debian Bug Tracking System
Processing control commands: > tag 909091 + pending Bug #909091 [wnpp] ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings Ignoring request to alter tags of bug #909091 to the same tags previously set > tag 908203 + pending Bug #908203 [opam] opam: Should

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

2019-08-15 Thread Debian Bug Tracking System
Processing control commands: > tag 909091 + pending Bug #909091 [wnpp] ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings Ignoring request to alter tags of bug #909091 to the same tags previously set > tag 908203 + pending Bug #908203 [opam] opam: Should

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

2019-08-15 Thread Debian Bug Tracking System
Processing control commands: > tag 909091 + pending Bug #909091 [wnpp] ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings Added tag(s) pending. > tag 908203 + pending Bug #908203 [opam] opam: Should not depend on aspcud any more Ignoring request to alter