On Sat, 23 Jul 2022 15:22:11 +0200 Josue Ortega wrote:
* Package name : foxdot
* URL : https://foxdot.org/
I note that the GitHub repo suggests that FoxDot is unmaintained:
https://github.com/Qirky/FoxDot
I am no longer actively developing FoxDot and will only be making minor
changes to the code in response to issues / pull requests in this time.
So you might want to talk to upstream about the situation. Maybe they
should create a LiveCoding GitHub organisation, invite other people and
projects and move maintenance of FoxDot to the new organisation.