Release .deb package

Our CI currently builds binary releases for Ubuntu. Expect more to come: contributions are welcome!


Last update: November 17, 2023