Help users choose the right .deb file

1 job for !115 with 178-ubuntu in 3 minutes and 30 seconds (queued for 4 seconds)
latest merge request