upgrade aspcud in solver.ocaml.io

ocaml / infrastructure

WIki to hold the information about the machine resources available to OCaml.org

40 stars 9 forks source link

upgrade aspcud in solver.ocaml.io #10

Closed avsm closed 7 years ago

avsm commented 7 years ago

The remote solver service currently uses a base aspcud in Debian 7. Upgrade this to aspcud 1.9.1 so that the latest solver criteria can be used by remote clients.

avsm commented 7 years ago

pushed update to base Dockerfile in https://github.com/avsm/opam-solver-proxy/commit/722e644ce50feb0412e3af06b470b7ab948f95ba

avsm commented 7 years ago

infrastructure now updated.