[racket-dev] pkgd.racket-lang.org going down for maintenance

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Mon Jun 16 17:26:56 EDT 2014

The transition just completed and I've confirmed that it works from a
few networks in Utah. It may take a while for DNS to update for you;
if things are broken tomorrow, please let me know and we'll try to
trouble-shoot.

Jay

On Mon, Jun 16, 2014 at 2:55 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> The dynamic portion of the package server will be going down for
> maintenance as it is moved to EC2. The static portion will be fine
> though.
>
> These services will not be available:
> - Adding packages to the catalog server
> - Updating checksums on the catalog server
> - Editing tags or metadata about packages
>
> These services will be available:
> - Browsing the package server via the Web interface
> - Using "raco pkg" (etc) to install and query package information
>
> Jay
>
> --
> Jay McCarthy <jay at cs.byu.edu>
> Assistant Professor / Brigham Young University
> http://jeapostrophe.github.io
>
>            "Wherefore, be not weary in well-doing,
>       for ye are laying the foundation of a great work.
> And out of small things proceedeth that which is great."
>                           - D&C 64:33



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://jeapostrophe.github.io

           "Wherefore, be not weary in well-doing,
      for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
                          - D&C 64:33

Posted on the dev mailing list.