Update CMakeLists.txt

2 jobs for deb in 4 minutes and 57 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #848
build_deb

00:04:23

 
  Deploy
passed #849
push_deb

00:00:34