[opam-devel] IRILL cloud solver down?

[Fabrice Le Fessant]

There is a BTS here: https://github.com/IRILL/cudf_remote_proxy/issues
--Fabrice

On Wed, Feb 24, 2016 at 4:15 PM Anil Madhavapeddy <anil at recoil.org> wrote:

> Good afternoon,
>
> 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).
>
> ~ $ curl -vv http://cudf-solvers.irill.org/cudf.bz2?criteria=x
> *   Trying 128.93.132.68...
> * Connected to cudf-solvers.irill.org (128.93.132.68) port 80 (#0)
> > GET /cudf.bz2?criteria=x HTTP/1.1
> > Host: cudf-solvers.irill.org
> > User-Agent: curl/7.47.0
> > Accept: */*
> >
> < HTTP/1.1 404 Not Found
> < Server: nginx/1.6.2
> < Date: Wed, 24 Feb 2016 15:11:22 GMT
> < Content-Length: 60
> < Connection: keep-alive
> <
> * Connection #0 to host cudf-solvers.irill.org left intact
>
> thanks!
> Anil
> _______________________________________________
> opam-devel mailing list
> opam-devel at lists.ocaml.org
> http://lists.ocaml.org/listinfo/opam-devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-devel/attachments/20160224/9d93623e/attachment.html>