search

mbutterick / pollen-users

please use https://forums.matthewbutterick.com/c/typesetting/ instead
https://forums.matthewbutterick.com/c/typesetting/
52 stars 0 forks source link

7.9 update breaks Pollen in Ubuntu 20.10 #76

Closed andres-moreno closed 3 years ago

andres-moreno commented 3 years ago

Does anyone else have problems with Pollen due to 7.9? Raco can't find pollen in the catalog for me:

afmoreno@pluto:~$ raco pkg install pollen
Resolving "pollen" via https://download.racket-lang.org/releases/7.9/catalog/
raco pkg install: cannot find package on catalogs
  package: pollen

I opened an issue in the GitHub repository--not sure if that is what I was supposed to do or to post here first.

Thanks! afm

andres-moreno commented 3 years ago

It is an issue with the new PPA: I downloaded Racket and things works normally.

Cheers! afm