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 not depend on aspcud any more
Ignoring request to alter tags of bug #908203 to the same tags previously set
> tag 907636 + pending
Bug #907636 [opam] opam: "opam init" calls gringo that requires 3GB of memory
Ignoring request to alter tags of bug #907636 to the same tags previously set

-- 
907636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907636
908203: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908203
909091: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909091
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



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 not depend on aspcud any more
Ignoring request to alter tags of bug #908203 to the same tags previously set
> tag 907636 + pending
Bug #907636 [opam] opam: "opam init" calls gringo that requires 3GB of memory
Ignoring request to alter tags of bug #907636 to the same tags previously set

-- 
907636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907636
908203: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908203
909091: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909091
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems



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 tags of bug #908203 to the same tags previously set
> tag 907636 + pending
Bug #907636 [opam] opam: "opam init" calls gringo that requires 3GB of memory
Ignoring request to alter tags of bug #907636 to the same tags previously set

-- 
907636: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=907636
908203: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=908203
909091: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909091
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems