search

alexandervdm / gummi

Simple LaTeX editor
https://gummi.app
MIT License
750 stars 95 forks source link

Cannot update from 0.8.1 to 0.8.2 #160

Closed iipr closed 2 years ago

iipr commented 2 years ago

Following the steps from https://packages.gummi.app/ does not allow me to update from 0.8.1 to 0.8.2:

gummi is already the newest version (0.8.1-1ubuntu0.20.04.1).

The main reason why I want to update is https://github.com/alexandervdm/gummi/issues/143, which happens to me in Ubunut 20.04.

Vectornaut commented 2 years ago

Seconded! Is there anything I can do to help make 0.8.2 available through the Ubuntu Focal PPA?

alexandervdm commented 2 years ago

Long overdue, my bad. I bumped the focal package to 0.8.2 just now. Will bump the others if either of you can confirm all is OK.

Vectornaut commented 2 years ago

Thanks so much! Everything looks great so far. Issue #125 is fixed for me, as expected. I'll be using Gummi pretty much every day this week, so I should quickly notice any problems that affect my usual workflow.

iipr commented 2 years ago

Thanks a lot! I upgraded to 0.8.2 and #143 seems to be fixed.