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 <a...@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@lists.ocaml.org > http://lists.ocaml.org/listinfo/opam-devel >
_______________________________________________ opam-devel mailing list opam-devel@lists.ocaml.org http://lists.ocaml.org/listinfo/opam-devel
