Release .deb package

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

---

Last update: March 28, 2023