From 63bbd5228a091274782f50b8b39662b3b1cf7f15 Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@nico-notebook.schottelius.org>
Date: Mon, 24 Dec 2018 19:05:51 +0100
Subject: [PATCH] update os support for devuan

Signed-off-by: Nico Schottelius <nico@nico-notebook.schottelius.org>
---
 manifest | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/manifest b/manifest
index b862f5e..12ffb83 100644
--- a/manifest
+++ b/manifest
@@ -24,7 +24,7 @@ os=$(cat $__global/explorer/os)
 osversion=$(cat "$__global/explorer/os_version")
 
 case "$os" in
-    debian)
+    debian|devuan)
         postgres_lib=libpq-dev
 
         case $osversion in
@@ -37,6 +37,9 @@ case "$os" in
             8*)
                 postgres_version=9.4
             ;;
+            9*|ascii/ceres|ascii)
+                postgres_version=9.6
+            ;;
             *)
                 echo "Unsupported OS Version: $osversion" >&2
                 exit 1