Cool! Nice summary On Tue, Feb 04, 2014 at 01:37:52PM +0000, Anil Madhavapeddy wrote: > On 3 Feb 2014, at 13:26, Mehdi Dogguy <[email protected]> wrote: > > > 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. > > I took a quick look at the overall state of packaging and added it to the OPAM > wiki page here: > > https://github.com/ocaml/opam/wiki/Distributions > > Have I missed any? I'll e-mail the OCaml list once the Ubuntu PPA copies > finish. I think it's important to have a consistent story for Aspcud ports > on various platforms, since it's quite confusing to have it on by default > on some platforms but not others. > > -anil > _______________________________________________ > opam-devel mailing list > [email protected] > http://lists.ocaml.org/listinfo/opam-devel
-- Roberto Di Cosmo ------------------------------------------------------------------ Professeur En delegation a l'INRIA PPS E-mail: [email protected] Universite Paris Diderot WWW : http://www.dicosmo.org Case 7014 Tel : ++33-(0)1-57 27 92 20 5, Rue Thomas Mann F-75205 Paris Cedex 13 Identica: http://identi.ca/rdicosmo FRANCE. Twitter: http://twitter.com/rdicosmo ------------------------------------------------------------------ Attachments: MIME accepted, Word deprecated http://www.gnu.org/philosophy/no-word-attachments.html ------------------------------------------------------------------ Office location: Bureau 3020 (3rd floor) Batiment Sophie Germain Avenue de France Metro Bibliotheque Francois Mitterrand, ligne 14/RER C ----------------------------------------------------------------- GPG fingerprint 2931 20CE 3A5A 5390 98EC 8BFC FCCA C3BE 39CB 12D3 _______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
