HACKING: Fix names of Debian packages

4 jobs for fix_error_in_HACKING.md in 14 minutes and 33 seconds (queued for 48 minutes and 27 seconds)
Status Job ID Name Coverage
  Test
passed #175114
ubuntu-16.04

00:04:12

passed #175115
ubuntu-17.10

00:04:29

passed #175116
ubuntu-18.04

00:02:54

passed #175117
ubuntu-18.04-no-backend

00:02:56