On 2 Feb 2014, at 10:37, Mehdi Dogguy <[email protected]> wrote: > Anil Madhavapeddy <[email protected]> wrote: >> CCing Mehdi so he can upload a proper 1.1.1 to Debian when he gets a chance. >> > > Just uploaded to Debian/Unstable. I'll monitor its build status, visible on > this > interface : > > https://buildd.debian.org/opam >
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. cheers, Anil _______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
