I'm not sure that this was the problem. That day I got a similar
error, and I was using the new repository.

Now I don't get any problem, so whatever it was, it's probably fixed.

Gustavo

On Tue, Jan 26, 2016 at 3:56 AM, Faré <[email protected]> wrote:
> The SSL on pkgs.racket-lang.org looks like it's OK after all.
> My issue is that I was pulling from the old git repo, and said repo
> was in a non-working state that doesn't recognize said the SSL
> certificate (in addition to not being the latest racket).
>
> Maybe the old repository at git://git.racket-lang.org/plt.git could
> periodically pull from the github repo (say, every night, or at every
> release), or else a commit be made that replaces the entire contents
> by a single README file and/or shell script explaining how to use the
> new repo instead (and first undo the fatal all-destroying commit).
>
> —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org
> Have the courage to take your own thoughts seriously, for they will shape you.
>                 — Albert Einstein
>
> --
> You received this message because you are subscribed to the Google Groups 
> "Racket Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to [email protected].
> To post to this group, send email to [email protected].
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/racket-dev/CAN7nBXeNkhyBCjpbDj2QQ7%3DAkGLNXQe71%2BPO6iuTy2XTjcudCg%40mail.gmail.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/racket-dev/CAPaha9OAw2LmL-0T7iKuDvg2mXLuxCGFTDQcfrCHTXxQ2XT0uQ%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to