Re: [racket-users] Can raco install old packages with a specific version?

2021-08-18 Thread Kiwan
Thank you for your help! It is working nicely. 2021년 8월 18일 수요일 오후 6시 8분 15초 UTC-4에 sorawe...@gmail.com님이 작성: > s/could/should/ > > On Wed, Aug 18, 2021 at 3:07 PM Sorawee Porncharoenwase < > sorawe...@gmail.com> wrote: > >> Oh, and to install from source, go in the project directory, which

Re: [racket-users] Can raco install old packages with a specific version?

2021-08-18 Thread Sorawee Porncharoenwase
s/could/should/ On Wed, Aug 18, 2021 at 3:07 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > Oh, and to install from source, go in the project directory, which could > contain the file info.rkt. Run raco pkg install. > > > On Wed, Aug 18, 2021 at 3:05 PM Sorawee Porncharoenwase <

Re: [racket-users] Can raco install old packages with a specific version?

2021-08-18 Thread Sorawee Porncharoenwase
Oh, and to install from source, go in the project directory, which could contain the file info.rkt. Run raco pkg install. On Wed, Aug 18, 2021 at 3:05 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > Hi Kiwan, > > There are many possibilities that you can do. > > One is to

Re: [racket-users] Can raco install old packages with a specific version?

2021-08-18 Thread Sorawee Porncharoenwase
Hi Kiwan, There are many possibilities that you can do. One is to download the source code of a version that you want from https://github.com/emina/rosette/releases and then install from source. Another is to find a commit that you want from GitHub and use the command line like raco pkg install

[racket-users] Can raco install old packages with a specific version?

2021-08-18 Thread Kiwan
Hi, all. I am new to this community and new to Racket. So apology in advance if my question is inappropriate and please guide me to the right channel in that case. I am trying to run a codebase someone else wrote. It is based on Racket 7.5 w/ Rosette 3.x. When I try running it with Racket 8.2