The structure of our Debian repository has changed! Existing Debian users (currently possibly encountering errors) should follow our Migration Guide.