Renaming /

The intention is to retire the domain. Therefore any services using the domain will be redirected. From today, the Web UI for Opam Repo CI is available on both and with the service available at both and In time, the sites will issue HTTP 301 permanent redirect messages.

Previously, targetted a web server which issued an HTTP 302 redirect to This redirection has been removed. points to the actual site.