plait icon indicating copy to clipboard operation
plait copied to clipboard

`raco pkg install plait` fails on Racket 7.9

Open ZacharyEspiritu opened this issue 3 years ago • 2 comments

Running raco pkg install plait on an Ubuntu 18.04 system with Racket 7.9 installed results in the following error:

Resolving "plait" via https://download.racket-lang.org/releases/7.9/catalog/
  raco pkg install: cannot find package on catalogs
  package: plait

(The reason why we [CS173 at Brown] are running this on Ubuntu 18.04 + raco pkg command-line utilities is because we autograde our assignments on Gradescope VMs, which we configure via raco pkg.)

A working workaround for this issue is to run raco pkg install using the GitHub .git link for the Plait repository:

raco pkg install https://github.com/mflatt/plait.git

ZacharyEspiritu avatar Nov 16 '20 00:11 ZacharyEspiritu