Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread phil jones
Yep. Worked :-) Thanks Sam Tobin-Hichstadt, Asumu Takikawa. Phil On Friday, 11 March 2016 12:38:44 UTC-3, phil jones wrote: > OK. Thanks, I'm trying the new PPA > > On Friday, 11 March 2016 12:19:30 UTC-3, Sam Tobin-Hochstadt wrote: > > Ok, in that case I think I know why it fails, and the

Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread phil jones
OK. Thanks, I'm trying the new PPA On Friday, 11 March 2016 12:19:30 UTC-3, Sam Tobin-Hochstadt wrote: > Ok, in that case I think I know why it fails, and the solution is to > upgrade to a more recent version of Racket, perhaps using the PPA that > Asumu pointed out. > > The problem was that we

Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread Sam Tobin-Hochstadt
Ok, in that case I think I know why it fails, and the solution is to upgrade to a more recent version of Racket, perhaps using the PPA that Asumu pointed out. The problem was that we weren't passing quite the right options to openssl, leading to the error you see. Sam On Fri, Mar 11, 2016 at

Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread Asumu Takikawa
On 2016-03-11 07:09:47 -0800, phil jones wrote: > It's the one that comes as standard with Ubuntu 14.04 (LTS) Just as an aside, there is a PPA for Ubuntu if you wanted to upgrade to a more recent version: https://launchpad.net/~plt/+archive/ubuntu/racket 14.04 should be supported. Cheers,

Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread phil jones
raco pkg config catalogs raco pkg config: unsupported config key key: "catalogs" On Friday, 11 March 2016 12:09:47 UTC-3, phil jones wrote: > DrRacket, version 5.3.6 > > It's the one that comes as standard with Ubuntu 14.04 (LTS) > > Yes, I seem to be able to get both of those pkgs files

Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread phil jones
DrRacket, version 5.3.6 It's the one that comes as standard with Ubuntu 14.04 (LTS) Yes, I seem to be able to get both of those pkgs files with wget. Phil On Friday, 11 March 2016 11:33:24 UTC-3, Sam Tobin-Hochstadt wrote: > Hi Phil, > > First, which version of Racket do you have, and

Re: [racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread Sam Tobin-Hochstadt
Hi Phil, First, which version of Racket do you have, and where did you download it from? Second, can you try running the following: - wget https://download.racket-lang.org/releases/6.4/catalog/pkgs - wget https://pkgs.racket-lang.org/pkgs And report what happens? Third, can you run `raco pkg

[racket-users] Re: Alternatives for installing packages?

2016-03-11 Thread phil jones
Sam, >From reading through those comments (or maybe on another page) it definitely >seems to pop up more generally than just Tomcat. Here's the complete dialogue : phil@hawksmoor:~$ raco pkg install sxml ssl-connect: connect failed (error:14077438:SSL routines:SSL23_GET_SERVER_HELLO:tlsv1