Re: [racket-users] R7RS implementation's installation

[Gustavo Massaccesi]

(Just guessing) Do you have a proxy in the university? Can you install
other packages that are not part of the main distribution, for example
https://pkgs.racket-lang.org/package/cond-strict ?

Gustavo

On Thu, Jun 22, 2017 at 6:44 PM, Jean-Michel HUFFLEN
 wrote:
>Dear Racket developers,
>
>On my personal computer, I successfully installed the package for the
> nonofficial implementation of R7RS in Racket.
>
>But I didn't this operation at my university, the answer is
>
> https://... proxy web incorrect address
>
>I searched the documentation but I don't see how I could fix this
> problem? Can someone help me? Many thanks in advance,
>
> J.-M. Hufflen
>
>
> 
> This message was sent using IMP, the Internet Messaging Program.
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] R7RS implementation's installation

[Jean-Michel HUFFLEN]

   Dear Racket developers,

   On my personal computer, I successfully installed the package for  
the nonofficial implementation of R7RS in Racket.


   But I didn't this operation at my university, the answer is

https://... proxy web incorrect address

   I searched the documentation but I don't see how I could fix this  
problem? Can someone help me? Many thanks in advance,


J.-M. Hufflen



This message was sent using IMP, the Internet Messaging Program.

--
You received this message because you are subscribed to the Google Groups "Racket 
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.