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.
- DC 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.
- DC 64:33
_
Racket Developers list:
http://lists.racket-lang.org/dev