`raco pkg install plait` fails on Racket 7.9

[ZacharyEspiritu]

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

[mflatt]

Thanks for the report!

How did you install Racket? If you built from source, then the problem was in the package configuration of the Racket source bundle. We have fixed that problem as of today.

If you installed via the Ubuntu PPA, probably that hasn't been updated, yet, but will be soon.

Either way, see https://groups.google.com/g/racket-users/c/aOJPcvoJrk8/m/WEVqAFlmAgAJ for information on fixing the package configuration of your installation, in case you need to install more than Plait.

[ZacharyEspiritu]

Ah, my Racket installation is via the Ubuntu PPA. I'll keep an eye out for that update to the PPA. Thanks for the quick response!