[opam-devel] IRILL cloud solver down?

[Anil Madhavapeddy]

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