Debian AUCTeX package

[Arash Esbati]

Hi Davide,

I hope you're doing fine.  It occurred to me that Debian is still
providing AUCTeX 12.2. which was released 4 years ago.  Do you have
plans to update the package?  Or is it dormant?

Best, Arash