<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">Hello,<div><br></div><div>Just a simple message to thank you all for your investment in opam, a really great tool. Indeed, the upgrade to the new version today has worked smoothly (using brew on a mac).</div><div><br></div><div>Fabien, a happy user of opam<br><div><div>Le 4 févr. 2014 à 14:37, Anil Madhavapeddy <<a href="mailto:anil@recoil.org">anil@recoil.org</a>> a écrit :</div><br class="Apple-interchange-newline"><blockquote type="cite">On 3 Feb 2014, at 13:26, Mehdi Dogguy <<a href="mailto:mehdi@dogguy.org">mehdi@dogguy.org</a>> wrote:<br><br><blockquote type="cite">On Mon, Feb 03, 2014 at 01:22:10PM +0000, Anil Madhavapeddy <<a href="mailto:anil@recoil.org">anil@recoil.org</a>> wrote:<br><blockquote type="cite">Thanks! Just wanted to check one thing: I added aspcud to the<br>"Recommend" dependencies in the Ubuntu PPA. Could we do the same<br>for Debian? This will give users the best solver by default.<br></blockquote><br>Sure. I'll do that as soon as 1.1.1 migrates to testing.<br></blockquote><br>I took a quick look at the overall state of packaging and added it to the OPAM<br>wiki page here:<br><br><a href="https://github.com/ocaml/opam/wiki/Distributions">https://github.com/ocaml/opam/wiki/Distributions</a><br><br>Have I missed any? I'll e-mail the OCaml list once the Ubuntu PPA copies<br>finish. I think it's important to have a consistent story for Aspcud ports<br>on various platforms, since it's quite confusing to have it on by default<br>on some platforms but not others.<br><br>-anil<br>_______________________________________________<br>opam-devel mailing list<br>opam-devel@lists.ocaml.org<br>http://lists.ocaml.org/listinfo/opam-devel<br></blockquote></div><br><div>
<table style="background-color:#f1f1f1; border:1px #ddd solid;">
<tbody><tr>
<td>
<a href="http://www.telecom-bretagne.eu" target="_blank"><img src="https://img.mines-telecom.fr/signature-mail/logos/logo-tb.png" title="Site web Télécom Bretagne" alt="Télécom Bretagne" style="padding:4px 0 4px 4px;"></a>
</td>
<td>
<div style="float:left; font: 13px/1.5 sans-serif; color:#555; padding:8px 15px;">
<strong>Fabien DAGNAT</strong><br>
Maître de conférences au département informatique<br>
Responsable de la filière Systèmes Logiciels et Réseaux<br>
Tél. : (0 | 33) 2 29 00 14 09
</div>
<div style="float:left; font: bold 11px/1.5 sans-serif; color:#888; padding:8px 15px;">
Technopôle Brest-Iroise,
CS 83818<br>
29238 Brest Cedex 3, France <br>
<a href="http://www.telecom-bretagne.eu" target="_blank" style="text-decoration:none;"><img src="http://img.mines-telecom.fr/signature-mail/social/web.png" title="Site web Télécom Bretagne" alt="Site web Télécom Bretagne" style="padding:3px 10px 4px 0;"></a><a href="http://www.telecom-bretagne.eu/lexians/" target="_blank" style="text-decoration:none;"><img src="http://img.mines-telecom.fr/signature-mail/social/blog.png" title="Blog Télécom Bretagne" alt="Blog Télécom Bretagne" style="padding:3px 10px 4px 0;"></a><br>
Une école de <a href="http://www.mines-telecom.fr" target="_blank">l'Institut Mines-Télécom</a>
</div>
</td>
</tr>
</tbody></table>
</div>
<br></div></body></html>