<div dir="ltr"><div>Of course we won't give Fedora-specific instruction to Coq users; I hoped to improve the common OPAM wiki/documentation with Fedora-specific information when applicable, and just point Coq users to the general OPAM documentation. We are preparing a Coq-specific description for newcomers (I'll send a link to opam-devel or on the github issue where we discussed pinning), but it won't have anything distro-specific.<br></div><div><br></div><div>Anil, thanks for the mention of your Fedora packages. I didn't know about them -- in fact when I setup my Fedora I just looked at the default repos, found nothing, then compiled OPAM from source (that is from the OCaml compiler installed from the excellent Fedora packages).</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jan 26, 2015 at 3:18 PM, Anil Madhavapeddy <span dir="ltr"><<a href="mailto:anil@recoil.org" target="_blank">anil@recoil.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>See below for Gabriel's message to the Fedora list. Gabriel: thanks for kicking this off! I would appreciate being CCed in on this (or better, opam-devel if cross posting is ok), as I maintain the semi-official OPAM Fedora packages right now that point people to the OBS service.</div><div><br></div><div>In the interests of sanity, I'd rather not have two divergent sets of instructions for Coq users and the general OPAM population, so if we switch to Copr, then the official OPAM instructions should also switch. In the longer term, the packages will get into Fedora and everything will be fine, but don't forget that in the medium term that the Yum remotes will remain on people's computers for some time, and there's significant confusion in mixing up OBS and Copr packages.</div><div><br></div><div>For Coq users right now, I think it's wiser to point them to the OPAM web pages which in turn point to my OBS repositories, rather than pointing them to Jon's. The reason is that mine are better tested, but they also use the bundled OCaml packages, whereas Jon's are upstream-friendly and break out the OPAM dependencies. There have been bugs from doing this in the past (e.g. with a libdose3 mismatch), so it's best to let this settle down upstream before pointing a large user base at a Copr remote that may still be a moving target.</div><div><br></div><div>-Anil</div><div><br><blockquote type="cite"><div><div dir="auto"><div><br>
</div>
<blockquote type="cite">
<div><b>From:</b> Gabriel Scherer <<a href="mailto:gabriel.scherer@gmail.com" target="_blank">gabriel.scherer@gmail.com</a>><br>
<b>Date:</b> 24 January 2015 11:14:39 GMT<br>
<b>To:</b> <<a href="mailto:jonathan.ludlam@citrix.com" target="_blank">jonathan.ludlam@citrix.com</a>>, Scott Logan <<a href="mailto:logans@cottsay.net" target="_blank">logans@cottsay.net</a>>, <<a href="mailto:ocaml-devel@lists.fedoraproject.org" target="_blank">ocaml-devel@lists.fedoraproject.org</a>><br>
<b>Subject:</b> <b>OPAM on fedora</b><br>
<br>
</div>
</blockquote>
<blockquote type="cite">
<div>
<div dir="ltr">
<div>
<div><span class="">
<div>
<div>
<div>
<div>
<div>
<div>Hi all,<br>
<br>
</div>
I would like to update the page listing the state of OPAM packaging on Unix distributions<br>
<a href="https://github.com/ocaml/opam/wiki/Distributions" target="_blank">https://github.com/ocaml/opam/wiki/Distributions</a><br>
</div>
with information for Fedora -- which is the distribution I'm using right now.<br>
<br>
</div>
As far as I understand:<br>
</div>
- neither opam nor aspcud are currently available as Fedora packages<br>
</div>
- there are separate copr repositories that work well in practice:<br>
opam: <a href="https://copr.fedoraproject.org/coprs/jonludlam/opam/builds/" target="_blank">https://copr.fedoraproject.org/coprs/jonludlam/opam/builds/</a><br>
aspcud: <a href="https://copr.fedoraproject.org/coprs/cottsay/gringo/builds/" target="_blank">
https://copr.fedoraproject.org/coprs/cottsay/gringo/builds/</a><br>
<br>
</div></span><span class="">
(In previous discussion with Scott Logan I installed aspcud (which is needed in practice to have a functional opam) through his packages and that worked well.)<br>
<br>
</span></div><span class="">
Is it reasonable to advise end-users to install through the copr repositories? It seems easier than compiling from source, but the "Installation instructions" advise not to do this ( "Everybody else should avoid this repo." ). My instructions would be roughly
as follows:<br>
</span></div><span class="">
<div> yum copr enable jonludlam/opam<br>
</div>
<div> yum copr enable cottsay/gringo<br>
</div>
<div> yum install aspcud opam<br>
</div>
<div><br>
</div></span><span class="">
(OPAM is the de-facto standard package managers for OCaml libraries nowadays, and should also become the package manager for the Coq proof assistant. Coq will have a new version released in the following days/weeks (8.5beta1), so I'm reviewing the installation
procedure.)<br>
</span></div>
</div>
</blockquote>
</div>
</div></blockquote></div><br></div></blockquote></div><br></div>