From 4d9109c74d480e0b5e61c7d876ed37e80178fcd9 Mon Sep 17 00:00:00 2001
From: John <johnz@posteo.net>
Date: Thu, 9 Jan 2020 22:12:26 +0100
Subject: [PATCH] source-highlight: rebuilt against boost-1.72

---
 srcpkgs/source-highlight/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/source-highlight/template b/srcpkgs/source-highlight/template
index 78ad7c37da..92d6934169 100644
--- a/srcpkgs/source-highlight/template
+++ b/srcpkgs/source-highlight/template
@@ -1,7 +1,7 @@
 # Template file for 'source-highlight'
 pkgname=source-highlight
 version=3.1.9
-revision=1
+revision=2
 build_style=gnu-configure
 configure_args="--with-boost=${XBPS_CROSS_BASE}/usr
  --with-bash-completion=/usr/share/bash-completion/completions"