Processed: ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
Processing control commands:
> retitle -1 ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
Bug #909091 [wnpp] RFP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
Changed Bug title to 'ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings' from 'RFP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings'.
> owner -1 !
Bug #909091 [wnpp] ITP: ocaml-mccs -- Stripped-down version of mccs, a CUDF problem solver, with OCaml bindings
Owner recorded as Nicolas Braud-Santoni <nicoo@debian.org>.
> block 907636 by -1
Bug #907636 [opam] opam: "opam init" calls gringo that requires 3GB of memory
907636 was not blocked by any bugs.
907636 was blocking: 908203
Added blocking bug(s) of 907636: 909091
> block 908203 by -1
Bug #908203 [opam] opam: Should not depend on aspcud any more
908203 was blocked by: 907636
908203 was not blocking any bugs.
Added blocking bug(s) of 908203: 909091
--
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 owner@bugs.debian.org with problems
Reply to: