How to reinstall raylib?

I recently upgraded my system, which also upgraded racket from version 8.18 to 9.2. Now I want to run my project, which requires recompiling, but it doesn't seem to find raylib.

When running raco setup raylib, I get this error:

collection-path: collection not found
  collection: "raylib"

I vaguely remember that this simply worked the last time.

I've also tried raco setup --clean, which also produces an error:

delete-file: cannot delete file
  path: /usr/share/racket/collects/info-domain/compiled/cache.rktd
  system error: Permission denied; errno=13

Not sure if this is even related. So, how can I get raylib to work again?

Hmm... in general, different versions of Racket don't share packages; this can be useful, if you're trying to run different versions with different setups, but it sounds like that's not what you want. Does raco pkg migrate do what you want? In particular, perhaps raco pkg migrate 8.18 would do the trick?

Alternatively, and more simply, it might be enough just to install the raylib library, using raco pkg install raylib.

(In case this wasn't obvious: raco setup does not install new packages, and the error you're getting can simply be read as "there doesn't seem to be anything called raylib installed in this version of Racket.")