[opam-devel] IRILL cloud solver down?
anil at recoil.org
Wed Feb 24 15:15:15 GMT 2016
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 220.127.116.11...
* Connected to cudf-solvers.irill.org (18.104.22.168) 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
More information about the opam-devel