From cf44161e5c137bdc488d499ada87adc83ed6f0c3 Mon Sep 17 00:00:00 2001
From: John <johnz@posteo.net>
Date: Thu, 9 Jan 2020 22:12:30 +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 92d6934169e..087b8a3ad03 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=2
+revision=3
 build_style=gnu-configure
 configure_args="--with-boost=${XBPS_CROSS_BASE}/usr
  --with-bash-completion=/usr/share/bash-completion/completions"