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 [email protected] http://lists.ocaml.org/listinfo/opam-devel
