Dear Itaï, Thanks for trying to contribute to Debian.
> I am not a Debian developper, but am able to package (in fact I have packaged > auctex v12 for personal use). If you have auctex-12 packaged, I would very much encourage you to share your work, even if the debian maintainer doesn't seem very active. The easiest way is probably to just fork https://salsa.debian.org//salve/auctex.git into your own salsa account and push your changes there. This makes a bunch of things easier. (I note that right now upstream is at 12.2, and the current version not only has functionality issues but also fails to build. So the package could use a little love. Maybe the maintainer would welcome a co-maintainer?) Cheers, --Barak.
