debian packaging updated

12 jobs for release/v1.2 in 44 minutes and 3 seconds (queued for 4 seconds)
Status Job ID Name Coverage
  Build
passed #8048
build:9-debug-gcc

00:18:50

passed #8050
build:9-parallel-debug-gcc

00:31:17

passed #8051
build:9-parallel-release-gcc

00:32:19

passed #8049
build:9-release-gcc

00:20:17

 
  Demo
passed #8052
demo:9-debug-gcc

00:03:35

passed #8054
demo:9-parallel-debug-gcc

00:04:58

passed #8055
demo:9-parallel-release-gcc

00:04:37

passed #8053
demo:9-release-gcc

00:03:34

 
  Test
passed #8056
test:9-debug-gcc

00:05:15

passed #8058
test:9-parallel-debug-gcc

00:04:54

passed #8059
test:9-parallel-release-gcc

00:06:21

passed #8057
test:9-release-gcc

00:06:43