<div dir="ltr">There is a BTS here: <a href="https://github.com/IRILL/cudf_remote_proxy/issues">https://github.com/IRILL/cudf_remote_proxy/issues</a><div>--Fabrice</div></div><br><div class="gmail_quote"><div dir="ltr">On Wed, Feb 24, 2016 at 4:15 PM Anil Madhavapeddy <<a href="mailto:anil@recoil.org">anil@recoil.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Good afternoon,<br>
<br>
Who maintains the IRILL cloud solver service?  It appears to be giving a 404 now, which is disabling a lot of OPAM installs on distributions without a native port (OpenBSD, RedHat, CentOS, Alpine and Fedora among others).<br>
<br>
~ $ curl -vv <a href="http://cudf-solvers.irill.org/cudf.bz2?criteria=x" rel="noreferrer" target="_blank">http://cudf-solvers.irill.org/cudf.bz2?criteria=x</a><br>
*   Trying 128.93.132.68...<br>
* Connected to <a href="http://cudf-solvers.irill.org" rel="noreferrer" target="_blank">cudf-solvers.irill.org</a> (128.93.132.68) port 80 (#0)<br>
> GET /cudf.bz2?criteria=x HTTP/1.1<br>
> Host: <a href="http://cudf-solvers.irill.org" rel="noreferrer" target="_blank">cudf-solvers.irill.org</a><br>
> User-Agent: curl/7.47.0<br>
> Accept: */*<br>
><br>
< HTTP/1.1 404 Not Found<br>
< Server: nginx/1.6.2<br>
< Date: Wed, 24 Feb 2016 15:11:22 GMT<br>
< Content-Length: 60<br>
< Connection: keep-alive<br>
<<br>
* Connection #0 to host <a href="http://cudf-solvers.irill.org" rel="noreferrer" target="_blank">cudf-solvers.irill.org</a> left intact<br>
<br>
thanks!<br>
Anil<br>
_______________________________________________<br>
opam-devel mailing list<br>
<a href="mailto:opam-devel@lists.ocaml.org" target="_blank">opam-devel@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/opam-devel" rel="noreferrer" target="_blank">http://lists.ocaml.org/listinfo/opam-devel</a><br>
</blockquote></div>