From cb0402288c411757a49abc7e2dd5bcc2e7c4ee60 Mon Sep 17 00:00:00 2001
From: Christian Kaenzig <christian.kaenzig@camptocamp.com>
Date: Tue, 14 Jul 2020 15:34:21 +0200
Subject: [PATCH] Fix libvarnishapi version on Debian Stretch

---
 manifests/setup/settings.pp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manifests/setup/settings.pp b/manifests/setup/settings.pp
index 7b9612f..f6448e1 100644
--- a/manifests/setup/settings.pp
+++ b/manifests/setup/settings.pp
@@ -73,7 +73,7 @@
       $libmicrohttpd = 'libmicrohttpd10'
     }
 
-    if ($::operatingsystem == 'Debian' and versioncmp($::operatingsystemmajrelease, '9') >= 0) or ($::operatingsystem == 'Ubuntu' and versioncmp($::operatingsystemmajrelease, '19.04') >= 0) {
+    if ($::operatingsystem == 'Debian' and versioncmp($::operatingsystemmajrelease, '10') >= 0) or ($::operatingsystem == 'Ubuntu' and versioncmp($::operatingsystemmajrelease, '19.04') >= 0) {
       $libvarnishapi = 'libvarnishapi2'
     }else{
       $libvarnishapi = 'libvarnishapi1'