On Mon, Feb 03, 2014 at 01:22:10PM +0000, Anil Madhavapeddy <[email protected]> wrote: > Thanks! Just wanted to check one thing: I added aspcud to the > "Recommend" dependencies in the Ubuntu PPA. Could we do the same > for Debian? This will give users the best solver by default.
Sure. I'll do that as soon as 1.1.1 migrates to testing. Best, -- Mehdi Dogguy _______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
