It looks like all the required changes have now been made, and I'd be okay sponsoring this to noble (though as a new package this will still require "ack" by an archive admin). One final quick query:
Currently, in the linked PPA, there are only versions for mantic, lunar, and jammy. Would I be correct in assuming that the mantic one would now be intended for noble, and what should the version number be (e.g. should the ~ubuntu23.10.1 be removed)? I'm happy making this trivial change and uploading if someone can confirm the desired version here.
It looks like all the required changes have now been made, and I'd be okay sponsoring this to noble (though as a new package this will still require "ack" by an archive admin). One final quick query:
Currently, in the linked PPA, there are only versions for mantic, lunar, and jammy. Would I be correct in assuming that the mantic one would now be intended for noble, and what should the version number be (e.g. should the ~ubuntu23.10.1 be removed)? I'm happy making this trivial change and uploading if someone can confirm the desired version here.