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.mccar...@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 <j...@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 <j...@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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev