From 1ccc0de5c009d0766f4e794e53fe31c89b555b3c Mon Sep 17 00:00:00 2001
From: yopito <pierre.bourgin@free.fr>
Date: Thu, 22 Mar 2018 08:24:03 +0100
Subject: [PATCH] coin3: revbump for missing coin3-doc package

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

diff --git a/srcpkgs/coin3/template b/srcpkgs/coin3/template
index 46b14e99d20..348e4aee706 100644
--- a/srcpkgs/coin3/template
+++ b/srcpkgs/coin3/template
@@ -1,7 +1,7 @@
 # Template file for 'coin3'
 pkgname=coin3
 version=3.1.3
-revision=3
+revision=4
 wrksrc="Coin-${version}"
 patch_args="-Np1"
 build_style=gnu-configure