From 8bbac916d628eb54b56cd303ff0946373a9ddd7e Mon Sep 17 00:00:00 2001
From: John <johnz@posteo.net>
Date: Sun, 19 Aug 2018 11:02:20 +0200
Subject: [PATCH] wxMaxima: rebuild to fix ABI mismatch with wxWidgets

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

diff --git a/srcpkgs/wxMaxima/template b/srcpkgs/wxMaxima/template
index 5b476825c4c..19614a00e5b 100644
--- a/srcpkgs/wxMaxima/template
+++ b/srcpkgs/wxMaxima/template
@@ -1,7 +1,7 @@
 # Template file for 'wxMaxima'
 pkgname=wxMaxima
 version=16.12.2
-revision=3
+revision=4
 wrksrc="wxmaxima-${version}"
 build_style=gnu-configure
 configure_args="--with-wx-config=wx-config-3.0 --enable-printing"