[racket-dev] Re: SSL woes

2016-01-25 Thread Faré
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-la

Re: [racket-dev] Release Announcement for v6.4

2016-01-25 Thread Robby Findler
For mine: - Redex supports binding specifications; describe which variables bind in which expressions and your metafunctions and reduction relations automatically become scope-sensitive. Thanks to Paul Stansifer for this improvement. - DrRacket's scrolling is faster. Robby On Mon, Jan 25, 2

Re: [racket-dev] Re: Release Announcement for v6.4

2016-01-25 Thread Vincent St-Amour
Ah, in that case nevermind. Thanks for the clarification! Vincent On Mon, 25 Jan 2016 17:30:38 -0600, Juan Francisco Cantero Hurtado wrote: > > On lunes, 25 de enero de 2016 16:46:58 (CET) Vincent St-Amour wrote: > >On Mon, 25 Jan 2016 16:32:41 -0600, > > > >Juan Francisco Cantero Hurtado wro

Re: [racket-dev] Re: Release Announcement for v6.4

2016-01-25 Thread Juan Francisco Cantero Hurtado
On lunes, 25 de enero de 2016 16:46:58 (CET) Vincent St-Amour wrote: >On Mon, 25 Jan 2016 16:32:41 -0600, > >Juan Francisco Cantero Hurtado wrote: >> On 25/01/16 19:24, Vincent St-Amour wrote: >> > Juan Francisco Cantero Hurtado: >> > - Add config for linux/ppc64. >> > (e957a7d6557f9718ba8493c20675

Re: [racket-dev] Release Announcement for v6.4

2016-01-25 Thread Benjamin Greenman
Worth mentioning `combinations` and `in-combinations`? On Mon, Jan 25, 2016 at 1:24 PM, Vincent St-Amour < stamo...@eecs.northwestern.edu> wrote: > The release announcement sketch that I have so far is below. Please > mail me new items and/or edits. > > Please phrase announcements using complete

Re: [racket-dev] Re: Release Announcement for v6.4

2016-01-25 Thread Vincent St-Amour
On Mon, 25 Jan 2016 16:32:41 -0600, Juan Francisco Cantero Hurtado wrote: > > On 25/01/16 19:24, Vincent St-Amour wrote: > > Juan Francisco Cantero Hurtado: > > - Add config for linux/ppc64. (e957a7d6557f9718ba8493c20675b75a1145084a) > > This change is very simple. Feel free to omit it. Maybe I'

[racket-dev] Re: Release Announcement for v6.4

2016-01-25 Thread Juan Francisco Cantero Hurtado
On 25/01/16 19:24, Vincent St-Amour wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. Please phrase announcements using complete sentences and avoid the word "now". -- g

[racket-dev] Release Announcement for v6.4

2016-01-25 Thread Vincent St-Amour
The release announcement sketch that I have so far is below. Please mail me new items and/or edits. Please phrase announcements using complete sentences and avoid the word "now". -- general: - HTTPS (for pkg catalog, and others)