I've had this problem since I got my new laptop last June. I've tried new repo clones every now and then. No luck. On Jan 26, 2016 6:33 AM, "Gustavo Massaccesi" <[email protected]> wrote:
> 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. > -- 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/CANuvrwChBWSbLg5W4wD%3D-nJSSG50GWL4y8%3DiXUm3fzS0WrEF9w%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
